inspection-testing-0.2: GHC plugin to do inspection testing

Safe HaskellNone
LanguageHaskell2010

Test.Inspection.Core

Description

This module implements some of analyses of Core expressions necessary for Test.Inspection. Normally, users of this pacakge can ignore this module.

Synopsis

Documentation

slice :: [(Var, CoreExpr)] -> Var -> Slice Source #

Selects those bindings that define the given variable

pprSlice :: Slice -> SDoc Source #

Pretty-print a slice

pprSliceDifference :: Slice -> Slice -> SDoc Source #

Pretty-print two slices, after removing variables occurring in both

eqSlice Source #

Arguments

:: Bool

ignore types

-> Slice 
-> Slice 
-> Bool 

This is a heuristic, which only works if both slices have auxillary variables in the right order. (This is mostly to work-around the buggy CSE in GHC-8.0) It also breaks if there is shadowing.

freeOfType :: Slice -> Name -> Maybe (Var, CoreExpr) Source #

Returns True if the given core expression mentions no type constructor anywhere that has the given name.

doesNotAllocate :: Slice -> Maybe (Var, CoreExpr) Source #

True if the given variable binding does not allocate, if called fully satisfied.

It currently does not look through function calls, which of course could allocate. It should probably at least look through local function calls.

The variable is important to know the arity of the function.