diff options
| author | johnvg | 2005-01-20 16:49:32 +0000 |
|---|---|---|
| committer | johnvg | 2005-01-20 16:49:32 +0000 |
| commit | 7f45b6ff1e2ee97d65197b41973be99b5f1b9379 (patch) | |
| tree | 6a441d39e63948a78edd6f52de66c1f460cbca21 /frontend/type.icl | |
| parent | implement let in comprehensions (diff) | |
first print derived type, then specified type, in error message
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1508 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/type.icl')
| -rw-r--r-- | frontend/type.icl | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/frontend/type.icl b/frontend/type.icl index 7d78c87..8dc7e5d 100644 --- a/frontend/type.icl +++ b/frontend/type.icl @@ -2079,10 +2079,10 @@ where specification_error type type1 err # err = errorHeading "Type error" err format = { form_properties = cAttributed, form_attr_position = No} - = { err & ea_file = err.ea_file <<< " specified type " - <:: (format, type1, Yes initialTypeVarBeautifulizer) - <<< " conflicts with derived type " + = { err & ea_file = err.ea_file <<< " derived type " <:: (format, type, Yes initialTypeVarBeautifulizer) + <<< " conflicts with specified type " + <:: (format, type1, Yes initialTypeVarBeautifulizer) <<< '\n' } cleanUpAndCheckFunctionTypes [] _ _ start_index _ defs type_contexts coercion_env attr_partition type_var_env attr_var_env (out, ts) |