- ghc-tickets - Haskell.org

Re: [GHC] #7452: [GNU gold] ld: error: cannot find [...]/Types__1.o
by GHC 20 Jul '14

20 Jul '14

#7452: [GNU gold] ld: error: cannot find [...]/Types__1.o -------------------------------------+------------------------------------- Reporter: mrothe | Owner: Type: bug | Status: infoneeded Priority: normal | Milestone: 7.10.1 Component: Build | Version: 7.6.1 System | Keywords: Resolution: | Operating System: Linux Differential Revisions: | Type of failure: Building GHC Architecture: x86_64 | failed (amd64) | Test Case: Difficulty: Unknown | Blocking: Blocked By: | Related Tickets: | -------------------------------------+------------------------------------- Comment (by slomo): The attached patch against 7.8.3 works around this by always putting absolute paths to the .o files into the linker script. Works with gold but should also just work fine with bfd (but I didn't test that). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7452#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1012: ghc panic with mutually recursive modules and template haskell
by GHC 20 Jul '14

20 Jul '14

#1012: ghc panic with mutually recursive modules and template haskell -------------------------------------+------------------------------------- Reporter: guest | Owner: Type: bug | Status: new Priority: lowest | Milestone: 7.10.1 Component: Template | Version: 6.8.2 Haskell | Keywords: Resolution: | Operating System: Unknown/Multiple Differential Revisions: | Type of failure: None/Unknown Architecture: | Test Case: TH_import_loop Unknown/Multiple | Blocking: Difficulty: Unknown | Blocked By: | Related Tickets: | -------------------------------------+------------------------------------- Changes (by mboes): * cc: m@… (added) Comment: FWIW, I just ran into this very same issue. My use case is identical in structure to goldfire's, but is unrelated to the singletons library. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1012#comment:33> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5567: LLVM: Improve alias analysis / performance
by GHC 20 Jul '14

20 Jul '14

#5567: LLVM: Improve alias analysis / performance -------------------------------------+------------------------------------- Reporter: dterei | Owner: dterei Type: task | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: (LLVM) | Keywords: Resolution: | Operating System: Unknown/Multiple Differential Revisions: | Type of failure: Runtime Architecture: | performance bug Unknown/Multiple | Test Case: Difficulty: Unknown | Blocking: Blocked By: | Related Tickets: | -------------------------------------+------------------------------------- Changes (by brbr): * cc: brooks.brian@… (added) * difficulty: => Unknown -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5567#comment:14> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7883: enable GHC LLVM backend to use LLVM provided CAS / Atomicity primitives?
by GHC 20 Jul '14

20 Jul '14

#7883: enable GHC LLVM backend to use LLVM provided CAS / Atomicity primitives? -------------------------------------+------------------------------------- Reporter: carter | Owner: carter Type: task | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.9 Resolution: | Keywords: Differential Revisions: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: Difficulty: Unknown | Blocking: Blocked By: | Related Tickets: | -------------------------------------+------------------------------------- Changes (by brbr): * cc: brooks.brian@… (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7883#comment:20> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4213: LLVM: Add support for TNTC to LLVM compiler suite
by GHC 19 Jul '14

19 Jul '14

#4213: LLVM: Add support for TNTC to LLVM compiler suite -------------------------------------+------------------------------------- Reporter: dterei | Owner: dterei Type: feature | Status: new request | Milestone: 7.10.1 Priority: low | Version: 6.13 Component: Compiler | Keywords: (LLVM) | Operating System: Unknown/Multiple Resolution: | Type of failure: None/Unknown Differential Revisions: | Test Case: Architecture: | Blocking: Unknown/Multiple | Difficulty: Unknown | Blocked By: 9142 | Related Tickets: | -------------------------------------+------------------------------------- Comment (by bgamari): This is quite pertinent: http://lists.cs.uiuc.edu/pipermail/llvmdev/2014-June/073667.html -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4213#comment:36> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6086: Cross compilation fails using system linker for other architecture binaries
by GHC 19 Jul '14

19 Jul '14

#6086: Cross compilation fails using system linker for other architecture binaries -------------------------------------+------------------------------------- Reporter: mtjm | Owner: Type: bug | Status: new Priority: high | Milestone: 7.8.4 Component: Build | Version: 7.8.3 System | Keywords: Resolution: | Operating System: Linux Differential Revisions: | Type of failure: Building GHC Architecture: arm | failed Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | -------------------------------------+------------------------------------- Changes (by boo): * version: 7.5 => 7.8.3 * architecture: Unknown/Multiple => arm * milestone: 7.8.1 => 7.8.4 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6086#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1965: Allow unconstrained existential contexts in newtypes
by GHC 19 Jul '14

19 Jul '14

#1965: Allow unconstrained existential contexts in newtypes -------------------------------------+------------------------------------- Reporter: guest | Owner: Type: feature | Status: new request | Milestone: 7.10.1 Priority: normal | Version: 6.8.1 Component: Compiler | Keywords: Resolution: | Operating System: Unknown/Multiple Differential Revisions: | Type of failure: None/Unknown Architecture: | Test Case: Unknown/Multiple | Blocking: Difficulty: Unknown | Blocked By: | Related Tickets: | -------------------------------------+------------------------------------- Comment (by pumpkin): Dan Doel pointed out that as useful as this could be, it would allow this fairly odd use case: {{{ #!haskell data Nat = Z | S Nat data Fin n where Zero :: Fin (S n) Suc :: Fin n -> Fin (S n) newtype SomeFin where SomeFin :: Fin n -> SomeFin suc :: SomeFin -> SomeFin suc (SomeFin n) = SomeFin (Suc n) inf :: SomeFin inf = suc inf }}} Which leads to `inf` containing a `Fin` whose existential index can't actually be any valid (finite) type. `Fin` thus becomes a bit of a misnomer in this context, since it's not finite. Making `SomeFin` into data rather than newtype fixes the problem by making `inf` into a bottom. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1965#comment:16> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9321: Support for waiting on multiple MVars
by GHC 19 Jul '14

