reconstruct identifier: handle ()

voodoos · Nov 17, 2023 · 359f745 · 359f745
1 parent a8d04f1
commit 359f745
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/ocaml/preprocess/lexer_ident.mll b/src/ocaml/preprocess/lexer_ident.mll
@@ -91,6 +91,7 @@ rule token = parse
     { UIDENT ident }
   | "`"  { BACKQUOTE }
   | "'"  { QUOTE }
+  | "()" { LIDENT "()"}
   | "("  { LPAREN }
   | ")"  { RPAREN }
   | "."  { DOT }