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