Non-determinism in newline in the Haskell report

[Ian Lynagh]

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.


Thanks
Ian