Internal error: with clause failed unexpectedly in rule 'rename-vars-in-added-stmts-with-fargs'
Submitted by Eelco Visser on 20 March 2010 at 16:37[ webdslc | info ] stage 4: model-to-modelwebdslc: rewriting failed, trace: main_0_0 webdslc_main_0_0 xtc_io_wrap_5_0 option_wrap_5_0 lifted43 xtc_io_1_0 xtc_temp_files_1_0 restore_always_2_0 lifted31 lifted4 xtc_webdslc_0_0 dr_scope_1_1 lifted7 dsl_to_core_0_0 dsl_to_core_generation_0_0 stage_1_1 log_timed_1_1 desugar_top_0_0 repeat_1_0 try_1_0 lifted476 repeat_1_0 try_1_0 lifted476 repeat_1_0 try_1_0 lifted476 repeat_1_0 try_1_0 lifted476 repeat_1_0 try_1_0 lifted476 lifted1497 sometd_1_0 i_135 i_135 i_135 i_135 i_135 lifted1498 desugar_section_0_0 desugar_toplevel_def_0_0 with_toplevel_name_1_0 with_toplevel_name_1_1 dr_scope_1_1 lifted1452 lifted1502 innermost_rep_1_0 dr_scope_1_1 lifted1493 dr_scope_1_1 lifted1494 innermost_rep_aux_1_0 try_1_0 lifted1496 innermost_rep_aux_1_0 try_1_0 lifted1496 innermost_rep_aux_1_0 try_1_0 lifted1496 innermost_rep_aux_1_0 try_1_0 lifted1496 innermost_rep_aux_1_0 try_1_0 lifted1496 innermost_rep_aux_1_0 try_1_0 lifted1496 desugar_0_0 desugar_data_0_0 desugar_extend_entity_functions_apply_dr_0_0 map_1_0 i_252 lifted627 try_1_0 lifted628 once_ExtendEntityFunction_0_0 split_fetch_1_0 at_suffix_1_0 f_257 lifted1162 lifted2806 aux_ExtendEntityFunction_0_5 rename_vars_in_added_stmts_with_fargs_0_0 zip_0_0 zip_1_0 genzip_4_0 g_233 Zip2_0_0 [ webdslc | critical ] Internal error: with clause failed unexpectedly in rule 'rename-vars-in-added-stmts-with-fargs' ([],[Arg("value"{"Tag_value7"},SimpleSort("Publication"))],[Stat(Call(Var("this"{"Tag_this1"}),"touch",[]))],[])
Issue Log
On 20 March 2010 at 20:47 Nathan Bruning commented:
The implementation of extend functions was looking just at the function name, not its arguments.
From revision 3763, arguments are matched as well. Constraints are added to check whether an extend function actually extends an existing function.
Log in to post comments