[phobos] Pureness of enforce()

Don Clugston dclugston at googlemail.com
Tue Nov 9 08:34:57 PST 2010


On 9 November 2010 16:15, Robert Jacques <sandford at jhu.edu> wrote:
> On Tue, 09 Nov 2010 06:21:38 -0500, Lars Tandle Kyllingstad
> <lars at kyllingen.net> wrote:
>>  It is not possible to annotate
>> enforce() with 'pure', however, because it takes a lazy parameter, which
>> is just shorthand for a (possibly impure) delegate.

> Well, long term, we need modifiers to apply to delegates. i.e. it should be
> possible to declare a pure delegate.

You can already do that.

int delegate(int x, int y) pure @safe foo;


More information about the phobos mailing list