Option to register a term globally to not be adapted

[parsonsmatt]

We use require-callstack. Due to the implicit param in provideCallStack :: (RequireCallStackImpl => r) -> r, dekking fails to adapt it correctly.

I'd like to be able to tell dekking to have an exception for a function name. That would allow it to not adapt error in our codebase, which would work nicely (sort of? probably not great to lose whether or not we test error branches)

Alternatively, I can edit error's type signature depending on the coverage flag being enabled.. which may work around. Still - would it be feasible to add the logic I describe

[NorfairKing]

@parsonsmatt I like this suggestion!

I think this is where you want to fit it in:

dekking/dekking-plugin/src/Dekking/SourceAdapter.hs

Line 225 in e74091e

HsVar _ (L _ rdr) -> applyAdapter $ Just $ occNameString $ rdrNameOcc rdr

You'd have to do a refactor here to have some env that can remember which functions you don't want to be covered.

dekking/dekking-plugin/src/Dekking/SourceAdapter.hs

Line 22 in e74091e

type AdaptM = WriterT ModuleCoverables (ReaderT GHC.Module Hsc)