Language.Haskell.Liquid.UX.CmdLine

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

getOpts :: [String] -> IO Config

mkOpts :: Config -> IO Config

defConfig :: Config

Update Configuration With Pragma

withPragmas :: Config -> FilePath -> [Located String] -> IO Config

Updating options

Exit Function

exitWithResult :: Config -> FilePath -> Output Doc -> IO (Output Doc)

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

Diff check mode

diffcheck :: Config -> Bool

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