Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /sml/branches/SMLNJ/src/eXene/demos/tactic-tree/examples/derivative/expression.grm.sig
ViewVC logotype

Annotation of /sml/branches/SMLNJ/src/eXene/demos/tactic-tree/examples/derivative/expression.grm.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 181 - (view) (download) (as text)

1 : monnier 180 signature expression_TOKENS =
2 :     sig
3 :     type ('a,'b) token
4 :     type svalue
5 :     val EOF: 'a * 'a -> (svalue,'a) token
6 :     val RPAREN: 'a * 'a -> (svalue,'a) token
7 :     val LPAREN: 'a * 'a -> (svalue,'a) token
8 :     val COS: 'a * 'a -> (svalue,'a) token
9 :     val SIN: 'a * 'a -> (svalue,'a) token
10 :     val E: 'a * 'a -> (svalue,'a) token
11 :     val EXP: 'a * 'a -> (svalue,'a) token
12 :     val NEG: 'a * 'a -> (svalue,'a) token
13 :     val DIVIDE: 'a * 'a -> (svalue,'a) token
14 :     val MINUS: 'a * 'a -> (svalue,'a) token
15 :     val PLUS: 'a * 'a -> (svalue,'a) token
16 :     val TIMES: 'a * 'a -> (svalue,'a) token
17 :     val NUM: (int) * 'a * 'a -> (svalue,'a) token
18 :     val VAR: (string) * 'a * 'a -> (svalue,'a) token
19 :     end
20 :     signature expression_LRVALS=
21 :     sig
22 :     structure Tokens : expression_TOKENS
23 :     structure ParserData:PARSER_DATA
24 :     sharing type ParserData.Token.token = Tokens.token
25 :     sharing type ParserData.svalue = Tokens.svalue
26 :     end

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0