<div dir="ltr">Replies inline<br><div><br><div class="gmail_quote"><div dir="ltr">On Wed, Oct 5, 2016 at 9:54 AM Joe Armstrong <<a href="mailto:erlang@gmail.com">erlang@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br class="gmail_msg">
I want the *opposite* of "including a dependency" but rather a tool that<br class="gmail_msg">
garbage collects code reducing it to a minimal program.<br class="gmail_msg">
<br class="gmail_msg"></blockquote><br></div><div class="gmail_quote">Isn't this just dead-code-elimination? For each function, you can put it into SSA-form, reverse the SSA dominator graph and everything not reachable is dead code which can be eliminated. You can then improve on this approximation to shave off more code.<br><br></div><div class="gmail_quote">For it to really work, you need to have global knowledge of all the modules in the system. And you can't in Erlang due to its lack of proper bundling support for modules.<br></div></div></div>