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.
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