Ok it does work... Thanks Hari
----- Original Message ----- From: "Sam Tobin-Hochstadt" <sa...@ccs.neu.edu> To: "Hari Prashanth" <krh...@ccs.neu.edu> Cc: "dev" <dev@racket-lang.org> Sent: Monday, October 4, 2010 7:16:26 PM GMT -05:00 US/Canada Eastern Subject: Re: [racket-dev] Bug? identifier `make-Int' not included in nested require spec. 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