[Agda] Re: Avoid GHC 6.10.1 (for now)

[Nils Anders Danielsson]

On 07/11/08 16:20, Nils Anders Danielsson wrote:
> 
> If you compile Agda using GHC 6.10.1, then you can expect drastic
> slowdowns (as compared to GHC 6.8.3). Loading the standard library, when
> everything is already type-checked, can take roughly ten times longer if
> you use 6.10.1.
> 
> I don't know the reason for this slowdown, but my hunch is that there is
> some optimisation of the binary library which is not triggered properly
> by the new compiler. Perhaps this will be fixed by a future version of
> binary.

This has now been fixed by a new version of binary.

-- 
/NAD

This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.