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 /haddock-library/fixtures/examples/table-simple.input | |
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 'haddock-library/fixtures/examples/table-simple.input')
0 files changed, 0 insertions, 0 deletions