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