| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Haskell.Liquid.Transforms.ANF
Description
Convert GHC Core into Administrative Normal Form (ANF) --------------------
- anormalize :: Bool -> HscEnv -> MGIModGuts -> IO [CoreBind]
Documentation
anormalize :: Bool -> HscEnv -> MGIModGuts -> IO [CoreBind] Source
A-Normalize a module ------------------------------------------------------