diff options
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
|
