diff options
Diffstat (limited to 'frontend/mergecases.icl')
-rw-r--r-- | frontend/mergecases.icl | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/frontend/mergecases.icl b/frontend/mergecases.icl index adaca74..78f06a9 100644 --- a/frontend/mergecases.icl +++ b/frontend/mergecases.icl @@ -203,9 +203,8 @@ where = (Case {cees & case_info_ptr=new_case_info_ptr},symbol_heap) replace_variables_in_expression expr var_heap symbol_heap - # us = { us_var_heap = var_heap, us_symbol_heap = symbol_heap, us_opt_type_heaps = No,us_cleanup_info = [], us_local_macro_functions = No } - ui = {ui_handle_aci_free_vars = RemoveThem} - (expr, us) = unfold expr ui us + # us = { us_var_heap = var_heap, us_symbol_heap = symbol_heap, us_local_macro_functions = No } + (expr, us) = unfold expr us = (expr, us.us_var_heap, us.us_symbol_heap) new_variable fv=:{fv_ident, fv_info_ptr} var_heap @@ -378,9 +377,8 @@ where replace_variables vars expr ap_vars var_heap symbol_heap # var_heap = build_aliases vars ap_vars var_heap - # us = { us_var_heap = var_heap, us_symbol_heap = symbol_heap, us_opt_type_heaps = No,us_cleanup_info=[], us_local_macro_functions = No } - ui = {ui_handle_aci_free_vars = RemoveThem } - (expr, us) = unfold expr ui us + # us = { us_var_heap = var_heap, us_symbol_heap = symbol_heap, us_local_macro_functions = No } + (expr, us) = unfold expr us = (expr, us.us_var_heap, us.us_symbol_heap) where build_aliases [var1 : vars1] [ {fv_ident,fv_info_ptr} : vars2 ] var_heap |