DDC.Core.Transform.Prune

Erase contained let-bindings that have no uses.

Contained bindings are ones that do not perform effects that are visible to anything in the calling context. This includes allocation and read effects, but not writes or any globally visible effects.

Documentation

data PruneInfo

A summary of what the prune transform did.

Constructors

PruneInfo

Fields

• infoBindingsErased :: Int

  How many let-bindings we erased.

Instances

Monoid PruneInfo

Methods

mempty :: PruneInfo

mappend :: PruneInfo -> PruneInfo -> PruneInfo

mconcat :: [PruneInfo] -> PruneInfo

Pretty PruneInfo

Associated Types

data PrettyMode PruneInfo :: *

Methods

pprDefaultMode :: PrettyMode PruneInfo

ppr :: PruneInfo -> Doc

pprPrec :: Int -> PruneInfo -> Doc

pprModePrec :: PrettyMode PruneInfo -> Int -> PruneInfo -> Doc

pruneModule

Arguments

:: (Show a, Show n, Ord n, Pretty n)

=> Profile n

Profile of the language we're in

-> Module a n

-> Module a n

Erase pure let-bindings in a module that have no uses.

pruneX

Arguments

:: (Show a, Show n, Ord n, Pretty n)

=> Profile n

Profile of the language we're in

-> EnvX n

Type checker environment.

-> Exp a n

-> TransformResult (Exp a n)

Erase pure let-bindings in an expression that have no uses.