diff options
| author | krasimir <krasimir@chalmers.se> | 2009-09-19 10:24:02 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-09-19 10:24:02 +0000 |
| commit | 884747508ecdaf307a941e1932a0939c232c6c8f (patch) | |
| tree | 1e0ae6c4186f18acec32ffcc705bc1e0c15d5cf2 /testsuite/runtime | |
| parent | e363c4005836964a49d686176751d0247d3a33b3 (diff) | |
better error message for the ai command
Diffstat (limited to 'testsuite/runtime')
| -rw-r--r-- | testsuite/runtime/typecheck/typecheck.gfs.gold | 5 |
1 files changed, 1 insertions, 4 deletions
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
|