liquidhaskell- Liquid Types for Haskell

Safe HaskellNone




This module contains all the code needed to output the result which is either: SAFE or WARNING with some reasonable error message when something goes wrong. All forms of errors/exceptions should go through here. The idea should be to report the error, the source position that causes it, generate a suitable .json file and then exit.


Get Command Line Configuration

Update Configuration With Pragma

Canonicalize Paths in Config

canonicalizePaths :: FilePath -> Config -> IO Config Source #

Attempt to canonicalize all FilePaths in the Config so we don't have to worry about relative paths.

Exit Function

exitWithResult :: Config -> [FilePath] -> Output Doc -> IO (Output Doc) Source #

Exit Function -----------------------------------------------------

Diff check mode

diffcheck :: Config -> Bool Source #

check subset of binders modified (+ dependencies) since last check

Orphan instances