ghc-7.4.2: The GHC API
CoreLint
lintCoreBindings :: CoreProgram -> (Bag Message, Bag Message)
lintUnfolding :: SrcLoc -> [Var] -> CoreExpr -> Maybe Message