Compiler.Hoopl.Passes.DList

Безопасный Haskell	Безопасный
Язык	Haskell2010

type Doms = WithBot [Label] Исходный код

Список меток, дополненный стандартным элементом «дно»

domEntry :: Doms Исходный код

Факт, который входит в запись анализа доминантов: первый узел доминируется только точкой входа, которая представлена пустым списком меток.

domLattice :: DataflowLattice Doms Исходный код

domPass :: (NonLocal n, Monad m) => FwdPass m n Doms Исходный код

Проход анализа доминантов