[Haskell-cafe] Techniques for ensuring parser correctness?
stephen.tetley at gmail.com
Mon Jul 26 06:28:53 EDT 2010
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