diff options
| author | johnvg | 2001-09-11 10:13:12 +0000 |
|---|---|---|
| committer | johnvg | 2001-09-11 10:13:12 +0000 |
| commit | b78477cab4b5639052b3f0c22e2b5a839ffa8b97 (patch) | |
| tree | 879336fb1873f9fdaa883d535535a387334363e6 /frontend | |
| parent | fix bug in printing brackets in function types (diff) | |
pass TypeSymbIdent boxed in TA to function 'expand_syn_types_in_TA' instead of unboxed to prevent reboxing
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@766 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend')
| -rw-r--r-- | frontend/trans.icl | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/frontend/trans.icl b/frontend/trans.icl index b2730bb..249c9db 100644 --- a/frontend/trans.icl +++ b/frontend/trans.icl @@ -2554,7 +2554,7 @@ where # (types, ets) = expandSynTypes rem_annots common_defs types ets = (cons_var :@: types, ets) expandSynTypes rem_annots common_defs type=:(TA type_symb types) ets - = expand_syn_types_in_TA rem_annots common_defs type_symb types TA_Multi ets + = expand_syn_types_in_TA rem_annots common_defs type TA_Multi ets // Sjaak 240801 ... expandSynTypes rem_annots common_defs (TFA vars type) ets # (type, ets) = expandSynTypes rem_annots common_defs type ets @@ -2574,7 +2574,7 @@ where expandSynTypes rem_annots common_defs tuple ets = app2St (expandSynTypes rem_annots common_defs, expandSynTypes rem_annots common_defs) tuple ets -expand_syn_types_in_TA rem_annots common_defs type_symb=:{type_index={glob_object,glob_module},type_name} types attribute ets=:{ets_type_defs} +expand_syn_types_in_TA rem_annots common_defs (TA type_symb=:{type_index={glob_object,glob_module},type_name} types) attribute ets=:{ets_type_defs} # ({td_rhs,td_name,td_args,td_attribute},ets_type_defs) = ets_type_defs![glob_module].[glob_object] ets = { ets & ets_type_defs = ets_type_defs } = case td_rhs of @@ -2632,8 +2632,8 @@ where expandSynTypes rem_annots common_defs atype ets = expand_syn_types_in_a_type rem_annots common_defs atype ets where - expand_syn_types_in_a_type rem_annots common_defs atype=:{at_type = TA type_symb types, at_attribute} ets - # (at_type, ets) = expand_syn_types_in_TA rem_annots common_defs type_symb types at_attribute ets + expand_syn_types_in_a_type rem_annots common_defs atype=:{at_type = at_type=: TA type_symb types,at_attribute} ets + # (at_type, ets) = expand_syn_types_in_TA rem_annots common_defs at_type at_attribute ets = ({ atype & at_type = at_type }, ets) expand_syn_types_in_a_type rem_annots common_defs atype ets # (at_type, ets) = expandSynTypes rem_annots common_defs atype.at_type ets |