suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix generation of random floats in TR random testing.

Browse Source
This commit is contained in:
Vincent St-Amour 2012-06-06 14:58:25 -04:00
parent 3e9b527bd0
commit 0b7eaf56ca
1 changed files with 8 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
collects/tests/typed-racket/tr-random-testing.rkt
View File

@ -101,9 +101,11 @@
(define subtype? (subtype type-after type-before)) (define subtype? (subtype type-after type-before))
subtype?) subtype?)
(define (random-integer->random-float E) ;; Takes random redex reals (mostly integers, sometimes rationals, floats
;; once in a blue moon).
(define (random->random-float E)
(define r (random)) (define r (random))
(cond (cond
;; probability 1/4: noisify and convert to single flonum ;; probability 1/4: noisify and convert to single flonum
[(r . < . 0.25) [(r . < . 0.25)
(real->single-flonum (* (random) E))] (real->single-flonum (* (random) E))]
@ -112,7 +114,7 @@
(real->double-flonum (* (random) E))] (real->double-flonum (* (random) E))]
;; probability 1/4: convert to very small double flonum ;; probability 1/4: convert to very small double flonum
[(r . < . 0.75) [(r . < . 0.75)
(define x (ordinal->flonum E)) (define x (ordinal->flonum (round (inexact->exact E))))
(cond [(= x 0.0) (if ((random) . < . 0.5) 0.0 -0.0)] (cond [(= x 0.0) (if ((random) . < . 0.5) 0.0 -0.0)]
[else x])] [else x])]
;; probability 1/20: +nan.0 ;; probability 1/20: +nan.0
@ -121,13 +123,13 @@
;; remaining probability: convert to very large double flonum ;; remaining probability: convert to very large double flonum
[else [else
(if ((random) . < . 0.5) (if ((random) . < . 0.5)
(flstep -inf.0 E) (flstep -inf.0 (round (inexact->exact E)))
(flstep +inf.0 (- E)))])) (flstep +inf.0 (- (round (inexact->exact E)))))]))
;; Redex can't generate floats, so we convert ints to floats. ;; Redex can't generate floats, so we convert ints to floats.
(define (exp->float-exp E) ; numbers or symbols or lists (define (exp->float-exp E) ; numbers or symbols or lists
(cond [(number? E) (cond [(number? E)
(random-integer->random-float E)] (random->random-float E)]
[(list? E) [(list? E)
(map exp->float-exp E)] (map exp->float-exp E)]
[else [else