[project @ 1996-02-06 14:32:22 by dnt]
[ghc-hetmet.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)
6 import Maybes(Labda)
7 import PlainCore(PlainCoreBinding(..))
8 import Pretty(PprStyle)
9 import SrcLoc(SrcLoc)
10 data CoreBinding a b 
11 data Id 
12 type PlainCoreBinding = CoreBinding Id Id
13 data PprStyle 
14 lintCoreBindings :: PprStyle -> [Char] -> Bool -> [CoreBinding Id Id] -> [CoreBinding Id Id]
15 lintUnfolding :: SrcLoc -> CoreExpr Id Id -> Labda (CoreExpr Id Id)
16