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

Ok it does work...

Thanks
Hari

----- Original Message -----
From: "Sam Tobin-Hochstadt" <samth at ccs.neu.edu>
To: "Hari Prashanth" <krhari at ccs.neu.edu>
Cc: "dev" <dev at 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 <krhari at 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
samth at ccs.neu.edu