diff options
author | John MacFarlane <jgm@berkeley.edu> | 2021-03-17 13:34:17 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2021-03-17 13:34:17 -0700 |
commit | c6e5cf2e7472ab872a537327a03ef9eb9fcef2a1 (patch) | |
tree | 4f6b922045aa8fa7b48c35ed96aa7f175cf9062f /CONTRIBUTING.md | |
parent | 84836719aabe055b12d8444f8a6e70c13336f614 (diff) | |
download | pandoc-c6e5cf2e7472ab872a537327a03ef9eb9fcef2a1.tar.gz |
Benchmark improvements.
* Build `+RTS -A256m -RTS` into default ghc-options for benchmark,
so we don't have to specify this separately on the command line.
This is necessary to get accurate benchmark results; otherwise
we are largely measuring garbage collecting, some not related
to the current benchmark.
* Switch back from gauge to tasty-bench.
* Allow specifying BASELINE file in 'make bench' for comparison
(otherwise the latest is chosen by default).
* Remove obsolete reference to weigh-pandoc from CONTRIBUTING.md.
* Remove `-Rghc-timing` from 'make bench'.
Diffstat (limited to 'CONTRIBUTING.md')
-rw-r--r-- | CONTRIBUTING.md | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 090cc0a4f..cf8d3aa03 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -318,9 +318,6 @@ With stack: stack bench -You can also build `weigh-pandoc` (`stack build pandoc:weigh-pandoc`) -to get some statistics on memory usage. (Eventually this should -be incorporated into the benchmark suite.) Using the REPL -------------- |