From 8fbfe3bb80758f256b54a5fce45dd95cb49a3d9e Mon Sep 17 00:00:00 2001
From: Alexander Bandukwala <7h3kk1d@gmail.com>
Date: Tue, 1 Oct 2024 11:10:51 -0400
Subject: [PATCH] Fix function deferral test

---
 test/Test_Statics.re | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

diff --git a/test/Test_Statics.re b/test/Test_Statics.re
index b8fe0b184e..71fdafc8ba 100644
--- 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,
         ),