Re: Remove eq and show from num class

2017-09-10 Thread Cale Gibbard
I fully agree with Edward here. This change to Num has been a positive one. It also seemed fairly uncontroversial as far as Prelude changes go - many people wanted to see that change for years. While it caused a handful of hiccups when it happened, it was generally easy enough to fix code to

Re: Remove eq and show from num class

2017-09-10 Thread Edward Kmett
On Sun, Sep 10, 2017 at 4:48 AM, Anthony Clayden < anthony_clay...@clear.net.nz> wrote: > > On Fri Sep 8 15:58:10 UTC 2017, Carter Schonwald wrote: > > > > I mostly wanted to confirm that we in fact will actually > say yes > > before doing the formal writtingup :) > > Seriously -- and please stop

Re: Remove eq and show from num class

2017-09-09 Thread Anthony Clayden
> On Fri Sep 8 15:58:10 UTC 2017, Carter Schonwald wrote: > > I mostly wanted to confirm that we in fact will actually say yes > before doing the formal writtingup :) Seriously -- and please stop using smileys: you're right to be cautious. You need to rewrite the whole of Section 6.4 (nearly 5

Re: Remove eq and show from num class

2017-09-09 Thread Sven Panne
2017-09-08 10:43 GMT+02:00 Herbert Valerio Riedel : > [...] Moreover, the CLC together with the Hackage Trustees also maintains > the > https://github.com/haskell/pvp specification which is integral to the > way Hackage and the Cabal solver interact. [...] > Although I'm

Re: Remove eq and show from num class

2017-09-08 Thread John Wiegley
> "CS" == Carter Schonwald writes: CS> I mostly wanted to confirm that we in fact will actually say yes before CS> doing the formal writtingup :) Ah, I actually misread the English sentence! I though it said "all yays from committee members", and that it was

Re: Remove eq and show from num class

2017-09-08 Thread Bardur Arantsson
On 2017-09-08 13:55, Anthony Clayden wrote: >> This has been how it is in GHC for a long time now, >> so it really is a matter for the Haskell' committee >> rather than one of the GHC committees. > > MPTCs, GADTs (for example) have been in GHC > far longer. AFAIUI these are far from trivial to

Re: Remove eq and show from num class

2017-09-08 Thread Carter Schonwald
I mostly wanted to confirm that we in fact will actually say yes before doing the formal writtingup :) On Fri, Sep 8, 2017 at 2:06 PM, John Wiegley wrote: > > "AC" == Anthony Clayden writes: > > AC> All yays from committee members please

Re: Remove eq and show from num class

2017-09-08 Thread John Wiegley
> "AC" == Anthony Clayden writes: AC> All yays from committee members please reply with yes to this email :) Just to note: I don't recall their being an actual "vote" on this during our informal meeting of just a few of the committee members here at ICFP, so I

Re: Remove eq and show from num class

2017-09-08 Thread Anthony Clayden
> On 8 Sep 2017 at 07:54 Nathan van Doorm wrote: Thank you Nathan and Mario for your explanations. > The motivation is that there are many types with sensible > definitions for addition and multiplication etc that can't > be instances of Eq or Show, for example functions to > numbers (allowing

Re: Remove eq and show from num class

2017-09-08 Thread Anthony Clayden
> On 2017-09-08 at 08:43 AM, Herbert RIedel wrote: Thank you Herbert for the explanation. >> On 2017-09-08 at 09:19:54 +0200, Anthony Clayden wrote: > > [...] > > I can see how the proliferation of committees & github > repos may seem confusing to casual observers, ... Not that so much. I

RE: Remove eq and show from num class

2017-09-08 Thread Simon Peyton Jones via Haskell-prime
Clayden <anthony_clay...@clear.net.nz> | Cc: haskell-prime@haskell.org | Subject: Re: Remove eq and show from num class | | On 2017-09-08 at 09:19:54 +0200, Anthony Clayden wrote: | | [...] | | > If this is to the committee, shouldn't it be on the committee list? | > (I mean

Re: Remove eq and show from num class

2017-09-08 Thread Herbert Valerio Riedel
On 2017-09-08 at 09:19:54 +0200, Anthony Clayden wrote: [...] > If this is to the committee, shouldn't it be on the committee list? > (I mean ghc-steering-committee.) > Or is there some other committee? I thought the Haskell-prime forum > and process was dead/replaced by the github proposals

Re: Remove eq and show from num class

2017-09-08 Thread Nathan van Doorn
Anthony, this proposal is to remove the Eq and Show constraints from the Num class. Specific instances of Num, like Int and Float, will still have those instances. This has been how it is in GHC for a long time now, so it really is a matter for the Haskell' committee rather than one of the GHC

Re: Remove eq and show from num class

2017-09-08 Thread Mario Blazevic
On Fri, Sep 8, 2017 at 3:19 AM, Anthony Clayden < anthony_clay...@clear.net.nz> wrote: > I'm baffled. Is this some sort of 'in' joke at ICFP? > Then remember the rest of the world can see this list. > > > All yays from committee members please reply with yes to > this email :) > > If this is to

Re: Remove eq and show from num class

2017-09-08 Thread Anthony Clayden
I'm baffled. Is this some sort of 'in' joke at ICFP? Then remember the rest of the world can see this list. > All yays from committee members please reply with yes to this email :) If this is to the committee, shouldn't it be on the committee list? (I mean ghc-steering-committee.) Or is there

Re: Remove eq and show from num class

2017-09-08 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,

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

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

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:

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

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 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

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