[Agda] Agda interface generation memory consumption

[Nils Anders Danielsson]

On 2010-02-16 04:05, kahl at cas.mcmaster.ca wrote:
> The development is now updated on:
> 
>   http://sqrl.mcmaster.ca/~kahl/RATH/Agda/

Thanks. Perhaps we will try to optimise Agda further in the upcoming
Agda meeting, and then it is good to have some real-life examples which
can be used to stress-test the implementation.

> I noticed that I cannot compile the lastest Agda development version
> with my GHC-6.10.4 --- are you consciously abondoning GHC-6.10 already now?
> GHC-6.12 apparently does not work on PowerPC  :-(

Apparently Darin's new patches broke GHC 6.10.4 compatibility. Darin,
can you comment on this?

-- 
/NAD