gsdlab/clafer — Issue #17: Incorrect parsing of 'some' quantifier in constraints.
Author: mantkiew
Created: 2012-02-07 03:01:08+00:00
State: open

Clafer v0.2.6-2-2012

For the following code:

``` clafer
abstract A
b *
c ?
[ some b1 : b | b1.c ]
```

The translator produces the following incorrect error:

```
clafer "issue17.cfr" -v -m=alloy42
issue17.cfr

Parse Failed...

Tokens:
syntax error at line 4 before : b | b1
```