From 6b1c3b0627f45456308bafb52e7fb93864619fd7 Mon Sep 17 00:00:00 2001
From: Alexander Bandukwala <7h3kk1d@gmail.com>
Date: Fri, 25 Oct 2024 12:24:13 -0400
Subject: [PATCH] Simplify test

---
 test/Test_Menhir.re | 24 ++++++++++--------------
 1 file changed, 10 insertions(+), 14 deletions(-)

diff --git a/test/Test_Menhir.re b/test/Test_Menhir.re
index 8b4401e87..7a67a9376 100644
--- a/test/Test_Menhir.re
+++ b/test/Test_Menhir.re
@@ -197,20 +197,16 @@ let tests = [
     |> Exp.fresh,
     "let (x : Int) = 5 in x",
   ),
-  test_case("named_function", `Quick, () => {
-    alco_check(
-      "named_function matches expected type",
-      Fun(
-        Pat.Var("x") |> Pat.fresh,
-        BinOp(Int(Plus), Var("x") |> Exp.fresh, Int(5) |> Exp.fresh)
-        |> Exp.fresh,
-        None,
-        Some("f"),
-      )
+  menhir_only_test(
+    "named_function",
+    Fun(
+      Pat.Var("x") |> Pat.fresh,
+      BinOp(Int(Plus), Var("x") |> Exp.fresh, Int(5) |> Exp.fresh)
       |> Exp.fresh,
-      Haz3lmenhir.Conversion.Exp.of_menhir_ast(
-        Haz3lmenhir.Interface.parse_program("named_fun f x -> x + 5"),
-      ),
+      None,
+      Some("f"),
     )
-  }),
+    |> Exp.fresh,
+    "named_fun f x -> x + 5",
+  ),
 ];