Re: pureity of closures

[Stefan Koch via Digitalmars-d]

On Sunday, 22 March 2015 at 19:06:33 UTC, ketmar wrote:

hm. i missed this part (about dead code). compiler doesn't do "dead nested function removal" before semantic analysis, afair, and attribute

inference is in semantic stage.

yet you can cheat compiler by turning `impure_function()` to template. attribute inference on templates are done when template is instantiated,

and `impure_function()` is never instantiated.

I am implementing pure for sdc.
The point is, I want to get it right.