From 3f5ca7333821bf99c27d3d87f8e584c2f007270a Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 16 May 2014 22:12:11 -0500 Subject: [PATCH] added a real? generator --- .../collects/racket/contract/private/generate-base.rkt | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/racket/collects/racket/contract/private/generate-base.rkt b/racket/collects/racket/contract/private/generate-base.rkt index e5e832b546..931c8b712d 100644 --- 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