From 2448292eaa8db28a5f6f780402641b762bed3ffd Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Tue, 13 Sep 2011 15:22:11 -0400 Subject: [PATCH] Fix type of random to accept any Integer. original commit: 297cecebcc130551cb6bb1c134834e6ed719f965 --- 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 5fce5060..4a2745f4 100644 --- a/collects/typed-racket/base-env/base-env.rkt +++ b/collects/typed-racket/base-env/base-env.rkt @@ -1925,7 +1925,7 @@ ;3.2.2.7 (Random Numbers) [random - (cl->* (->opt -PosInt [-Pseudo-Random-Generator] -Nat) + (cl->* (->opt -Int [-Pseudo-Random-Generator] -Nat) (->opt [-Pseudo-Random-Generator] -Flonum))] [random-seed (-> -PosInt -Void)]