From c4e9f3d1aae504a38df8e811265fac2dc9a281e7 Mon Sep 17 00:00:00 2001 From: Mike Sperber Date: Fri, 16 Oct 2009 11:50:21 +0000 Subject: [PATCH] Add `check-member-of' and `check-range' to the HtDP languages grammar. svn: r16336 --- collects/scribblings/htdp-langs/std-grammar.ss | 2 ++ 1 file changed, 2 insertions(+) diff --git a/collects/scribblings/htdp-langs/std-grammar.ss b/collects/scribblings/htdp-langs/std-grammar.ss index 7fb54a6bdf..35f43b8bc3 100644 --- a/collects/scribblings/htdp-langs/std-grammar.ss +++ b/collects/scribblings/htdp-langs/std-grammar.ss @@ -19,6 +19,8 @@ form ... [test-case @#,scheme[(check-expect expr expr)] @#,scheme[(check-within expr expr expr)] + @#,scheme[(check-member-of expr expr (... ...))] + @#,scheme[(check-range expr expr expr)] @#,scheme[(check-error expr expr)]] (... [library-require @#,scheme[(require string)]