This is the same as this bug: http://bugs.racket-lang.org/query/?cmd=view%20audit-trail&database=default&pr=14773
I think that `eval` should automatically wrap things in the `#%top-interaction` of the relevant namespace, which would help in some cases, but in general, yes, the top-level is hopeless. Sam On Mon, Jul 18, 2016 at 4:14 PM, Leif Andersen <l...@leifandersen.net> wrote: > #lang racket > > (require syntax/location) > > (module foo typed/racket > (: f (-> Byte Integer)) > (define (f x) > (+ x 1)) > > (set! f (λ ([x : Byte]) > (+ x 2))) > (f 3)) > > (require 'foo) > ((eval 'f (module->namespace (quote-module-path foo))) "world") > > > You're welcome. (Also came up with Alex and Milo) > > Does the top level make Typed Racket hopeless? > > ~Leif Andersen > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
