[ghc-steering-committee] Explicit foralls

[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-committee
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20170905/4cf2cda9/attachment.html>