On Mon, 15 Apr 2013 06:46:26 -0600 Jay McCarthy <jay.mccar...@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.l...@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 > > > ____________________ Racket Users list: http://lists.racket-lang.org/users
