The typesmart build step makes the IceDust build in Spoofax fail.

Latest commit in develop branch https://github.com/MetaBorgCube/IceDust/tree/0ebd4a794abd660276eaf450bdb0900b35a78fa5 (LEP students have same issue, and they have branched off to somewhere else).

17:12 | INFO  | Build log                      - > Generate typesmart analysis
17:12 | ERROR | Build log                      - Builder failed unexpectedly
java.lang.IllegalArgumentException: Found type in unexpected format Sort("Inv",[SortNoArgs("Path")])
	at org.metaborg.spoofax.meta.core.pluto.build.Typesmart.extractSortType(Typesmart.java:305) ~[org.metaborg.spoofax.meta.core_2.0.0.20160530-110913-master.jar:na]
	at org.metaborg.spoofax.meta.core.pluto.build.Typesmart.processSignature(Typesmart.java:242) ~[org.metaborg.spoofax.meta.core_2.0.0.20160530-110913-master.jar:na]
	at org.metaborg.spoofax.meta.core.pluto.build.Typesmart.processModule(Typesmart.java:187) ~[org.metaborg.spoofax.meta.core_2.0.0.20160530-110913-master.jar:na]
	at org.metaborg.spoofax.meta.core.pluto.build.Typesmart.processMainStrategoFile(Typesmart.java:141) ~[org.metaborg.spoofax.meta.core_2.0.0.20160530-110913-master.jar:na]
	at org.metaborg.spoofax.meta.core.pluto.build.Typesmart.build(Typesmart.java:100) ~[org.metaborg.spoofax.meta.core_2.0.0.20160530-110913-master.jar:na]
	at org.metaborg.spoofax.meta.core.pluto.build.Typesmart.build(Typesmart.java:1) ~[org.metaborg.spoofax.meta.core_2.0.0.20160530-110913-master.jar:na]
	at build.pluto.builder.Builder.triggerBuild(Builder.java:134) [pluto-1.9.0.jar:na]
	at build.pluto.builder.BuildManager.executeBuilder(BuildManager.java:91) [pluto-1.9.0.jar:na]
	at build.pluto.builder.BuildManager.require(BuildManager.java:324) [pluto-1.9.0.jar:na]
	at build.pluto.builder.Builder.requireBuild(Builder.java:215) [pluto-1.9.0.jar:na]
	at build.pluto.builder.Builder.requireBuild(Builder.java:234) [pluto-1.9.0.jar:na]
	at org.metaborg.spoofax.meta.core.pluto.build.main.GenerateSourcesBuilder.build(GenerateSourcesBuilder.java:285) [org.metaborg.spoofax.meta.core_2.0.0.20160530-110913-master.jar:na]
	at org.metaborg.spoofax.meta.core.pluto.build.main.GenerateSourcesBuilder.build(GenerateSourcesBuilder.java:1) [org.metaborg.spoofax.meta.core_2.0.0.20160530-110913-master.jar:na]
	at build.pluto.builder.Builder.triggerBuild(Builder.java:134) [pluto-1.9.0.jar:na]
	at build.pluto.builder.BuildManager.executeBuilder(BuildManager.java:91) [pluto-1.9.0.jar:na]
	at build.pluto.builder.BuildManager.require(BuildManager.java:324) [pluto-1.9.0.jar:na]
	at build.pluto.builder.BuildManager.requireInitially(BuildManager.java:251) [pluto-1.9.0.jar:na]
	at build.pluto.builder.BuildManagers.build(BuildManagers.java:62) [pluto-1.9.0.jar:na]
	at org.metaborg.spoofax.meta.core.build.LanguageSpecBuilder.plutoBuild(LanguageSpecBuilder.java:280) [org.metaborg.spoofax.meta.core_2.0.0.20160530-110913-master.jar:na]
	at org.metaborg.spoofax.meta.core.build.LanguageSpecBuilder.compile(LanguageSpecBuilder.java:131) [org.metaborg.spoofax.meta.core_2.0.0.20160530-110913-master.jar:na]
	at org.metaborg.spoofax.eclipse.meta.build.CompileBuilder$1.run(CompileBuilder.java:49) [org.metaborg.spoofax.eclipse.meta_2.0.0.20160530-110913-master.jar:na]
	at org.eclipse.core.internal.resources.Workspace.run(Workspace.java:2241) [org.eclipse.core.resources_3.10.1.v20150725-1910.jar:na]
	at org.metaborg.spoofax.eclipse.meta.build.CompileBuilder.build(CompileBuilder.java:69) [org.metaborg.spoofax.eclipse.meta_2.0.0.20160530-110913-master.jar:na]
	at org.metaborg.spoofax.eclipse.meta.build.Builder.build(Builder.java:53) [org.metaborg.spoofax.eclipse.meta_2.0.0.20160530-110913-master.jar:na]
	at org.eclipse.core.internal.events.BuildManager$2.run(BuildManager.java:734) [org.eclipse.core.resources_3.10.1.v20150725-1910.jar:na]
	at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:42) [org.eclipse.equinox.common_3.7.0.v20150402-1709.jar:na]
	at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:205) [org.eclipse.core.resources_3.10.1.v20150725-1910.jar:na]
	at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:245) [org.eclipse.core.resources_3.10.1.v20150725-1910.jar:na]
	at org.eclipse.core.internal.events.BuildManager$1.run(BuildManager.java:300) [org.eclipse.core.resources_3.10.1.v20150725-1910.jar:na]
	at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:42) [org.eclipse.equinox.common_3.7.0.v20150402-1709.jar:na]
	at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:303) [org.eclipse.core.resources_3.10.1.v20150725-1910.jar:na]
	at org.eclipse.core.internal.events.BuildManager.basicBuildLoop(BuildManager.java:359) [org.eclipse.core.resources_3.10.1.v20150725-1910.jar:na]
	at org.eclipse.core.internal.events.BuildManager.build(BuildManager.java:382) [org.eclipse.core.resources_3.10.1.v20150725-1910.jar:na]
	at org.eclipse.core.internal.resources.Workspace.buildInternal(Workspace.java:486) [org.eclipse.core.resources_3.10.1.v20150725-1910.jar:na]
	at org.eclipse.core.internal.resources.Workspace.build(Workspace.java:405) [org.eclipse.core.resources_3.10.1.v20150725-1910.jar:na]
	at org.eclipse.ui.actions.BuildAction$1.runInWorkspace(BuildAction.java:287) [org.eclipse.ui.ide_3.11.0.v20150825-2158.jar:na]
	at org.eclipse.core.internal.resources.InternalWorkspaceJob.run(InternalWorkspaceJob.java:39) [org.eclipse.core.resources_3.10.1.v20150725-1910.jar:na]
	at org.eclipse.core.internal.jobs.Worker.run(Worker.java:55) [org.eclipse.core.jobs_3.7.0.v20150330-2103.jar:na]
