On 10/16/13 4:47 AM, simendsjo wrote:
On Wednesday, 16 October 2013 at 11:36:30 UTC, Jacob Carlborg wrote:
On 2013-10-16 12:52, simendsjo wrote:
If @mutable and @impure existed, I could just add some annotations at
the top of each module, but it wouldn't help on parameters.
We need a general way to turn off attributes. This "!@attribute" has
been proposed before.
How would that relate to non-binary attributes like @system, @trusted,
@safe?
Those would be turned off by choosing another one. The point is they are
surjective (cover the entire domain). The binary attributes are not
surjective - the absence of one indicates its opposite, but there is no
way to name the opposite.
Seems like it would only work on binary built-in attributes.
Yah.
Andrei