liquidhaskell-0.8.0.2: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Desugar.Desugar

Contents

Synopsis

Desugaring operations

deSugar :: HscEnv -> ModLocation -> TcGblEnv -> IO (Messages, Maybe ModGuts) Source #

Main entry point to the desugarer.

Dependency/fingerprinting code (used by MkIface)

mkDependencies :: TcGblEnv -> IO Dependencies Source #

Extract information from the rename and typecheck phases to produce a dependencies information for the module being compiled.