https://bugzilla.redhat.com/show_bug.cgi?id=991929
Jens Petersen <petersen(a)redhat.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Version|24 |25
--- Comment #7 from Jens Petersen <petersen(a)redhat.com> ---
With ghc-7.10.3 for Agda-2.4.2.5 still get:
[279 of 294] Compiling Agda.TypeChecking.Rules.Decl (
src/full/Agda/TypeChecking/Rules/Decl.hs,
dist/build/Agda/TypeChecking/Rules/Decl.o )
ghc: out of memory (requested 2097152 bytes)
--
You are receiving this mail because:
You are on the CC list for the bug.