On Wed, 09 May 2012 23:20:47 -0700, Jacob Carlborg <d...@me.com> wrote:

On 2012-05-09 23:03, Timon Gehr wrote:

The type cannot be inferred without full semantic analysis in general.
Furthermore, it could be different based on compilation options (or
maybe based on in what order the modules were passed to DMD on the
command line.)

That has to be solved, somehow.

Pretty much the only option is to completely overhaul DI generation with a limited form of semantic analysis built-in, it would be work, but it's not rocket science. Although decyphering the DMD source can be ... tricky.

--
Adam Wilson
IRC: LightBender
Project Coordinator
The Horizon Project
http://www.thehorizonproject.org/

Reply via email to