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

a little improvement (see PR9847) but still not working

Browse Source 
svn: r12068
This commit is contained in:
Eli Barzilay 2008-10-20 02:52:23 +00:00
parent d5e3fdf639
commit 72198bf856
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
collects/typed-scheme/private/base-env.ss
View File

@ -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)))]