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