24 Dec
2010
24 Dec
'10
3:31 p.m.
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