diff options
Diffstat (limited to 'frontend/type.icl')
| -rw-r--r-- | frontend/type.icl | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/frontend/type.icl b/frontend/type.icl index 9c281dc..f48142c 100644 --- a/frontend/type.icl +++ b/frontend/type.icl @@ -2225,7 +2225,7 @@ where # (error=:{ea_file}) = errorHeading "Uniqueness error" error (coercion_env, copy_coercion_env) - = uniqueCopy coercion_env + = copyCoercions coercion_env format = { form_properties = cMarkAttribute, form_attr_position = Yes (reverse positions, copy_coercion_env) } @@ -2488,13 +2488,6 @@ where CheckedType _ -> ts -uniqueCopy :: !*a -> (!*a, !*a) -uniqueCopy x = - code - { .inline uniqueCopy - push_a 0 - .end - } is_rare_name {id_name} = id_name.[0]=='_' |