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
