Add example with holes

hazelgrove · Oct 7, 2024 · f0e16e7 · f0e16e7
1 parent 6522501
commit f0e16e7
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/test/Test_MakeTerm.re b/test/Test_MakeTerm.re
@@ -55,4 +55,16 @@ let tests = [
       "let f = fun x -> x in 1",
     )
   }),
+  test_case("Incomplete Function Definition", `Quick, () => {
+    exp_check(
+      Let(
+        EmptyHole |> Pat.fresh,
+        Fun(Var("x") |> Pat.fresh, EmptyHole |> Exp.fresh, None, None)
+        |> Exp.fresh,
+        EmptyHole |> Exp.fresh,
+      )
+      |> Exp.fresh,
+      "let    = fun x ->   in  ",
+    )
+  }),
 ];