-
Notifications
You must be signed in to change notification settings - Fork 1
/
parser.mli
92 lines (91 loc) · 3.13 KB
/
parser.mli
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
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
type token =
| TYPE of (Support.Error.info)
| INERT of (Support.Error.info)
| LAMBDA of (Support.Error.info)
| TTOP of (Support.Error.info)
| IF of (Support.Error.info)
| THEN of (Support.Error.info)
| ELSE of (Support.Error.info)
| TRUE of (Support.Error.info)
| FALSE of (Support.Error.info)
| BOOL of (Support.Error.info)
| TBOT of (Support.Error.info)
| LET of (Support.Error.info)
| IN of (Support.Error.info)
| FIX of (Support.Error.info)
| LETREC of (Support.Error.info)
| CASE of (Support.Error.info)
| OF of (Support.Error.info)
| AS of (Support.Error.info)
| USTRING of (Support.Error.info)
| UNIT of (Support.Error.info)
| REF of (Support.Error.info)
| UUNIT of (Support.Error.info)
| RREF of (Support.Error.info)
| TIMESFLOAT of (Support.Error.info)
| SUCC of (Support.Error.info)
| PRED of (Support.Error.info)
| ISZERO of (Support.Error.info)
| UFLOAT of (Support.Error.info)
| SSOURCE of (Support.Error.info)
| SSINK of (Support.Error.info)
| NAT of (Support.Error.info)
| ADD of (Support.Error.info)
| SUB of (Support.Error.info)
| MUL of (Support.Error.info)
| DIV of (Support.Error.info)
| INV of (Support.Error.info)
| RANGE of (Support.Error.info)
| SETPRECISION of (Support.Error.info)
| ROUND of (Support.Error.info)
| UP of (Support.Error.info)
| DOWN of (Support.Error.info)
| LESS of (Support.Error.info)
| TORANGE of (Support.Error.info)
| URANGE of (Support.Error.info)
| UFRAC of (Support.Error.info)
| UCID of (string Support.Error.withinfo)
| LCID of (string Support.Error.withinfo)
| INTV of (int Support.Error.withinfo)
| FLOATV of (float Support.Error.withinfo)
| STRINGV of (string Support.Error.withinfo)
| FRACV of (string Support.Error.withinfo)
| APOSTROPHE of (Support.Error.info)
| DQUOTE of (Support.Error.info)
| ARROW of (Support.Error.info)
| BANG of (Support.Error.info)
| BARGT of (Support.Error.info)
| BARRCURLY of (Support.Error.info)
| BARRSQUARE of (Support.Error.info)
| COLON of (Support.Error.info)
| COLONCOLON of (Support.Error.info)
| COLONEQ of (Support.Error.info)
| COLONHASH of (Support.Error.info)
| COMMA of (Support.Error.info)
| DARROW of (Support.Error.info)
| DDARROW of (Support.Error.info)
| DOT of (Support.Error.info)
| EOF of (Support.Error.info)
| EQ of (Support.Error.info)
| EQEQ of (Support.Error.info)
| EXISTS of (Support.Error.info)
| GT of (Support.Error.info)
| HASH of (Support.Error.info)
| LCURLY of (Support.Error.info)
| LCURLYBAR of (Support.Error.info)
| LEFTARROW of (Support.Error.info)
| LPAREN of (Support.Error.info)
| LSQUARE of (Support.Error.info)
| LSQUAREBAR of (Support.Error.info)
| LT of (Support.Error.info)
| RCURLY of (Support.Error.info)
| RPAREN of (Support.Error.info)
| RSQUARE of (Support.Error.info)
| SEMI of (Support.Error.info)
| SLASH of (Support.Error.info)
| STAR of (Support.Error.info)
| TRIANGLE of (Support.Error.info)
| USCORE of (Support.Error.info)
| VBAR of (Support.Error.info)
val toplevel :
(Lexing.lexbuf -> token) -> Lexing.lexbuf -> Syntax.context -> (Syntax.command list * Syntax.context)