Safe Haskell	Safe-Inferred
Language	Haskell98

Language.Haskell.Liquid.UX.DiffCheck

Contents

Changed binders + Unchanged Errors
Use previously saved info to generate DiffCheck target
Use target binders to generate DiffCheck target
Save current information for next time
Names of top-level binders that are rechecked
CoreBinds defining given set of Var
Orphan instances

Description

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.

Synopsis

data DiffCheck = DC {
- newBinds :: [CoreBind]
- oldOutput :: !(Output Doc)
- newSpec :: !TargetSpec
}
slice :: FilePath -> [CoreBind] -> TargetSpec -> IO (Maybe DiffCheck)
thin :: [CoreBind] -> TargetSpec -> [Var] -> DiffCheck
saveResult :: FilePath -> Output Doc -> IO ()
checkedVars :: DiffCheck -> [Var]
filterBinds :: [CoreBind] -> HashSet Var -> [CoreBind]
coreDeps :: [CoreBind] -> Deps
dependsOn :: Deps -> [Var] -> HashSet Var
data Def = D {
- start :: Int
- end :: Int
- binder :: Var
}
coreDefs :: [CoreBind] -> [Def]

Changed binders + Unchanged Errors

data DiffCheck Source #

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

Main type of value returned for diff-check.

Constructors

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

Instances

Instances details

PPrint DiffCheck Source #
Instance details 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) Source #

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 Source #

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 () Source #

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] Source #

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

CoreBinds defining given set of Var

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

coreDeps :: [CoreBind] -> Deps Source #

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

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 Source #

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

Instances details

Show Def Source #
Instance details Defined in Language.Haskell.Liquid.UX.DiffCheck Methods showsPrec :: Int -> Def -> ShowS # show :: Def -> String # showList :: [Def] -> ShowS #
Eq Def Source #
Instance details Defined in Language.Haskell.Liquid.UX.DiffCheck Methods (==) :: Def -> Def -> Bool # (/=) :: Def -> Def -> Bool #
Ord Def Source #
Instance details 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 Source #
Instance details Defined in Language.Haskell.Liquid.UX.DiffCheck Methods pprintTidy :: Tidy -> Def -> Doc # pprintPrec :: Int -> Tidy -> Def -> Doc #

coreDefs :: [CoreBind] -> [Def] Source #

Orphan instances

FromJSON ErrorResult Source #
Instance details Methods parseJSON :: Value -> Parser ErrorResult # parseJSONList :: Value -> Parser [ErrorResult] #
FromJSON SourcePos Source #
Instance details Methods parseJSON :: Value -> Parser SourcePos # parseJSONList :: Value -> Parser [SourcePos] #
FromJSON Doc Source #
Instance details Methods parseJSON :: Value -> Parser Doc # parseJSONList :: Value -> Parser [Doc] #
ToJSON SourcePos Source #	Aeson instances -----------------------------------------------------------
Instance details Methods toJSON :: SourcePos -> Value # toEncoding :: SourcePos -> Encoding # toJSONList :: [SourcePos] -> Value # toEncodingList :: [SourcePos] -> Encoding #
ToJSON Doc Source #
Instance details Methods toJSON :: Doc -> Value # toEncoding :: Doc -> Encoding # toJSONList :: [Doc] -> Value # toEncodingList :: [Doc] -> Encoding #
FromJSON a => FromJSON (AnnInfo a) Source #
Instance details Methods parseJSON :: Value -> Parser (AnnInfo a) # parseJSONList :: Value -> Parser [AnnInfo a] #
FromJSON (Output Doc) Source #
Instance details Methods parseJSON :: Value -> Parser (Output Doc) # parseJSONList :: Value -> Parser [Output Doc] #
ToJSON a => ToJSON (AnnInfo a) Source #
Instance details Methods toJSON :: AnnInfo a -> Value # toEncoding :: AnnInfo a -> Encoding # toJSONList :: [AnnInfo a] -> Value # toEncodingList :: [AnnInfo a] -> Encoding #
ToJSON (Output Doc) Source #
Instance details Methods toJSON :: Output Doc -> Value # toEncoding :: Output Doc -> Encoding # toJSONList :: [Output Doc] -> Value # toEncodingList :: [Output Doc] -> Encoding #