Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Compiler.Hoopl.Passes.DList
Documentation
The fact that goes into the entry of a dominator analysis: the first node is dominated only by the entry point, which is represented by the empty list of labels.
hoopl-3.10.0.0: A library to support dataflow analysis and optimization
Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Compiler.Hoopl.Passes.DList
The fact that goes into the entry of a dominator analysis: the first node is dominated only by the entry point, which is represented by the empty list of labels.