Fix function deferral test

hazelgrove · Oct 1, 2024 · 8fbfe3b · 8fbfe3b
1 parent 0b2782e
commit 8fbfe3b
Showing 1 changed file with 4 additions and 6 deletions.
diff --git a/test/Test_Statics.re b/test/Test_Statics.re
@@ -109,17 +109,15 @@ let tests =
     test_case("function deferral", `Quick, () =>
       alco_check(
         "string_sub(\"hello\", 1, _)",
-        Some(string),
+        Some(arrow(int, string)),
         type_of(
-          Ap(
-            Forward,
+          DeferredAp(
             Var("string_sub") |> Exp.fresh,
-            Tuple([
+            [
               String("hello") |> Exp.fresh,
               Int(1) |> Exp.fresh,
               Deferral(InAp) |> Exp.fresh,
-            ])
-            |> Exp.fresh,
+            ],
           )
           |> Exp.fresh,
         ),