December 2014 - ghc-tickets

[GHC] #9777: -msse flag could be handled better by the driver
by GHC 06 Dec '14

06 Dec '14

#9777: -msse flag could be handled better by the driver -------------------------------------+------------------------------------- Reporter: jstolarek | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Driver | Version: 7.9 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Moderate (less | Type of failure: Other than a day) | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- I bumped into two small issues with `-msse` and `-msse4.2` flags: 1. GHC accepts any flag of the form `-msseX.Y`, eg. `-msse3.14`. I think we should validate numbers passed by the user or - even better - pre- define a set of allowed `-msse` flags. Currently we have this definition: {{{ Flag "msse" (versionSuffix (\maj min d -> d{ sseVersion = Just (maj, min) })) }}} 2. A direct consequence of above definition is that bash command-line auto-completion does not suggest `-msse4.2` flag. This is somewhat related to Austin's Phab:D165 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9777> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 14

Re: [GHC] #5289: Can't use ghci with a library linked against libstdc++
by GHC 06 Dec '14

06 Dec '14

#5289: Can't use ghci with a library linked against libstdc++ -------------------------------------+------------------------------------ Reporter: bos | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: GHCi | Version: 7.0.3 Resolution: | Keywords: Operating System: Windows | Architecture: Unknown/Multiple Type of failure: GHCi crash | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------ Changes (by RyanGlScott): * cc: ryan.gl.scott@… (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5289#comment:54> 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: | -------------------------------------+------------------------------------- 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 05 Dec '14

05 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 05 Dec '14

05 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 05 Dec '14

05 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 05 Dec '14

05 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 05 Dec '14

05 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