[commit: ghc] master: Bump haddock.base max_bytes_used (8df7fea)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/8df7fea7cf8a32d54ac3d67724322738595bf421/ghc

>---------------------------------------------------------------

commit 8df7fea7cf8a32d54ac3d67724322738595bf421
Author: Joachim Breitner <mail at joachim-breitner.de>
Date:   Fri Aug 1 19:55:52 2014 +0200

    Bump haddock.base max_bytes_used
    
    It has reliably increased with commit 1ae5fa45, and has been stable
    since then, so it does not seem to be a fluke. I did not investigate why
    that commit might have increased this value.


>---------------------------------------------------------------

8df7fea7cf8a32d54ac3d67724322738595bf421
 testsuite/tests/perf/haddock/all.T | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

diff --git a/testsuite/tests/perf/haddock/all.T b/testsuite/tests/perf/haddock/all.T
index b17d472..49321b9 100644
--- a/testsuite/tests/perf/haddock/all.T
+++ b/testsuite/tests/perf/haddock/all.T
@@ -17,13 +17,14 @@ test('haddock.base',
             # 2014-01-22: 168 (x86/Linux - new haddock)
             # 2014-06-29: 156 (x86/Linux)
      ,stats_num_field('max_bytes_used',
-          [(wordsize(64), 115113864, 10)
-            # 2012-08-14: 87374568 (amd64/Linux)
-            # 2012-08-21: 86428216 (amd64/Linux)
-            # 2012-09-20: 84794136 (amd64/Linux)
-            # 2012-11-12: 87265136 (amd64/Linux)
-            # 2013-01-29: 96022312 (amd64/Linux)
+          [(wordsize(64), 127954488, 10)
+            # 2012-08-14:  87374568 (amd64/Linux)
+            # 2012-08-21:  86428216 (amd64/Linux)
+            # 2012-09-20:  84794136 (amd64/Linux)
+            # 2012-11-12:  87265136 (amd64/Linux)
+            # 2013-01-29:  96022312 (amd64/Linux)
             # 2013-10-18: 115113864 (amd64/Linux)
+	    # 2014-07-31: 127954488 (amd64/Linux), correlates with 1ae5fa45
           ,(platform('i386-unknown-mingw32'), 58557136, 10)
             # 2013-02-10:                     47988488 (x86/Windows)
             # 2013-11-13:                     58557136 (x86/Windows, 64bit machine)