gsdlab/clafer — Issue #14: ClaferIR Schema: Type 'cl:IInteger' is not validly derived from the type definition, 'IType', of element 'Type'.
Author: mantkiew
Created: 2012-01-28 02:20:58+00:00
State: open

Clafer v0.2.27-1-2012

XML validation does not pass for the model

```clafer
abstract A
a : integer

A1 : A
[ a = 10 ]
```

Output:

```
Parse Successful!
[Desugaring]
[Resolving]
[Analyzing String]
[Optimizing]
[Generating Code]
All clafers: 3 | Abstract: 1 | Concrete: 2 | References: 0
Constraints: 1
Global scope: 1..*
All names unique: False

[Saving File]
Validation error on line 1, column 2525
cvc-elt.4.3: Type 'cl:IInteger' is not validly derived from the type definition, 'IType', of element 'Type'.
```