[plt-scheme] Typed Scheme misses some contract definition?

This is a problem in the interaction between DrScheme and Typed
Scheme.  We have most of the architecture in place to fix this, but
not all the pieces have been fitted into place.

sam th

On Fri, Mar 27, 2009 at 1:58 AM, Paulo J. Matos <pocmatos at gmail.com> wrote:
> Hi all,
>
> Assume I define test.scm:
> #lang typed-scheme
>
> (provide (struct-out foo))
>
> (define-struct: foo
>  ((v : Integer)))
>
> I open another file xxx.scm:
> #lang typed-scheme
>
> (: v Integer)
> (define v 10)
>
> and I run it.
> On the interactions:
> Welcome to DrScheme, version 4.1.5.3-svn26mar2009 [3m].
> Language: Module; memory limit: 1024 megabytes.
>> (make-foo v)
> . typecheck: unbound identifier make-foo in: make-foo
>> (require "test.scm")
>> (make-foo v)
> - : foo2
> #<foo>
>
>
> However, If I add a require line to xxx.scm:
> #lang typed-scheme
>
> (require "test.scm")
>
> (: v Integer)
> (define v 10)
>
> interactions is now:
> Welcome to DrScheme, version 4.1.5.3-svn26mar2009 [3m].
> Language: Module; memory limit: 1024 megabytes.
>> (make-foo v)
> . typecheck: unbound identifier contract/proc in: (make-foo v)
>> (require "test.scm")
>> (make-foo v)
> . typecheck: unbound identifier contract/proc in: (make-foo v)
>>
>
> I don't know how typed-scheme works internally but I guess that the
> require line screws something up?
>
> Cheers,
>
> --
> Paulo Jorge Matos - pocmatos at gmail.com
> Webpage: http://www.personal.soton.ac.uk/pocm
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>



-- 
sam th
samth at ccs.neu.edu