diff options
| author | sjakie | 2001-10-02 14:23:04 +0000 |
|---|---|---|
| committer | sjakie | 2001-10-02 14:23:04 +0000 |
| commit | b223cf65a3306878558f1bdc1992805942824211 (patch) | |
| tree | 581d071e4e9126e6fe28a668de4d17c21b2da190 /frontend | |
| parent | removed uniqueness errors (diff) | |
removed uniqueness errors
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@813 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend')
| -rw-r--r-- | frontend/type.icl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/frontend/type.icl b/frontend/type.icl index ff279bd..8e02045 100644 --- a/frontend/type.icl +++ b/frontend/type.icl @@ -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 |