May 2014 - ghc-tickets

[GHC] #9129: link error: unknown symbol `diagramszmlibzm1zi1zi0zi1_DiagramsziDirection_Direction_closure'
by GHC 23 May '14

23 May '14

#9129: link error: unknown symbol `diagramszmlibzm1zi1zi0zi1_DiagramsziDirection_Direction_closure' ----------------------------------+------------------------------------- Reporter: dmbergey | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.2 Keywords: | Operating System: Unknown/Multiple Architecture: x86_64 (amd64) | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ----------------------------------+------------------------------------- When trying to build libraries linking against https://github.com/diagrams /diagrams-lib/tree/direction I get an error, in both GHC 7.6.3 and GHC 7.8.2. In 7.6.3: `Loading package diagrams-lib-1.1.0.1 ... linking ... ghc: /home/vagrant/.cabal/lib/diagrams-lib-1.1.0.1/ghc-7.6.3/HSdiagrams- lib-1.1.0.1.o: unknown symbol \`diagramszmlibzm1zi1zi0zi1_DiagramsziDirection_Direction_closure'` In 7.8.2: `Loading package diagrams-lib-1.1.0.1 ... <command line>: can't load .so/.DLL for: /home/bergey/code/diagrams/.cabal-sandbox/lib/x86_64-linux- ghc-7.8.2/diagrams-lib-1.1.0.1/libHSdiagrams-lib-1.1.0.1-ghc7.8.2.so (/home/bergey/code/diagrams/.cabal-sandbox/lib/x86_64-linux-ghc-7.8.2 /diagrams-lib-1.1.0.1/libHSdiagrams-lib-1.1.0.1-ghc7.8.2.so: undefined symbol: diagramszmlibzm1zi1zi0zi1_DiagramsziDirection_Direction_con_info)` The problem seems specific to this branch. I can install the package, but cannot link against it. The following steps reproduce the error in a clean Linux (Ubuntu) VM with HP 2013.2 installed: set -e sudo aptitude install git -y git clone https://github.com/diagrams/diagrams-core.git core git clone https://github.com/diagrams/diagrams-lib.git lib git clone https://github.com/diagrams/diagrams-svg.git svg cabal update cd lib/ git checkout direction cd .. cabal install core/ lib/ svg/ I'm happy to do more debugging if someone can advise me what to try. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9129> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

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

23 May '14

#4213: LLVM: Add support for TNTC to LLVM compiler suite -------------------------------------+------------------------------------ Reporter: dterei | Owner: dterei Type: feature request | Status: new Priority: low | Milestone: 7.6.2 Component: Compiler (LLVM) | Version: 6.13 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by rwbarton): If we mangle the symbol table of the output .o file then it will be too late for intra-module references to be fixed up. So either we need to mangle the assembly anyways, or we need to adjust the input to LLVM taking this into account. That means when we build a thunk, we need to obtain the pointer to the end of the info table, which will be the symbol as known by LLVM plus some constant, but only when the symbol is in the current module; and when we want to jump to another function we need that function to start with one of these little jmps to skip the info table, since we can't tell LLVM to do a jump to a symbol plus some random byte offset. The symbol offset approach sounds workable to me. I assume it's not possible to tell LLVM to emit a global symbol in the middle of a function, as a second entry point? That would also solve our problem, as we could then stick the _info symbol after the prefix data and use it (rather than the symbol for the function, which points to the start of the info table) for building thunks and calling as usual. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4213#comment:17> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7241: GHC-7.6.1 panics on template haskell code
by GHC 23 May '14

23 May '14

#7241: GHC-7.6.1 panics on template haskell code ---------------------------------------+----------------------------------- Reporter: akamaus | Owner: Yuras Type: bug | Status: patch Priority: normal | Milestone: 7.8.3 Component: Template Haskell | Version: 7.6.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time crash | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: ---------------------------------------+----------------------------------- Changes (by Yuras): * status: new => patch -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7241#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7241: GHC-7.6.1 panics on template haskell code
by GHC 23 May '14

23 May '14

#7241: GHC-7.6.1 panics on template haskell code ---------------------------------------+----------------------------------- Reporter: akamaus | Owner: Yuras Type: bug | Status: new Priority: normal | Milestone: 7.8.3 Component: Template Haskell | Version: 7.6.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time crash | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: ---------------------------------------+----------------------------------- Changes (by Yuras): * owner: simonpj => Yuras Comment: So, the comment added in changeset:d8d798b1b33ab0593ed03f193360b8725ba2c2ba is not fully correct. `findLocalDupsRdrEnv` doesn't catch this particular case because duplicate `Name`s are totally identical, including `SrcSpan`. I'll prepare a patch to emit error in case of duplicate GRE. The test case from #8932 will produce two errors, but I think it is ok. Definitely better then obscure panic. Please let me know if I'm going in wrong direction. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7241#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7241: GHC-7.6.1 panics on template haskell code
by GHC 23 May '14

