Not completely sure what the semantics should be, but I ran into problems because of this behaviour. Example:

entity Foo {
bar : Int (default=1)
baz : Int (default=bar + 1)

function newFoo(x: Int): Foo {
return Foo{ bar := x };

What should the value of newFoo(3).baz be?

Submitted by Eelco Visser on 30 January 2013 at 10:02

Log in to post comments