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

2010-10-04 Thread Hari Prashanth 
Ok it does work...

Thanks
Hari

- Original Message -
From: "Sam Tobin-Hochstadt" 
To: "Hari Prashanth" 
Cc: "dev" 
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  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.

2010-10-04 Thread Sam Tobin-Hochstadt 
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  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

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

2010-10-04 Thread Hari Prashanth 
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