gsdlab/clafer — Issue #3: Cardinality constraint is not being desugared
Author: lpassos
Created: 2011-10-08 22:42:41+00:00
State: open

Description: cardinality constraint does not properly when declared clafer has opt group cardinality.
----------------------------------------------------------------------
----------------------------------------------------------------------
How to reproduce:

abstract X
opt attrs 2
a1 -> integer
a2 -> integer

----------------------------------------------------------------------

Result: error

clafer opt.cfr

Parse Failed...

Tokens:
syntax error at line 2 before { a1 -> integer

----------------------------------------------------------------------

Expected result: parse should be successful. Note that it works if model is

abstract X
opt attrs 2 .. 2
a1 -> integer
a2 -> integer