[project @ 1996-01-08 20:28:12 by partain]
[ghc.git] / ghc / compiler / deforest / DefSyn.hi
1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
2 interface DefSyn where
3 import CoreSyn(CoreArg, CoreAtom, CoreBinding, CoreCaseAlternatives, CoreCaseDefault, CoreExpr)
4 import Id(Id)
5 type DefAtom = CoreAtom DefBindee
6 data DefBindee   = DefArgExpr (CoreExpr Id DefBindee) | DefArgVar Id | Label (CoreExpr Id DefBindee) (CoreExpr Id DefBindee)
7 type DefBinding = CoreBinding Id DefBindee
8 type DefCaseAlternatives = CoreCaseAlternatives Id DefBindee
9 type DefCaseDefault = CoreCaseDefault Id DefBindee
10 type DefCoreArg = CoreArg DefBindee
11 type DefExpr = CoreExpr Id DefBindee
12 type DefProgram = [CoreBinding Id DefBindee]
13 mkLabel :: CoreExpr Id DefBindee -> CoreExpr Id DefBindee -> CoreExpr Id DefBindee
14         {-# GHC_PRAGMA _A_ 2 _U_ 22 _N_ _N_ _N_ _N_ #-}
15