Add check-member-of' and check-range' to the HtDP languages grammar.

svn: r16336
2009-10-16 11:50:21 +00:00 · 2009-10-16 11:50:21 +00:00 · c4e9f3d1aa
commit c4e9f3d1aa
parent 09caa24feb
1 changed files with 2 additions and 0 deletions
--- 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)]