On 9/10/13, Dicebot <pub...@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.