Opened 8 years ago

Closed 8 years ago

#5551 closed bug (fixed)

GHCi and linker scripts, part II

Reported by: toothbrush Owned by: igloo
Priority: high Milestone: 7.4.1
Component: GHCi Version: 7.0.4
Keywords: Cc:
Operating System: Linux Architecture: x86_64 (amd64)
Type of failure: Compile-time crash Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


This bug seems exactly like #2615, but here goes. Ran into this trying to use Agda-mode for emacs, which didn't work. Turns out it's ghci failing to load

My system is Debian x64 testing, with agda installed from cabal and ghc-7.0.4. Steps to reproduce for me:

$ ghci

:set -package Agda-2.2.10

[snip] Loading package terminfo- ... can't load .so/.DLL for: ncursesw (/usr/lib/x86_64-linux-gnu/ file too short)

The contents of that file is:

INPUT( -ltinfo)

In the referenced bug I saw that a trick to fix it might be to append many newlines to the linker script (which I did), which solicits an "invalid ELF header" error, but ghci still fails.

Attachments (1) (32 bytes) - added by toothbrush 8 years ago.
The linker script which breaks things.

Download all attachments as: .zip

Change History (3)

Changed 8 years ago by toothbrush

Attachment: added

The linker script which breaks things.

comment:1 Changed 8 years ago by igloo

Milestone: 7.4.1
Owner: set to igloo
Priority: normalhigh

Thanks for the report; I'll take a look.

comment:2 Changed 8 years ago by igloo

Resolution: fixed
Status: newclosed

7.0.4 doesn't support INPUT. That was fixed in 7.2.1.

Note: See TracTickets for help on using tickets.