non-linear complexity of :reload combined with :module in ghci
ghci shows non-linear time complexity for a sequence of
:module and :reload commands, say we do multiple times:
ghci> :module *Foo
ghci> :reload
Steps to reproduce:
$ time for i in {1..10}; do echo -e ':m Prelude\n:r'; done |ghci
$ time for i in {1..99}; do echo -e ':m Prelude\n:r'; done |ghci
On my system the first run uses 1 second of CPU time, the second 39 seconds.
(with GHC 7.0.3, Linux x86_64)
Trac metadata
| Trac field | Value |
|---|---|
| Version | 7.0.3 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | simon.hengel@wiktory.org |
| Operating system | |
| Architecture |