fixity for (\\)

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