call-onsave:
        [java] Calling on-save handler for: C:\Users\Daco\Documents\relations\relations\syntax\Common.sdf3
        [java] Calling on-save handler for: C:\Users\Daco\Documents\relations\relations\syntax\Data.sdf3
        [java] generating for Common.sdf3
        [java] generating for Data.sdf3
        [java] rewriting failed, trace:
        [java] 	editor_save_0_0
        [java] 	generate_all_0_0
        [java] 	module_to_ds_sig_0_0
        [java] 	filter_1_0
        [java] 	filter_1_0
        [java] 	template_to_ds_sig_0_0
        [java] 	cons_to_ds_decl_0_0
        [java] 	report_with_failure_0_1
        [java] 	report_failure_0_2
        [java] 	SRTS_EXT_fatal_err_0_2
        [java] Calling on-save handler for: C:\Users\Daco\Documents\relations\relations\syntax\Execute.sdf3
        [java] Calling on-save handler for: C:\Users\Daco\Documents\relations\relations\syntax\Expressions.sdf3
        [java] Calling on-save handler for: C:\Users\Daco\Documents\relations\relations\syntax\Model.sdf3
        [java] generating for Execute.sdf3
        [java] generating for Expressions.sdf3
        [java] generating for Model.sdf3
        [java] rewriting failed, trace:
        [java] 	editor_save_0_0
        [java] 	generate_all_0_0
        [java] 	module_to_ds_sig_0_0
        [java] 	filter_1_0
        [java] 	filter_1_0
        [java] 	template_to_ds_sig_0_0
        [java] 	cons_to_ds_decl_0_0
        [java] 	report_with_failure_0_1
        [java] 	report_failure_0_2
        [java] 	SRTS_EXT_fatal_err_0_2
        [java] Calling on-save handler for: C:\Users\Daco\Documents\relations\relations\syntax\Modules.sdf3
        [java] generating for Modules.sdf3
        [java] rewriting failed, trace:
        [java] 	editor_save_0_0
        [java] 	generate_all_0_0
        [java] 	module_to_ds_sig_0_0
        [java] 	filter_1_0
        [java] 	filter_1_0
        [java] 	template_to_ds_sig_0_0
        [java] 	cons_to_ds_decl_0_0
        [java] 	report_with_failure_0_1
        [java] 	report_failure_0_2
        [java] 	SRTS_EXT_fatal_err_0_2
        [java] Calling on-save handler for: C:\Users\Daco\Documents\relations\relations\syntax\Relations.sdf3
        [java] Calling on-save handler for: C:\Users\Daco\Documents\relations\relations\syntax\Types.sdf3

This then causes the build further on to fail.

Spoofax versions with this issue:

  • Windows 64 bit: Spoofax Core 1.5.0.20150819-010142-master
  • Windows 64 bit: Spoofax Core 1.5.0.20150803-112735-master (embedded in the WebDSL editor)

Files causing issue: https://github.com/metaborg/relations/tree/develop/relations/syntax

Submitted by Daco Harkes on 21 August 2015 at 12:22

On 21 August 2015 at 16:34 Vlad Vergu commented:

Thanks for the bug report. Work-around implemented in https://github.com/metaborg/sdf/commit/b79dc1e799ab37c367407d40bf946742b3d5b19f

Best to avoid using optionals in SDF3 if you’re interested in DynSem signatures.


On 21 August 2015 at 16:34 Vlad Vergu closed this issue.

On 21 August 2015 at 17:10 Daco Harkes commented:

Thanks for fixing.

(Note: all optional things have something non-optional after desugaring. So for my use case ignore the optional actually works. But of course this is not generally true.)

Log in to post comments