[plt-scheme] typed-scm

From: Robby Findler (robby.findler at gmail.com)
Date: Wed Feb 28 10:09:53 EST 2007

Presumably you can use the nightly builds, too. They are here:

  http://pre.plt-scheme.org/installers/

Robby

On 2/28/07, Nathan Thern <nthern at yahoo.com> wrote:
> I honestly have no idea how to that. Can you give me a quick step-by-step or a link?
>
> regards,
> Nate T
>
> --- Matthias Felleisen <matthias at ccs.neu.edu> wrote:
>
> > To use Typed Scheme, you will need to use the svn head for now. --
> > Matthias
> >
> >
> > On Feb 27, 2007, at 6:33 PM, Nathan Thern 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
> >
> >
>
>
>
>
> ____________________________________________________________________________________
> Never Miss an Email
> Stay connected with Yahoo! Mail on your mobile.  Get started!
> http://mobile.yahoo.com/services?promote=mail
> _________________________________________________
>   For list-related administrative tasks:
>   http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>


Posted on the users mailing list.