diff options
| author | Alexander Biehl <alexbiehl@gmail.com> | 2018-03-23 15:57:36 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-23 15:57:36 +0100 |
| commit | d270aeee23427c8cfe582549ead8f495704603f6 (patch) | |
| tree | 2f9ced9fda4d1f9853aa849c49c36bde08e08054 /doc/conf.py | |
| parent | ee6e32147371f4d2430bb8b080596f7c62227912 (diff) | |
Useful cost centres, timers and allocation counters (#785)
* Add some useful cost-centres for profiling
* Add withTiming for each haddock phase
Invoking haddock with `--optghc=-ddump-timings` now shows the amount
of time spent and the number of allocated bytes for each phase.
Diffstat (limited to 'doc/conf.py')
0 files changed, 0 insertions, 0 deletions