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/trunk/src/compiler/Parse/parse/ml.grm.sig
ViewVC logotype

Annotation of /sml/trunk/src/compiler/Parse/parse/ml.grm.sig

Parent Directory Parent Directory | Revision Log Revision Log


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

1 : monnier 205 signature ML_TOKENS =
2 :     sig
3 :     type ('a,'b) token
4 :     type svalue
5 :     val AQID: (FastSymbol.raw_symbol) * 'a * 'a -> (svalue,'a) token
6 :     val OBJL: (string) * 'a * 'a -> (svalue,'a) token
7 :     val ENDQ: (string) * 'a * 'a -> (svalue,'a) token
8 :     val BEGINQ: 'a * 'a -> (svalue,'a) token
9 :     val VECTORSTART: 'a * 'a -> (svalue,'a) token
10 :     val FUNSIG: 'a * 'a -> (svalue,'a) token
11 :     val ANDALSO: 'a * 'a -> (svalue,'a) token
12 :     val ORELSE: 'a * 'a -> (svalue,'a) token
13 :     val RPAREN: 'a * 'a -> (svalue,'a) token
14 :     val RBRACKET: 'a * 'a -> (svalue,'a) token
15 :     val RBRACE: 'a * 'a -> (svalue,'a) token
16 :     val LPAREN: 'a * 'a -> (svalue,'a) token
17 :     val LBRACKET: 'a * 'a -> (svalue,'a) token
18 :     val LBRACE: 'a * 'a -> (svalue,'a) token
19 :     val COMMA: 'a * 'a -> (svalue,'a) token
20 :     val COLONGT: 'a * 'a -> (svalue,'a) token
21 :     val COLON: 'a * 'a -> (svalue,'a) token
22 :     val ASTERISK: 'a * 'a -> (svalue,'a) token
23 :     val WITHTYPE: 'a * 'a -> (svalue,'a) token
24 :     val WITH: 'a * 'a -> (svalue,'a) token
25 :     val WILD: 'a * 'a -> (svalue,'a) token
26 :     val WHILE: 'a * 'a -> (svalue,'a) token
27 :     val WHERE: 'a * 'a -> (svalue,'a) token
28 :     val VAL: 'a * 'a -> (svalue,'a) token
29 :     val TYPE: 'a * 'a -> (svalue,'a) token
30 :     val THEN: 'a * 'a -> (svalue,'a) token
31 :     val STRUCTURE: 'a * 'a -> (svalue,'a) token
32 :     val STRUCT: 'a * 'a -> (svalue,'a) token
33 :     val SIGNATURE: 'a * 'a -> (svalue,'a) token
34 :     val SIG: 'a * 'a -> (svalue,'a) token
35 :     val SHARING: 'a * 'a -> (svalue,'a) token
36 :     val REC: 'a * 'a -> (svalue,'a) token
37 :     val RAISE: 'a * 'a -> (svalue,'a) token
38 :     val OVERLOAD: 'a * 'a -> (svalue,'a) token
39 :     val OPEN: 'a * 'a -> (svalue,'a) token
40 :     val OP: 'a * 'a -> (svalue,'a) token
41 :     val OF: 'a * 'a -> (svalue,'a) token
42 :     val NONFIX: 'a * 'a -> (svalue,'a) token
43 :     val LOCAL: 'a * 'a -> (svalue,'a) token
44 :     val LET: 'a * 'a -> (svalue,'a) token
45 :     val LAZY: 'a * 'a -> (svalue,'a) token
46 :     val INFIXR: 'a * 'a -> (svalue,'a) token
47 :     val INFIX: 'a * 'a -> (svalue,'a) token
48 :     val INCLUDE: 'a * 'a -> (svalue,'a) token
49 :     val IN: 'a * 'a -> (svalue,'a) token
50 :     val IF: 'a * 'a -> (svalue,'a) token
51 :     val HASH: 'a * 'a -> (svalue,'a) token
52 :     val HANDLE: 'a * 'a -> (svalue,'a) token
53 :     val FUNCTOR: 'a * 'a -> (svalue,'a) token
54 :     val FUN: 'a * 'a -> (svalue,'a) token
55 :     val FN: 'a * 'a -> (svalue,'a) token
56 :     val DARROW: 'a * 'a -> (svalue,'a) token
57 :     val DOT: 'a * 'a -> (svalue,'a) token
58 :     val DO: 'a * 'a -> (svalue,'a) token
59 :     val EXCEPTION: 'a * 'a -> (svalue,'a) token
60 :     val EQTYPE: 'a * 'a -> (svalue,'a) token
61 :     val EQUALOP: 'a * 'a -> (svalue,'a) token
62 :     val END: 'a * 'a -> (svalue,'a) token
63 :     val ELSE: 'a * 'a -> (svalue,'a) token
64 :     val DOTDOTDOT: 'a * 'a -> (svalue,'a) token
65 :     val DATATYPE: 'a * 'a -> (svalue,'a) token
66 :     val CASE: 'a * 'a -> (svalue,'a) token
67 :     val BAR: 'a * 'a -> (svalue,'a) token
68 :     val AS: 'a * 'a -> (svalue,'a) token
69 :     val ARROW: 'a * 'a -> (svalue,'a) token
70 :     val AND: 'a * 'a -> (svalue,'a) token
71 :     val ABSTYPE: 'a * 'a -> (svalue,'a) token
72 :     val CHAR: (string) * 'a * 'a -> (svalue,'a) token
73 :     val STRING: (string) * 'a * 'a -> (svalue,'a) token
74 :     val REAL: (string) * 'a * 'a -> (svalue,'a) token
75 :     val WORD: (IntInf.int) * 'a * 'a -> (svalue,'a) token
76 :     val INT0: (IntInf.int) * 'a * 'a -> (svalue,'a) token
77 :     val INT: (IntInf.int) * 'a * 'a -> (svalue,'a) token
78 :     val TYVAR: (FastSymbol.raw_symbol) * 'a * 'a -> (svalue,'a) token
79 :     val ID: (FastSymbol.raw_symbol) * 'a * 'a -> (svalue,'a) token
80 :     val SEMICOLON: 'a * 'a -> (svalue,'a) token
81 :     val EOF: 'a * 'a -> (svalue,'a) token
82 :     end
83 :     signature ML_LRVALS=
84 :     sig
85 :     structure Tokens : ML_TOKENS
86 :     structure ParserData:PARSER_DATA
87 :     sharing type ParserData.Token.token = Tokens.token
88 :     sharing type ParserData.svalue = Tokens.svalue
89 :     end

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