gsdlab / clafer

Clafer is a lightweight modeling language
http://clafer.org
MIT License
45 stars 13 forks source link

Problem with recursive definitions #5

Closed lpassos closed 12 years ago

lpassos commented 13 years ago

Description: Recursive definitions apparently do not work in both versions, master and grammar.


How to reproduce:

create a simple example like:

abstract Person name : string friends -> Person *


Result: grammar: syntax error before } Result: master: element is not unique "name"


Expected result: no compilation error.

kbak commented 12 years ago

It was a problem with parsing cardinalities, not recursive definitions. It'll be fixed in next commit.