[Haskell-cafe] Techniques for ensuring parser correctness?

[Stephen Tetley]

Hi Jason

Which particular file in the Darcs tree defines the parser?

Small adhoc formats don't necessarily have a simple underlying
grammar, even though a parser for them might not have many
productions. A hand-crafted parser for such a format might often be
context-sensitive, or do "clever things" particularly at the token
level or with white-space. As Doaitse Swierstra noted, such clever
things can quickly lead to problems of correctness.