Re: Remove eq and show from num class

2017-09-07 Thread Henrik Nilsson
On 09/08/2017 12:45 AM, Carter Schonwald wrote: please say yes or no. its quite easy with email . i'm not going to write that little proposal if folks wont accept it :) I'd love to see those constraints go. But it is important that the full ramifications are clearly articulated. Best, /Henrik

Re: Remove eq and show from num class

2017-09-07 Thread Carter Schonwald
well sure, i'm happy to write the 3 line diff, but because of the sheer unambiguity of this i'd rather get the votes on email before botthering to write the diff, at which point the main question is whether i wrote the diff correctly please say yes or no. its quite easy with email . i'm not going

Re: Remove eq and show from num class

2017-09-07 Thread Mario Blazevic
Sending to the mailing list instead of to Herbert alone... On Thu, Sep 7, 2017 at 2:20 PM, Herbert Valerio Riedel wrote: Hello! > > On 2017-09-07 at 18:16:39 +0200, Mario Blazevic wrote: > >> Btw, here's an old commit which updates the class diagram to this > >> effect for the report: > >> > >>

Re: Remove eq and show from num class

2017-09-07 Thread Mario Blazevic
On Thu, Sep 7, 2017 at 6:20 PM, Richard Eisenberg wrote: > I don't mean to be a killjoy, but I think even something as simple as this > should have a proposal. We still have to draft the changes to the Report > associated with this change, and at least one is non-obvious: now numeric > literals i

Re: Remove eq and show from num class

2017-09-07 Thread Richard Eisenberg
I don't mean to be a killjoy, but I think even something as simple as this should have a proposal. We still have to draft the changes to the Report associated with this change, and at least one is non-obvious: now numeric literals induce an Eq constraint (which should be mentioned). I'm certainl

Re: Remove eq and show from num class

2017-09-07 Thread Herbert Valerio Riedel
Hello! On 2017-09-07 at 18:16:39 +0200, Mario Blazevic wrote: >> Btw, here's an old commit which updates the class diagram to this >> effect for the report: >> >> https://github.com/hvr/haskell-report/commit/ >> 339ea257ee8b0451fbba388480566efac6ecbbd3 >> > Ha, I wasn't aware of that repository.

Re: Remove eq and show from num class

2017-09-07 Thread Mario Blazevic
On Thu, Sep 7, 2017 at 11:47 AM, Herbert Valerio Riedel wrote: > "yes" :-) > > Btw, here's an old commit which updates the class diagram to this > effect for the report: > > https://github.com/hvr/haskell-report/commit/ > 339ea257ee8b0451fbba388480566efac6ecbbd3 > > Ha, I wasn't aware of that rep

Re: Remove eq and show from num class

2017-09-07 Thread Mario Blazevic
On Thu, Sep 7, 2017 at 11:43 AM, Carter Schonwald < carter.schonw...@gmail.com> wrote: > All yays from committee members please reply with yes to this email :) > Yes please. ___ Haskell-prime mailing list Haskell-prime@haskell.org http://mail.haskell.or

Re: Remove eq and show from num class

2017-09-07 Thread Herbert Valerio Riedel
"yes" :-) Btw, here's an old commit which updates the class diagram to this effect for the report: https://github.com/hvr/haskell-report/commit/339ea257ee8b0451fbba388480566efac6ecbbd3 On Thu, Sep 7, 2017 at 5:43 PM, Carter Schonwald wrote: > All yays from committee members please reply with ye

Re: Remove eq and show from num class

2017-09-07 Thread Cale Gibbard
If you don't do it, the Report will just be inaccurate. On Thu, 7 Sep 2017 at 11:43 Carter Schonwald wrote: > All yays from committee members please reply with yes to this email :) > > -Carter > ___ > Haskell-prime mailing list > Haskell-prime@haskell.

Remove eq and show from num class

2017-09-07 Thread Carter Schonwald
All yays from committee members please reply with yes to this email :) -Carter ___ Haskell-prime mailing list Haskell-prime@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime

Re: Haskell Prime Meeting at ICFP (Was: Whose gonna be at icfp?)

2017-09-07 Thread Carter Schonwald
There's food sans line near c5 On Thu, Sep 7, 2017 at 10:23 AM Henrik Nilsson < henrik.nils...@nottingham.ac.uk> wrote: > Hi all, > > Reminder: Haskell' is meeting lunchtime today, so shortly after 12:30. > > We now, thank to Jeremy Gibbons, also have a room: C5. > > So grab lunch and then go to

Re: Haskell Prime Meeting at ICFP (Was: Whose gonna be at icfp?)

2017-09-07 Thread Henrik Nilsson
Hi all, Reminder: Haskell' is meeting lunchtime today, so shortly after 12:30. We now, thank to Jeremy Gibbons, also have a room: C5. So grab lunch and then go to C5. Best, /Henrik This message and any attachment are intended solely for the addressee and may contain confidential informati