fix some random generators broken when refactoring things to improve contract-stronger?

2014-10-01 21:43:24 -05:00 · 2014-10-01 21:43:24 -05:00 · 7aa4c94b9b
commit 7aa4c94b9b
parent b946d4639e
1 changed files with 2 additions and 2 deletions
--- a/racket/collects/racket/contract/private/misc.rkt
+++ b/racket/collects/racket/contract/private/misc.rkt
@ -396,7 +396,7 @@
     (λ (fuel)
       (λ ()
         (rand-choice
-          [1/10 -inf.0]
+          [1/10 (-/+ +inf.0)]
          [1/10 (-/+ x 0.01)]
          [4/10 (-/+ x (random))]
          [else (-/+ x (random 4294967087))]))))
@ -470,7 +470,7 @@
        (λ ()
          (let loop ([so-far (if (pe-listof-ctc? ctc)
                                 '()
-                                 (list eg))])
+                                 (list (eg)))])
            (rand-choice
             [1/5 so-far]
             [else (loop (cons (eg) so-far))])))