- ghc-tickets - Haskell.org

Re: [GHC] #5539: GHC panic - Simplifier ticks exhausted
by GHC 22 Mar '13

22 Mar '13

#5539: GHC panic - Simplifier ticks exhausted ---------------------------------+------------------------------------------ Reporter: hvr | Owner: simonpj Type: bug | Status: new Priority: high | Milestone: 7.6.2 Component: Compiler | Version: 7.3 Resolution: | Keywords: Os: Linux | Architecture: x86_64 (amd64) Failure: Compile-time crash | Difficulty: Unknown Testcase: | Blockedby: Blocking: | Related: ---------------------------------+------------------------------------------ Changes (by liyang): * cc: hackage.haskell.org@… (added) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5539#comment:49> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5218: Add unpackCStringLen# to create Strings from string literals
by GHC 22 Mar '13

22 Mar '13

#5218: Add unpackCStringLen# to create Strings from string literals ---------------------------------+------------------------------------------ Reporter: tibbe | Owner: igloo Type: feature request | Status: new Priority: high | Milestone: 7.8.1 Component: Compiler | Version: 7.0.3 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: 5877 | ---------------------------------+------------------------------------------ Changes (by liyang): * cc: hackage.haskell.org@… (added) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5218#comment:21> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4364: Template Haskell: Cycle in type synonym declarations
by GHC 22 Mar '13

22 Mar '13

#4364: Template Haskell: Cycle in type synonym declarations ----------------------------------------+----------------------------------- Reporter: igloo | Owner: simonpj Type: bug | Status: new Priority: high | Milestone: 7.8.1 Component: Compiler (Type checker) | Version: 7.1 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ----------------------------------------+----------------------------------- Changes (by liyang): * cc: hackage.haskell.org@… (added) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4364#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4243: Make a proper options parser for the RTS
by GHC 22 Mar '13

22 Mar '13

#4243: Make a proper options parser for the RTS ---------------------------------+------------------------------------------ Reporter: igloo | Owner: Type: task | Status: new Priority: high | Milestone: 7.8.1 Component: Runtime System | Version: 6.13 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Changes (by liyang): * cc: hackage.haskell.org@… (added) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4243#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3927: Incomplete/overlapped pattern warnings + GADTs = inadequate
by GHC 22 Mar '13

22 Mar '13

#3927: Incomplete/overlapped pattern warnings + GADTs = inadequate ---------------------------------+------------------------------------------ Reporter: simonpj | Owner: simonpj Type: bug | Status: new Priority: high | Milestone: 7.8.1 Component: Compiler | Version: 6.12.1 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: #4139 | ---------------------------------+------------------------------------------ Changes (by liyang): * cc: hackage.haskell.org@… (added) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3927#comment:30> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4139: Spurious non-exhaustive pattern match warnings are given using GADTs
by GHC 22 Mar '13

22 Mar '13

#4139: Spurious non-exhaustive pattern match warnings are given using GADTs ------------------------------------------------+--------------------------- Reporter: blarsen | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.0.1 Component: Compiler | Version: 7.4.1 Resolution: | Keywords: GADTs, warnings, pattern matching Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Incorrect warning at compile-time | Difficulty: Unknown Testcase: | Blockedby: Blocking: | Related: #3927 ------------------------------------------------+--------------------------- Changes (by liyang): * cc: hackage.haskell.org@… (added) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4139#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6037: Compile-time crash with sources with non-representable unicode characters
by GHC 22 Mar '13

22 Mar '13

#6037: Compile-time crash with sources with non-representable unicode characters ---------------------------------+------------------------------------------ Reporter: akio | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.4.1 Keywords: | Os: Linux Architecture: Unknown/Multiple | Failure: Compile-time crash Difficulty: Unknown | Testcase: T6037 Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Changes (by liyang): * cc: hackage.haskell.org@… (added) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6037#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4245: ghci panic: thread blocked indefinitely in an MVar operation
by GHC 22 Mar '13

22 Mar '13

#4245: ghci panic: thread blocked indefinitely in an MVar operation -------------------------------+-------------------------------------------- Reporter: pturnbull | Owner: tibbe Type: bug | Status: new Priority: high | Milestone: 7.6.2 Component: GHCi | Version: 6.12.3 Keywords: MVar | Os: MacOS X Architecture: x86_64 (amd64) | Failure: GHCi crash Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | -------------------------------+-------------------------------------------- Changes (by PHO): * cc: pho@… (added) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4245#comment:29> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3333: GHCi doesn't load weak symbols
by GHC 22 Mar '13

22 Mar '13

#3333: GHCi doesn't load weak symbols --------------------------------------+------------------------------------- Reporter: heatsink | Owner: akio Type: bug | Status: patch Priority: normal | Milestone: 7.6.2 Component: GHCi | Version: 6.10.4 Keywords: weak, dynamic loading | Os: Linux Architecture: x86 | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | --------------------------------------+------------------------------------- Changes (by cmears): * cc: chris@… (added) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3333#comment:23> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7520: Implement cardinality analysis
by GHC 21 Mar '13

21 Mar '13

#7520: Implement cardinality analysis ---------------------------------+------------------------------------------ Reporter: simonpj | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.1 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Comment(by nfrisby): SPJ determined that this cardinality analysis could make some fragile fusion opportunities more robust. My experimentation with -fdicts-strict in `nofib/shootout/spectral-norm` was disrupting such a fusion. {{{ let x_aPi = build (\b c n -> eftIntFB c n 0 (...)) -- from "[0..n-1]" in Library.allocaArray n $ \ptr -> foldr (mapFB ...) (...) x_aPi -- from "forM_ ..." }}} If `allocaArray` is not inlined early enough (which my -fdicts-strict tinkering prevented), the `ptr` lambda is not identified as one-shot, so `x_aPi` will not be inlined under it and `foldr/build` won't fire. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7520#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0