#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.
