From 68de927be04607e6573a5439e19449941defb5f8 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Tue, 26 Dec 2023 12:13:49 -0600 Subject: Fix bug with naming --- lib/lexer.mll | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'lib/lexer.mll') diff --git a/lib/lexer.mll b/lib/lexer.mll index 6e9b975..c6f2b93 100644 --- a/lib/lexer.mll +++ b/lib/lexer.mll @@ -17,10 +17,10 @@ let many_newline = newline+ rule read = parse + | "uuidv4" { UUIDV4 } + | "name" { NAME } + | "int" { INTSYMBOL } | id { IDENTIFIER (Lexing.lexeme lexbuf) } - | "_uuidv4" { UUIDV4 } - | "_name" { NAME } - | "_int" { INTSYMBOL } | "(" { LBRACE } | ")" { RBRACE } | '"' { read_string (Buffer.create 20) lexbuf } -- cgit v1.2.3