19 Jul '14

#9321: Support for waiting on multiple MVars -------------------------------------+------------------------------------- Reporter: schyler | Owner: simonmar Type: feature request | Status: new Priority: normal | Milestone: Component: Runtime System | Version: 7.8.3 Keywords: mvar | Differential Revisions: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: -------------------------------------+------------------------------------- A lot of code in servers uses MVars because they seem to have more desirable scalability characteristics than STM. Unfortunately, unlike STM which is composable (i.e. `readTChan chan1 <|> readTChan chan2`), `MVar`s often require extra inefficient intermediate steps to funnel many-to-one. A common thing for people to do when they need to funnel N `MVar`s into one is to create 1 `MVar` and N forks where each fork attempts to read from its associated `MVar` and then writes it into the one `MVar` where another fork is waiting to process the data. This is such a waste; it produces more forks and another `MVar` where contention can occur. In some ways it would be better if the internal representation of an `MVar` had a pointer to the "next `MVar`" so that we could use a function like `eitherMVar` to merge two (or more) `MVar`s together into one which can be waited on and yield values from any of the containing `MVar`s. (I believe) the runtime would need to provide appropriate support in the scheduler so that the list is traversed instead of only the single `MVar` checked. The overhead for code which does not use this feature would probably be only 1 branch, which is acceptable. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9321> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 10

Re: [GHC] #5645: Sharing across functions causing space leak
by GHC 19 Jul '14

19 Jul '14

#5645: Sharing across functions causing space leak -------------------------------------+------------------------------------- Reporter: tener | Owner: Type: bug | Alexander.Pakhomov Priority: normal | Status: new Component: Compiler | Milestone: 7.10.1 Resolution: | Version: 7.2.1 Differential Revisions: | Keywords: Architecture: | Operating System: Unknown/Multiple Unknown/Multiple | Type of failure: Runtime Difficulty: Unknown | performance bug Blocked By: | Test Case: Related Tickets: | Blocking: -------------------------------------+------------------------------------- Changes (by Alexander.Pakhomov): * owner: => Alexander.Pakhomov * difficulty: => Unknown Comment: I hope this could be done with GC modifications. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5645#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6086: Cross compilation fails using system linker for other architecture binaries
by GHC 19 Jul '14

19 Jul '14

#6086: Cross compilation fails using system linker for other architecture binaries -------------------------------------+------------------------------------- Reporter: mtjm | Owner: Type: bug | Status: new Priority: high | Milestone: 7.8.1 Component: Build | Version: 7.5 System | Keywords: Resolution: | Operating System: Linux Differential Revisions: | Type of failure: Building GHC Architecture: | failed Unknown/Multiple | Test Case: Difficulty: Unknown | Blocking: Blocked By: | Related Tickets: | -------------------------------------+------------------------------------- Changes (by boo): * owner: simonmar => * status: closed => new * resolution: fixed => Comment: I'm just trying to crosscompile GHC-7.8.3 from Linux (x86) to Raspberry Pi following [wiki:Building/Preparation/RaspberryPi this instruction] and getting following error: {{{ "inplace/bin/ghc-cabal" configure libraries/ghc-prim dist-install "" --with-ghc="/home/boo/projects/rpi/ghc-7.8.3/inplace/bin/ghc-stage1" --with-ghc-pkg="/home/boo/projects/rpi/ghc-7.8.3/inplace/bin/ghc-pkg" --flag=include-ghc-prim --disable-library-for-ghci --enable-library- vanilla --disable-library-profiling --enable-shared --configure- option=CFLAGS=" -fno-stack-protector " --configure-option=LDFLAGS=" " --configure-option=CPPFLAGS=" " --gcc-options=" -fno-stack-protector " --configure-option=--host=arm-unknown-linux-gnueabihf --with- gcc="/usr/bin/gcc" --with-ld="/home/boo/projects/rpi/tools/arm-bcm2708 /gcc-linaro-arm-linux-gnueabihf-raspbian/bin/arm-linux-gnueabihf-ld" --configure-option=--with-cc="/usr/bin/gcc" --with- ar="/home/boo/projects/rpi/tools/arm-bcm2708/gcc-linaro-arm-linux- gnueabihf-raspbian/bin/arm-linux-gnueabihf-ar" --with- ranlib="/home/boo/projects/rpi/tools/arm-bcm2708/gcc-linaro-arm-linux- gnueabihf-raspbian/bin/arm-linux-gnueabihf-ranlib" --with- alex="/usr/local/bin/alex" --with-happy="/usr/local/bin/happy" Configuring ghc-prim-0.3.1.0... ghc-cabal: /tmp/3624.o: does not exist make[1]: *** [libraries/ghc-prim/dist-install/package-data.mk] Error 1 make: *** [all] Error 2 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6086#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0