1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
2 interface CoreLint where
3 import CmdLineOpts(GlobalSwitch)
4 import CoreSyn(CoreBinding, CoreExpr)
7 import PlainCore(PlainCoreBinding(..))
8 import Pretty(PprStyle)
12 type PlainCoreBinding = CoreBinding Id Id
14 lintCoreBindings :: PprStyle -> [Char] -> Bool -> [CoreBinding Id Id] -> [CoreBinding Id Id]
15 lintUnfolding :: SrcLoc -> CoreExpr Id Id -> Labda (CoreExpr Id Id)