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