<div dir="ltr">On Wed, Mar 13, 2013 at 7:25 AM, Jeremie Dimino <span dir="ltr"><<a href="mailto:jdimino@janestreet.com" target="_blank">jdimino@janestreet.com</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Another advantage I can see over auto-opening modules is that as soon<br>
as someone will use one of the function of a "main/std/common"<br>
auto-opened module, it will pull the whole module with all its maybe<br>
unused dependencies into the final executable.<br>
<div class="HOEnZb"><div class="h5"><br></div></div></blockquote><div style>Won't any auto-opened modules (plus any compilation unit dependencies) have to be already linked in even if not referenced from outside the namespace?</div>
<div style><br></div><div style>E.</div></div></div></div>