[java] Checking import: /Users/eelcovisser/workspace/weblab/course/student-in-course-model.app
[java] Explicitly importing main file: weblab
[java] WebDSL: rewriting failed, trace:
[java] editor_update_modules_0_0
[java] editor_update_modules_0_0
[java] repeat_1_0
[java] map_1_0
[java] update_module_0_0
[java] editor_analyze_work_0_0
[java] in_typechecking_phase_1_0
[java] dr_scope_1_1
[java] editor_check_0_1
[java] dr_scope_1_1
[java] dr_scope_1_1
[java] dr_scope_1_1
[java] dbg_time_1_1
[java] rename_top_0_0
[java] log_time_1_1
[java] map_toplevel_2_0
[java] alltd_1_0
[java] map_1_0
[java] with_toplevel_name_1_0
[java] with_toplevel_name_1_1
[java] dr_scope_1_1
[java] rename_all_0_0
[java] with_origin_1_1
[java] alltd_1_0
[java] rename_0_0
[java] rename_0_0
[java] rename_data_0_0
[java] rename_entity_common_0_1
[java] dr_scope_1_1
[java] dr_scope_1_1
[java] dr_scope_1_1
[java] dr_scope_1_1
[java] rename_all_0_0
[java] with_origin_1_1
[java] alltd_1_0
[java] rename_0_0
[java] rename_0_0
[java] rename_action_0_0
[java] rename_action_0_0_fragment_1
[java] rename_action_0_0_fragment_0
[java] dr_scope_1_1
[java] dr_scope_1_1
[java] dr_scope_1_1
[java] rename_all_0_0
[java] with_origin_1_1
[java] alltd_1_0
[java] rename_0_0
[java] rename_0_0
[java] rename_action_0_0
[java] rename_action_0_0_fragment_1
[java] rename_action_0_0_fragment_0
[java] dr_scope_1_1
[java] dr_scope_1_1
[java] rename_all_0_0
[java] with_origin_1_1
[java] alltd_1_0
[java] rename_0_0
[java] rename_0_0
[java] rename_action_0_0
[java] rename_action_0_0_fragment_1
[java] rename_action_0_0_fragment_0
[java] dr_scope_1_1
[java] dr_scope_1_1
[java] rename_all_0_0
[java] with_origin_1_1
[java] alltd_1_0
[java] rename_0_0
[java] rename_0_0
[java] rename_ui_0_0
[java] rename_ui_0_0_fragment_2
[java] rename_ui_0_0_fragment_1
[java] rename_ui_0_0_fragment_0
[java] rename_all_0_0
[java] with_origin_1_1
[java] alltd_1_0
[java] rename_0_0
[java] rename_0_0
[java] rename_action_0_0
[java] rename_action_0_0_fragment_1
[java] dr_scope_1_1
[java] rename_all_0_0
[java] with_origin_1_1
[java] alltd_1_0
[java] rename_0_0
[java] rename_0_0
[java] rename_action_0_0
[java] rename_action_0_0_fragment_1
[java] rename_all_0_0
[java] with_origin_1_1
[java] alltd_1_0
[java] rename_0_0
[java] rename_0_0
[java] rename_ui_0_0
[java] rename_ui_0_0_fragment_2
[java] rename_ui_0_0_fragment_1
[java] rename_ui_0_0_fragment_0
[java] rename_entity_function_call_0_0
[java] type_of_0_0
[java] eq_type_of_0_0
[java] eq_type_of_action_0_0
[java] TypeOf_0_0
[java] fetch_elem_1_0
[java] aux_TypeOf_0_2
[java] get_inferred_type_0_0
[java] dr_scope_1_1
[java] [ WebDSL | critical ] Internal error: with clause failed unexpectedly in rule ‘get-inferred-type’
java[ Main | info ] stage 2: importing modules : [user/system] = [9.63s/0.00s]
[java] [ Main | info ] stage 3: typecheckingMain: rewriting failed, trace:
[java] webdslc_main_0_0
[java] xtc_io_wrap_5_0
[java] option_wrap_5_0
[java] xtc_io_1_0
[java] xtc_temp_files_1_0
[java] restore_always_2_0
[java] xtc_webdslc_0_0
[java] dsl_to_core_0_0
[java] dsl_to_core_analysis_0_0
[java] stage_1_1
[java] dr_scope_1_1
[java] log_timed_1_1
[java] typecheck_0_0
[java] in_typechecking_phase_1_0
[java] dr_scope_1_1
[java] log_time_1_1
[java] map_toplevel_2_0
[java] alltd_1_0
[java] map_1_0
[java] with_toplevel_name_1_0
[java] with_toplevel_name_1_1
[java] dr_scope_1_1
[java] rename_all_0_0
[java] with_origin_1_1
[java] alltd_1_0
[java] rename_0_0
[java] rename_data_0_0
[java] rename_entity_common_0_1
[java] dr_scope_1_1
[java] dr_scope_1_1
[java] dr_scope_1_1
[java] dr_scope_1_1
[java] rename_all_0_0
[java] with_origin_1_1
[java] alltd_1_0
[java] rename_0_0
[java] rename_action_0_0
[java] rename_action_0_0_fragment_1
[java] rename_action_0_0_fragment_0
[java] dr_scope_1_1
[java] dr_scope_1_1
[java] dr_scope_1_1
[java] rename_all_0_0
[java] with_origin_1_1
[java] alltd_1_0
[java] rename_0_0
[java] rename_action_0_0
[java] rename_action_0_0_fragment_1
[java] rename_action_0_0_fragment_0
[java] dr_scope_1_1
[java] dr_scope_1_1
[java] rename_all_0_0
[java] with_origin_1_1
[java] alltd_1_0
[java] rename_0_0
[java] rename_action_0_0
[java] rename_action_0_0_fragment_1
[java] rename_action_0_0_fragment_0
[java] rename_all_0_0
[java] with_origin_1_1
[java] alltd_1_0
[java] rename_0_0
[java] rename_action_0_0
[java] rename_action_0_0_fragment_1
[java] dr_scope_1_1
[java] rename_all_0_0
[java] with_origin_1_1
[java] alltd_1_0
[java] rename_0_0
[java] rename_action_0_0
[java] rename_action_0_0_fragment_1
[java] rename_all_0_0
[java] with_origin_1_1
[java] alltd_1_0
[java] rename_0_0
[java] rename_ui_0_0
[java] rename_ui_0_0_fragment_2
[java] rename_ui_0_0_fragment_1
[java] rename_ui_0_0_fragment_0
[java] rename_entity_function_call_0_0
[java] type_of_0_0
[java] eq_type_of_0_0
[java] eq_type_of_action_0_0
[java] TypeOf_0_0
[java] fetch_elem_1_0
[java] aux_TypeOf_0_2
[java] get_inferred_type_0_0
[java] dr_scope_1_1
[java] [ Main | critical ] Internal error: with clause failed unexpectedly in rule ‘get-inferred-type’
java

Submitted by Eelco Visser on 30 June 2012 at 15:28

On 1 July 2013 at 15:15 André Vieira commented:

Generated and shrunk code that causes this failure too:

application v75_44M_cW6

section pf  } oqqo
  var GKY_dO := {} predicate UC ( ) { GKY_dO }

On 1 July 2013 at 17:53 Danny Groenewegen commented:

fixed in r5731


On 1 July 2013 at 17:53 Danny Groenewegen closed this issue.

On 18 July 2013 at 16:07 André Vieira tagged randomtesting

Log in to post comments