diff options
| author | David Waern <david.waern@gmail.com> | 2011-10-01 01:55:45 +0200 |
|---|---|---|
| committer | David Waern <david.waern@gmail.com> | 2011-10-01 01:55:45 +0200 |
| commit | b50695a86358fd02b9a0ececbc107bf5274d5f95 (patch) | |
| tree | d32b49aa8fa29d8f4ae489799e7d64045841e881 /src/haddock.sh | |
| parent | b4915e8f387bdc0e0fb40a67b41de8fbacb32da6 (diff) | |
Merge in darcs patch:
Joachim Breitner <mail@joachim-breitner.de>**20110619201645
Ignore-this: f6c51228205b0902ad5bfad5040b989a
As reported on http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=578301,
generating the global index takes much too long if type-level (with lots of
auto-generated types) is installed. The patch avoids a quadratic runtime in the
subfunction getIfaceIndex of ppHtmlIndex by using a temporary set. Runtime improvement observed here from 25.36s to 2.86s.
Diffstat (limited to 'src/haddock.sh')
0 files changed, 0 insertions, 0 deletions