Non-determinism in newline in the Haskell report
Mon, 4 Feb 2002 11:52:43 +0000
On Mon, Feb 04, 2002 at 03:15:40AM -0800, Simon Peyton-Jones wrote:
> | I propose replacing the above with the following. It does
> | mean that <CR><LF> creates 2 newlines, but I don't believe
> | this should be a problem.
> | 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?
Yeah, that looks fine.