Re: [racket-dev] [plt] Push #27112: master branch updated

2013-07-08 Thread Matthew Flatt
At Mon, 8 Jul 2013 17:01:24 -0400, Sam Tobin-Hochstadt wrote: > On Mon, Jul 8, 2013 at 2:39 PM, wrote: > > > --- > OLD/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.r > kt > > +++ > NEW/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.r >

Re: [racket-dev] [plt] Push #27112: master branch updated

2013-07-08 Thread Sam Tobin-Hochstadt
On Mon, Jul 8, 2013 at 2:39 PM, wrote: > --- > OLD/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt > +++ > NEW/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt > @@ -392,7 +392,8 @@ > (match a >