Quoth Duncan Coutts <duncan.coutts@worc.ox.ac.uk>: | On Tue, 2008-11-18 at 11:51 +0000, Ross Paterson wrote: |> But it could be a reserved word synonymous with \. After all, \ can |> occur in operator symbols, but the operator \ is reserved. | | Presumably that would let you do (\ x -> ...) but not (\x -> ) since the | "\x" would run together and lexically it would be one identifier. Good, that's clearly the right way to do it anyway! Donn