diff options
author | partain <unknown> | 1996-01-08 20:28:12 +0000 |
---|---|---|
committer | partain <unknown> | 1996-01-08 20:28:12 +0000 |
commit | e7d21ee4f8ac907665a7e170c71d59e13a01da09 (patch) | |
tree | 93715bf4e6e4bbe8049e4d8d4d3fbd19158a88d6 /ghc/compiler/deforest/DefSyn.hi | |
parent | e48474bff05e6cfb506660420f025f694c870d38 (diff) | |
download | haskell-e7d21ee4f8ac907665a7e170c71d59e13a01da09.tar.gz |
[project @ 1996-01-08 20:28:12 by partain]
Initial revision
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_ #-} + |