Documentation

lintCoreBindings :: [Var] -> CoreProgram -> (Bag MsgDoc, Bag MsgDoc) Source

lintUnfolding :: SrcLoc -> [Var] -> CoreExpr -> Maybe MsgDoc Source

lintExpr :: [Var] -> CoreExpr -> Maybe MsgDoc Source