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. -- Manfred ____________________ Racket Users list: http://lists.racket-lang.org/users
