diff options
| author | clean | 2000-06-16 09:45:31 +0000 |
|---|---|---|
| committer | clean | 2000-06-16 09:45:31 +0000 |
| commit | 2538c75585766802de35fd720a4ce205c7fc78a5 (patch) | |
| tree | 4af573326258f7b822ccdd10f87a970a0578cd38 /frontend/unitype.icl | |
| parent | fix another bug in boolean cases that may fail (diff) | |
small changes to reduce memory allocation
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@167 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/unitype.icl')
| -rw-r--r-- | frontend/unitype.icl | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/frontend/unitype.icl b/frontend/unitype.icl index c2031ed..d6fdd1a 100644 --- a/frontend/unitype.icl +++ b/frontend/unitype.icl @@ -228,7 +228,6 @@ liftTempTypeVariable modules cons_vars tv_number subst ls class lift a :: !{# CommonDefs } !{# BOOLVECT } !a !*{! Type} !*LiftState -> (!a, !*{! Type}, !*LiftState) - instance lift Type where lift modules cons_vars (TempV tv_number) subst ls @@ -542,6 +541,8 @@ makeUnique attr {coer_demanded, coer_offered} coer_demanded = { coer_demanded & [attr] = CT_Unique } = make_unique off_coercions {coer_offered = coer_offered, coer_demanded = coer_demanded}// ---> ("makeUnique :", attr) where + // JVG added type: + make_unique :: !CoercionTree !*Coercions -> *Coercions; make_unique (CT_Node this_attr ct_less ct_greater) coercions # coercions = makeUnique this_attr coercions coercions = make_unique ct_less coercions @@ -563,6 +564,8 @@ makeNonUnique attr {coer_demanded, coer_offered} = make_non_unique dem_coercions {coer_offered = coer_offered, coer_demanded = coer_demanded} // ---> ("makeNonUnique", attr) where + // JVG added type: + make_non_unique :: !CoercionTree !*Coercions -> *Coercions; make_non_unique (CT_Node this_attr ct_less ct_greater) coercions # coercions = makeNonUnique this_attr coercions coercions = make_non_unique ct_less coercions @@ -588,7 +591,9 @@ Success (Yes _) = False instance coerce AType where coerce sign defs cons_vars tpos at1=:{at_attribute=attr1, at_type = type1} at2=:{at_attribute=attr2} cs=:{crc_coercions} - # attr_sign = adjust_sign sign type1 cons_vars + // JVG: added ! + #!attr_sign = adjust_sign sign type1 cons_vars +// # attr_sign = adjust_sign sign type1 cons_vars (succ, crc_coercions) = coerceAttributes attr1 attr2 attr_sign crc_coercions | succ # (succ, cs) = coerceTypes sign defs cons_vars tpos at1 at2 { cs & crc_coercions = crc_coercions } |