blob: 4891d48de7071570e31ab4798a20065f18f1440b (
about) (
plain) (
blame)
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
|
type token =
(* Tokens with data *)
| INT of string
| FLOAT of string
(* A path (starting with / or ./) *)
| PATH of string
(* Search path, enclosed in < and > *)
| SPATH of string
(* Home path, starting with ~/ *)
| HPATH of string
| URI of string
| STR_START of string
| STR_MID of string
| STR_END
| ISTR_START of string
| ISTR_MID of string
| ISTR_END of int
| ID of string
(* Tokens that stand for themselves *)
| SELECT
| QMARK
| CONCAT
| NOT
| MERGE
| ASSIGN
| LT
| LTE
| GT
| GTE
| EQ
| NEQ
| AND
| OR
| IMPL
| AQUOTE_OPEN
| AQUOTE_CLOSE
| LBRACE
| RBRACE
| LBRACK
| RBRACK
| PLUS
| MINUS
| TIMES
| SLASH
| LPAREN
| RPAREN
| COLON
| SEMICOLON
| COMMA
| ELLIPSIS
| AS
(* Keywords *)
| WITH
| REC
| LET
| IN
| INHERIT
| IF
| THEN
| ELSE
| ASSERT
| ORDEF
(* End of input *)
| EOF
|