On Mon, Sep 13, 2021 at 09:49:03AM +0200, Matthias Kilian wrote: > New diff, where I only changed the debug stuff (and introduced a > new typedef for it). The reason I didn't touch the other message > printing functions is that they call printf(3)-like functions several > times and don't do any error checking at all, and it's not clear > what to do with those functions.
BTW, to test this, run a haskell binary (which might have been compiled with -threaded and -rtsopts) with options +RTS -s --internal-counters or +RTS -sFILE --internal-counters. the former uses the vdebugBelcn() case, the latter writes the statistics into the file FILE. The "interesting" part is this part of the output, because that is where I killed the %n: gen[0].sync 0 0 gen[1].sync 0 0 I've tested that both variants (without and with an output file) still work, so there is no regression. Ciao, Kili