<br><br><div class="gmail_quote">On Mon, Jun 10, 2013 at 10:20 AM, Steven Schveighoffer <span dir="ltr"><<a href="mailto:schveiguy@yahoo.com" target="_blank">schveiguy@yahoo.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im">On Sun, 09 Jun 2013 23:15:42 -0400, Timothee Cour <<a href="mailto:thelastmammoth@gmail.com" target="_blank">thelastmammoth@gmail.com</a>> wrote:<br>
<br>
</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">
On Fri, Jun 7, 2013 at 11:41 PM, Jonathan M Davis <<a href="mailto:jmdavisProg@gmx.com" target="_blank">jmdavisProg@gmx.com</a>>wrote:<br>
<br>
</div><div class="im"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
On Friday, June 07, 2013 23:23:25 Timothee Cour wrote:<br>
> Why can't we detect at compile time module ctor/dtor cycles (instead of<br>
> runtime) ?<br>
<br>
At minimum, separate compilation stops it. A .di file isn't likely to have<br>
them<br>
even if its corresponding .d file did.<br>
</blockquote>
<br>
<br></div><div class="im">
automatically generated di files (eg -Hffilename) *do* generate static<br>
this();<br>
</div></blockquote>
<br>
.di files do not need to be auto-generated, in fact, in the case where you would want to hide implementation, you will manually create them.  And it is perfectly legal to omit static ctors in .di files.<br>
<br>
But you are missing something important -- it's not just the fact that it has static ctors/dtors, there must be an import cycle.  .di files certainly may not contain private imports, and you will have no way to construct the graph.<br>

<br>
-Steve<br>
</blockquote></div><br><div><br></div><div>I understand your point, however I argued above that we should run a test at compile time to detect cycles. It won't catch all cycles (because of certain di files), but it will catch most of them (at least all of the ones not involving di files). This would be especially handy for people using rdmd. </div>
<div>At runtime, we will also run the test to catch all cases.</div><div><br></div><div><br></div>