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

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