https://bugzilla.redhat.com/show_bug.cgi?id=991929
--- Comment #6 from Jens Petersen <petersen(a)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)
--
You are receiving this mail because:
You are on the CC list for the bug.
Unsubscribe from this bug
https://bugzilla.redhat.com/token.cgi?t=WZGgN3G3sr&a=cc_unsubscribe