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