[ghc-steering-committee] Explicit foralls

[Joachim Breitner]

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 <simonpj at microsoft.c
> > om
> > > 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-co
> > > mm
> > > ittee
> > > 
> > 
> > _______________________________________________
> > ghc-steering-committee mailing list
> > ghc-steering-committee at haskell.org
> > https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-comm
> > it
> > tee
> 
> _______________________________________________
> 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/20170920/8b2bce42/attachment.sig>