%u:
> Oh, but that's not what I meant! I meant something like this:
>
> int call(TFn)(TFn fn) pure(isPure!(TFn))
> if (isCallable!(TFn))
> {
> return fn(5);
> }
>
> This way we specify purity based on a static boolean.I see. I'd like a more general-purpose solution, something that works with nothrow too and other future attributes too. So I have suggested: http://d.puremagic.com/issues/show_bug.cgi?id=5125 Bye, bearophile
