On Thu, 10 May 2012 12:51:03 -0700, deadalnix <[email protected]> wrote:
Le 10/05/2012 20:35, Adam Wilson a écrit :
The problem is that it DOES NOT know if it's CTFEable or not. No
analysis is performed prior to DI generation!
It doesn't seems undoable.
It isn't, but it would require that DI generation got it's own specialized
form of semantic analysis, and that is a significant amount of work. I'm
not saying it shouldn't be done, just that it's not a valid short-term
solution. A long-term solution would be to embed a semantically analyzed
form of the source into the object itself. But that's years away with
concerted group effort.
--
Adam Wilson
IRC: LightBender
Project Coordinator
The Horizon Project
http://www.thehorizonproject.org/