sleep and time-apply

svn: r12014

original commit: b58b3d72fccf0c9302b827b65a3dfa3bac04a179
This commit is contained in:
Eli Barzilay 2008-10-13 15:51:02 +00:00
parent 52399cdc09
commit 579c36806d

View File

@ -147,6 +147,8 @@
[fst (-poly (a b) (-> (-pair a b) a))]
[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)]
@ -233,7 +235,8 @@
[odd? (-> 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/ec (-poly (a b) (((a . -> . (Un)) . -> . b) . -> . (*Un a b)))]