[racket-dev] Bug? identifier `make-Int' not included in nested require spec.

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:

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

Re: [racket-dev] Bug? identifier `make-Int' not included in nested require spec.

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