| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Agda.TypeChecking.DeadCode
Synopsis
- eliminateDeadCode :: DisplayForms -> Signature -> TCM (DisplayForms, Signature)
Documentation
eliminateDeadCode :: DisplayForms -> Signature -> TCM (DisplayForms, Signature) Source #
Run before serialisation to remove any definitions that are not reachable from the public interface to the module.