Skip to content

GHCI core dumps when used with VTY

Load the attached script in ghci:

$ghci ghci-coredumper.hs

(you need the vty-menu package from hackage) and type die

>die

You may see a menu with a set of ten numbers. If you do press enter repeatedly. Eventually it will core dump(at least it does for me) Unfortunately I have been unable to collect this core dump, but here is the output at least:

7f7ad1fc4000-7f7ad1fc5000 rwxp 000fd000 00:10 2839271                    /usr/lib/libm-2.17.so
7f7ad1fc5000-7f7ad2032000 r-xp 00000000 00:10 3028085                    /usr/lib/libgmp.so.10.1.1
7f7ad2032000-7f7ad2231000 ---p 0006d000 00:10 3028085                    /usr/lib/libgmp.so.10.1.1
7f7ad2231000-7f7ad2232000 r-xp 0006c000 00:10 3028085                    /usr/lib/libgmp.so.10.1.1
7f7ad2232000-7f7ad223b000 rwxp 0006d000 00:10 3028085                    /usr/lib/libgmp.so.10.1.1
7f7ad223b000-7f7ad2252000 r-xp 00000000 00:10 2839310                    /usr/lib/libpthread-2.17.so
7f7ad2252000-7f7ad2451000 ---p 00017000 00:10 2839310                    /usr/lib/libpthread-2.17.so
7f7ad2451000-7f7ad2452000 r-xp 00016000 00:10 2839310                    /usr/lib/libpthread-2.17.so
7f7ad2452000-7f7ad2453000 rwxp 00017000 00:10 2839310                    /usr/lib/libpthread-2.17.so
7f7ad2453000-7f7ad2457000 rwxp 00000000 00:00 0 
7f7ad2457000-7f7ad245a000 r-xp 00000000 00:10 2839316                    /usr/lib/libdl-2.17.so
7f7ad245a000-7f7ad2659000 ---p 00003000 00:10 2839316                    /usr/lib/libdl-2.17.so
7f7ad2659000-7f7ad265a000 r-xp 00002000 00:10 2839316                    /usr/lib/libdl-2.17.so
7f7ad265a000-7f7ad265b000 rwxp 00003000 00:10 2839316                    /usr/lib/libdl-2.17.so
7f7ad265b000-7f7ad265d000 r-xp 00000000 00:10 2839280                    /usr/lib/libutil-2.17.so
7f7ad265d000-7f7ad285c000 ---p 00002000 00:10 2839280                    /usr/lib/libutil-2.17.so
7f7ad285c000-7f7ad285d000 r-xp 00001000 00:10 2839280                    /usr/lib/libutil-2.17.so
7f7ad285d000-7f7ad285e000 rwxp 00002000 00:10 2839280                    /usr/lib/libutil-2.17.so
7f7ad285e000-7f7ad2865000 r-xp 00000000 00:10 2839273                    /usr/lib/librt-2.17.so
7f7ad2865000-7f7ad2a64000 ---p 00007000 00:10 2839273                    /usr/lib/librt-2.17.so
7f7ad2a64000-7f7ad2a65000 r-xp 00006000 00:10 2839273                    /usr/lib/librt-2.17.so
7f7ad2a65000-7f7ad2a66000 rwxp 00007000 00:10 2839273                    /usr/lib/librt-2.17.so
7f7ad2a66000-7f7ad2ac0000 r-xp 00000000 00:10 3403181                    /usr/lib/libncursesw.so.5.9
7f7ad2ac0000-7f7ad2cbf000 ---p 0005a000 00:10 3403181                    /usr/lib/libncursesw.so.5.9
7f7ad2cbf000-7f7ad2cc3000 r-xp 00059000 00:10 3403181                    /usr/lib/libncursesw.so.5.9
7f7ad2cc3000-7f7ad2cc5000 rwxp 0005d000 00:10 3403181                    /usr/lib/libncursesw.so.5.9
7f7ad2cc5000-7f7ad2ce6000 r-xp 00000000 00:10 2839312                    /usr/lib/ld-2.17.so
7f7ad2e39000-7f7ad2eba000 rwxp 00000000 00:00 0 
7f7ad2ee4000-7f7ad2ee6000 rwxp 00000000 00:00 0 
7f7ad2ee6000-7f7ad2ee7000 r-xp 00021000 00:10 2839312                    /usr/lib/ld-2.17.so
7f7ad2ee7000-7f7ad2ee8000 rwxp 00022000 00:10 2839312                    /usr/lib/ld-2.17.so
7f7ad2ee8000-7f7ad2ee9000 rwxp 00000000 00:00 0 
7fff979b8000-7fff979d9000 rwxp 00000000 00:00 0                          [stack]
7fff979fe000-7fff97a00000 r-xp 00000000 00:00 0                          [vdso]
ffffffffff600000-ffffffffff601000 r-xp 00000000 00:00 0                  [vsyscall]
Neúspěšně ukončen (SIGABRT) (core dumped [obraz paměti uložen])

Sometimes it dumps immediately, sometimes it takes a while.

Sometimes the errors are different:

*** Exception: user error (Terminal does not define required capability "cup")
*Main> 
*** Exception: user error (Terminal does not define required capability "setab")
*Main> 
<stdin>: hWaitForInput: end of file

But mostly it just core dumps.

Trac metadata
Trac field Value
Version 7.4.2-rc1
Type Bug
TypeOfFailure OtherFailure
Priority normal
Resolution Unresolved
Component GHCi
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information