18 Oct
2021
18 Oct
'21
10:14 a.m.
On Mon, 18 Oct 2021, Sylvain Henry wrote:
The timer isn't only used for profiling, it is used for scheduling too. You can disable it with `+RTS -V0` (cf https://ghc.gitlab.haskell.org/ghc/doc/users_guide/debug-info.html#tutorial)
Cool, this works!