[Haskell-cafe] Techniques for ensuring parser correctness?

Stephen Tetley stephen.tetley at gmail.com
Mon Jul 26 06:28:53 EDT 2010

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.

More information about the Haskell-Cafe mailing list