#4805: segfault in Data.HashTable, triggered by long Agda runs
-------------------------------+--------------------------------------------
Reporter: wkahl | Owner:
Type: bug | Status: new
Priority: normal | Component: libraries/base
Version: 7.0.1 | Keywords: Data.HashTable segfault
Testcase: | Blockedby:
Os: Linux | Blocking:
Architecture: x86_64 (amd64) | Failure: Runtime crash
-------------------------------+--------------------------------------------
Comment(by wkahl):
Currently, I normally run with the following RTS flags:
{{{
+RTS -C0 -i0 -K64M -M12G -H12G -S -RTS
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4805#comment:1>
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
