- ghc-tickets - Haskell.org

Re: [GHC] #2273: inlining defeats seq
by GHC 06 Dec '14

06 Dec '14

#2273: inlining defeats seq -------------------------------------+------------------------------------- Reporter: igloo | Owner: Type: bug | Status: new Priority: lowest | Milestone: 7.10.1 Component: Compiler | Version: 6.9 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: | -------------------------------------+------------------------------------- Comment (by carter): I've seen some remarks in the ghc source tree about having the desugaring use seq#, but I didnt see any usage of it in ghc proper as far as I could tell. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2273#comment:26> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2204: Improve 'patterns not matched' warnings
by GHC 06 Dec '14

06 Dec '14

#2204: Improve 'patterns not matched' warnings -------------------------------------+------------------------------------- Reporter: Deewiant | Owner: Type: feature | Status: closed request | Milestone: ⊥ Priority: low | Version: 6.8.2 Component: Compiler | Keywords: Resolution: duplicate | 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): * status: new => closed * resolution: => duplicate Comment: Closing this as a duplicate of #8853, as that one has a more descriptive title ("Surprising mention of unboxed integers in pattern exhaustiveness warning") and a more recent error message. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2204#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2224: -fhpc inteferes/prevents rewrite rules from firing
by GHC 06 Dec '14

06 Dec '14

#2224: -fhpc inteferes/prevents rewrite rules from firing -------------------------------------+------------------------------------- Reporter: dons | Owner: andy@… Type: bug | Status: new Priority: lowest | Milestone: 7.10.1 Component: Code | Version: 6.8.2 Coverage | Keywords: rules, hpc 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): * failure: => None/Unknown Old description: > Use case: > > I'm writing tests for rewrite rules, and using HPC to determine if rules > were fired (and their code exercised). HPC is quite cool here, since it > lets us see which rules fired, without needing to explicitly export > functions to test. > > However, -fhpc seems to prevent many rules from firing (likely due to > ticks getting in the way?) > > For example: > > {{{ > import qualified Data.ByteString.Char8 as C > > main = print (C.pack "literal") > }}} > > When compiled normally, triggers a nice rewrite rule: > > {{{ > $ ghc -O2 A.hs -ddump-simpl-stats A.hs -c > > 1 ByteString pack/packAddress > }}} > > Now with -fhpc: > > {{{ > 2 RuleFired > 1 unpack > 1 unpack-list > }}} > > What's the best way to ensure the same code is exercised with and without > -fhpc here? (I'd quite like to get this working, since rewrite rules > benefit from testing.) New description: Use case: I'm writing tests for rewrite rules, and using HPC to determine if rules were fired (and their code exercised). HPC is quite cool here, since it lets us see which rules fired, without needing to explicitly export functions to test. However, -fhpc seems to prevent many rules from firing (likely due to ticks getting in the way?) For example: {{{ import qualified Data.ByteString.Char8 as C main = print (C.pack "literal") }}} When compiled normally, triggers a nice rewrite rule: {{{ $ ghc -O2 A.hs -ddump-rule-firings A.hs -c Rule fired: unpack Rule fired: Class op show Rule fired: unpack-list Rule fired: ByteString packChars/packAddress Rule fired: unpack Rule fired: Class op show Rule fired: unpack-list Rule fired: ByteString packChars/packAddres }}} Now with -fhpc: {{{ $ ghc -O2 A.hs -ddump-rule-firings A.hs -c -fhpc Rule fired: unpack Rule fired: Class op show Rule fired: unpack-list Rule fired: unpack Rule fired: Class op show Rule fired: unpack-list }}} What's the best way to ensure the same code is exercised with and without -fhpc here? (I'd quite like to get this working, since rewrite rules benefit from testing.) -- -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2224#comment:16> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2256: Incompleteness of type inference: must quantify over implication constraints
by GHC 06 Dec '14

06 Dec '14

#2256: Incompleteness of type inference: must quantify over implication constraints -------------------------------------+------------------------------------- Reporter: simonpj | Owner: simonpj Type: bug | Status: new Priority: lowest | Milestone: 7.10.1 Component: Compiler | Version: 6.8.2 (Type checker) | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: GHC | Related Tickets: rejects valid program | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * failure: None/Unknown => GHC rejects valid program * component: Compiler => Compiler (Type checker) Comment: SPJ: this ticket is not listed on [wiki:Status/SLPJ-Tickets]. The error message with HEAD (ghc-7.9.20141204): {{{ Could not deduce (Eq b) arising from a use of ‘sig’ from the context (Eq c) bound by the type signature for h :: Eq c => c -> () at test.hs:5:26-40 Possible fix: add (Eq b) to the context of the type signature for h :: Eq c => c -> () or the inferred type of g :: b -> () In the expression: sig x y z In an equation for ‘h’: h z = sig x y z In the expression: let h :: Eq c => c -> () h z = sig x y z in () }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2256#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2260: Non-ideal error message for misplaced LANGUAGE pragma
by GHC 06 Dec '14

