suzanne.soy/typed-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

original commit: 72198bf8561aa280ed12850e99e16ba92c6677f8
This commit is contained in:
Eli Barzilay 2008-10-20 02:52:23 +00:00
parent 4c5a780062
commit a418e160c0
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)))]