#4265: Sanity bug found by +RTS -DS in Agda
---------------------------------+------------------------------------------
Reporter: wkahl | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler
Version: 6.13 | Keywords:
Testcase: | Blockedby:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: None/Unknown
---------------------------------+------------------------------------------
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.519s
}}}
What should I look into for this?
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4265>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
