April 2013 - ghc-tickets

[GHC] #7819: FreeBSD without system libffi: Shared object "libffi.so.6" not found
by GHC 28 Apr '13

28 Apr '13

#7819: FreeBSD without system libffi: Shared object "libffi.so.6" not found ---------------------------------+------------------------------------------ Reporter: igloo | Owner: Type: bug | Status: new Priority: high | Milestone: 7.8.1 Component: Build System | Version: 7.6.2 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ In #7806, kazu-yamamoto reported that on FreeBSD without a system libffi: GHC can be built: {{{ % make maintainer-clean % perl boot % ./configure --prefix=/ghc-head \ --with-iconv-includes=/usr/local/include \ --with-iconv-libraries=/usr/local/lib \ --with-gmp-includes=/usr/local/include \ --with-gmp-libraries=/usr/local/lib \ --with-gcc=/usr/local/bin/gcc47 \ --with-gcc-4.2=/usr/local/bin/gcc47 % gmake -j10 }}} But installation fails: {{{ % gmake install Installing library in /ghc-head/lib/ghc-7.7.20130323/haskell2010-1.1.1.0 "/ghc-head/lib/ghc-7.7.20130323/bin/ghc-pkg" --force --global-package-db "/ghc-head/lib/ghc-7.7.20130323/package.conf.d" update rts/package.conf.install Shared object "libffi.so.6" not found, required by "libHSrts- ghc7.7.20130323.so" gmake[1]: *** [install_packages] Error 1 gmake: *** [install] Error 2 }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7819> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 20

Re: [GHC] #5013: sporadic failures during compilation under solaris
by GHC 27 Apr '13

27 Apr '13

#5013: sporadic failures during compilation under solaris ----------------------------+----------------------------------------------- Reporter: maeder | Owner: Type: bug | Status: new Priority: low | Milestone: 7.6.2 Component: Compiler | Version: 7.0.4 Resolution: | Keywords: Os: Solaris | Architecture: x86 Failure: Runtime crash | Difficulty: Unknown Testcase: | Blockedby: Blocking: | Related: ----------------------------+----------------------------------------------- Changes (by simonmar): * difficulty: => Unknown Comment: yes, `stat` is returning `EINTR` and we're not expecting it to. Change the call to `stat` in `getFileStatus` to use `throwErrnoIfMinus1Retry` (hope I've got that right from memory). -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5013#comment:22> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2648: Report out of date interface files robustly
by GHC 27 Apr '13

27 Apr '13

#2648: Report out of date interface files robustly ---------------------------------+------------------------------------------ Reporter: simonpj | Owner: Type: feature request | Status: new Priority: lowest | Milestone: 7.6.2 Component: GHCi | Version: 7.6.3 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: GHCi crash Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Comment(by igloo): Can anyone give me a testcase for this please? -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2648#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #7723: iOS patch no 12: Itimer.c doesn't work on iOS
by GHC 26 Apr '13

26 Apr '13

#7723: iOS patch no 12: Itimer.c doesn't work on iOS ------------------------------+--------------------------------------------- Reporter: StephenBlackheath | Owner: StephenBlackheath Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.7 | Keywords: Os: Other | Architecture: arm Failure: None/Unknown | Blockedby: Blocking: | Related: ------------------------------+--------------------------------------------- As it stands, rts/posix/Itimer.c dies at runtime on iOS. I am in the process of tidying up a solution for this. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7723> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 9

[GHC] #7813: Fix mismatched visibility of StgRun
by GHC 26 Apr '13

26 Apr '13

#7813: Fix mismatched visibility of StgRun --------------------------------+------------------------------------------- Reporter: PHO | Owner: Type: bug | Status: new Priority: normal | Component: Runtime System Version: 7.7 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Building GHC failed | Blockedby: Blocking: | Related: --------------------------------+------------------------------------------- [http://www.haskell.org/pipermail/ghc-devs/2013-April/000932.html From Gabor Greif]: {{{ I am getting linker errors when bootstrapping HEAD with a recent v7.7-20130220 GHC. This is a RHEL5 system: "inplace/bin/ghc-stage1" -package-name rts -shared -dynamic -dynload deploy -no-auto-link-packages -Lrts/dist/build -lffi -optl-Wl,-rpath -optl-Wl,'$ORIGIN' `cat rts/libs.depend` <<snip>> rts/dist/build/AutoApply.debug_dyn_o -o rts/dist/build/libHSrts_debug-ghc7.7.20130402.so /usr/bin/ld: rts/dist/build/Schedule.dyn_o: relocation R_X86_64_PC32 against `StgRun' can not be used when making a shared object; recompile with -fPIC /usr/bin/ld: final link failed: Bad value collect2: ld returned 1 exit status }}} [http://www.haskell.org/pipermail/ghc-devs/2013-April/000966.html From PHO]: {{{ The old binutils comes with RHEL5 fails to link a shared library if there is a reference to a hidden symbol that isn't locally defined. See: https://gist.github.com/phonohawk/5308015 Personally I don't think this is an old binutils' fault, because the newer one is essentially turning an otherwise global symbol to a local one depending on its call site, which feels rather wrong to me. The attached patch should fix the problem anyway. }}} From Gabor Greif: {{{ Thanks a lot! This worked, but now we have the libffi-related problem on install: /home/ggreif/lib/ghc-7.7.20130403/bin/ghc-pkg: error while loading shared libraries: libHSterminfo-0.3.2.5-ghc7.7.20130403.so: cannot open shared object file: No such file or directory make[1]: *** [install_packages] Error 127 This is described in another mail thread, so I'll relax now. }}} My patch is to change the visibility of `StgRun`/`StgReturn` for each and every platforms, but I've only tested it on my NetBSD/amd64, Linux/x86_64 and FreeBSD/i386 boxes. I hope I've not broken other platforms namely Darwin/i386, Darwin/x86_64, Darwin/PPC32, Linux/PPC32, Linux/PPC64, Linux/ARM, iOS/ARM and Sparc. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7813> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #7823: ARM Thumb relocation fails to handle sign of veneer jumps
by GHC 26 Apr '13

