liquidhaskell-0.4.0.1: Liquid Types for Haskell
Language.Haskell.Liquid.ANFTransform
anormalize :: Bool -> HscEnv -> MGIModGuts -> IO [CoreBind] Source