From 72198bf8561aa280ed12850e99e16ba92c6677f8 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 20 Oct 2008 02:52:23 +0000 Subject: [PATCH] a little improvement (see PR9847) but still not working svn: r12068 --- collects/typed-scheme/private/base-env.ss | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/collects/typed-scheme/private/base-env.ss b/collects/typed-scheme/private/base-env.ss index df537b8951..633e34f28c 100644 --- a/collects/typed-scheme/private/base-env.ss +++ b/collects/typed-scheme/private/base-env.ss @@ -4,6 +4,7 @@ scheme/list (only-in rnrs/lists-6 fold-left) '#%paramz + (rename-in '#%kernel [apply kernel:apply]) scheme/promise (only-in scheme/match/runtime match:error)) @@ -239,8 +240,10 @@ [odd? (-> N B)] [even? (-> N B)] -[apply (-poly (a b) (((list) a . ->* . b) (-lst a) . -> . b))] -[time-apply (-poly (a b) (((list) a . ->* . b) (-lst a) . -> . b))] +[apply (-poly (a b) (((list) a . ->* . b) (-lst a) . -> . b))] +[kernel:apply (-poly (a b) (((list) a . ->* . b) (-lst a) . -> . b))] +[time-apply (-poly (a b) (((list) a . ->* . b) (-lst a) + . -> . (-values (list b N N N))))] [call/cc (-poly (a b) (((a . -> . (Un)) . -> . b) . -> . (*Un a b)))] [call/ec (-poly (a b) (((a . -> . (Un)) . -> . b) . -> . (*Un a b)))]