Re: [Haskell-cafe] Techniques for ensuring parser correctness?

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.