Fixed the invalid reduce/reduce conflict and added LESS_THAN back int…

…o the menhir parser
hazelgrove · Nov 4, 2024 · 8b79893 · 8b79893
1 parent 574c359
commit 8b79893
Show file tree

Hide file tree

Showing 5 changed files with 7,052 additions and 6 deletions.
diff --git a/src/haz3lmenhir/Lexer.mll b/src/haz3lmenhir/Lexer.mll
@@ -110,6 +110,10 @@ rule token =
     | "type" {TYP}
     | "$" {DOLLAR_SIGN}
     | "~" {TILDE}
+    | "t" {T_TYP}
+    | "p" {P_PAT}
+    | "tp" {TP_TPAT}
+    | "e" {E_EXP}
     | "named_fun" {NAMED_FUN}
     | identifier as i { IDENT(i) }
     | constructor_ident as i { CONSTRUCTOR_IDENT(i)}