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

[Greg Fitzgerald]

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