gibbon-0.3: A compiler for operating on serialized data

Safe Haskell	Safe-Inferred
Language	Haskell2010

Gibbon.Passes.RemoveCopies

Description

Replace calls to copy functions with tagged indirection nodes

Documentation

type LocEnv = Map LocVar Var Source #

removeCopies :: Prog2 -> PassM Prog2 Source #

removeCopiesFn :: DDefs Ty2 -> FunDefs2 -> FunDef2 -> PassM FunDef2 Source #

removeCopiesExp :: DDefs Ty2 -> FunDefs2 -> LocEnv -> Env2 Ty2 -> Exp2 -> PassM Exp2 Source #