[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: 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
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
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' 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