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

sleep and time-apply

Browse Source 
svn: r12014
This commit is contained in:
Eli Barzilay 2008-10-13 15:51:02 +00:00
parent b9866e0af2
commit b58b3d72fc
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
collects/typed-scheme/private/base-env.ss
View File

@ -147,6 +147,8 @@
[fst (-poly (a b) (-> (-pair a b) a))] [fst (-poly (a b) (-> (-pair a b) a))]
[snd (-poly (a b) (-> (-pair a b) b))] [snd (-poly (a b) (-> (-pair a b) b))]
[sleep (N . -> . -Void)]
[= (->* (list N N) N B)] [= (->* (list N N) N B)]
[>= (->* (list N N) N B)] [>= (->* (list N N) N B)]
[< (->* (list N N) N B)] [< (->* (list N N) N B)]
@ -233,7 +235,8 @@
[odd? (-> N B)] [odd? (-> N B)]
[even? (-> N B)] [even? (-> N B)]
[apply (-poly (a b) (((list) a . ->* . b) (-lst a) . -> . b))] [apply (-poly (a b) (((list) a . ->* . b) (-lst a) . -> . b))]
[time-apply (-poly (a b) (((list) a . ->* . b) (-lst a) . -> . b))]
[call/cc (-poly (a b) (((a . -> . (Un)) . -> . b) . -> . (*Un a b)))] [call/cc (-poly (a b) (((a . -> . (Un)) . -> . b) . -> . (*Un a b)))]
[call/ec (-poly (a b) (((a . -> . (Un)) . -> . b) . -> . (*Un a b)))] [call/ec (-poly (a b) (((a . -> . (Un)) . -> . b) . -> . (*Un a b)))]