Skip to content

BlockScope/ghc-tcplugins-trace

Repository files navigation

ghc-tcplugins-trace

cabal stack

Forked the tracing of the thoralf-plugin to create ghc-tcplugins-trace. It can trace the call count, trace GHC constraints, trace constraints carried through conversion and solving and trace the solution.

DebugPlugin
    { traceCallCount = TraceCallCount False
    , traceCts = TraceCts False
    , traceCarry = TraceCarry False
    , traceSolution = TraceSolution False
    }

No automatic tracing going on here but when writing your own tracing, the record of flags, the tracing functions and pretty printing functions are helpful.

Similar Projects

ghc-tcplugins-extra exports tcPluginTrace that will:

Print out extra information about the initialisation, stop, and every run of the plugin when @-ddump-tc-trace@ is enabled

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published