Two inverses to same property not flagged by typechecker
The following situation is not forbidden by the typechecker, but it produces erroneous code.
Submitted by Eelco Visser on 31 August 2010 at 01:25
entity A {
b -> B
}
entity B {
a1 -> A (inverse=A.b)
a2 -> A (inverse=A.b)
}
Issue Log
On 1 September 2010 at 14:18 Danny Groenewegen commented:
added check to prevent this in rev 4110
On 1 September 2010 at 14:18 Danny Groenewegen closed this issue.
Log in to post comments