06 Dec '14

#2260: Non-ideal error message for misplaced LANGUAGE pragma -------------------------------------+------------------------------------- Reporter: TomMD | Owner: Type: bug | Status: new Priority: lowest | Milestone: 7.10.1 Component: Compiler | Version: 6.8.2 (Parser) | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: Incorrect | Related Tickets: warning at compile-time | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * failure: None/Unknown => Incorrect warning at compile-time -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2260#comment:15> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2273: inlining defeats seq
by GHC 06 Dec '14

06 Dec '14

#2273: inlining defeats seq -------------------------------------+------------------------------------- Reporter: igloo | Owner: Type: bug | Status: new Priority: lowest | Milestone: 7.10.1 Component: Compiler | Version: 6.9 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): * failure: None/Unknown => Runtime performance bug Comment: SPJ: what is the status of this ticket? You reopened it in comment:8 and comment:10, but this ticket is not on [wiki:Status/SLPJ-Tickets]. The link in comment:8 is unfortunately broken. The following tickets all link here: #2457, #3263, #5129, #9127, #9353. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2273#comment:25> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2333: Emit a warning if an INLINE function is a loop breaker
by GHC 06 Dec '14

06 Dec '14

#2333: Emit a warning if an INLINE function is a loop breaker -------------------------------------+------------------------------------- Reporter: simonpj | Owner: Type: feature | Status: new request | Milestone: 7.10.1 Priority: lowest | Version: 6.8.2 Component: Compiler | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: Incorrect | Related Tickets: warning at compile-time | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * failure: => Incorrect warning at compile-time -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2333#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2346: Compilation of large source files requires a lot of RAM
by GHC 06 Dec '14

06 Dec '14

#2346: Compilation of large source files requires a lot of RAM -------------------------------------+------------------------------------- Reporter: choener | Owner: Type: bug | Status: new Priority: lowest | Milestone: 7.10.1 Component: Compiler | Version: 6.8.2 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: Compile- | Blocked By: time performance bug | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * os: Linux => Unknown/Multiple * architecture: x86 => Unknown/Multiple Comment: `RF00549.hs` still fails to compile with a 2GB RAM limit on x86_64 Linux (`ulimit -v 2000000`). This ticket is listed as `desugaring let-bindings` on [wiki:Status/SLPJ- Tickets]. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2346#comment:18> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2456: For higher kinds, instance declarations need quantification in the context
by GHC 06 Dec '14

06 Dec '14

#2456: For higher kinds, instance declarations need quantification in the context -------------------------------------------+--------------------------- Reporter: ronwalf | Owner: Type: feature request | Status: closed Priority: normal | Milestone: ⊥ Component: Compiler | Version: 6.9 Resolution: duplicate | Keywords: Operating System: Unknown/Multiple | Architecture: x86 Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: #2893 Differential Revisions: | -------------------------------------------+--------------------------- Changes (by thomie): * status: new => closed * resolution: => duplicate * related: => #2893 Comment: Replying to [comment:7 simonpj]: > So I'll retitle this ticket as a feature request for such a feature. Note: doing this makes it more difficult to test whether a ticket can be closed or not, because the description, attached testcases and part of the discussion are still for the original bug. Nevertheless, this feature request is covered by #2893 (Implement "Quantified contexts" proposal). Also some discussion in #5927 and #7019. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2456#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2465: Fusion of recursive functions (was: View + Pattern Match not fused sufficiently)
by GHC 06 Dec '14

06 Dec '14

#2465: Fusion of recursive functions -------------------------------------+------------------------------------- Reporter: ryani | Owner: Type: feature | Status: new request | Milestone: ⊥ Priority: low | Version: 6.8.2 Component: Compiler | Keywords: Resolution: | Architecture: x86 Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: Runtime | Related Tickets: #3123 performance bug | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * type: bug => feature request * related: => #3123 Comment: > But GHC isn't going to fuse recursive functions all by itself anytime soon. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2465#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0