liquidhaskell-0.8.2.4: Liquid Types for Haskell
Language.Haskell.Liquid.Desugar.Desugar
Contents
Synopsis
deSugar :: HscEnv -> ModLocation -> TcGblEnv -> IO (Messages, Maybe ModGuts) Source #
Main entry point to the desugarer.
deSugarExpr :: HscEnv -> LHsExpr Id -> IO (Messages, Maybe CoreExpr) Source #