From 70595ea13a23ecc6c6524dba0caf83e9769f7422 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 5 Jul 2008 15:32:08 +0000 Subject: [PATCH] fixed up rectangle, circle, and ellipse contracts svn: r10619 --- collects/teachpack/htdp/scribblings/image.scrbl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/collects/teachpack/htdp/scribblings/image.scrbl b/collects/teachpack/htdp/scribblings/image.scrbl index 9c66ce17a3..e77a753c3b 100644 --- a/collects/teachpack/htdp/scribblings/image.scrbl +++ b/collects/teachpack/htdp/scribblings/image.scrbl @@ -53,15 +53,15 @@ In DrScheme, you can insert images from your file system. Use PNG images instead whenever possible for insertions. In addition, you can create basic shapes with the following functions. -@defproc[(rectangle [w number?] [h number?] [m (unsyntax @tech{Mode})] [c (unsyntax @tech{Color})]) image?]{ +@defproc[(rectangle [w (and/c number? (or/c zero? positive?))] [h (and/c number? (or/c zero? positive?))] [m (unsyntax @tech{Mode})] [c (unsyntax @tech{Color})]) image?]{ Creates a @scheme[w] by @scheme[h] rectangle, filled in according to @scheme[m] and painted in color @scheme[c]} -@defproc[(circle [r number?] [m (unsyntax @tech{Mode})] [c (unsyntax @tech{Color})]) image?]{ +@defproc[(circle [r (and/c number? (or/c zero? positive?))] [m (unsyntax @tech{Mode})] [c (unsyntax @tech{Color})]) image?]{ Creates a circle or disk of radius @scheme[r], filled in according to @scheme[m] and painted in color @scheme[c]} -@defproc[(ellipse [w number?] [h number?] [m (unsyntax @tech{Mode})] [c (unsyntax @tech{Color})]) image?]{ +@defproc[(ellipse [w (and/c number? (or/c zero? positive?))] [h (and/c number? (or/c zero? positive?))] [m (unsyntax @tech{Mode})] [c (unsyntax @tech{Color})]) image?]{ Creates a @scheme[w] by @scheme[h] ellipse, filled in according to @scheme[m] and painted in color @scheme[c]}