On Sun, 22 Mar 2015 19:38:52 +0000, Stefan Koch wrote: > 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.
i believe that both ways is right (i.e. both generating error and not generating error).
signature.asc
Description: PGP signature
