From 542a62775ae7b0fb5029dacfa5a2a4b393b5c6a8 Mon Sep 17 00:00:00 2001 From: Krasimir Angelov Date: Wed, 9 Sep 2026 09:37:05 +0200 Subject: [PATCH] change error message --- src/runtime/haskell/tests/typechecking.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/runtime/haskell/tests/typechecking.hs b/src/runtime/haskell/tests/typechecking.hs index 6db7b2314..3ed4439c6 100644 --- a/src/runtime/haskell/tests/typechecking.hs +++ b/src/runtime/haskell/tests/typechecking.hs @@ -24,7 +24,7 @@ main = do ,TestCase (assertInference "infer literal 3" gr (Right "String") "\"abc\"") ,TestCase (assertInference "infer meta 1" gr (Left "Cannot infer the type of a meta variable") "?") ,TestCase (assertInference "infer meta 2" gr (Right "N->N") "N>") - ,TestCase (assertInference "infer lambda" gr (Left "Cannot infer the type of a lambda abstraction") "\\x->x") + ,TestCase (assertInference "infer lambda" gr (Left "Cannot infer the type of a lambda variable") "\\x->x") ,TestCase (assertChecking "check fun 1" gr (Right "s") "s" "N->N") ,TestCase (assertChecking "check fun 2" gr (Right "s z") "s z" "N") ,TestCase (assertChecking "check fun 3" gr (Left "Types doesn't match") "s z" "N->N")