Re: [ghc-steering-committee] Explicit foralls

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