17:12 | ERROR | Build log                      - Required builder failed
java.lang.IllegalArgumentException: Found type in unexpected format Sort("Inv",[SortNoArgs("Path")])
	at org.metaborg.spoofax.meta.core.pluto.build.Typesmart.extractSortType(Typesmart.java:305) ~[org.metaborg.spoofax.meta.core_2.0.0.20160530-110913-master.jar:na]
	at org.metaborg.spoofax.meta.core.pluto.build.Typesmart.processSignature(Typesmart.java:242) ~[org.metaborg.spoofax.meta.core_2.0.0.20160530-110913-master.jar:na]
	at org.metaborg.spoofax.meta.core.pluto.build.Typesmart.processModule(Typesmart.java:187) ~[org.metaborg.spoofax.meta.core_2.0.0.20160530-110913-master.jar:na]
	at org.metaborg.spoofax.meta.core.pluto.build.Typesmart.processMainStrategoFile(Typesmart.java:141) ~[org.metaborg.spoofax.meta.core_2.0.0.20160530-110913-master.jar:na]
	at org.metaborg.spoofax.meta.core.pluto.build.Typesmart.build(Typesmart.java:100) ~[org.metaborg.spoofax.meta.core_2.0.0.20160530-110913-master.jar:na]
	at org.metaborg.spoofax.meta.core.pluto.build.Typesmart.build(Typesmart.java:1) ~[org.metaborg.spoofax.meta.core_2.0.0.20160530-110913-master.jar:na]
	at build.pluto.builder.Builder.triggerBuild(Builder.java:134) ~[pluto-1.9.0.jar:na]
	at build.pluto.builder.BuildManager.executeBuilder(BuildManager.java:91) [pluto-1.9.0.jar:na]
	at build.pluto.builder.BuildManager.require(BuildManager.java:324) [pluto-1.9.0.jar:na]
	at build.pluto.builder.Builder.requireBuild(Builder.java:215) ~[pluto-1.9.0.jar:na]
	at build.pluto.builder.Builder.requireBuild(Builder.java:234) ~[pluto-1.9.0.jar:na]
	at org.metaborg.spoofax.meta.core.pluto.build.main.GenerateSourcesBuilder.build(GenerateSourcesBuilder.java:285) ~[org.metaborg.spoofax.meta.core_2.0.0.20160530-110913-master.jar:na]
	at org.metaborg.spoofax.meta.core.pluto.build.main.GenerateSourcesBuilder.build(GenerateSourcesBuilder.java:1) ~[org.metaborg.spoofax.meta.core_2.0.0.20160530-110913-master.jar:na]
	at build.pluto.builder.Builder.triggerBuild(Builder.java:134) ~[pluto-1.9.0.jar:na]
	at build.pluto.builder.BuildManager.executeBuilder(BuildManager.java:91) [pluto-1.9.0.jar:na]
	at build.pluto.builder.BuildManager.require(BuildManager.java:324) [pluto-1.9.0.jar:na]
	at build.pluto.builder.BuildManager.requireInitially(BuildManager.java:251) [pluto-1.9.0.jar:na]
	at build.pluto.builder.BuildManagers.build(BuildManagers.java:62) [pluto-1.9.0.jar:na]
	at org.metaborg.spoofax.meta.core.build.LanguageSpecBuilder.plutoBuild(LanguageSpecBuilder.java:280) [org.metaborg.spoofax.meta.core_2.0.0.20160530-110913-master.jar:na]
	at org.metaborg.spoofax.meta.core.build.LanguageSpecBuilder.compile(LanguageSpecBuilder.java:131) [org.metaborg.spoofax.meta.core_2.0.0.20160530-110913-master.jar:na]
	at org.metaborg.spoofax.eclipse.meta.build.CompileBuilder$1.run(CompileBuilder.java:49) [org.metaborg.spoofax.eclipse.meta_2.0.0.20160530-110913-master.jar:na]
	at org.eclipse.core.internal.resources.Workspace.run(Workspace.java:2241) [org.eclipse.core.resources_3.10.1.v20150725-1910.jar:na]
	at org.metaborg.spoofax.eclipse.meta.build.CompileBuilder.build(CompileBuilder.java:69) [org.metaborg.spoofax.eclipse.meta_2.0.0.20160530-110913-master.jar:na]
	at org.metaborg.spoofax.eclipse.meta.build.Builder.build(Builder.java:53) [org.metaborg.spoofax.eclipse.meta_2.0.0.20160530-110913-master.jar:na]
	at org.eclipse.core.internal.events.BuildManager$2.run(BuildManager.java:734) [org.eclipse.core.resources_3.10.1.v20150725-1910.jar:na]
	at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:42) [org.eclipse.equinox.common_3.7.0.v20150402-1709.jar:na]
	at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:205) [org.eclipse.core.resources_3.10.1.v20150725-1910.jar:na]
	at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:245) [org.eclipse.core.resources_3.10.1.v20150725-1910.jar:na]
	at org.eclipse.core.internal.events.BuildManager$1.run(BuildManager.java:300) [org.eclipse.core.resources_3.10.1.v20150725-1910.jar:na]
	at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:42) [org.eclipse.equinox.common_3.7.0.v20150402-1709.jar:na]
	at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:303) [org.eclipse.core.resources_3.10.1.v20150725-1910.jar:na]
	at org.eclipse.core.internal.events.BuildManager.basicBuildLoop(BuildManager.java:359) [org.eclipse.core.resources_3.10.1.v20150725-1910.jar:na]
	at org.eclipse.core.internal.events.BuildManager.build(BuildManager.java:382) [org.eclipse.core.resources_3.10.1.v20150725-1910.jar:na]
	at org.eclipse.core.internal.resources.Workspace.buildInternal(Workspace.java:486) [org.eclipse.core.resources_3.10.1.v20150725-1910.jar:na]
	at org.eclipse.core.internal.resources.Workspace.build(Workspace.java:405) [org.eclipse.core.resources_3.10.1.v20150725-1910.jar:na]
	at org.eclipse.ui.actions.BuildAction$1.runInWorkspace(BuildAction.java:287) [org.eclipse.ui.ide_3.11.0.v20150825-2158.jar:na]
	at org.eclipse.core.internal.resources.InternalWorkspaceJob.run(InternalWorkspaceJob.java:39) [org.eclipse.core.resources_3.10.1.v20150725-1910.jar:na]
	at org.eclipse.core.internal.jobs.Worker.run(Worker.java:55) [org.eclipse.core.jobs_3.7.0.v20150330-2103.jar:na]
