[Haskell-cafe] Parsec and (then?) type-check

Greg Fitzgerald garious at gmail.com
Fri Dec 12 17:06:12 EST 2008


Parser gurus,

When you write a parser with a library like Parsec, do you typically
type-check while parsing, or afterward in a separate pass?  The latter
is more modular, but it means labeling every element in the AST with
the parser position so that you can give good error messages.  Do you
find the added modularity worth the hassle or just pack type-checking
into the parser pass?

Thanks,
Greg


More information about the Haskell-Cafe mailing list