From f0e16e74ee16df27d080c0aafc6014c578ce078d Mon Sep 17 00:00:00 2001
From: Alexander Bandukwala <7h3kk1d@gmail.com>
Date: Mon, 7 Oct 2024 12:43:54 -0400
Subject: [PATCH] Add example with holes

---
 test/Test_MakeTerm.re | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/test/Test_MakeTerm.re b/test/Test_MakeTerm.re
index a7f8d11cb7..82eee683b6 100644
--- 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  ",
+    )
+  }),
 ];