diff options
Diffstat (limited to 'ghc/compiler/deforest/DefSyn.hi')
| -rw-r--r-- | ghc/compiler/deforest/DefSyn.hi | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/ghc/compiler/deforest/DefSyn.hi b/ghc/compiler/deforest/DefSyn.hi new file mode 100644 index 0000000000..fde9292e13 --- /dev/null +++ b/ghc/compiler/deforest/DefSyn.hi @@ -0,0 +1,15 @@ +{-# GHC_PRAGMA INTERFACE VERSION 5 #-} +interface DefSyn where +import CoreSyn(CoreArg, CoreAtom, CoreBinding, CoreCaseAlternatives, CoreCaseDefault, CoreExpr) +import Id(Id) +type DefAtom = CoreAtom DefBindee +data DefBindee = DefArgExpr (CoreExpr Id DefBindee) | DefArgVar Id | Label (CoreExpr Id DefBindee) (CoreExpr Id DefBindee) +type DefBinding = CoreBinding Id DefBindee +type DefCaseAlternatives = CoreCaseAlternatives Id DefBindee +type DefCaseDefault = CoreCaseDefault Id DefBindee +type DefCoreArg = CoreArg DefBindee +type DefExpr = CoreExpr Id DefBindee +type DefProgram = [CoreBinding Id DefBindee] +mkLabel :: CoreExpr Id DefBindee -> CoreExpr Id DefBindee -> CoreExpr Id DefBindee + {-# GHC_PRAGMA _A_ 2 _U_ 22 _N_ _N_ _N_ _N_ #-} + |