Internal error: with clause failed unexpectedly in rule 'local-redefine-arg-types'
Error found with random code generator, the code can be found here
Submitted by André Vieira on 18 January 2013 at 16:41
Issue Log
On 1 July 2013 at 15:19 André Vieira commented:
Generated and shrunk code causing this failure:
application IeLPH__3 define lXq ( ) = g__1c4_JX_(*, g_7CEX2_)
On 17 July 2013 at 11:29 André Vieira commented:
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_all_0_0 bottomup_1_0 bottomup_1_0 bottomup_1_0 bottomup_1_0 bottomup_1_0 try_1_0 constraint_error_0_0 constraint_error_ui_0_0 constraint_error_ui_0_0_fragment_2 constraint_error_ui_0_0_fragment_1 constraint_error_ui_0_0_fragment_0 local_redefine_arg_types_0_2 map_1_0 type_of_0_0 eq_type_of_0_0 IsEntity_0_0 EntDecl_0_0 dr_lookup_rule_0_2 dr_lookup_rule_1_2 dr_lookup_rule_1_2[ test | critical ] Internal error: with clause failed unexpectedly in rule ‘local-redefine-arg-types’
On 17 July 2013 at 11:29 André Vieira tagged randomtesting
Log in to post comments