[Agda] Re: Agda faster with GHC 7
Dominique Devriese
dominique.devriese at cs.kuleuven.be
Wed Apr 13 18:36:50 CEST 2011
(for completeness: 32 bit cpu on linux with enough memory)
2011/4/13 Dominique Devriese <dominique.devriese at cs.kuleuven.be>:
> In case anyone is looking for a reason to upgrade to GHC 7: I've been
> doing some (informal) benchmarks of Agda compiling Everything.agda,
> and along the way I noticed the following:
>
> ghc-6.12.1 interactive: ~1000s
> ghc-6.12.1 compiled: ~950s
> ghc-7.0.1 interactive: ~850s
> ghc-7 compiled: ~820s
>
> (Interactive means calling the relevant operation from ghci, compares
> best to what Agda emacs mode does)
>
> Dominique
>
More information about the Agda
mailing list