[racket] Typed racket -> huge executable size

On Wed, Nov 5, 2014 at 3:28 PM, Vincent St-Amour <stamourv at ccs.neu.edu> wrote:
> At Wed, 5 Nov 2014 16:23:37 -0500,
> Asumu Takikawa wrote:
>>
>> On 2014-11-05 11:08:56 -0500, Vincent St-Amour wrote:
>> > 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.
>>
>> We discussed this a bit in the lab today. It sounds like `raco exe` is
>> conservative by default here and has to bring in all the compile-time
>> dependencies too.
>>
>> The reason is that things like `eval` (or other reflection mechanisms)
>> may need the compile-time dependencies.
>
> Since `raco exe` already doesn't track dependencies introduced via
> runtime paths and `dynamic-require`, I think eliding compile-time
> dependencies would be fair game.

FWIW, define-runtime-path is a mechanism designed to allow such
dependencies to be declared so they can be tracked.

Robby