GHC 8.8.2 heap overflow panic compiling agda 2.6.1
Summary
Compiling Agda 2.6.1 with GHC 8.8.2 and cabal 3.2
Steps to reproduce
Install a couple of prerequisites (https://agda.readthedocs.io/en/v2.6.0.1/getting-started/prerequisites.html icu4u may also be required)
git clone --recursive https://github.com/agda/agda.git
(The commit I used was the latest: f0422f159aedca2e987aba85d22421c2fba2a449
)
make
Expected behavior
This should build, but instead I get
[248 of 373] Compiling Agda.TypeChecking.Primitive.Cubical ( src/full/Agda/TypeChecking/Primitive/Cubical.hs, dist-2.6.1/build/Agda/TypeChecking/Primitive/Cubical.o )
ghc: panic! (the 'impossible' happened)
(GHC version 8.8.2 for x86_64-unknown-linux):
heap overflow
Please report this as a GHC bug: https://www.haskell.org/ghc/reportabug
cabal: Leaving directory '.'
cabal: Error: some packages failed to install:
Agda-2.6.1-8J2mu6UbD9AKTdyltkOpDj failed during the building phase. The
exception was:
ExitFailure 1
real 10m48.227s
user 10m44.013s
sys 0m3.386s
make: *** [Makefile:98: install-bin] Error 1
Environment
- GHC version used: 8.8.2
- Cabal version used cabal 3.2
Optional:
- Operating System: GHC version 8.8.2 for x86_64-unknown-linux (Ubuntu eoan; same on MacOS Catalina)