From 579c36806d1766971e9f3a3278d4829931f2f518 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 13 Oct 2008 15:51:02 +0000 Subject: [PATCH] sleep and time-apply svn: r12014 original commit: b58b3d72fccf0c9302b827b65a3dfa3bac04a179 --- collects/typed-scheme/private/base-env.ss | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/collects/typed-scheme/private/base-env.ss b/collects/typed-scheme/private/base-env.ss index 7cf90e48..82df9f32 100644 --- a/collects/typed-scheme/private/base-env.ss +++ b/collects/typed-scheme/private/base-env.ss @@ -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)))]