[plt-scheme] typed-scm

From: Jon Rafkind (workmin at ccs.neu.edu)
Date: Tue Feb 27 19:37:18 EST 2007

Somewhat relatedly, why are there two typed-scheme packages?

(require (planet "typed-scheme.ss" ("plt" "typed-scheme.plt" 1 2)))
(require (planet "typed-scheme.ss" ("samth" "typed-scheme.plt" 1 0)))

Jacob Matthews wrote:
> It's because you're not using a recent enough version of PLT Scheme --
> if I remember correctly typed-scheme.plt requires a pretty recent
> version of PLT Scheme to run correctly, so PLaneT is helpfully
> shielding you from downloading a package that's not compatible with
> your version of PLT Scheme and unhelpfully not telling you why it's
> not giving you a package.
>
> -jacob
>
> On 2/27/07, Nathan Thern <nthern at yahoo.com> wrote:
>> Does anyone know why I cannot load typed-scm from PLaneT? I have 
>> successfully downloaded several
>> other packages. I just now tried different one and it was successful, 
>> but typed-scheme still won't
>> download:
>>
>> > (require (planet "roos.scm" ("oesterholt" "roos.plt" 1 5)))
>> > (require (planet "typed-scheme.ss" ("samth" "typed-scheme.plt" 1 2)))
>> planet: Could not find package matching ("typed-scheme.plt" 1 (2 #f) 
>> ("samth")) in: (planet
>> "typed-scheme.ss" ("samth" "typed-scheme.plt" 1 2))
>> > ; or, as recommended in the documentation...
>> > (require (planet "info.ss" ("plt" "typed-scheme.plt")))
>> planet: Could not find package matching ("typed-scheme.plt" #f (0 #f) 
>> ("plt")) in: (planet
>> "info.ss" ("plt" "typed-scheme.plt"))
>> >
>>
>> Using DrScheme 351 under Win2k.
>>
>> Thanks,
>> Nate T
>>
>>
>>
>>
>> ____________________________________________________________________________________ 
>>
>> Looking for earth-friendly autos?
>> Browse Top Cars by "Green Rating" at Yahoo! Autos' Green Center.
>> http://autos.yahoo.com/green_center/
>> _________________________________________________
>>   For list-related administrative tasks:
>>   http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>>
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>
>


Posted on the users mailing list.