aboutsummaryrefslogtreecommitdiff
path: root/frontend/type.icl
diff options
context:
space:
mode:
authorjohnvg2011-12-08 15:40:00 +0000
committerjohnvg2011-12-08 15:40:00 +0000
commit1fa74f8221a39577b13f2c51818a9eca0f3430d7 (patch)
tree95cc21d19620df173fea4002bfbecb4455de80b5 /frontend/type.icl
parentprevent compile crash if dynamics are enabled and a type synonym is cyclic (diff)
improve uniqueness error message (by explaining how the 'indicated position' is indicated)
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2033 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/type.icl')
-rw-r--r--frontend/type.icl2
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/type.icl b/frontend/type.icl
index 393ee27..32c8c16 100644
--- a/frontend/type.icl
+++ b/frontend/type.icl
@@ -2598,7 +2598,7 @@ where
-> ea_file <<< "\"" <<< tc_position <<< "\" "
_
-> ea_file
- ea_file = ea_file <<< "attribute at indicated position could not be coerced "
+ ea_file = ea_file <<< "attribute at position indicated by ^ could not be coerced "
<:: (format, exp_off_type, Yes initialTypeVarBeautifulizer) <<< '\n'
-> (coercion_env, { error & ea_file = ea_file })
= add_to_coercion_env attr_coercions subst coercion_env common_defs cons_var_vects type_signs type_var_heap error