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

Pretty PruneInfo

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

-> KindEnv n

Kind environment

-> TypeEnv n

Type environment

-> Exp a n

-> TransformResult (Exp a n)

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