Make assertion more restrictive

hazelgrove · Dec 13, 2024 · f450850 · f450850
1 parent 94bec54
commit f450850
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/test/Test_Menhir.re b/test/Test_Menhir.re
@@ -524,7 +524,10 @@ let tests = [
     "partial sum type",
     "type Partial = +Ok(?) + ? in ?",
   ),
-  menhir_doesnt_crash_test("Function with type variable", "fun (x : a) -> x"),
+  menhir_maketerm_equivalent_test(
+    "Function with type variable",
+    "fun (x : a) -> x",
+  ),
   menhir_doesnt_crash_test(
     "Altered Documentation Buffer: Basic Reference",
     {|