Non-determinism in newline in the Haskell report

[Simon Peyton-Jones]

| I propose replacing the above with the following. It does=20
| mean that <CR><LF> creates 2 newlines, but I don't believe=20
| this should be a problem.
|=20
| whitechar    -> newline | vertab | formfeed |  space | tab | uniWhite
| newline      -> return | linefeed
| return       -> a carriage return
| linefeed     -> a line feed

Why not say

	newline -> return linefeed | return | linefeed

which, given maximal munch, will behave decently on any normal system?

Simon