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


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 ig...@earth.li wrote:

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

___
Haskell-prime mailing list
Haskell-prime@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-prime