Added additional tests

hazelgrove · Oct 24, 2024 · bc19bf6 · bc19bf6
1 parent 5b82cae
commit bc19bf6
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/test/Test_MakeTerm.re b/test/Test_MakeTerm.re
@@ -66,4 +66,17 @@ let tests = [
       "let    = fun x ->   in  ",
     )
   }),
+  test_case("Constructor", `Quick, () => {
+    exp_check(
+      Constructor("A", Unknown(Internal) |> Typ.fresh) |> Exp.fresh,
+      "A",
+    )
+  }),
+  test_case("Type Alias", `Quick, () => {
+    exp_check(
+      TyAlias(Var("x") |> TPat.fresh, Int |> Typ.fresh, Int(1) |> Exp.fresh)
+      |> Exp.fresh,
+      "type x = Int in 1",
+    )
+  }),
 ];