Why D const is annoying

[H. S. Teoh]

On Wed, May 02, 2012 at 07:21:46PM +0200, bearophile wrote:
> H. S. Teoh:
> 
> >One area where I'd like const to be improved, though, is a way to
> >indicate that const-ness depends on the arguments, specifically, on
> >the behaviour of a delegate argument.
> 
> There was a long discussion about this, with proposals like
> @pure(compile_time_predicate) to define a conditional purity. But
> Walter decided for a simpler solutions, where the purity and
> "non-throwness" of templates is inferred.
[...]

Is that implemented yet? 'cos currently I just get errors about pure
functions can't call impure opApply.


T

-- 
People demand freedom of speech to make up for the freedom of thought
which they avoid. -- Soren Aabye Kierkegaard (1813-1855)