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
2 matches
Mail list logo
