ExplicitForAll complete

Ian Lynagh igloo at earth.li
Wed Jan 5 21:03:09 CET 2011

On Fri, Dec 24, 2010 at 11:31:17PM +0100, Lennart Augustsson wrote:
> I think they are equally feasible, but as Simon says, we have avoided
> introducing new global keywords.
> And I think we should avoid it this time too.  Why break programs when we
> don't have to.

I've added an alternative delta to the page, where forall is only a
keyword in types. The committee can choose which they prefer.


More information about the Haskell-prime mailing list