new DIP47: Outlining member functions of aggregates

[Dicebot]

On Tuesday, 10 September 2013 at 13:32:14 UTC, Andrej Mitrovic 
wrote:
> On 9/10/13, Dicebot <public at dicebot.lv> wrote:
>> Main issue of .di files that make them useless for anything but
>> providing declarations for blobs is that there is absolutely 
>> zero
>> compiler control of .d and .di relation.
>
> Yeah, I think we could attempt to provide an alternative to 
> DIP47 by
> adding a compiler flag that verifies .d implementations match 
> .di
> declarations. We don't even have to make the .d files explicitly
> import the .di files like Andrei proposed.

Please, no compiler flags. It should be default behavior. We are 
speaking about fundamental binary-level application sanity here.