[racket] Typed racket -> huge executable size

From: Manfred Lotz (manfred.lotz at arcor.de)
Date: Tue Nov 4 00:23:33 EST 2014

Hi there,
I have this minimal example:

#lang typed/racket/base

(: hello : String -> Void)
(define (hello f)
  (displayln f))

(hello "world")

raco exe mytest.rkt

gives an executable with size 12887089.

This doesn't seem to be ok.


Posted on the users mailing list.