relation references as a term kind, written #Name

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) }