Consistency of reserved operators and bang patterns

Neil Mitchell ndmitchell at gmail.com
Sat Sep 8 04:12:01 EDT 2007


Hi

Re ! as an operator: This caused a number of complexities in the
parsing of stuff, including shift-reduce conflicts. Someone would need
to look into this, and determine that the rules are completely
unambiguous.

> > Backwards compatibility requires that it be implicitly imported from
> > Prelude even in a module that does "import Prelude ( )" (although Hugs
> > is already broken in this regard).
>
> In particular, Haskell-98 bans
>
> import Prelude ( (:) )

Yhc does not meet this restriction either. Perhaps this is a change
that is breaking but minor enough to be permitted for H', since
everyone already does the reverse.

Thanks

Neil


More information about the Haskell-prime mailing list