3 tests fail on command line, but work inside eclipse.

They are syntax related.
All tests that use count(<expr>) fail.
https://github.com/MetaBorgCube/IceDust/commit/41fe0927a7b080ffbafb1fe9bc842241b0c899c1

A cause might be that I have two syntaxes for count:

  Exp.Count              = <count(<Exp>)>
  Exp.Count              = <<Exp>.count()>

https://github.com/MetaBorgCube/IceDust/blob/feature/strategy-composition/icedust/syntax/Expressions.sdf3#L71-L77
But, this does not explain why the tests work in Eclipse, but not in command line.

Possibly the new or old priority semantics?

Submitted by Daco Harkes on 17 January 2017 at 14:52

On 20 April 2017 at 11:38 Volker commented:

Here is what I discussed on Slack about this issue on January 17:

I’m sorry to report I can not reproduce the issue.
I’m on the latest Spoofax (built using the latest pull of releng).
I’m on your feature/strategy-composition branch. Built using mvn clean verify.
I’m looking at icedust.tests/syntax/expressions.spt at the commented test test aggr count which fails in Eclipse. When I uncomment it of course.

https://slde.slack.com/files/vlanting/F3S2ML3BJ/image_uploaded_from_ios.jpg
https://slde.slack.com/files/vlanting/F3S3HUM89/image_uploaded_from_ios.jpg

The reported bug claims the test passes in Eclipse, but as illustrated, I can’t reproduce that behavior.
On a side note, the fixture causes a semantic error “Provide all required Attributes” on the u : User{} in the data directive.
Which should not be related to the bug but you might want to be aware of it.
The test in question also fails to parse as a normal icedust program.

So as far as I can see, SPT’s behaviour is both consistent and correct.


On 20 April 2017 at 11:38 Volker closed this issue.

Log in to post comments