4 Feb
2002
4 Feb
'02
11:52 a.m.
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