Language.Haskell.Liquid.UX.DiffCheck

This module contains the code for Incremental checking, which finds the part of a target file (the subset of the [CoreBind] that have been modified since it was last checked, as determined by a diff against a saved version of the file.

Changed binders + Unchanged Errors

data DiffCheck

Data Types ----------------------------------------------------------------

Main type of value returned for diff-check.

Constructors

DC

Fields

• newBinds :: [CoreBind]
• oldOutput :: !(Output Doc)
• newSpec :: !TargetSpec

Instances

PPrint DiffCheck

Defined in Language.Haskell.Liquid.UX.DiffCheck

Methods

pprintTidy :: Tidy -> DiffCheck -> Doc

pprintPrec :: Int -> Tidy -> DiffCheck -> Doc

Use previously saved info to generate DiffCheck target

slice :: FilePath -> [CoreBind] -> TargetSpec -> IO (Maybe DiffCheck)

slice returns a subset of the [CoreBind] of the input target file which correspond to top-level binders whose code has changed and their transitive dependencies.

Use target binders to generate DiffCheck target

thin :: [CoreBind] -> TargetSpec -> [Var] -> DiffCheck

thin cbs sp vs returns a subset of the cbs :: [CoreBind] which correspond to the definitions of vs and the functions transitively called therein for which there are *no* type signatures. Callees with type signatures are assumed to satisfy those signatures.

Save current information for next time

saveResult :: FilePath -> Output Doc -> IO ()

save creates an .saved version of the target file, which will be used to find what has changed the next time target is checked.

Names of top-level binders that are rechecked

checkedVars :: DiffCheck -> [Var]

checkedNames returns the names of the top-level binders that will be checked

CoreBinds defining given set of Var

filterBinds :: [CoreBind] -> HashSet Var -> [CoreBind]

coreDeps :: [CoreBind] -> Deps

dependsOn :: Deps -> [Var] -> HashSet Var

Given a call graph, and a list of vars, dependsOn checks all functions to see if they call any of the functions in the vars list. If any do, then they must also be rechecked.

data Def

Variable definitions

Constructors

D

Fields

• start :: Int

  line at which binder definition starts

• end :: Int

  line at which binder definition ends

• binder :: Var

  name of binder

Instances

Show Def

Defined in Language.Haskell.Liquid.UX.DiffCheck

Methods

showsPrec :: Int -> Def -> ShowS

show :: Def -> String

showList :: [Def] -> ShowS

Eq Def

Defined in Language.Haskell.Liquid.UX.DiffCheck

Methods

(==) :: Def -> Def -> Bool

(/=) :: Def -> Def -> Bool

Ord Def

Defined in Language.Haskell.Liquid.UX.DiffCheck

Methods

compare :: Def -> Def -> Ordering

(<) :: Def -> Def -> Bool

(<=) :: Def -> Def -> Bool

(>) :: Def -> Def -> Bool

(>=) :: Def -> Def -> Bool

max :: Def -> Def -> Def

min :: Def -> Def -> Def

PPrint Def

Defined in Language.Haskell.Liquid.UX.DiffCheck

Methods

pprintTidy :: Tidy -> Def -> Doc

pprintPrec :: Int -> Tidy -> Def -> Doc

coreDefs :: [CoreBind] -> [Def]

Orphan instances

FromJSON ErrorResult

Methods

parseJSON :: Value -> Parser ErrorResult

parseJSONList :: Value -> Parser [ErrorResult]

FromJSON SourcePos

Methods

parseJSON :: Value -> Parser SourcePos

parseJSONList :: Value -> Parser [SourcePos]

FromJSON Doc

Methods

parseJSON :: Value -> Parser Doc

parseJSONList :: Value -> Parser [Doc]

ToJSON SourcePos

Aeson instances -----------------------------------------------------------

Methods

toJSON :: SourcePos -> Value

toEncoding :: SourcePos -> Encoding

toJSONList :: [SourcePos] -> Value

toEncodingList :: [SourcePos] -> Encoding

ToJSON Doc

Methods

toJSON :: Doc -> Value

toEncoding :: Doc -> Encoding

toJSONList :: [Doc] -> Value

toEncodingList :: [Doc] -> Encoding

FromJSON a => FromJSON (AnnInfo a)

Methods

parseJSON :: Value -> Parser (AnnInfo a)

parseJSONList :: Value -> Parser [AnnInfo a]

FromJSON (Output Doc)

Methods

parseJSON :: Value -> Parser (Output Doc)

parseJSONList :: Value -> Parser [Output Doc]

ToJSON a => ToJSON (AnnInfo a)

Methods

toJSON :: AnnInfo a -> Value

toEncoding :: AnnInfo a -> Encoding

toJSONList :: [AnnInfo a] -> Value

toEncodingList :: [AnnInfo a] -> Encoding

ToJSON (Output Doc)

Methods

toJSON :: Output Doc -> Value

toEncoding :: Output Doc -> Encoding

toJSONList :: [Output Doc] -> Value

toEncodingList :: [Output Doc] -> Encoding