On Thu, 10 May 2012 14:25:18 -0700, deadalnix <[email protected]> wrote:
Le 10/05/2012 22:39, Adam Wilson a écrit :
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.
I wouldn't introduce a language feature for short term solution. This
can lead to tedious technical debt to manage.
I would tend to agree with you on that. And personally I would be fine
without it and let DI generation do it's thing as is. It's an option
though.
--
Adam Wilson
IRC: LightBender
Project Coordinator
The Horizon Project
http://www.thehorizonproject.org/
