From 7aa4c94b9bd006f1dca0c22e72c39717ff3b7e73 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 1 Oct 2014 21:43:24 -0500 Subject: [PATCH] fix some random generators broken when refactoring things to improve contract-stronger? --- racket/collects/racket/contract/private/misc.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/racket/collects/racket/contract/private/misc.rkt b/racket/collects/racket/contract/private/misc.rkt index f2f0a225da..6bc4e672c8 100644 --- 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))])))