[project @ 1996-01-11 14:06:51 by partain]
[ghc-hetmet.git] / ghc / compiler / deforest / Def2Core.hi
1 {-# GHC_PRAGMA INTERFACE VERSION 3 #-}
2 interface Def2Core where
3 import CoreSyn(CoreBinding, CoreExpr)
4 import DefSyn(DefBindee, DefBinding(..))
5 import Id(Id)
6 import PlainCore(PlainCoreProgram(..))
7 import SplitUniq(SUniqSM(..), SplitUniqSupply)
8 data CoreBinding a b 
9 data DefBindee 
10 type DefBinding = CoreBinding Id DefBindee
11 data Id 
12 type PlainCoreProgram = [CoreBinding Id Id]
13 type SUniqSM a = SplitUniqSupply -> a
14 d2c :: CoreExpr Id DefBindee -> SplitUniqSupply -> CoreExpr Id Id
15 def2core :: [CoreBinding Id DefBindee] -> SplitUniqSupply -> [CoreBinding Id Id]
16 defPanic :: [Char] -> [Char] -> CoreExpr Id DefBindee -> SplitUniqSupply -> a
17