[project @ 1996-01-11 14:06:51 by partain]
[ghc-hetmet.git] / ghc / compiler / deforest / DefSyn.hi
1 {-# GHC_PRAGMA INTERFACE VERSION 3 #-}
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