[ghc-steering-committee] Explicit foralls

[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 <simonpj at microsoft.com
> > 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 at haskell.org
> > https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-comm
> > ittee
> > 
> 
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-commit
> tee
-- 
Joachim Breitner
  mail at joachim-breitner.de
  http://www.joachim-breitner.de/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: This is a digitally signed message part
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20170917/645959be/attachment.sig>