Re: ExplicitForAll complete

2010-12-24 Thread Lennart Augustsson
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. -- Lennart On Fri, Dec 24, 2010 at 9:31 PM, Ian Lynagh wrote: > On Thu, Dec 23, 2010 at 09:46:29AM +0

Re: ExplicitForAll complete

2010-12-24 Thread Ian Lynagh
On Thu, Dec 23, 2010 at 09:46:29AM +, Simon Marlow wrote: > > I don't think it's feasible to allow 'case' as a type > variable, but it's certainly feasible to allow 'forall' as a term > variable. Why is 'case'-only-in-expression harder than 'forall'-only-in-type? > On the other hand, it ma