Improve the `debug` option into a good "learner-tracer" functionality
blaggacao opened this issue · comments
David Arnold commented
Users should enable debug
the first couple of times in order to understand what's actually going on under the hood in std
.
It's not too bad, already.
But also not good enough.
David Arnold commented
Done via the new implementation of std check
(which uses the new builtins.debugTrace
; requires a recent Nix version)