Re: [ghc-steering-committee] Explicit foralls

Hi, marked as accepted! Greetings, Joachim Am Sonntag, den 17.09.2017, 22:58 -0400 schrieb Joachim Breitner:

Hi,

this proposal received plenty of silent support. Unless someone objects very soon, I will mark this accepted.

Joachim

Am Dienstag, den 05.09.2017, 13:29 +0100 schrieb Simon Marlow:

...

Looks good to me.

On 25 August 2017 at 15:15, Simon Peyton Jones

...

wrote: Friends I propose that we accept the Explicit Foralls proposal. No one objected It makes the language more expressive and uniform It fixes a long-standing ticket #2600 The only bump in the road is the double forall in RULES (see the Examples in the proposal). But that’s not Ricahrd’s fault, and the proposed solution seems reasonable. I move to accept. Simon

_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-co mm ittee

_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-comm it tee

_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-commit tee -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/