From d8bf5e1ac91dfb0a3ec05a2f45bd92b4afededea Mon Sep 17 00:00:00 2001
From: Alexander Bandukwala <7h3kk1d@gmail.com>
Date: Fri, 20 Dec 2024 15:24:57 -0500
Subject: [PATCH] Commenting out skipped tests because of bug in Junit_alcotest

---
 test/Test_Menhir.re | 42 +++++++++++++++++++++---------------------
 1 file changed, 21 insertions(+), 21 deletions(-)

diff --git a/test/Test_Menhir.re b/test/Test_Menhir.re
index 79d59187c8..58df6d0151 100644
--- a/test/Test_Menhir.re
+++ b/test/Test_Menhir.re
@@ -997,27 +997,27 @@ let ex5 = list_of_mylist(x) in
     |},
     ),
     // This fails because MakeTerm can't handle left to right keyword prefixes.
-    skip_menhir_maketerm_equivalent_test(
-      "Prefixed keyword parses",
-      {|let ? = ina in ?|},
-    ),
-    // Menhir is doing the skipped better than MakeTerm
-    skip_menhir_maketerm_equivalent_test(
-      "Prefixed keyword parses",
-      {|type ? = rec ? -> + Aramj -> Bool in ?|},
-    ),
-    skip_menhir_maketerm_equivalent_test(
-      "List concat and typap",
-      {|type ? = (+ Ulog, () -> Float) in let (()) = (()) in 0.001536|},
-    ),
-    skip_menhir_maketerm_equivalent_test(
-      "Sum in product in typeap",
-      {|((fun _ -> b)) @< [(+ Kfgii, Float)] >|},
-    ),
-    skip_menhir_maketerm_equivalent_test(
-      "Non-unique constructors currently throws in equality",
-      {|type ? = ((+ ? + ?)) in []|},
-    ),
+    // skip_menhir_maketerm_equivalent_test(
+    //   "Prefixed keyword parses",
+    //   {|let ? = ina in ?|},
+    // ),
+    // // Menhir is doing the skipped better than MakeTerm
+    // skip_menhir_maketerm_equivalent_test(
+    //   "Prefixed keyword parses",
+    //   {|type ? = rec ? -> + Aramj -> Bool in ?|},
+    // ),
+    // skip_menhir_maketerm_equivalent_test(
+    //   "List concat and typap",
+    //   {|type ? = (+ Ulog, () -> Float) in let (()) = (()) in 0.001536|},
+    // ),
+    // skip_menhir_maketerm_equivalent_test(
+    //   "Sum in product in typeap",
+    //   {|((fun _ -> b)) @< [(+ Kfgii, Float)] >|},
+    // ),
+    // skip_menhir_maketerm_equivalent_test(
+    //   "Non-unique constructors currently throws in equality",
+    //   {|type ? = ((+ ? + ?)) in []|},
+    // ),
     QCheck_alcotest.to_alcotest(qcheck_menhir_maketerm_equivalent_test),
     // Disabled due to bugs in ExpToSegment
     // e.g. https://github.com/hazelgrove/hazel/issues/1445