Am I doing some thing wrong or is it a bug? #lang racket/load
(module UNTYPED racket/base
(struct Int (elem))
(provide (struct-out Int)))
(module TYPED typed/racket
(require/typed 'UNTYPED
[struct Int ([elem : Integer])]))
I get the following error
only-in: identifier `make-Int' not included in nested require spec in: (quote
UNTYPED)
Hari
_________________________________________________
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/dev
