Commit 417abaa1 authored by John van Groningen's avatar John van Groningen
Browse files

improve uniqueness error message (by explaining how the 'indicated position' is indicated)

parent a7c9e11d
......@@ -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
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment