[thu]

I think they use GHC frontend to parse Haskell sources.

[navaati]

Not only parse but do all the type-checking I guess (which is where Haskell is moving the most)