This is a known bug with the interaction of `struct' and `require/typed'. `define-struct' should work here.
On Mon, Oct 4, 2010 at 7:11 PM, Hari Prashanth <krh...@ccs.neu.edu> wrote: > 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 > -- sam th sa...@ccs.neu.edu _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev