[project @ 1996-01-08 20:28:12 by partain]
[ghc.git] / 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