[plt-scheme] typed-scm

From: Jacob Matthews (jacobm at cs.uchicago.edu)
Date: Tue Feb 27 19:42:39 EST 2007

The samth one is old and not recommended. The current server does not
allow me to hide  a package without removing it entirely; the new
server does, so as far as browsing goes it will be gone when the new
server becomes live.

-jacob

On 2/27/07, Jon Rafkind <workmin at ccs.neu.edu> wrote:
> 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.