From b4a2485afbf74e99e2147086fbca0568b7e2b7b8 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Sun, 12 Jul 2026 17:55:27 -0300 Subject: relation references as a term kind, written #Name --- lib/lexer.mll | 1 + 1 file changed, 1 insertion(+) (limited to 'lib/lexer.mll') diff --git a/lib/lexer.mll b/lib/lexer.mll index 90beacf..18dfee9 100644 --- a/lib/lexer.mll +++ b/lib/lexer.mll @@ -31,6 +31,7 @@ rule token = parse | [' ' '\t' '\r']+ { token lexbuf } | '%' [^ '\n']* { token lexbuf } | "#(" { HASH_LPAREN } + | '#' (ident as name) { REFERENCE name } | '(' { LPAREN } | ')' { RPAREN } | '[' { LBRACKET } -- cgit v1.2.3