From 80e25e5cb0f253740ea64e72cf111a412b7da44b Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 1 Jun 2010 21:25:54 -0600 Subject: [PATCH] try to fix Typed Racket after 'apply' changes original commit: 4ebe2a0f52e23085b719752437cdededf45975f6 --- collects/typed-scheme/private/base-env.rkt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/collects/typed-scheme/private/base-env.rkt b/collects/typed-scheme/private/base-env.rkt index db91883d..88d7a3b4 100644 --- a/collects/typed-scheme/private/base-env.rkt +++ b/collects/typed-scheme/private/base-env.rkt @@ -9,6 +9,7 @@ '#%paramz "extra-procs.rkt" (only-in '#%kernel [apply kernel:apply]) + (only-in racket/private/pre-base new-apply-proc) scheme/promise scheme/system (only-in string-constants/private/only-once maybe-print-message) (only-in mzscheme make-namespace) @@ -346,6 +347,7 @@ . -> . (-opt (-pair a b))))] [apply (-poly (a b) (((list) a . ->* . b) (-lst a) . -> . b))] +[new-apply-proc (-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 c) (cl->*