RE: Specialized type hints

2016-03-07 Thread Simon Peyton Jones
! Simon From: Richard Eisenberg [mailto:e...@cis.upenn.edu] Sent: 07 March 2016 05:00 To: Simon Peyton Jones <simo...@microsoft.com> Cc: Christopher Allen <c...@bitemyapp.com>; ghc-devs@haskell.org Subject: Re: Specialized type hints I, for one, would greatly welcome someone re

Re: Specialized type hints

2016-03-06 Thread Richard Eisenberg
ld all be > amazing. > > Simon > > From: Christopher Allen [mailto:c...@bitemyapp.com] > Sent: 04 March 2016 16:24 > To: Simon Peyton Jones <simo...@microsoft.com> > Cc: ghc-devs@haskell.org > Subject: Re: Specialized type hints > > I was looking for

RE: Specialized type hints

2016-03-04 Thread Simon Peyton Jones
s@haskell.org<mailto:ghc-devs@haskell.org> Subject: Specialized type hints I'd like to see how warm people would be to catching GHC's type error quality up a bit. I did a write-up on a confusion a reader of our book had: https://gist.github.com/bitemyapp/c27c721b92dab0248433<https://na01

Re: Specialized type hints

2016-03-04 Thread Christopher Allen
> particular reproducible test case, the error message you get, and the error > message you’d like to get. > > > Thanks > > > > Simon > > > > *From:* ghc-devs [mailto:ghc-devs-boun...@haskell.org] *On Behalf Of > *Christopher > Allen > *Sent:*

RE: Specialized type hints

2016-03-04 Thread Simon Peyton Jones
to get. Thanks Simon From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of Christopher Allen Sent: 03 March 2016 07:55 To: ghc-devs@haskell.org Subject: Specialized type hints I'd like to see how warm people would be to catching GHC's type error quality up a bit. I did a write-up

Re: Specialized type hints

2016-03-03 Thread Brandon Allbery
On Thu, Mar 3, 2016 at 11:58 AM, Eric Seidel wrote: > On Wed, Mar 2, 2016, at 23:54, Christopher Allen wrote: > > I'd like to see how warm people would be to catching GHC's type error > > quality up a bit. > > > > I did a write-up on a confusion a reader of our book had: > > > >

Re: Specialized type hints

2016-03-03 Thread Eric Seidel
On Wed, Mar 2, 2016, at 23:54, Christopher Allen wrote: > I'd like to see how warm people would be to catching GHC's type error > quality up a bit. > > I did a write-up on a confusion a reader of our book had: > > https://gist.github.com/bitemyapp/c27c721b92dab0248433 Wow, this is a pretty

Specialized type hints

2016-03-02 Thread Christopher Allen
I'd like to see how warm people would be to catching GHC's type error quality up a bit. I did a write-up on a confusion a reader of our book had: https://gist.github.com/bitemyapp/c27c721b92dab0248433 This is not new. A lot of people complain about this particular type error in particular when