added a real? generator

2014-05-16 22:12:11 -05:00 · 2014-05-16 22:12:11 -05:00 · 3f5ca73338
commit 3f5ca73338
parent 541582cbc6
1 changed files with 9 additions and 0 deletions
--- 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