ClaferIR Schema: Type 'cl:IInteger' is not validly derived from the type definition, 'IType', of element 'Type'.

gsdlab / clafer

Clafer is a lightweight modeling language

http://clafer.org

MIT License

45 stars 13 forks source link

ClaferIR Schema: Type 'cl:IInteger' is not validly derived from the type definition, 'IType', of element 'Type'. #14

Closed mantkiew closed 12 years ago

mantkiew commented 12 years ago

Clafer v0.2.27-1-2012

XML validation does not pass for the model

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'.

JLiangWaterloo commented 12 years ago

I changed a small amount of the XML output when doing the type system stuff. Will fix soon.

JLiangWaterloo commented 12 years ago

Should be fixed.