https://bugzilla.redhat.com/show_bug.cgi?id=991929
--- Comment #8 from Jens Petersen <petersen(a)redhat.com> ---
With ghc-8.0.2 (f26):
[304 of 334] Compiling Agda.Syntax.Translation.ConcreteToAbstract (
src/full/Agda/Syntax/Translation/ConcreteToAbstract.hs,
dist/build/Agda/Syntax/Translation/ConcreteToAbstract.o )
ghc: out of memory (requested 1048576 bytes)
--
You are receiving this mail because:
You are on the CC list for the bug.