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

Fix type of random to accept any Integer.

Browse Source 
original commit: 297cecebcc130551cb6bb1c134834e6ed719f965
This commit is contained in:
Vincent St-Amour 2011-09-13 15:22:11 -04:00
parent 53553c53aa
commit 2448292eaa
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-racket/base-env/base-env.rkt
View File

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