#258 Spurious parser error on complex implication constraint

v1.0_(example)
closed-fixed
nobody
None
5
2013-05-17
2013-05-12
Armond
No

Spurious parser error on this guy. Pull request sent with testcase.

constraint i_cons {
    ( i == j ) -> ( k dist { 0:=50, 1:=20, 2:=30 } ) ; 
}

Discussion

    • Description has changed:

    Diff:

    --- old
    +++ new
    @@ -1,4 +1,3 @@
    -
     Spurious parser error on this guy. Pull request sent with testcase.
    
        constraint i_cons {
    
    • status: open --> closed-fixed
     
  • Corrected in 1.2.5. This is considered non-LRM compliant, since the 'k dist ...' should not be paren-enclosed. Added an exception to the Code Style configuration for this case.