Proposed improvements to the separate compilation model

[Dicebot]

On Tuesday, 5 March 2013 at 12:19:17 UTC, Jacob Carlborg wrote:
> The compiler will need to know the size of the class, for that 
> it needs to know the instance variables.

Quite an interesting problem to address, by the way. I am on the 
side that it can be better addressed by providing some general 
means to duck-typing verification of interfaces for structs and 
thus eliminating the need to keep anything with private stuff in 
definitions in .di at all.