fix contract on disk

rfindler · rfindler · commit 67f215eec0b1 · 2014-05-16T22:43:56.000-05:00
(bug found by random testing)
diff --git a/pkgs/pict-pkgs/pict-doc/pict/scribblings/pict.scrbl b/pkgs/pict-pkgs/pict-doc/pict/scribblings/pict.scrbl
@@ -288,7 +288,8 @@ override settings supplied by the context.
 @defproc*[([(ellipse [w real?] [h real?]) pict?]
            [(circle [diameter real?]) pict?]
            [(filled-ellipse [w real?] [h real?] [#:draw-border? draw-border? any/c #t]) pict?]
-           [(disk [diameter real?] [#:draw-border? draw-border? any/c #t]) pict?])]{
+           [(disk [diameter (and/c rational? (not/c negative?))]
+                  [#:draw-border? draw-border? any/c #t]) pict?])]{
 
 Unfilled and filled ellipses.
 
diff --git a/pkgs/pict-pkgs/pict-lib/pict/main.rkt b/pkgs/pict-pkgs/pict-lib/pict/main.rkt
@@ -9,7 +9,7 @@
              pict->argb-pixels
              argb-pixels->pict
              colorize
-             pin-under pin-over)
+             pin-under pin-over disk)
  (contract-out
   [colorize (-> pict? 
                 (or/c string? 
@@ -43,7 +43,8 @@
                    real?
                    (-> pict? pict? (values real? real?)))]
          [pict pict?])
-        [result pict?])]))
+        [result pict?])]
+  [disk (->* ((and/c rational? (not/c negative?))) (#:draw-border? any/c) pict?)]))
 
 (define (multiple-of-four-bytes? b)
   (zero? (modulo (bytes-length b) 4)))
