[racket] PLAI question

On Mon, 15 Apr 2013 06:46:26 -0600
Jay McCarthy <jay.mccarthy at gmail.com>
wrote:

> #lang plai is the language of the first edition.
> 
> The second edition, which you are using based on your example, uses a
> different language:
> 
> http://cs.brown.edu/courses/cs173/2012/book/Introduction.html#(part._.The_.Language_of_.This_.Book)
> 

Yeah, I saw this. But plai-typed wasn't known at all:

standard-module-name-resolver: collection not found
  collection: "plai-typed"
  in collection directories:
   /home/manfred/.racket/5.3.3/collects
   /home/manfred/racket/lib/racket/collects
  context...:
   standard-module-name-resolver
   standard-module-name-resolver


That's why I tried language plai.

-- 
Manfred



> On Sun, Apr 14, 2013 at 9:48 AM, Manfred Lotz
> <manfred.lotz at arcor.de> wrote:
> > Hi there,
> > I had a look at the PLAI book and tried out one of the first
> > examples:
> >
> > #lang plai
> >
> >
> > (define-type MisspelledAnimal
> >   [caml (humps : number)]
> >   [yacc (height : number)])
> >
> > (caml 2)
> > (yacc 3.4)
> >
> > However, I get:
> > plaitest.rkt:5:17: define-type: unexpected term
> >   at: number
> >   in: (define-type MisspelledAnimal (caml (humps : number)) (yacc
> > (height : number))) context...:
> >    /home/manfred/racket/lib/racket/collects/syntax/parse/private/runtime-report.rkt:31:0
> >    /home/manfred/racket/lib/racket/collects/racket/private/modbeg.rkt:46:4
> >    standard-module-name-resolver
> >
> >
> > I have no glue what's going wrong as I thought that language plai
> > supports the stuff. Must I define the number type?
> >
> >
> > --
> > Thanks,
> > Manfred
> >
> >
> > ____________________
> >   Racket Users list:
> >   http://lists.racket-lang.org/users
> 
> 
>