try to fix Typed Racket after 'apply' changes
This commit is contained in:
parent
84e98160c4
commit
4ebe2a0f52
|
@ -18,7 +18,8 @@
|
|||
call-with-output-file
|
||||
with-input-from-file
|
||||
with-output-to-file
|
||||
regexp-replace*)
|
||||
regexp-replace*
|
||||
new-apply-proc)
|
||||
struct
|
||||
(all-from "list.rkt")
|
||||
(all-from-except "string.rkt"
|
||||
|
|
|
@ -86,6 +86,7 @@
|
|||
(rename new-define define)
|
||||
(rename new-app #%app)
|
||||
(rename new-apply apply)
|
||||
new-apply-proc ; for access by Typed Racket
|
||||
(rename new-prop:procedure prop:procedure)
|
||||
(rename #%app #%plain-app)
|
||||
(rename lambda #%plain-lambda)
|
||||
|
|
|
@ -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->*
|
||||
|
|
Loading…
Reference in New Issue
Block a user