From 03506d0eb43623b4777b13fe07f61993567c1aea Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 12 Nov 2013 09:24:02 -0500 Subject: [PATCH] Improve type of `random` on fixnums. original commit: ff577496be4198833a9c15167a603c4264f1c02b --- .../typed-racket-lib/typed-racket/base-env/base-env.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt index 1f2b35d4..3cc40b5a 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt @@ -61,7 +61,8 @@ ;; Section 4.2.2.7 (Random Numbers) [random - (cl->* (->opt -Int [-Pseudo-Random-Generator] -Nat) + (cl->* (->opt -PosFixnum [-Pseudo-Random-Generator] -NonNegFixnum) + (->opt -Int [-Pseudo-Random-Generator] -Nat) (->opt [-Pseudo-Random-Generator] -Flonum))] [random-seed (-> -PosInt -Void)]