6 even:
foo :: (Maybe :: * -> *) Foo -> Bar
foo (fromMaybe def -> x) = \x -> case x of
Foo x -> x->y->z
>>>>> Edward Kmett <ekmett@gmail.com> writes:Imagine this possible code:
> 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.
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