Error in analysis reported in console of Eclipse plugin:

[ WebDSL | critical ] Internal error: with clause failed unexpectedly in rule ‘pp-type’
“unknown”
rewriting failed, trace:
report_with_failure_0_2
pp_type_0_0
map_1_0
pp_types_0_0
pretty_print_call_0_2
constraint_error_action_0_0
constraint_error_0_0
try_1_0
bottomup_1_0
bottomup_1_0
bottomup_1_0
bottomup_1_0
bottomup_1_0
bottomup_1_0
bottomup_1_0
bottomup_1_0
bottomup_1_0
bottomup_1_0
bottomup_1_0
bottomup_1_0
bottomup_1_0
bottomup_1_0
constraint_error_all_0_0
dr_scope_1_1
dr_scope_1_1
catch_errors_editor_1_0
dbg_time_1_1
dr_scope_1_1
dr_scope_1_1
editor_check_0_1
dr_scope_1_1
in_typechecking_phase_1_0
editor_analyze_work_0_0
editor_analyze_0_0
editor_analyze_0_0

Submitted by Eelco Visser on 8 October 2011 at 14:57

Probably due to the fact that I had a WebDSL project open and built in my workspace. (But this may indicate a problem in the trunk?)

I also found a failure with my automatic tester, heres the trace:

* : error: Generic type not defined: EntityTypeNamed<h7>
EntityTypeNamed<h7>
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_all_0_0
	bottomup_1_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_action_0_0
	constraint_error_action_0_0_fragment_2
	constraint_error_vardecl_0_2
	pp_type_0_0
	pp_type_aux_0_0
	pp_type_0_0
	pp_type_aux_0_0
[ test | critical ] Internal error: with clause failed unexpectedly in rule 'pp-type'
           "h7"{"varinit_dN4_h70"}

and heres a shrunken .app that causes it:

application uKNw3_RRf9d

section pG  }  
  var dN4 := [ false | h7 : Tw5 in global.Tw5 ]

section >qow
  enum eH212_5 { }

  request  var  j7  :  h7