From 884747508ecdaf307a941e1932a0939c232c6c8f Mon Sep 17 00:00:00 2001 From: krasimir Date: Sat, 19 Sep 2009 10:24:02 +0000 Subject: better error message for the ai command --- testsuite/runtime/typecheck/typecheck.gfs.gold | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) (limited to 'testsuite/runtime') diff --git a/testsuite/runtime/typecheck/typecheck.gfs.gold b/testsuite/runtime/typecheck/typecheck.gfs.gold index f4c48d250..5e27e1482 100644 --- a/testsuite/runtime/typecheck/typecheck.gfs.gold +++ b/testsuite/runtime/typecheck/typecheck.gfs.gold @@ -7,10 +7,7 @@ A function type is expected for the expression 1 instead of type Int Couldn't match expected type Int -> Int against inferred type Int In the expression: 1 - - -Function unknown_fun is not in scope - +unknown category of function identifier unknown_fun Category unknown_cat is not in scope Cannot infer the type of expression \x -> x -- cgit v1.2.3