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

Improve type of random on fixnums.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2013-11-12 09:24:02 -05:00
parent 4e826cdde2
commit ff577496be
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt
View File

@ -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)]