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

Add type for processor-count.

Browse Source 
original commit: 5fb48197037570e22d2e39eb7dbd1f3ca8721387
This commit is contained in:
Sam Tobin-Hochstadt 2012-08-20 14:49:11 -04:00
parent 48a9602d23
commit 8641817ca6
1 changed files with 2 additions and 0 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

@ -510,6 +510,8 @@
[future (-poly (A) ((-> A) . -> . (-future A)))]
[touch (-poly (A) ((-future A) . -> . A))]
[processor-count (-> -Nat)]
[reverse (-poly (a) (-> (-lst a) (-lst a)))]
[kernel:reverse (-poly (a) (-> (-lst a) (-lst a)))]