Comparison operators for sort Exp, such as ==, =>, <= … are missing associativity rules. This yields ambiguities for expressions like a == b == c.

These can be found in WebDSL-Action.sdf

Submitted by André Vieira on 9 August 2012 at 14:12

Log in to post comments