Eclipse: org.eclipse.epp.package.standard.feature.feature.group 4.4.2.20150219-0708
Spoofax: org.metaborg.spoofax.eclipse 1.5.0.20150602-163603-new-spoofax-plugin
System: Mac OS X x86_64 10.10.3

Code failing:

https://github.com/metaborg/relations/blob/feature/generate-webdsl-spoofax-core/relations/trans/analysis2/analysis2.str#L58
https://github.com/metaborg/relations/blob/feature/generate-webdsl-spoofax-core/relations/trans/analysis2/path.str#L47

The AST does not seem to have annotations (either it has no annotations or there is something wrong with the debug printing):

13:23 | ERROR | stderr                         - Attribute("passedCourses",Int,One,Derivation(Sum(MemberAccess(Ref("enrollment"),"pass2")),Derivation))
13:23 | ERROR | stderr                         - "passedCourses"
13:23 | ERROR | .c.a.s.StrategoAnalysisService - Analysis failed
Stratego stack trace:
	analysis_cmd_0_0
	analysis_cmd_0_0
	analysis_multiple_default_interface_0_0
	__analysis_multiple_default_4_2
	analysis_top_5_2
	analysis_files_4_2
	analysis_files_no_builtins_6_2
	measure_time_2_0
	map_1_0
	analysis_files_pre_trans_1_0
	analysis2_0_0
	depends_on_and_flows_to_0_0
	map_1_0
	attr_depends_on_0_0
	map_1_0
	expr_to_path_0_1
	with_1_1
	report_failure_0_2
	SRTS_EXT_fatal_err_0_2
Submitted by Daco Harkes on 10 June 2015 at 13:25

On 26 October 2015 at 12:37 Gabriël Konat commented:

Should be fixed, closing. Reopen if issue occurs again.


On 26 October 2015 at 12:37 Gabriël Konat closed this issue.

Log in to post comments