https://bugzilla.redhat.com/show_bug.cgi?id=991929
--- Comment #6 from Jens Petersen petersen@redhat.com --- Gets pretty far with ghc-7.8.4:
[276 of 278] Compiling Agda.Interaction.InteractionTop ( src/full/Agda/Interaction/InteractionTop.hs, dist/build/Agda/Interaction/InteractionTop.o ) ghc: out of memory (requested 1048576 bytes)