diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-07-12 17:55:27 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-07-12 17:56:11 -0300 |
| commit | b4a2485afbf74e99e2147086fbca0568b7e2b7b8 (patch) | |
| tree | f2f0f653c7de2d5a1b1565d0ec48c46dec580a5a /lib/parser.mly | |
| parent | b7ab0a9d1f0275db32a526faf7cffe9d520b15c8 (diff) | |
| download | SOL-b4a2485afbf74e99e2147086fbca0568b7e2b7b8.tar.gz SOL-b4a2485afbf74e99e2147086fbca0568b7e2b7b8.zip | |
relation references as a term kind, written #Name
Diffstat (limited to 'lib/parser.mly')
| -rw-r--r-- | lib/parser.mly | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/parser.mly b/lib/parser.mly index 4bac905..ca6195e 100644 --- a/lib/parser.mly +++ b/lib/parser.mly @@ -7,6 +7,7 @@ open Ast %token <string> STR %token <string> NAME %token <string> LABEL +%token <string> REFERENCE %token LBRACKET RBRACKET LBRACE RBRACE LPAREN RPAREN HASH_LPAREN %token BAR AND OR NOT EOF @@ -41,6 +42,7 @@ operand: | n = INT { Int n } | r = RAT { Rat (fst r, snd r) } | s = STR { Str s } + | r = REFERENCE { Ref r } | LBRACE; fields = nonempty_list(binding); RBRACE { Record fields } | HASH_LPAREN; items = list(operand); tail = option(seq_tail); RPAREN { Seq (items, tail) } |