The darcs version (checked out today at ~9:30), after compilation and installation, and installation of haskell-src-1.0, segfaults on any input:
ubik:~/info/cat/agda2/src/main> agda zsh: segmentation fault agda
Starting program: /usr/local/bin/agda Program received signal SIGSEGV, Segmentation fault. 0xb7b7f183 in ?? () (gdb) bt #0 0xb7b7f183 in ?? () #1 0xb7b7f100 in ?? () #2 0xb7b7f330 in ?? () #3 0xc80846a2 in ?? () #4 0x0858ac54 in Agdazm2zi0zi0_TypeCheckingziMonadziBase_lvl93_closure () #5 0xb7b7f2ec in ?? () #6 0x08496808 in ?? () #7 0x00000008 in ?? () #8 0x08496808 in ?? () #9 0x085c0c68 in MainCapability () #10 0x00000002 in ?? () #11 0x0846cca0 in s8Pq_info () #12 0xb7b7f18c in ?? () #13 0x00000000 in ?? ()
- Doesn't happen on Mac (also with haskell-src 1.0)
- Possible fix: segfaults are sometimes caused by ghc not having recompiled properly. Try do a clean build.
Clean build doesn't help. Removing
-O and adding
-debug -fforce-recomp to
ghc-options, and then recompiling everything did "fix" the issue. I'm currently trying a recompilation with only
It indeed works fine by just removing
-O... ghc issue?
Works fine now, I won't try to understand what is going on... Closing bug.