[Agda] Warning: hashable-1.2.0.x has serious performance bugs

Andreas Abel andreas.abel at ifi.lmu.de
Fri Jul 12 17:52:01 CEST 2013


When you compile Agda, make sure it uses hashable-1.1.2.x and not the 
newer 1.2.0.x version (which cabal automatically pulls if the choice is 
not constrained).

With hashable-1.2.0.x, Agda is 10x slower!

The newest darcs version asks for hashable < 1.2, so

   cabal install

might not work out of the box, you might have to clean out newer 
versions of hashable and reinstall packages that used hashable-1.2.0.x, 
like the hashtables package.

   cabal configure -v

should show you which version of the packages are picked for compilation.

Cheers,
Andreas

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Theoretical Computer Science, University of Munich
Oettingenstr. 67, D-80538 Munich, GERMANY

andreas.abel at ifi.lmu.de
http://www2.tcs.ifi.lmu.de/~abel/


More information about the Agda mailing list