added a real? generator

rfindler · rfindler · commit 3f5ca7333821 · 2014-05-16T22:43:56.000-05:00
diff --git a/racket/collects/racket/contract/private/generate-base.rkt b/racket/collects/racket/contract/private/generate-base.rkt
@@ -88,6 +88,15 @@
                (* 0+1i (integer-gen fuel)))]
       [else (rational-gen fuel)]))
    
+   real?
+   (λ (fuel)
+     (rand-choice
+      [1/10 (integer-gen fuel)]
+      [1/10 (exact-nonnegative-integer-gen fuel)]
+      [1/20 (oneof '(+inf.0 -inf.0 +nan.0 0 0.0))]
+      [else (rational-gen fuel)]))
+   
+   
    boolean?
    (λ (fuel)
      (rand-choice
