gsdlab/clafer — Issue #7: Getting type error when using + for set union
Author: mantkiew
Created: 2011-12-01 04:03:26+00:00
State: open

Using compiler v. 0.0.3

abstract Book
author -> Author 1..*

A : Author
B : Author

SomeBook : Book
[ author = A + B ]

Error message

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

[Saving File]
clafer3: IPlus type error