You need to sign in or sign up before continuing.
cpphs: internal error: evacuate(static): strange closure type 8440
Attempting to install Agda via Cabal fails.
I've installed cpphs through Cabal and ~/Library/Haskell/bin is in my path.
~/.cabal/config is default, but in /Library/Frameworks/GHC.framework/Versions/8.4.3-x86_64/usr/lib/ghc-8.4.3 /settings I have changed only ("C compiler supports -no-pie","NO") (from "YES") because that was giving me errors earlier.
The log states: "Please report this as a GHC bug..." so here I am :]
Trac metadata
| Trac field | Value |
|---|---|
| Version | 8.4.3 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Package system |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |