Safe Haskell	None
Language	Haskell98

Language.Haskell.Liquid.CmdLine

Contents

Description

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.

Synopsis

Get Command Line Configuration

getOpts :: IO Config Source

mkOpts :: Config -> IO Config Source

Update Configuration With Pragma

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

Updating options

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