Add test for empty type holes

hazelgrove · Dec 2, 2024 · 3ea7cb5 · 3ea7cb5
1 parent a6f0f03
commit 3ea7cb5
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/test/Test_Menhir.re b/test/Test_Menhir.re
@@ -482,6 +482,7 @@ let tests =
       |> Exp.fresh,
       "let x : +A +B +C(Int) = C(7) in x",
     ),
+    menhir_maketerm_equivalent_test("Empty Type Hole", "let g: ? = 7 in g"),
   ]
   @ {
     let strip_comments = str => {
@@ -515,4 +516,4 @@ let tests =
       },
       slides,
     );
-  };
+  };