<div dir="ltr">Thanks Jay<div><br></div><div>I'm running raco demod now: it's been running for over a minute on a fairly small program (~1000 lines + libs).</div><div><br></div><div>Does it typically take a long time to run?</div>

<div><br></div><div><br></div><div>Cheers</div><div><br></div><div>Dan</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Tue, Oct 1, 2013 at 10:53 AM, Jay McCarthy <span dir="ltr"><<a href="mailto:jay.mccarthy@gmail.com" target="_blank">jay.mccarthy@gmail.com</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">The demodularizer (raco demod) is a tool that does this somewhat,<br>
although some of the things it can remove are unsound. We're working<br>
on making it even better by re-optimizing after demodularizing, but<br>
that is future work.<br>
<br>
Jay<br>
<div><div class="h5"><br>
On Mon, Sep 30, 2013 at 5:25 PM, Daniel Prager<br>
<<a href="mailto:daniel.a.prager@gmail.com">daniel.a.prager@gmail.com</a>> wrote:<br>
> Is there an option to strip down raco-produced exes to reduce size /<br>
> speed-up loading time?<br>
><br>
> I understand that I can use racket/base and explicitly include files, but<br>
> wondered if there was an option that shifted the burden from huma<br>
> in to machine!<br>
><br>
><br>
> Thanks<br>
><br>
> Dan<br>
><br>
</div></div>> ____________________<br>
>   Racket Users list:<br>
>   <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
><br>
<span class="HOEnZb"><font color="#888888"><br>
<br>
<br>
--<br>
Jay McCarthy <<a href="mailto:jay@cs.byu.edu">jay@cs.byu.edu</a>><br>
Assistant Professor / Brigham Young University<br>
<a href="http://faculty.cs.byu.edu/~jay" target="_blank">http://faculty.cs.byu.edu/~jay</a><br>
<br>
"The glory of God is Intelligence" - D&C 93<br>
</font></span></blockquote></div><br><br clear="all"><div><br></div>-- <br><div dir="ltr"><div style="font-family:arial;font-size:small"><b>Daniel Prager</b></div><div style="font-family:arial;font-size:small">Agile/Lean Coaching, Software Development and Leadership</div>

<div style="font-family:arial;font-size:small"><font color="#999999">Twitter:</font> <a href="https://twitter.com/agilejitsu" style="color:rgb(17,85,204)" target="_blank">@agilejitsu</a> </div><div style="font-family:arial;font-size:small">

<font color="#999999">Blog:</font> <a href="http://agile-jitsu.blogspot.com/" style="color:rgb(17,85,204)" target="_blank">agile-jitsu.blogspot.com</a></div></div>
</div>