diff options
| author | johnvg | 2007-11-20 11:53:01 +0000 |
|---|---|---|
| committer | johnvg | 2007-11-20 11:53:01 +0000 |
| commit | f66e7927cffde27a097acc68a0bb4256b01a585d (patch) | |
| tree | 138e6fb281df1763551428460dda3e2eb93715c6 | |
| parent | make a![i] unique in yielded element if the yielded array is used only by (diff) | |
change error: type variable of type of lifted argument .. appears in the specified type
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1688 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
| -rw-r--r-- | frontend/typesupport.icl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/frontend/typesupport.icl b/frontend/typesupport.icl index 32e5419..6e2bf7c 100644 --- a/frontend/typesupport.icl +++ b/frontend/typesupport.icl @@ -303,9 +303,9 @@ existentialError err # err = errorHeading "Type error" err = { err & ea_file = err.ea_file <<< "existential type variable appears in the derived type specification\n" } -liftedError var err +liftedError type_var err # err = errorHeading "Type error" err - = { err & ea_file = err.ea_file <<< "type variable of type of lifted argument " <<< var <<< " appears in the specified type\n" } + = { err & ea_file = err.ea_file <<< "type variable " <<< type_var <<< " of type of lifted argument appears in the specified type\n" } startRuleError mess err # err = errorHeading "Type error" err |