Skip to content

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
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information