From dc06d868ed35f1757131c65534271025753fa7a7 Mon Sep 17 00:00:00 2001
From: Vincent St-Amour <stamourv@racket-lang.org>
Date: Wed, 26 Mar 2014 14:13:57 -0400
Subject: [PATCH] Make TR random tester more robust against special values.

original commit: dd943c8754203a232af704b6a8f70c8242885894
---
 .../tests/typed-racket/tr-random-testing.rkt              | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/tr-random-testing.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/tr-random-testing.rkt
index bdbee859..672d71db 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/tr-random-testing.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/tr-random-testing.rkt
@@ -161,7 +161,13 @@
 ;; Redex can't generate reals, so we convert ints to reals.
 (define (exp->real-exp E) ; numbers or symbols or lists
   (cond [(number? E)
-         (random-integer->random-real (exact-round E))]
+         (random-integer->random-real
+          (exact-round
+           ;; doesn't handle non-rationals
+           ;; not a problem, we generate those specially
+           (if (rational? E)
+               E
+               0)))] ; arbitrary
         [(list? E)
          (map exp->real-exp E)]
         [else