diff options
| author | johnvg | 2012-08-16 12:20:33 +0000 |
|---|---|---|
| committer | johnvg | 2012-08-16 12:20:33 +0000 |
| commit | f46a6a804565040b09ca5125aa2ad39c1c574f97 (patch) | |
| tree | 70156b6928697f65031384203f2a1dfed739b5d8 /frontend/trans.icl | |
| parent | don't copy unmodified types in replaceIntegers to reduce memory usage (diff) | |
don't copy unmodified types in addPropagationAttributesToAType to reduce memory usage
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2160 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/trans.icl')
| -rw-r--r-- | frontend/trans.icl | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/frontend/trans.icl b/frontend/trans.icl index 7cfc325..7dcf5d9 100644 --- a/frontend/trans.icl +++ b/frontend/trans.icl @@ -1750,8 +1750,7 @@ where add_propagation_attributes_to_atype modules type ps | is_dictionary type ps.prop_td_infos = (type, ps) - # (type, prop_class, ps) = addPropagationAttributesToAType modules type ps - = (type, ps) + = addPropagationAttributesToAType modules type ps accum_function_producer_type :: !{!.Producer} !.ReadOnlyTI !.Int !*(!u:[v:(Optional .SymbolType)],!*{#.FunDef},!*(Heap FunctionInfo)) -> (!w:[x:(Optional SymbolType)],!.{#FunDef},!.(Heap FunctionInfo)), [u <= w,v <= x] accum_function_producer_type prods ro i (type_accu, ti_fun_defs, ti_fun_heap) |