On Fri, Mar 13, 2015 at 04:14:30PM -0700, Andrei Alexandrescu via Digitalmars-d wrote: > On 3/13/15 3:14 PM, Walter Bright wrote: > >On 3/13/2015 12:01 PM, weaselcat wrote: > >>On Friday, 13 March 2015 at 18:55:18 UTC, Walter Bright wrote: > >>>On 3/13/2015 3:34 AM, bearophile wrote: > >>>>"Strict mode" is a D2 with immutable+@safe+pure by default, > >>> > >>>Note that you can get this largely by starting a module with the > >>>following: > >>> > >>> immutable @safe pure: > >>> > >> > >>As far as I'm aware, there's no way to mark functions impure this > >>way other than lexical location. Am I incorrect? > > > >You are correct, which is why D also supports: > > > > immutable @safe pure { > > ... nice declarations ... > > } > > > > ... naughty declarations ... > > The bottom line is we need a way to undo attributes. -- Andrei
Which people have been clamoring for, for a long time now. T -- Beware of bugs in the above code; I have only proved it correct, not tried it. -- Donald Knuth