17:12 | ERROR | o.m.s.e.m.b.CompileBuilder     - Exception thrown during build
org.metaborg.core.MetaborgException: Rebuilding failed.
	at org.metaborg.spoofax.meta.core.build.LanguageSpecBuilder.compile(LanguageSpecBuilder.java:136) ~[org.metaborg.spoofax.meta.core_2.0.0.20160530-110913-master.jar:na]
	at org.metaborg.spoofax.eclipse.meta.build.CompileBuilder$1.run(CompileBuilder.java:49) ~[org.metaborg.spoofax.eclipse.meta_2.0.0.20160530-110913-master.jar:na]
	at org.eclipse.core.internal.resources.Workspace.run(Workspace.java:2241) [org.eclipse.core.resources_3.10.1.v20150725-1910.jar:na]
	at org.metaborg.spoofax.eclipse.meta.build.CompileBuilder.build(CompileBuilder.java:69) [org.metaborg.spoofax.eclipse.meta_2.0.0.20160530-110913-master.jar:na]
	at org.metaborg.spoofax.eclipse.meta.build.Builder.build(Builder.java:53) [org.metaborg.spoofax.eclipse.meta_2.0.0.20160530-110913-master.jar:na]
	at org.eclipse.core.internal.events.BuildManager$2.run(BuildManager.java:734) [org.eclipse.core.resources_3.10.1.v20150725-1910.jar:na]
	at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:42) [org.eclipse.equinox.common_3.7.0.v20150402-1709.jar:na]
	at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:205) [org.eclipse.core.resources_3.10.1.v20150725-1910.jar:na]
	at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:245) [org.eclipse.core.resources_3.10.1.v20150725-1910.jar:na]
	at org.eclipse.core.internal.events.BuildManager$1.run(BuildManager.java:300) [org.eclipse.core.resources_3.10.1.v20150725-1910.jar:na]
	at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:42) [org.eclipse.equinox.common_3.7.0.v20150402-1709.jar:na]
	at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:303) [org.eclipse.core.resources_3.10.1.v20150725-1910.jar:na]
	at org.eclipse.core.internal.events.BuildManager.basicBuildLoop(BuildManager.java:359) [org.eclipse.core.resources_3.10.1.v20150725-1910.jar:na]
	at org.eclipse.core.internal.events.BuildManager.build(BuildManager.java:382) [org.eclipse.core.resources_3.10.1.v20150725-1910.jar:na]
	at org.eclipse.core.internal.resources.Workspace.buildInternal(Workspace.java:486) [org.eclipse.core.resources_3.10.1.v20150725-1910.jar:na]
	at org.eclipse.core.internal.resources.Workspace.build(Workspace.java:405) [org.eclipse.core.resources_3.10.1.v20150725-1910.jar:na]
	at org.eclipse.ui.actions.BuildAction$1.runInWorkspace(BuildAction.java:287) [org.eclipse.ui.ide_3.11.0.v20150825-2158.jar:na]
	at org.eclipse.core.internal.resources.InternalWorkspaceJob.run(InternalWorkspaceJob.java:39) [org.eclipse.core.resources_3.10.1.v20150725-1910.jar:na]
	at org.eclipse.core.internal.jobs.Worker.run(Worker.java:55) [org.eclipse.core.jobs_3.7.0.v20150330-2103.jar:na]
