From 052139eb4e60340d0aac2f5d1fafea44d722d6bb Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Mon, 30 Aug 2010 14:17:30 -0600 Subject: [PATCH] Fixing pr11148 via documentation --- collects/plai/scribblings/plai.scrbl | 3 +++ 1 file changed, 3 insertions(+) diff --git a/collects/plai/scribblings/plai.scrbl b/collects/plai/scribblings/plai.scrbl index 7c11c2fee7..dcddd1240a 100644 --- a/collects/plai/scribblings/plai.scrbl +++ b/collects/plai/scribblings/plai.scrbl @@ -412,6 +412,9 @@ The @MUTATE-LANG language supports the following syntactic forms: @schemeblock[if and or cond case define define-values let let-values let* set! lambda λ quote error begin] +The syntax of @racket[define] is restricted to: @racket[(define (id arg-id ...) body ...+)]. +The syntax of @racket[lambda] and @racket[λ] are restricted to: @racket[(lambda (arg-id ...) body ...+)]. + The language also defines the following procedures: @schemeblock[add1 sub1 zero? + - * / even? odd? = < > <= >= cons first rest