Remove invalid deferral test

hazelgrove · Dec 22, 2024 · ce578a3 · ce578a3
1 parent ae1ae3d
commit ce578a3
Showing 1 changed file with 0 additions and 22 deletions.
diff --git a/test/Test_Elaboration.re b/test/Test_Elaboration.re
@@ -627,26 +627,6 @@ let f =
   let filter_menhir = () =>
     alco_check_menhir("Filter test (menhir)", filter_str, filter_uexp);
 
-  //NOTE: left out until deferral elaborations are fixed
-  // let deferred_str = "
-  // (fun x -> 4 + 5)(_)
-  // ";
-  // let deferred_uexp: Exp.t =
-  //   DeferredAp(
-  //     Fun(
-  //       Var("x") |> Pat.fresh,
-  //       BinOp(Int(Plus), Int(4) |> Exp.fresh, Int(5) |> Exp.fresh)
-  //       |> Exp.fresh,
-  //       None,
-  //       None,
-  //     )
-  //     |> Exp.fresh,
-  //     [Deferral(InAp) |> Exp.fresh],
-  //   )
-  //   |> Exp.fresh;
-  // let deferred_ap_menhir = () =>
-  //   alco_check_menhir("Deferred Ap Test (menhir)", deferred_str, deferred_uexp);
-
   let undefined_str = "
 undef
 ";
@@ -768,8 +748,6 @@ x
     test_case("Inconsistent case (menhir)", `Quick, inconsistent_case_menhir),
     test_case("ap fun (menhir)", `Quick, ap_fun_menhir),
     test_case("Consistent if (menhir)", `Quick, consistent_if_menhir),
-    //NOTE: left out until deferral elaborations are fixed
-    // test_case("Deffered Ap Test (menhir)", `Quick, deferred_ap_menhir),
     test_case("Undefined test (menhir)", `Quick, undefined_menhir),
     test_case("List exp (menhir)", `Quick, list_exp_menhir),
     test_case("Invalid test (menhir)", `Quick, invalid_menhir),