#12748: BFD linker issue with GHCi -------------------------------------+------------------------------------- Reporter: hsyl20 | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 (Linking) | Keywords: Resolution: | bfd,linker,ghci Operating System: Linux | Architecture: | Unknown/Multiple Type of failure: GHCi crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by bgamari): Indeed the `Typeable` implementation was changed as a result of #9858. We were slightly concerned that resolving this issue would regress compilation times, although initial indications seemed to suggest that the issue wouldn't be noticeable in practice. It sounds like BFD `ld` is likely doing something very silly (which wouldn't be at all surprising). I'm not really sure what to recommend in the short term beyond "use `gold`". In general `gold` is significantly more sane. In the long-term there is of course the question of whether we want to revert to the previous approach of producing `Typeable` bindings during evidence generation. Given that such massive types aren't terribly common, I tend to think that the consistency that treating `Typeable` at declaration-time is probably worth the cost. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12748#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler