Getting type error when using + for set union

gsdlab / clafer

Clafer is a lightweight modeling language

http://clafer.org

MIT License

45 stars 13 forks source link

Getting type error when using + for set union #7

Closed mantkiew closed 13 years ago

mantkiew commented 13 years ago

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

kbak commented 13 years ago

Set union is ++. Using + was ambiguous