Language.Haskell.Liquid.Bare.Slice

This module has a function that computes the "slice" i.e. subset of the BareSpec that we actually need to verify a given target module, so that LH doesn't choke trying to resolve names that are not actually relevant and hence, not in the GHC Environment. See LH issue 1773 for more details.

Specifically, this module has datatypes and code for building a Specification Dependency Graph whose vertices are names that need to be resolve, and edges are dependencies.

Documentation

sliceSpecs :: GhcSrc -> BareSpec -> [(ModName, BareSpec)] -> [(ModName, BareSpec)]

Top-level "slicing" function