Sanity bug found by +RTS -DS in Agda
With my HEAD ghc, I built Agda with -debug, and get, reproducibly (on an Agda call that normally segfaults after some 12 minutes):
time agda +RTS -DS -C0 -i0 -K64M -M12G -H12G -S -RTS -i . -i /var/tmp/AGDA/lib/src Categoric/OrderedMonad/Kleisli/Comp/AssocProofterm.lagda
agda -i . -i /var/tmp/AGDA/lib/src Categoric/OrderedMonad/Kleisli/Comp/AssocProofterm.lagda +RTS -DS -C0 -i0 -K64M -M12G -H12G -S
Alloc Copied Live GC GC TOT TOT Page Flts
bytes bytes bytes user elap user elap
570504 67280 87816 2.33 4.74 2.33 4.75 0 0 (Gen: 1)
8676120 935840 1054664 2.86 3.63 5.24 8.43 0 0 (Gen: 0)
9560288 2270144 2423920 2.91 2.93 8.17 11.38 0 0 (Gen: 0)
11102944 2983776 4004992 2.92 2.95 11.13 14.35 0 0 (Gen: 0)
agda: internal error: ASSERTION FAILED: file rts/sm/Sanity.c, line 664
(GHC version 6.13.20100815 for x86_64_unknown_linux)
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
Aborted
real 0m17.637s
user 0m14.026s
sys 0m3.519sWhat should I look into for this?
Trac metadata
| Trac field | Value |
|---|---|
| Version | 6.13 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | Unknown/Multiple |
| Architecture | Unknown/Multiple |