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