Got error messages for using diff/0/0 and union/0/0: “calls non-existing (“union”,0,0)”, “calls non-existing (“diff”,0,0)”

However, unions/0/0 defined in the same module works.

Submitted by Guido Wachsmuth on 2 June 2010 at 01:16

The following works for me:

module example

rules

main =
([1], ([2], [3]))

Are you sure you’re using them right?

Weird. Maybe the update did not work properly? Here is my process:

1. updated Eclipse to new Spoofax plugin
2. created a new Spoofax project called foobar
3. added your example code
4. imported module example from foobar.str
5. build

stratego.jvm.helper:

[java] [ Main | error ] *** (“main”,0,0) calls non-existing (“union”,0,0)
[java] []
[java] [ Main | error ] *** (“main”,0,0) calls non-existing (“diff”,0,0)
[java] []
[java] [ Main | error ] *** (“main”,0,0) calls non-existing (“union”,0,0)
[java] []
[java] [ Main | error ] *** (“main”,0,0) calls non-existing (“diff”,0,0)
[java] []
[java] [ Main | error ] Compilation failed (1.30 secs)

BUILD FAILED

/Users/guwac/Documents/EclipseWorkspaces/Development/foobar/build.generated.xml:288: The following error occurred while executing this line:
/Users/guwac/Documents/EclipseWorkspaces/Development/foobar/build.generated.xml:332: Java returned: 1`

Seems like this was caused by an old version of the plugin or perhaps an old version of the webdsl plugin. We haven’t been able to reproduce it in a clean environment. Scary stuff, but closing it as cannotreproduce for now. (See Spoofax/144.)