From af5092b6cffe7e0f70f48518f589f7447a13a8c9 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 12 Sep 2011 16:31:00 -0400 Subject: [PATCH] `random' always produces `Float'. original commit: b91880b05ae79659e45fb3ff0b0d62be3e5e9c1d --- collects/typed-racket/base-env/base-env.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-racket/base-env/base-env.rkt b/collects/typed-racket/base-env/base-env.rkt index 891d501b..5fce5060 100644 --- a/collects/typed-racket/base-env/base-env.rkt +++ b/collects/typed-racket/base-env/base-env.rkt @@ -1926,7 +1926,7 @@ [random (cl->* (->opt -PosInt [-Pseudo-Random-Generator] -Nat) - (->opt [-Pseudo-Random-Generator] -InexactReal))] + (->opt [-Pseudo-Random-Generator] -Flonum))] [random-seed (-> -PosInt -Void)] [make-pseudo-random-generator (-> -Pseudo-Random-Generator)]