Re: Custom attributes (again)

[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