Add commented out test for constructor with a type variable

hazelgrove · Nov 4, 2024 · c5861cd · c5861cd
1 parent ac4e9f9
commit c5861cd
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/test/Test_Menhir.re b/test/Test_Menhir.re
@@ -273,6 +273,11 @@ let tests = [
     Constructor("A", Int |> Typ.fresh) |> Exp.fresh,
     "A ~ Int",
   ),
+  // menhir_only_test(
+  //   "Constructor with Type Variable",
+  //   Constructor("A", Var("T") |> Typ.fresh) |> Exp.fresh,
+  //   "A ~ T",
+  // ),
   parser_test(
     "Type Alias",
     TyAlias(Var("x") |> TPat.fresh, Int |> Typ.fresh, Int(1) |> Exp.fresh)