[racket] Typed racket -> huge executable size

Thanks to all of you for being open to work on this issue.

-- 
Manfred



On Wed, 05 Nov 2014 11:08:56 -0500
Vincent St-Amour <stamourv at ccs.neu.edu>
wrote:

> At Wed, 5 Nov 2014 03:09:06 -0500,
> Asumu Takikawa wrote:
> > 
> > On 2014-11-04 10:32:01 -0500, Vincent St-Amour wrote:
> > > My hypothesis is that the `typed/racket/base` version of the
> > > executable brings in the entire Typed Racket implementation and
> > > its dependencies. It probably would be sufficient to only bring
> > > in the run-time portions of TR, which are smaller.
> > 
> > Is it possible to make TR programs only bring in their run-time
> > dependencies though?
> > 
> > I tried an experiment by making a module like this:
> > 
> >   #lang racket/base
> >   (require (for-syntax racket/syntax))
> > 
> > Since the library `racket/syntax` is only used for compile-time, you
> > might expect that it won't be included via `raco exe` but it
> > actually is. (you can see by doing `raco exe --vv`)
> > 
> > So maybe Racket cannot currently separate compile-time out for
> > building executables at all?
> 
> Right, I was suggesting a possible change to `raco exe` that may solve
> the problem. I don't know whether it's possible / a good idea, though.
> 
> Vincent
> ____________________
>   Racket Users list:
>   http://lists.racket-lang.org/users
>