20070529-0

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

gdb shows:

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 ?? ()

Notes

  • 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 -O deleted.


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.