26 Apr '13

#7823: ARM Thumb relocation fails to handle sign of veneer jumps --------------------------+------------------------------------------------- Reporter: cjwatson | Owner: Type: bug | Status: new Priority: normal | Component: Runtime System Version: 7.6.2 | Keywords: Os: Linux | Architecture: Unknown/Multiple Failure: Runtime crash | Blockedby: Blocking: | Related: --------------------------+------------------------------------------------- While working on http://hackage.haskell.org/trac/ghc/ticket/7794 on Linux/ARM (ARMv7, hard float), I found that 'inplace/bin/ghc-stage2 --interactive' was raising various signals along the lines of SIGSEGV/SIGILL on startup. Considerable hair-pulling and gdb later, I found that this was a jump into space when it should have been jumping to nl_langinfo from localeEncoding in base. After even more poking around with gdb, I've tracked this down to a linker bug and have a patch. When the linker processes an R_ARM_THM_CALL or R_ARM_THM_JUMP24 relocation, it sometimes needs to generate a "veneer" jump target if the true destination is out of range. This is done almost entirely correctly. However, it reuses the sign bit decoded from the original instruction when re-encoding. This means that if the veneer is on the opposite side of the branch instruction from the unrelocated target, the branch target will be encoded incorrectly. This is a common case since the veneer is typically generated after the code being relocated but a to-be-relocated R_ARM_THM_CALL instruction will typically be a branch to PC-4 (a.k.a. the branch source itself). The simple, and I hope obvious, fix is to compute the sign from the new offset. The attached patch should apply to both master and ghc-7.6. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7823> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

Re: [GHC] #1896: Keep old bindings until :load succeeds
by GHC 26 Apr '13

26 Apr '13

#1896: Keep old bindings until :load succeeds -------------------------------+-------------------------------------------- Reporter: tibbe | Owner: Type: feature request | Status: closed Priority: low | Milestone: 7.6.2 Component: GHCi | Version: 6.8.1 Resolution: wontfix | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: | Blockedby: Blocking: | Related: -------------------------------+-------------------------------------------- Changes (by igloo): * status: patch => closed * resolution: => wontfix Comment: For the `:reload` case, I don't think we want to fall back to the previous state if the reload fails. For example, suppose you have `A` and `B` loaded, `B` imports `A`, and you make a change to `A` and reload. If `B` is no longer well-typed, then I think you want to end up with the new `A` loaded so that you can see how to fix `B`. I'm going to close this ticket, but if anyone thinks there's a case that should be handled differently than it currently is, please open a new ticket and include step by step instructions to demonstrate the current (wrong) behaviour, and say what you think the right behaviour should be. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1896#comment:22> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #7864: --make -dynamic-too doesn't work
by GHC 26 Apr '13

26 Apr '13

#7864: --make -dynamic-too doesn't work ---------------------------------+------------------------------------------ Reporter: igloo | Owner: igloo Type: bug | Status: new Priority: high | Milestone: 7.8.1 Component: Compiler | Version: 7.7 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ `--make -dynamic-too` doesn't work yet. I think that the best fix will be to unify the two different code paths that `-c` and `--make` use to do more-or-less the same thing (the Hsc phase). In the mean-time, this means that Cabal can't use -dynamic-too, so I've marked it as not supported in `compilerInfo` in `DynFlags`. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7864> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #7846: GHC 7.7 cannot link primitives
by GHC 25 Apr '13

25 Apr '13

#7846: GHC 7.7 cannot link primitives -----------------------------------------+---------------------------------- Reporter: kazu-yamamoto | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.7 | Keywords: Os: Linux | Architecture: x86_64 (amd64) Failure: Compile-time performance bug | Blockedby: Blocking: | Related: -----------------------------------------+---------------------------------- When I tries to install the vector library on Linux, GHC 7.7 cannot find a necessary primitive library: {{{ % cabal install vector ... [ 5 of 19] Compiling Data.Vector.Fusion.Stream.Monadic ( Data/Vector/Fusion/Stream/Monadic.hs, dist/build/Data/Vector/Fusion/Stream/Monadic.o ) Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. Loading package primitive-0.5.0.1 ... <command line>: can't load .so/.DLL for: libHSprimitive-0.5.0.1.so (libHSprimitive-0.5.0.1.so: cannot open shared object file: No such file or directory) cabal: Error: some packages failed to install: vector-0.10.0.1 failed during the building phase. The exception was: ExitFailure 1 }}} Note that static library of primitive is installed but dynamic one is not. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7846> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

Re: [GHC] #7530: Proposal: Add isLeft/isRight to Data.Either
by GHC 25 Apr '13

25 Apr '13

#7530: Proposal: Add isLeft/isRight to Data.Either -------------------------------+-------------------------------------------- Reporter: SimonHengel | Owner: Type: feature request | Status: closed Priority: normal | Milestone: 7.8.1 Component: libraries/base | Version: 7.6.1 Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: | Blockedby: Blocking: | Related: -------------------------------+-------------------------------------------- Changes (by igloo): * status: patch => closed * resolution: => fixed Comment: Applied, thanks! {{{ commit 58d03b8ed4342b80bd0ed8afa52c2b5c7f975534 Author: Simon Hengel <sol(a)typeful.net> Date: Tue Dec 25 16:07:27 2012 +0100 Add isLeft/isRight }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7530#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0