Thanks! That gets me a little closer - to the next problem, at least.
My module language provides some typed functions; when using those
functions in my newly typed module language, the type checker
complains that it doesn't have the type info. Any ideas?
-> (module testimport typed/racket
(:
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
wrote:
> Hey all,
> I'd like to switch a module language I've created and the code wri
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
3 matches
Mail list logo
