6 even:

foo :: (Maybe :: * -> *) Foo -> Bar
foo (fromMaybe def -> x) = \x -> case x of
    Foo x -> x->y->z

On Mon, Jul 1, 2013 at 4:27 PM, John Wiegley <johnw@fpcomplete.com> wrote:
>>>>> Edward Kmett <ekmett@gmail.com> writes:

> If you really want to hunt for unused syntax and we wind up needing a (.)
> analogue then (->) is currently a reserved operator, so opening it up for
> use at the term level could be made to work, and there is a precedent with
> c/c++ pointer dereferencing.

Imagine this possible code:

    foo :: Maybe Foo -> Bar
    foo (fromMaybe def -> x) = \x -> case x of
        Foo x -> x->y->z

I think it might get a bit ugly to give it a 5th meaning.

--
John Wiegley
FP Complete                         Haskell tools, training and consulting
http://fpcomplete.com               johnw on #haskell/irc.freenode.net

_______________________________________________
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users