better error message for the ai command

This commit is contained in:
krasimir
2009-09-19 10:24:02 +00:00
parent c09404ebc1
commit eb139fd705
2 changed files with 2 additions and 5 deletions
@@ -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␍