Re: [racket] PLAI question

2013-04-16 Thread Manfred Lotz
On Tue, 16 Apr 2013 14:47:03 +0800 bhrgunatha wrote: > The plai-typed language isn't pre-installed with Racket (as far as I > know) You'll need to install it. > > http://cs.brown.edu/courses/cs173/2012/lang/ > > Bhrgunatha > > Yep, that solved it. There was neither a hint on the book page

Re: [racket] PLAI question

2013-04-15 Thread bhrgunatha
The plai-typed language isn't pre-installed with Racket (as far as I know) You'll need to install it. http://cs.brown.edu/courses/cs173/2012/lang/ Bhrgunatha On 15/04/13 21:11, Manfred Lotz wrote: On Mon, 15 Apr 2013 06:46:26 -0600 Jay McCarthy wrote: #lang plai is the language of the firs

Re: [racket] PLAI question

2013-04-15 Thread Manfred Lotz
On Mon, 15 Apr 2013 06:46:26 -0600 Jay McCarthy 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_.T

Re: [racket] PLAI question

2013-04-15 Thread Jay McCarthy
#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) On Sun, Apr 14, 2013 at 9:48 AM, Manfred Lotz wrote: > H

[racket] PLAI question

2013-04-15 Thread Manfred Lotz
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 Mi