diff options
| author | ronny | 2001-10-03 11:03:41 +0000 |
|---|---|---|
| committer | ronny | 2001-10-03 11:03:41 +0000 |
| commit | d08add445e47eeee41f6e978a2fadf500295e412 (patch) | |
| tree | 3df429f17ffd286d37ce26a5835801a0d3a5ef70 /frontend | |
| parent | eliminated cheat module (diff) | |
fixed type error by reintroducing uniqueCopy
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@818 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend')
| -rw-r--r-- | frontend/type.icl | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/frontend/type.icl b/frontend/type.icl index 180e29e..9c281dc 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) - = arrayCopy coercion_env + = uniqueCopy coercion_env format = { form_properties = cMarkAttribute, form_attr_position = Yes (reverse positions, copy_coercion_env) } @@ -2488,6 +2488,13 @@ where CheckedType _ -> ts +uniqueCopy :: !*a -> (!*a, !*a) +uniqueCopy x = + code + { .inline uniqueCopy + push_a 0 + .end + } is_rare_name {id_name} = id_name.[0]=='_' |