Caused by: build.pluto.builder.RequiredBuilderFailed: Required builder failed. Error occurred in build step "Generate typesmart analysis": java.lang.IllegalArgumentException: Found type in unexpected format Sort("Inv",[SortNoArgs("Path")])
	at build.pluto.builder.RequiredBuilderFailed.getCause(RequiredBuilderFailed.java:37) ~[pluto-1.9.0.jar:na]
	at build.pluto.builder.BuildManager.requireInitially(BuildManager.java:254) ~[pluto-1.9.0.jar:na]
	at build.pluto.builder.BuildManagers.build(BuildManagers.java:62) ~[pluto-1.9.0.jar:na]
	at org.metaborg.spoofax.meta.core.build.LanguageSpecBuilder.plutoBuild(LanguageSpecBuilder.java:280) ~[org.metaborg.spoofax.meta.core_2.0.0.20160530-110913-master.jar:na]
	at org.metaborg.spoofax.meta.core.build.LanguageSpecBuilder.compile(LanguageSpecBuilder.java:131) ~[org.metaborg.spoofax.meta.core_2.0.0.20160530-110913-master.jar:na]
	... 18 common frames omitted
17:12 | ERROR | o.m.s.e.m.b.CompileBuilder     - BUILD FAILED
Eclipse: org.eclipse.platform.ide 4.5.2.M20160212-1500
Spoofax: org.metaborg.spoofax.eclipse 2.0.0.20160530-110913-master
System: Mac OS X x86_64 10.11.5
Submitted by Daco Harkes on 31 May 2016 at 17:16

On 31 May 2016 at 18:25 Sebastian Erdweg commented:

The error message seems pretty clear to me: Found type in unexpected format Sort("Inv",[SortNoArgs("Path")])
There is a signature using a type Inv(Path). This type has no meaning. You should fix the signature


On 31 May 2016 at 19:14 Daco Harkes commented:

Right, all this time Stratego is just compiling like nothing is wrong. So, all of a sudden, the TypeSmart build step adds some extra analysis (which should have been there in the first place).


On 31 May 2016 at 21:07 Sebastian Erdweg commented:

So, can we close this issue?


On 31 May 2016 at 21:22 Eelco Visser commented:

@seba: What do you mean with "this type has no meaning"? Types in Stratego can be basically arbitrary terms. This program is clearly correct according to the Stratego syntax definition.


On 31 May 2016 at 22:05 Sebastian Erdweg commented:

Base types are arbitrary, but type operators are not. List and Option are the only type operators I am aware of that have a well-defined meaning in Stratego signatures.


On 31 May 2016 at 22:14 Eelco Visser commented:

But then we should enforce that in the compiler / IDE.


On 4 July 2016 at 15:27 Gabriƫl Konat closed this issue.

Log in to post comments