liquidhaskell-0.5.0.0: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

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

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