[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