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 <igloo@earth.li> wrote:
On Thu, Dec 23, 2010 at 09:46:29AM +0000, 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 makes life difficult for syntax highlighters.
Yup.
Thanks Ian
_______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org/mailman/listinfo/haskell-prime