Do you have a sense of how hard this would be to fix?&nbsp; It would be lovely to have some reasonable namespace control without having to take chunks of the namespace as all-or-nothing pieces....<br><br>y<br><br><div class="gmail_quote">
On Tue, Nov 18, 2008 at 9:10 AM, Alain Frisch <span dir="ltr">&lt;<a href="mailto:alain@frisch.fr">alain@frisch.fr</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div class="Ih2E3d">David Teller wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
I thought the linker only linked in symbols which were actually used?<br>
</blockquote>
<br></div>
No, it is not the case.<br>
<br>
The only automatic mechanism for code pruning is at the level of individual modules embedded in a library. As soon as you pack, you obtain a monolithic module which can only be linked as a whole.<br><font color="#888888">
<br>
-- Alain</font><div><div></div><div class="Wj3C7c"><br>
<br>
_______________________________________________<br>
Caml-list mailing list. Subscription management:<br>
<a href="http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list" target="_blank">http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list</a><br>
Archives: <a href="http://caml.inria.fr" target="_blank">http://caml.inria.fr</a><br>
Beginner&#39;s list: <a href="http://groups.yahoo.com/group/ocaml_beginners" target="_blank">http://groups.yahoo.com/group/ocaml_beginners</a><br>
Bug reports: <a href="http://caml.inria.fr/bin/caml-bugs" target="_blank">http://caml.inria.fr/bin/caml-bugs</a><br>
</div></div></blockquote></div><br>