23 May '14

#7241: GHC-7.6.1 panics on template haskell code ---------------------------------------+----------------------------------- Reporter: akamaus | Owner: simonpj Type: bug | Status: new Priority: normal | Milestone: 7.8.3 Component: Template Haskell | Version: 7.6.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time crash | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: ---------------------------------------+----------------------------------- Changes (by Yuras): * status: infoneeded => new Comment: Well, the original issue was indeed fixed by #8932, but it still crashes a bit later: {{{ ghc-stage2: panic! (the 'impossible' happened) (GHC version 7.9.20140523 for x86_64-unknown-linux): kcLookupKind APromotionErr RecDataConPE }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7241#comment:5> 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 23 May '14

23 May '14

#4213: LLVM: Add support for TNTC to LLVM compiler suite -------------------------------------+------------------------------------ Reporter: dterei | Owner: dterei Type: feature request | Status: new Priority: low | Milestone: 7.6.2 Component: Compiler (LLVM) | Version: 6.13 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by bgamari): I have the beginning of a patch for symbol offset support here, https://github.com/bgamari/llvm/compare/symbol-offset#diff- c532266337d9a5b54a3b1dc8c25df12fR551. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4213#comment:16> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9139: Using lift with StateT and Maybe on GHCI
by GHC 23 May '14

23 May '14

#9139: Using lift with StateT and Maybe on GHCI ------------------------------------+---------------------------- Reporter: Jefffrey | Owner: Type: bug | Status: new Priority: low | Milestone: Component: GHCi | Version: 7.6.3 Keywords: | Operating System: MacOS X Architecture: Unknown/Multiple | Type of failure: Other Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+---------------------------- I was playing around with `StateT` and `Maybe` today and I run the following two commands (consider that `TC` == `import qualified Control.Monad.Trans.Class as TC`: {{{ ghci> let g = TC.lift Just [3, 4] :: StateT [Int] Maybe Int }}} which led to a: {{{ <interactive>:54:9: Couldn't match kind `* -> *' with `*' Expected type: [t0] -> StateT [Int] Maybe Int Actual type: [t0] -> StateT [Int] Maybe Int Kind incompatibility when matching types: [t_i] :: * -> * [t0] :: * The function `TC.lift'ghc: panic! (the 'impossible' happened) (GHC version 7.6.3 for x86_64-apple-darwin): kindFunResult <<details unavailable>> Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} and {{{ > let g = TC.lift Just (1, [3, 4]) :: StateT [Int] Maybe Int }}} which led to: {{{ <interactive>:55:9: Couldn't match kind `* -> *' with `*' Expected type: (t0, [t1]) -> StateT [Int] Maybe Int Actual type: (t0, [t1]) -> StateT [Int] Maybe Int Kind incompatibility when matching types: (t_i, [t_l]) :: * -> * (t0, [t1]) :: * The function `TC.lift'ghc: panic! (the 'impossible' happened) (GHC version 7.6.3 for x86_64-apple-darwin): kindFunResult <<details unavailable>> Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} I'm just doing what the last line asked me. :) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9139> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

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

23 May '14

#4213: LLVM: Add support for TNTC to LLVM compiler suite -------------------------------------+------------------------------------ Reporter: dterei | Owner: dterei Type: feature request | Status: new Priority: low | Milestone: 7.6.2 Component: Compiler (LLVM) | Version: 6.13 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by bgamari): Replying to [comment:13 altaic]: > Not necessarily, I think. Sure, the symbols point to the beginning of the prefix data rather than the function body, however twiddling the symbol table is a lot easier than mangling the whole assembly file. Coincidentally, using the LLVM API allows us mutable access to the symbol table among other things. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4213#comment:15> 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 23 May '14

23 May '14

#4213: LLVM: Add support for TNTC to LLVM compiler suite -------------------------------------+------------------------------------ Reporter: dterei | Owner: dterei Type: feature request | Status: new Priority: low | Milestone: 7.6.2 Component: Compiler (LLVM) | Version: 6.13 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by awson): I'm extremely sorry for a kind of OT. There is another LLVM/infotable related ticket, which I don't know how to solve [https://ghc.haskell.org/trac/ghc/ticket/8974 without the mangler]. Could you, please, look into it and check if we can fix that without mangler or, perhaps, understand what a feature we could ask LLVM people to introduce. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4213#comment:14> 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 23 May '14

23 May '14

#4213: LLVM: Add support for TNTC to LLVM compiler suite -------------------------------------+------------------------------------ Reporter: dterei | Owner: dterei Type: feature request | Status: new Priority: low | Milestone: 7.6.2 Component: Compiler (LLVM) | Version: 6.13 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by altaic): Not necessarily, I think. Sure, the symbols point to the beginning of the prefix data rather than the function body, however twiddling the symbol table is a lot easier than mangling the whole assembly file. Coincidentally, using the LLVM API allows us mutable access to the symbol table among other things. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4213#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0