On 2012-04-06 14:31, Timon Gehr wrote:
@not_null cannot be attached to "Foo". It would have to create a new symbol @not_null(Foo). And then, all the concerns Walter has raised apply.
Hmm, I guess. But it would be nice to have :) -- /Jacob Carlborg
On 2012-04-06 14:31, Timon Gehr wrote:
@not_null cannot be attached to "Foo". It would have to create a new symbol @not_null(Foo). And then, all the concerns Walter has raised apply.
Hmm, I guess. But it would be nice to have :) -- /Jacob Carlborg