The statement

return ( Expressions.first(
  [ x | x : AssignmentSubmission in AssignmentCollectionSubmission.getSubsForGrade(this) order by AssignmentSubmission.getGradePassOrder(x) ],
  (Expressions.choice_One_One(AssignmentCollection.getPassNSubAssignments(AssignmentCollectionSubmission.getAssignment2(this)), 0) as Int )
) as List<AssignmentSubmission>)

causes the following trace:

[ Main | info ] stage 1: parsing weblab.app             [ 0.94s ]
[ Main | info ] stage 2: importing modules              [ 7.35s ]
[ Main | info ] stage 3: derive templates               [ 0.08s ]
[ Main | info ] stage 4: typechecking                   [ 6.44s ]
[ Main | info ] stage 5: model-to-model                 [ 19.83s ]
[ Main | info ] stage 6: access control
                 [ 9.60s ]
[ Main | info ] stage 7: performing analysis            [ 1.38s ]
[ Main | info ] stage 8: renaming identifiers           [ 0.58s ]
[ Main | info ] stage 9: generation analysis            [ 0.04s ]
[ Main | info ] stage 10: code generationInternal error: with clause failed unexpectedly in strategy 'java-type'
	EntitySort("AssignmentSubmission")
	report_with_failure_0_1
	java_type_0_0
	collect_om_2_0
	foldr_3_0
	collect_om_2_0
	collect_1_0
	for_filter_by_code_order_by_vars_0_1
	map_1_0
	for_filter_by_code_order_by_0_4
	for_filter_by_code_0_4
	for_translation_common_0_7
	for_to_java_servlet_0_0_fragment_0
	for_to_java_servlet_0_0
	statement_to_java_servlet_0_0
	filter_1_0
	filter_warn_1_1
	block_to_java_servlet_0_0
	statement_to_java_servlet_0_0
	if_to_java_servlet_0_0
	statement_to_java_servlet_0_0
	filter_1_0
	filter_warn_1_1
	statements_to_java_servlet_0_0
	dr_scope_1_1
	webdsl_function_to_java_servlet_function_0_1
	webdsl_function_to_java_servlet_function_0_0
	emit_java_servlet_global_function_0_0
	dr_scope_1_1
	dr_scope_1_1
	dr_scope_1_1
	scope_local_emit_1_1
	generate_java_servlet_global_function_0_0
	generate_code_java_servlet_0_0_fragment_0
	generate_code_java_servlet_0_0
	generate_code_java_servlet_0_0_fragment_0
	generate_code_java_servlet_0_0
	if_statistics_2_0
	log_time_1_1
	core_to_java_servlet_0_1
	log_timed_1_1
	dr_scope_1_1
	stage_1_1
	xtc_webdslc_0_0
	restore_always_2_0
	xtc_temp_files_1_0
	xtc_io_1_0
	option_wrap_5_0
	xtc_io_wrap_5_0
	webdslc_main_0_0

BUILD FAILED
/Applications/webdsl/share/webdsl/webdsl-build-command.xml:102: The following error occurred while executing this line:
/Applications/webdsl/share/webdsl/webdsl-build-command.xml:135: The following error occurred while executing this line:
/Applications/webdsl/share/webdsl/webdsl-build.xml:660: The following error occurred while executing this line:
/Applications/webdsl/share/webdsl/webdsl-build.xml:653: The following error occurred while executing this line:
/Applications/webdsl/share/webdsl/webdsl-build.xml:648: The following error occurred while executing this line:
/Applications/webdsl/share/webdsl/webdsl-build.xml:277: The following error occurred while executing this line:
/Applications/webdsl/share/webdsl/webdsl-build.xml:377: Java returned: 1

Total time: 1 minute 5 seconds

Submitted by Daco Harkes on 31 March 2017 at 16:54