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

improve types for foldl, foldr

Browse Source 
svn: r14228
This commit is contained in:
Sam Tobin-Hochstadt 2009-03-23 12:02:46 +00:00
parent dec8ea4775
commit bb2268b9be
1 changed files with 7 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -101,10 +101,14 @@
[fold-right (-polydots (c a b) ((list ((list c a) (b b) . ->... . c) c (-lst a)) [fold-right (-polydots (c a b) ((list ((list c a) (b b) . ->... . c) c (-lst a))
((-lst b) b) . ->... . c))] ((-lst b) b) . ->... . c))]
[foldl [foldl
(-poly (a b c) (-poly (a b c d)
(cl-> [((a b . -> . b) b (-lst a)) b] (cl-> [((a b . -> . b) b (-lst a)) b]
[((a b c . -> . c) c (-lst a) (-lst b)) c]))] [((a b c . -> . c) c (-lst a) (-lst b)) c]
[foldr (-poly (a b c) ((a b . -> . b) b (-lst a) . -> . b))] [((a b c d . -> . d) d (-lst a) (-lst b) (-lst d)) d]))]
[foldr (-poly (a b c d)
(cl-> [((a b . -> . b) b (-lst a)) b]
[((a b c . -> . c) c (-lst a) (-lst b)) c]
[((a b c d . -> . d) d (-lst a) (-lst b) (-lst d)) d]))]
[filter (-poly (a b) (cl->* [filter (-poly (a b) (cl->*
((a . -> . B ((a . -> . B
: :