Language.Haskell.Liquid.Transforms.ANF

Convert GHC Core into Administrative Normal Form (ANF) --------------------

Documentation

anormalize :: Config -> HscEnv -> ModGuts -> IO [CoreBind]

A-Normalize a module ------------------------------------------------------