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)
