Reverse type order in the type_error

xxdavid · Oct 15, 2024 · 6210517 · 6210517
1 parent 64c834c
commit 6210517
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/typechecker.erl b/src/typechecker.erl
@@ -2647,7 +2647,7 @@ type_check_expr_in(Env, ResTy, Expr) ->
         true ->
             NewEnv;
         false ->
-            throw(type_error(Expr, ResTy, InferredTy))
+            throw(type_error(Expr, InferredTy, ResTy))
     end.
 
 %-spec type_check_expr_in(Env, ResTy, Expr) -> Env when