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.
-- /Jacob Carlborg