5 Jan
2011
5 Jan
'11
3:03 p.m.
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. Thanks Ian