Internal error: with clause failed unexpectedly in rule 'constraint-extend-global-function' for double extend keyword
Compiler crash:
test: rewriting failed, trace: webdslc_main_0_0 webdslc_main_0_0 setup_adderror_for_random_testing_1_0 webdslc_main2_0_0 xtc_io_wrap_5_0 option_wrap_5_0 xtc_io_1_0 xtc_temp_files_1_0 restore_always_2_0 xtc_webdslc_0_0 dsl_to_core_0_0 dsl_to_core_analysis_0_0 stage_1_1 dr_scope_1_1 log_timed_1_1 typecheck_0_0 in_typechecking_phase_1_0 dr_scope_1_1 if_typechecking_2_0 log_time_1_1 if_statistics_2_0 constraint_error_global_0_0 filter_1_0 constraint_extend_global_function_0_0 extract_function_sig_0_0 [ test | critical ] Internal error: with clause failed unexpectedly in rule 'constraint-extend-global-function'
with input:
Submitted by André Vieira on 2 July 2013 at 11:36application f_Po5__2B8V extend extend function Kyk_b ( ) : Void { }
Issue Log
On 3 July 2013 at 11:59 Danny Groenewegen commented:
fixed in r5734
On 3 July 2013 at 11:59 Danny Groenewegen closed this issue.
On 16 July 2013 at 14:55 André Vieira tagged randomtesting
Log in to post comments