suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

try to fix Typed Racket after 'apply' changes

Browse Source 
original commit: 4ebe2a0f52e23085b719752437cdededf45975f6
This commit is contained in:
Matthew Flatt 2010-06-01 21:25:54 -06:00
parent 6b35e1cb24
commit 80e25e5cb0
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-scheme/private/base-env.rkt
View File

@ -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->*