blob: 7a023f2e54df343cc6fb0c3d6870359be3710364 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# GHC_PRAGMA INTERFACE VERSION 3 #-}
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
|