November 2014 - ghc-tickets

Re: [GHC] #2182: ghc sessions (--make, --interactive, ghc api) erroneously retain instances
by GHC 01 Dec '14

01 Dec '14

#2182: ghc sessions (--make, --interactive, ghc api) erroneously retain instances -------------------------------------+------------------------------------- Reporter: claus | Owner: ezyang Type: bug | Status: closed Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 6.9 (Type checker) | Keywords: Resolution: fixed | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: GHC | Related Tickets: accepts invalid program | Test Case: | Blocking: | Differential Revisions: Phab:D488 | -------------------------------------+------------------------------------- Changes (by ezyang): * status: new => closed * resolution: => fixed -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2182#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4329: GHC.Conc modifyTVar primitive
by GHC 01 Dec '14

01 Dec '14

#4329: GHC.Conc modifyTVar primitive -------------------------------------+------------------------------------- Reporter: dmbarbour | Owner: ekmett Type: feature | Status: new request | Milestone: 7.10.1 Priority: low | Version: 6.12.3 Component: Core | Keywords: TVar, STM, Libraries | modifyTVar, Concurrency Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * cc: core-libraries-committee@… (added) * difficulty: => Unknown * component: Compiler => Core Libraries * owner: => ekmett -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4329#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8815: confusing language in error message
by GHC 01 Dec '14

01 Dec '14

#8815: confusing language in error message ------------------------------------+------------------------------------- Reporter: carter | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.1-rc1 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- Late last night I was finding myself very confused by the following (in retrospect obvious error message) {{{ src/Numerical/OpenBLAS/BLAS.hs:41:44: A pattern match on a GADT requires GADTs or TypeFamilies In the pattern: SRow In the pattern: DenseMatrix SRow _ _ _ _ In an equation for ‛encodeNiceOrderHelper’: encodeNiceOrderHelper (DenseMatrix SRow _ _ _ _) = encodeOrder BLASRowMajor }}} the error is correct per se, but reading (at least late at night) made me think "wait, how is my type not a GADT or TypeFamily?!!?!" I'm thinking (perhaps ) that ``` A pattern match on a GADT requires GADTs or TypeFamilies `` ` could perhaps be more clearly communicated as ```A pattern match on a GADT requires that GADTs or TypeFamilies Language extensions be enabled in the use site module``` (or something similar) relatedly: whats the current reasoning for why GADT related matching logic isn't enabled in client modules that use GADTs? (i'm not questioning it, just wondering why) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8815> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 10

Re: [GHC] #4347: Bug in unification of polymorphic and not-yet-polymorphic type
by GHC 01 Dec '14

01 Dec '14

#4347: Bug in unification of polymorphic and not-yet-polymorphic type -------------------------------------+------------------------------------- Reporter: dolio | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.1 (Type checker) | Keywords: Resolution: | Architecture: x86_64 (amd64) Operating System: Linux | Difficulty: Unknown Type of failure: GHC | Blocked By: rejects valid program | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * difficulty: => Unknown Comment: With HEAD, the example from the description works (fails with 7.8.3). I don't know if this is incidental, or if anything got really fixed? {{{ $ ghci -XRankNTypes GHCi, version 7.9.20141125: ... Prelude> let f = id :: (forall a. a) -> (forall b. b) Prelude> }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4347#comment:14> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4428: Local functions lose their unfoldings
by GHC 30 Nov '14

30 Nov '14

#4428: Local functions lose their unfoldings -------------------------------------+------------------------------------- Reporter: rl | Owner: Type: bug | Status: infoneeded Priority: low | Milestone: 7.10.1 Component: Compiler | Version: 7.1 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: Runtime | Blocked By: performance bug | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * status: new => infoneeded * difficulty: => Unknown Comment: What is the status of this ticket? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4428#comment:24> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4429: Ability to specify the namespace in mkName
by GHC 30 Nov '14

30 Nov '14

#4429: Ability to specify the namespace in mkName -------------------------------------+------------------------------------- Reporter: reinerp | Owner: reinerp Type: feature | Status: closed request | Milestone: Priority: low | Version: 6.12.3 Component: Template | Keywords: Haskell | Architecture: Unknown/Multiple Resolution: fixed | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: | th/TH_lookupName | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * status: new => closed * testcase: => th/TH_lookupName * resolution: => fixed * milestone: 7.10.1 => Comment: It looks like work for this ticket was finished a long time ago. Actual changes in comment:10, documentation and test in the following 2 commits: Commit d27c4541937219b60551a75662df805f0e6e54a1: {{{ Author: Simon Peyton Jones <> Date: Mon Jul 16 17:42:49 2012 +0100 Add documentation for Template Haskell functions Thanks to Reiner Pope for doing this }}} Commit dee226ccbaa091c9c8214f8764a6ebeaa0634587: {{{ Author: Reiner Pope <> Date: Wed Aug 24 09:41:09 2011 +1000 Test #4429, #5406 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4429#comment:35> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4470: Loop optimization: identical counters
by GHC 30 Nov '14

30 Nov '14

#4470: Loop optimization: identical counters -------------------------------------+------------------------------------- Reporter: choenerzs | Owner: Type: feature | Status: new request | Milestone: 7.10.1 Priority: normal | Version: Component: Compiler | Keywords: loop optimization Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: Runtime | Related Tickets: performance bug | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by choenerzs): It is (afaik) more than just slightly related. However, the (wanted) solutions are different. Flow fusion works within the limited context of repa by using a different intermediate system. Here, I'd like a more general solution -- since we can't express everything in terms of repa or even vector. On the other hand, I think it will be more complicated to get this done on the GHC side -- though the solution might be very worthwhile given the comments above. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4470#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5406: Template Haskell: Reification of type family instances
by GHC 30 Nov '14

30 Nov '14

#5406: Template Haskell: Reification of type family instances -------------------------------------+------------------------------------- Reporter: reinerp | Owner: Type: feature | Status: closed request | Milestone: Priority: normal | Version: 7.0.4 Component: Template | Keywords: Haskell | Architecture: Unknown/Multiple Resolution: fixed | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: | th/TH_reifyInstances | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * testcase: => th/TH_reifyInstances * difficulty: => Unknown -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5406#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4470: Loop optimization: identical counters
by GHC 30 Nov '14

30 Nov '14

#4470: Loop optimization: identical counters -------------------------------------+------------------------------------- Reporter: choenerzs | Owner: Type: feature | Status: new request | Milestone: 7.10.1 Priority: normal | Version: Component: Compiler | Keywords: loop optimization Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: Runtime | Related Tickets: performance bug | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by carter): this is (slightly?) related to series fusion as found in http://www.cse.unsw.edu.au/~amosr/papers/lippmeier2013flowfusion.pdf I think -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4470#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4442: Add unaligned version of indexWordArray#
by GHC 30 Nov '14

30 Nov '14

#4442: Add unaligned version of indexWordArray# -------------------------------------+------------------------------------- Reporter: tibbe | Owner: ekmett Type: feature | Status: new request | Milestone: 7.10.1 Priority: low | Version: 7.1 Component: Compiler | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: Runtime | Related Tickets: performance bug | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * failure: None/Unknown => Runtime performance bug * component: Core Libraries => Compiler -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4442#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0