Yes, if convenient. I already emailed Ryan privately about it.
Vincent At Mon, 20 Oct 2014 17:54:59 -0400, Matthias Felleisen wrote: > > > DOn't we want to merge this into 6.1.1? > > > On Oct 20, 2014, at 3:44 PM, stamo...@racket-lang.org wrote: > > > stamourv has updated `master' from 538bb75d64 to 9030680e31. > > http://git.racket-lang.org/plt/538bb75d64..9030680e31 > > > > =====[ One Commit ]===================================================== > > Directory summary: > > 16.9% pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/ > > 83.0% > > pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/ > > > > ~~~~~~~~~~ > > > > 9030680 Vincent St-Amour <stamo...@racket-lang.org> 2014-10-20 11:34 > > : > > | Fix types for foldl and foldr with 3 lists. > > | > > | Thanks to Jack Firth for the report. > > : > > M .../tests/typed-racket/unit-tests/typecheck-tests.rkt | 13 > > +++++++++++++ > > M .../typed-racket-lib/typed-racket/base-env/base-env.rkt | 4 ++-- > > > > =====[ Overall Diff ]=================================================== > > > > pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt > > ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ > > --- > > OLD/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt > > +++ > > NEW/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt > > @@ -657,11 +657,11 @@ > > (-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]))] > > + [((a b c d . -> . d) d (-lst a) (-lst b) (-lst c)) 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]))] > > + [((a b c d . -> . d) d (-lst a) (-lst b) (-lst c)) > > d]))] > > [filter (-poly (a b) (cl->* > > ((asym-pred a Univ (-FS (-filter b 0) -top)) > > (-lst a) > > > > pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt > > ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ > > --- > > OLD/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt > > +++ > > NEW/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt > > @@ -1155,6 +1155,19 @@ > > (-polydots (a) ((list) (a a) . ->... . -Integer))] > > |# > > > > + [tc-e (foldl (lambda: ([x : Integer] [acc : String]) acc) "" '(1 2 > > 3)) > > + -String] > > + [tc-e (foldl (lambda: ([x : Integer] [y : Float] [acc : String]) > > acc) "" '(1 2 3) '(1.2 3.4 5.6)) > > + -String] > > + [tc-e (foldl (lambda: ([x : Integer] [y : Float] [z : Symbol ] > > [acc : String]) acc) "" '(1 2 3) '(1.2 3.4 5.6) '(a b c)) > > + -String] > > + [tc-e (foldr (lambda: ([x : Integer] [acc : String]) acc) "" '(1 2 > > 3)) > > + -String] > > + [tc-e (foldr (lambda: ([x : Integer] [y : Float] [acc : String]) > > acc) "" '(1 2 3) '(1.2 3.4 5.6)) > > + -String] > > + [tc-e (foldr (lambda: ([x : Integer] [y : Float] [z : Symbol ] > > [acc : String]) acc) "" '(1 2 3) '(1.2 3.4 5.6) '(a b c)) > > + -String] > > + > > ;; First is same as second, but with map explicitly instantiated. > > [tc-e/t (plambda: (a ...) [ys : (a ... a -> Number) *] > > (lambda: [zs : a ... a] > _________________________ Racket Developers list: http://lists.racket-lang.org/dev