ghc/compiler/coreSyn/CoreLint.hi

   1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
   2 interface CoreLint where
   3 import CmdLineOpts(GlobalSwitch)
   4 import CoreSyn(CoreBinding, CoreExpr)
   5 import Id(Id, IdDetails)
   6 import IdInfo(IdInfo)
   7 import PlainCore(PlainCoreBinding(..))
   8 import Pretty(PprStyle)
   9 import SrcLoc(SrcLoc)
  10 import UniType(UniType)
  11 import Unique(Unique)
  12 data CoreBinding a b    {-# GHC_PRAGMA CoNonRec a (CoreExpr a b) | CoRec [(a, CoreExpr a b)] #-}
  13 data Id         {-# GHC_PRAGMA Id Unique UniType IdInfo IdDetails #-}
  14 type PlainCoreBinding = CoreBinding Id Id
  15 data PprStyle   {-# GHC_PRAGMA PprForUser | PprDebug | PprShowAll | PprInterface (GlobalSwitch -> Bool) | PprForC (GlobalSwitch -> Bool) | PprUnfolding (GlobalSwitch -> Bool) | PprForAsm (GlobalSwitch -> Bool) Bool ([Char] -> [Char]) #-}
  16 lintCoreBindings :: PprStyle -> [Char] -> Bool -> [CoreBinding Id Id] -> [CoreBinding Id Id]
  17         {-# GHC_PRAGMA _A_ 4 _U_ 2122 _N_ _S_ "LLLS" _N_ _N_ #-}
  18 lintUnfolding :: SrcLoc -> CoreExpr Id Id -> CoreExpr Id Id
  19         {-# GHC_PRAGMA _A_ 2 _U_ 22 _N_ _S_ "LS" _N_ _N_ #-}
  20