fixity for (\\)

[Koen Claessen]

Hi all,

The Haskell report defines the fixity of (\\) to be:

  infix 5 \\

I propose that it gets the following fixity:

  infixl 5 \\

This means that one can write:

  as \\ bs \\ cs \\ ds

Which means:

  (((as \\ bs) \\ cs) \\ ds)

I think that one less often means the following:

  as \\ (bs \\ (cs \\ ds))

/Koen.

--
Koen Claessen         http://www.cs.chalmers.se/~koen
phone:+46-31-772 5424      mailto:koen@cs.chalmers.se
-----------------------------------------------------
Chalmers University of Technology, Gothenburg, Sweden