Commit cf28a8ef authored by Sjaak Smetsers's avatar Sjaak Smetsers
Browse files

removed uniqueness errors

parent 2e90e7ac
......@@ -67,7 +67,7 @@ where
instance arraySubst Type
where
arraySubst tv=:(TempV tv_number) subst
#! type = subst.[tv_number]
# (type, subst) = subst![tv_number]
= case type of
TE -> (False,tv, subst)
_
......@@ -84,7 +84,7 @@ where
= (True, TA cons_id cons_args, subst)
= (False,type, subst)
arraySubst tcv=:(TempCV tv_number :@: types) subst
#! type = subst.[tv_number]
# (type, subst) = subst![tv_number]
= case type of
TE
# (changed,types, subst) = arraySubst types subst
......
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