feat: start recovering errors locally instead of at the top level

Goal is to keep as much information as possible about local types to improve the language server
madlib-lang · Jun 8, 2024 · 1430483 · 1430483
1 parent b05d34b
commit 1430483
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/compiler/main/Infer/Exp.hs b/compiler/main/Infer/Exp.hs
@@ -319,7 +319,13 @@ inferApp options env (Can.Canonical area (Can.App abs@(Can.Canonical absArea _)
         else
           arg
 
-  s3 <- contextualUnify env expForContext (apply s2 t1) (apply s1 t2 `fn` tv)
+  s3 <- catchError
+    (contextualUnify env expForContext (apply s2 t1) (apply s1 t2 `fn` tv))
+    (\err -> do
+      pushError err
+      unify (getReturnType t1) tv
+    )
+
   let t = apply s3 tv
   let s = s3 `compose` s2 `compose` s1