From 26ff29b12f0ea1c29964d7c84fe92c9a1b0c58c7 Mon Sep 17 00:00:00 2001 From: Mike Sperber Date: Fri, 6 Nov 2009 14:52:56 +0000 Subject: [PATCH] Fix performance bug in QuickCheck. This would make generators with `number' or `real' in a co-arbitrary position essentially never terminate. svn: r16571 --- collects/deinprogramm/quickcheck/quickcheck.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/deinprogramm/quickcheck/quickcheck.scm b/collects/deinprogramm/quickcheck/quickcheck.scm index 15cb004c2a..107a2be414 100644 --- a/collects/deinprogramm/quickcheck/quickcheck.scm +++ b/collects/deinprogramm/quickcheck/quickcheck.scm @@ -265,7 +265,7 @@ (arbitrary-generator arbitrary-integer) (arbitrary-generator arbitrary-integer)) (lambda (r gen) - (let ((fr (rationalize r 1/1000))) + (let ((fr (rationalize (inexact->exact r) 1/1000))) (coarbitrary arbitrary-integer (numerator fr) (coarbitrary arbitrary-integer