IRTS.Defunctionalise

To defunctionalise:

1. Create a data constructor for each function
2. Create a data constructor for each underapplication of a function
3. Convert underapplications to their corresponding constructors
4. Create an EVAL function which calls the appropriate function for data constructors created as part of step 1
5. Create an APPLY function which adds an argument to each underapplication (or calls APPLY again for an exact application)
6. Wrap overapplications in chains of APPLY
7. Wrap unknown applications (i.e. applications of local variables) in chains of APPLY
8. Add explicit EVAL to case, primitives, and foreign calls

Documentation

data EvalApply a

Constructors

EvalCase (Name -> a)

ApplyCase a

Apply2Case a

type DDefs = Ctxt DDecl

data DDecl

Constructors

DFun Name [Name] DExp

DConstructor Name Int Int

Instances

Eq DDecl

Defined in IRTS.Defunctionalise

Methods

(==) :: DDecl -> DDecl -> Bool

(/=) :: DDecl -> DDecl -> Bool

Show DDecl

Defined in IRTS.Defunctionalise

Methods

showsPrec :: Int -> DDecl -> ShowS

show :: DDecl -> String

showList :: [DDecl] -> ShowS

ToJSON DDecl

Defined in IRTS.Portable

Methods

toJSON :: DDecl -> Value

toEncoding :: DDecl -> Encoding

toJSONList :: [DDecl] -> Value

toEncodingList :: [DDecl] -> Encoding

data DAlt

Constructors

DConCase Int Name [Name] DExp

DConstCase Const DExp

DDefaultCase DExp

Instances

Eq DAlt

Defined in IRTS.Defunctionalise

Methods

(==) :: DAlt -> DAlt -> Bool

(/=) :: DAlt -> DAlt -> Bool

Show DAlt

Defined in IRTS.Defunctionalise

Methods

showsPrec :: Int -> DAlt -> ShowS

show :: DAlt -> String

showList :: [DAlt] -> ShowS

ToJSON DAlt

Defined in IRTS.Portable

Methods

toJSON :: DAlt -> Value

toEncoding :: DAlt -> Encoding

toJSONList :: [DAlt] -> Value

toEncodingList :: [DAlt] -> Encoding

data DExp

Constructors

DV Name

DApp Bool Name [DExp]

DLet Name DExp DExp

DUpdate Name DExp

DProj DExp Int

DC (Maybe Name) Int Name [DExp]

DCase CaseType DExp [DAlt]

DChkCase DExp [DAlt]

DConst Const

DForeign FDesc FDesc [(FDesc, DExp)]

DOp PrimFn [DExp]

DNothing

DError String

Instances

Eq DExp

Defined in IRTS.Defunctionalise

Methods

(==) :: DExp -> DExp -> Bool

(/=) :: DExp -> DExp -> Bool

Show DExp

Defined in IRTS.Defunctionalise

Methods

showsPrec :: Int -> DExp -> ShowS

show :: DExp -> String

showList :: [DExp] -> ShowS

ToJSON DExp

Defined in IRTS.Portable

Methods

toJSON :: DExp -> Value

toEncoding :: DExp -> Encoding

toJSONList :: [DExp] -> Value

toEncodingList :: [DExp] -> Encoding

defunctionalise :: Int -> LDefs -> DDefs

getFn :: [(Name, LDecl)] -> [(Name, Int)]

addApps :: LDefs -> (Name, LDecl) -> State ([Name], [(Name, Int)]) (Name, DDecl)

eEVAL :: DExp -> DExp

toCons :: [Name] -> (Name, Int) -> [(Name, Int, EvalApply DAlt)]

toConsA :: [(Name, Int)] -> (Name, Int) -> [(Name, Int, EvalApply DAlt)]

mkApplyCase :: Name -> Int -> Int -> [(Name, Int, EvalApply DAlt)]

mkEval :: [(Name, Int, EvalApply DAlt)] -> (Name, DDecl)

mkApply :: [(Name, Int, EvalApply DAlt)] -> (Name, DDecl)

mkApply2 :: [(Name, Int, EvalApply DAlt)] -> (Name, DDecl)

declare :: Int -> [(Name, Int, EvalApply DAlt)] -> [(Name, DDecl)]

genArgs :: Int -> [Name]

mkFnCon :: Show a => a -> Name

mkUnderCon :: Name -> Int -> Name

mkBigCase :: p -> Int -> DExp -> [DAlt] -> DExp

Divide up a large case expression so that each has a maximum of max branches

groupsOf :: Int -> [DAlt] -> [[DAlt]]

dumpDefuns :: DDefs -> String

module IRTS.Lang