Add some commented out tests for type variables

hazelgrove · Nov 4, 2024 · 1aec2b9 · 1aec2b9
1 parent c5861cd
commit 1aec2b9
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/test/Test_Menhir.re b/test/Test_Menhir.re
@@ -273,11 +273,27 @@ let tests = [
     Constructor("A", Int |> Typ.fresh) |> Exp.fresh,
     "A ~ Int",
   ),
+  // TODO Fix for the tests below
   // menhir_only_test(
   //   "Constructor with Type Variable",
   //   Constructor("A", Var("T") |> Typ.fresh) |> Exp.fresh,
   //   "A ~ T",
   // ),
+  // parser_test(
+  //   "Type Variable",
+  //   Let(
+  //     Cast(
+  //       Var("x") |> Pat.fresh,
+  //       Var("T") |> Typ.fresh,
+  //       Unknown(Internal) |> Typ.fresh,
+  //     )
+  //     |> Pat.fresh,
+  //     EmptyHole |> Exp.fresh,
+  //     Var("x") |> Exp.fresh,
+  //   )
+  //   |> Exp.fresh,
+  //   "let x : T = ? in x",
+  // ),
   parser_test(
     "Type Alias",
     TyAlias(Var("x") |> TPat.fresh, Int |> Typ.fresh, Int(1) |> Exp.fresh)