gsdlab/clafer — Issue #11: Incorrect parsing of one-line declarations
Author: mantkiew
Created: 2012-01-06 02:53:55+00:00
State: open

Clafer v0.1.21-12-2011

Desugaring the following incorrect model

```clafer
abstract A B C

abstract D extends A

E F G
```

produces an incorrect model

```clafer
abstract 0 .. * c1_A : clafer 0 .. * { }
0 .. * c2_B : clafer 1 .. 1 { }
0 .. * c3_C : clafer 1 .. 1 { }
abstract 0 .. * c4_D : clafer 0 .. * { }
0 .. * c5_extends : clafer 1 .. 1 { }
0 .. * c6_A : clafer 1 .. 1 { }
0 .. * c7_E : clafer 1 .. 1 { }
0 .. * c8_F : clafer 1 .. 1 { }
0 .. * c9_G : clafer 1 .. 1 { }
```

but the compiler should produce a syntax error.