#8618: can't load .so/.DLL ---------------------------------------+----------------------------------- Reporter: Feuerbach | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (NCG) | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time crash | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: ---------------------------------------+----------------------------------- Comment (by carter): What OS and Arch is this? Why do you have shared disabled? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8618#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

#8618: can't load .so/.DLL ---------------------------------------+----------------------------------- Reporter: Feuerbach | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (NCG) | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time crash | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: ---------------------------------------+----------------------------------- Comment (by nushio): I hit the same issue while installing {{{singletons}}} package using GHC 7.7.20131217 on {{{ Linux nusid 3.8-2-amd64 #1 SMP Debian 3.8.13-1 x86_64 GNU/Linux }}} The tail of the installation message was: {{{ Loading package mtl-2.1.2 ... <command line>: can't load .so/.DLL for: libHSmtl-2.1.2.so (libHSmtl-2.1.2.so: cannot open shared object file: No such file or directory) Failed to install singletons-0.9.3 cabal: Error: some packages failed to install: singletons-0.9.3 failed during the building phase. The exception was: ExitFailure 1 }}} The temporal solution to this was (as hinted by Feuerbach) to set {{{shared: True}}} in my {{{~/.cabal/config}}} file, and then to {{{cabal install mtl --force-reinstall --reinstall }}} . -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8618#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

#8618: can't load .so/.DLL -------------------------------------+------------------------------------- Reporter: Feuerbach | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: Compile- | Blocked By: time crash | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * component: Compiler (NCG) => Compiler -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8618#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

#8618: can't load .so/.DLL -------------------------------------+------------------------------------- Reporter: Feuerbach | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.7 (Linking) | Resolution: invalid | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by Feuerbach): From the pull request:

To be honest, I don't understand in detail why my patch fixes it.

Why do you think it's a bug in uniplate and not in ghc? Perhaps the change you propose simply avoid the ghc bug that is still there? (I haven't studied the patch carefully, but it looks somewhat cryptic.) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8618#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

#8618: can't load .so/.DLL -------------------------------------+------------------------------------- Reporter: Feuerbach | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.7 (Linking) | Resolution: invalid | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by thomie): From compiler/specialise/SpecConstr.hs: {{{ Note [Forcing specialisation] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ With stream fusion and in other similar cases, we want to fully specialise some (but not necessarily all!) loops regardless of their size and the number of specialisations. We allow a library to do this, in one of two ways (one which is deprecated): 1) Add a parameter of type GHC.Types.SPEC (from ghc-prim) to the loop body. 2) (Deprecated) Annotate a type with ForceSpecConstr from GHC.Exts, and then add *that* type as a parameter to the loop body The reason #2 is deprecated is because it requires GHCi, which isn't available for things like a cross compiler using stage1. }}} So it goes something like this: * uniplate used `ForceSpecConstr` somewhere * `ForceSpecConstr` requires GHCi to run * since ghc-7.8, GHCi requires shared libraries to be built * `shared:false` disables building shared libraries * error I changed `uniplate` to use `GHC.Types.SPEC` instead of `ForceSpecConstr`, as suggested by that `Note`. I don't think I am covering up a bug in GHC here. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8618#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

#8618: can't load .so/.DLL -------------------------------------+------------------------------------- Reporter: Feuerbach | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.7 (Linking) | Resolution: invalid | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by thomie): Thanks for keeping me honest :) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8618#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler