/
tokens.sig
49 lines (49 loc) · 1.73 KB
/
tokens.sig
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
signature Tiger_TOKENS =
sig
type linenum (* = int *)
type token
val TYPE: linenum * linenum -> token
val VAR: linenum * linenum -> token
val FUNCTION: linenum * linenum -> token
val BREAK: linenum * linenum -> token
val OF: linenum * linenum -> token
val END: linenum * linenum -> token
val IN: linenum * linenum -> token
val NIL: linenum * linenum -> token
val LET: linenum * linenum -> token
val DO: linenum * linenum -> token
val TO: linenum * linenum -> token
val FOR: linenum * linenum -> token
val WHILE: linenum * linenum -> token
val ELSE: linenum * linenum -> token
val THEN: linenum * linenum -> token
val IF: linenum * linenum -> token
val ARRAY: linenum * linenum -> token
val ASSIGN: linenum * linenum -> token
val OR: linenum * linenum -> token
val AND: linenum * linenum -> token
val GE: linenum * linenum -> token
val GT: linenum * linenum -> token
val LE: linenum * linenum -> token
val LT: linenum * linenum -> token
val NEQ: linenum * linenum -> token
val EQ: linenum * linenum -> token
val DIVIDE: linenum * linenum -> token
val TIMES: linenum * linenum -> token
val MINUS: linenum * linenum -> token
val PLUS: linenum * linenum -> token
val DOT: linenum * linenum -> token
val RBRACE: linenum * linenum -> token
val LBRACE: linenum * linenum -> token
val RBRACK: linenum * linenum -> token
val LBRACK: linenum * linenum -> token
val RPAREN: linenum * linenum -> token
val LPAREN: linenum * linenum -> token
val SEMICOLON: linenum * linenum -> token
val COLON: linenum * linenum -> token
val COMMA: linenum * linenum -> token
val STRING: (string) * linenum * linenum -> token
val INT: (int) * linenum * linenum -> token
val ID: (string) * linenum * linenum -> token
val EOF: linenum * linenum -> token
end