non-linear complexity of :reload combined with :module in ghci

Simon Hengel simon.hengel at wiktory.org
Mon Jul 4 23:45:01 CEST 2011


Hi all,
I realized that ghci shows non-linear time complexity for a sequence of
:module and :reload commands, say we do multiple times:

  :module *Foo
  :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.  Is this considered a bug?

Cheers,
Simon



More information about the Glasgow-haskell-users mailing list