This works: (module testlang racket/base (require typed/racket) (provide (all-from-out typed/racket)) )
I have no idea why the other one doesn’t though. On Jun 5, 2014, at 3:59 PM, Michael Ballantyne <michael.ballant...@gmail.com> wrote: > Hey all, > I'd like to switch a module language I've created and the code written > in it to typed racket. I can't figure out how to reexport all the > typed/racket bindings like I can for normal racket, though. If I try > this in the repl: > > (module testlang typed/racket (provide (all-from-out typed/racket))) > > I get this error: > > ; Type Checker: Error in macro expansion -- provide: for-meta not supported by > ; Typed Racket > ; in: ((all-from-out typed/racket)) > ; [,bt for context] > > Whereas > > (module testlang racket (provide (all-from-out racket))) > > works fine. > > Can anyone point me towards the right way to make a module language > that slightly modifies typed racket? > > Thanks! > ____________________ > Racket Users list: > http://lists.racket-lang.org/users ____________________ Racket Users list: http://lists.racket-lang.org/users
