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