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

Improve type of random on fixnums.

Browse Source 
original commit: ff577496be4198833a9c15167a603c4264f1c02b
This commit is contained in:
Sam Tobin-Hochstadt 2013-11-12 09:24:02 -05:00
parent bb98b99362
commit 03506d0eb4
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)]