diff options
| author | sjakie | 2001-10-02 10:10:33 +0000 |
|---|---|---|
| committer | sjakie | 2001-10-02 10:10:33 +0000 |
| commit | 094a95bee31b84217329eb0e62778600d1e8711b (patch) | |
| tree | 582360a6c275f3479c61fa8c0f675787256794c6 /frontend/unitype.icl | |
| parent | pass file modification times from icl module and dcl modules to backend (diff) | |
Bug fixes: reference count analysis fixed,
Universally quantified types used in class members
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@811 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/unitype.icl')
| -rw-r--r-- | frontend/unitype.icl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/frontend/unitype.icl b/frontend/unitype.icl index 3850467..4db67cd 100644 --- a/frontend/unitype.icl +++ b/frontend/unitype.icl @@ -232,7 +232,7 @@ adjustPropClass prop_class arity :== prop_class >> arity liftTempTypeVariable :: !{# CommonDefs } !{# BOOLVECT } !TempVarId !*{! Type} !*LiftState -> (!Bool, !Type, !*{! Type}, !*LiftState) liftTempTypeVariable modules cons_vars tv_number subst ls - #! type = subst.[tv_number] + # (type, subst) = subst![tv_number] = case type of TE -> (False, TempV tv_number, subst, ls) @@ -419,7 +419,7 @@ where expandTempTypeVariable :: !TempVarId !*(!u:{! Type}, !*ExpansionState) -> (!Bool, !Type, !*(!u:{! Type}, !*ExpansionState)) expandTempTypeVariable tv_number (subst, es) - #! type = subst.[tv_number] + # (type, subst) = subst![tv_number] = case type of TE -> (False, TempV tv_number, (subst, es)) |