Commit 529e0b00 authored by Ronny Wichers Schreur's avatar Ronny Wichers Schreur 🏘
Browse files

fixed type error by reintroducing uniqueCopy

parent 28241c7f
...@@ -2225,7 +2225,7 @@ where ...@@ -2225,7 +2225,7 @@ where
# (error=:{ea_file}) # (error=:{ea_file})
= errorHeading "Uniqueness error" error = errorHeading "Uniqueness error" error
(coercion_env, copy_coercion_env) (coercion_env, copy_coercion_env)
= arrayCopy coercion_env = uniqueCopy coercion_env
format format
= { form_properties = cMarkAttribute, = { form_properties = cMarkAttribute,
form_attr_position = Yes (reverse positions, copy_coercion_env) } form_attr_position = Yes (reverse positions, copy_coercion_env) }
...@@ -2488,6 +2488,13 @@ where ...@@ -2488,6 +2488,13 @@ where
CheckedType _ CheckedType _
-> ts -> ts
uniqueCopy :: !*a -> (!*a, !*a)
uniqueCopy x =
code
{ .inline uniqueCopy
push_a 0
.end
}
is_rare_name {id_name} is_rare_name {id_name}
= id_name.[0]=='_' = id_name.[0]=='_'
......
Markdown is supported
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