ExplicitForAll complete

[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 <igloo at 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-prime
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-prime/attachments/20101224/92036923/attachment.htm>