should chain be pure

Jonathan M Davis jmdavisProg at gmx.com
Wed Oct 16 06:42:43 PDT 2013


On Wednesday, October 16, 2013 09:29:31 monarch_dodra wrote:
> The problem is that the whole inference things stops at this
> level: the attributes of "front" are not infered, so chain is not
> pure simply because it isn't a template.

http://d.puremagic.com/issues/show_bug.cgi?id=10329

And I think that there are older bug reports which are similar. Regardless, 
attribute inference is pretty poor right now. A _lot_ of Phobos doesn't have 
its attributes being properly inferred precisely because the compiler stops at 
the first level of templated stuff rather than fully inferring a template, which 
quickly makes attribute inference nearly useless. It should definitely be fixed 
at the compiler level though. Anything else would just be patching holes in a 
sinking ship.

- Jonathan M Davis


More information about the Digitalmars-d-learn mailing list