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

Correct type for processor-count.

Browse Source 
original commit: 83b43df4559f9bd8164cbbc8fefb3b6296c356db
This commit is contained in:
Eric Dobson 2013-10-29 21:04:27 -07:00
parent 69bd69f6d7
commit 379b6db28c
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -546,7 +546,7 @@
[future (-poly (A) ((-> A) . -> . (-future A)))]
[touch (-poly (A) ((-future A) . -> . A))]
[processor-count (-> -Nat)]
[processor-count (-> -PosInt)]
[reverse (-poly (a) (-> (-lst a) (-lst a)))]