[racket] PLAI question

From: Manfred Lotz (manfred.lotz at arcor.de)
Date: Sun Apr 14 11:48:49 EDT 2013

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...:

I have no glue what's going wrong as I thought that language plai
supports the stuff. Must I define the number type?


Posted on the users mailing list.