The following SDF2 kernel syntax (from WebDSL):

syntax
	"section" <SectionName-CF> <LAYOUT?-CF> <Definition*-CF> -> <Section-CF> {cons("Section")}

is in SDF3-coq-semantics:

syntax
	Section-CF.Section = "section" SectionName-CF LAYOUT?-CF Definition*-CF

Compiling this fails:

Internal error evaluating editor-save (InterpreterException; see error log)
rewriting failed, trace:
	editor_save_0_0
	generate_all_0_0
	module_to_esv_0_0
	filter_1_0
	filter_1_0
	cf_prod_to_template_0_0
	report_with_failure_0_1
	report_failure_0_2
	SRTS_EXT_fatal_err_0_2

The issue seems to be with the Section-CF sort.

Submitted by D. Pelsmaeker on 31 July 2014 at 11:48