November 2014 - ghc-tickets

Re: [GHC] #7296: ghc-7 assumes incoherent instances without requiring language `IncoherentInstances`
by GHC 24 Nov '14

24 Nov '14

#7296: ghc-7 assumes incoherent instances without requiring language `IncoherentInstances` -------------------------------------+------------------------------------- Reporter: maeder | Owner: simonpj Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.6.1 (Type checker) | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: GHC | Related Tickets: #8338 accepts invalid program | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * related: => #8338 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7296#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7305: T5975a is broken on Windows
by GHC 24 Nov '14

24 Nov '14

#7305: T5975a is broken on Windows -------------------------------------+------------------------------------- Reporter: simonmar | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: Test Suite | Version: 7.6.1 Resolution: | Keywords: Operating System: Windows | Architecture: Unknown/Multiple Type of failure: | Difficulty: Unknown None/Unknown | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * cc: gintas (added) * os: Unknown/Multiple => Windows Comment: This is still an issue according to this email: https://www.haskell.org/pipermail/ghc-devs/2014-November/007146.html -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7305#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7335: Need for extra warning pragma for accidental pattern matching in do blocks
by GHC 24 Nov '14

24 Nov '14

#7335: Need for extra warning pragma for accidental pattern matching in do blocks -------------------------------------+------------------------------------- Reporter: duncan | Owner: Type: feature | Status: new request | Milestone: 7.10.1 Priority: normal | Version: 7.6.1 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: None/Unknown => Incorrect warning at compile-time -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7335#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7337: GHC does not generate great code for bit-level rotation
by GHC 24 Nov '14

24 Nov '14

#7337: GHC does not generate great code for bit-level rotation -------------------------------------+------------------------------------- Reporter: bos | Owner: Type: feature | Status: new request | Milestone: 7.10.1 Priority: normal | Version: 7.6.1 Component: Compiler | Keywords: (NCG) | Architecture: Unknown/Multiple Resolution: | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * cc: simonmar (added) * component: Compiler => Compiler (NCG) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7337#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7380: Panic: mkNoTick: Breakpoint loading modules with -O2 via API
by GHC 24 Nov '14

24 Nov '14

#7380: Panic: mkNoTick: Breakpoint loading modules with -O2 via API -------------------------------------+------------------------------------- Reporter: | Owner: JeanPhilippeMoresmau | Status: new Type: bug | Milestone: 7.10.1 Priority: normal | Version: 7.4.1 Component: GHC API | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: Runtime | Related Tickets: crash | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * os: Windows => Unknown/Multiple * architecture: ia64 => Unknown/Multiple Comment: I can reproduce this bug on Linux. Change the let binding `fp` in `Main.hs` to the path of a file that contains: {{{ main::IO() main = print "Hello Fay" }}} Then: {{{ $ cabal install ghc-paths $ ghc-7.9.20141121 -package ghc Main.hs $ ./Main Main: Main: panic! (the 'impossible' happened) (GHC version 7.9.20141121 for x86_64-unknown-linux): mkNoCount: Breakpoint }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7380#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7388: CAPI doesn't work with ghci
by GHC 24 Nov '14

24 Nov '14

#7388: CAPI doesn't work with ghci -------------------------------------+------------------------------------- Reporter: igloo | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: GHCi | Version: 7.6.1 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: T4012 | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * cc: hvr (added) Comment: See also #7955. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7388#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7955: CApiFFI doesn't produce wrappers for #defined values in GHCi
by GHC 24 Nov '14

24 Nov '14

#7955: CApiFFI doesn't produce wrappers for #defined values in GHCi -------------------------------------+------------------------------------- Reporter: merijn | Owner: Type: bug | Status: closed Priority: normal | Milestone: 7.10.1 Component: GHCi | Version: 7.6.3 Resolution: duplicate | Keywords: ghci, capi Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: GHCi crash | Blocked By: Test Case: | Related Tickets: #7388 Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * cc: hvr (added) * difficulty: => Unknown * status: new => closed * resolution: => duplicate * related: => #7388 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7955#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7389: can't link postgresql-libpq on windows
by GHC 24 Nov '14

24 Nov '14

#7389: can't link postgresql-libpq on windows ----------------------------------------+---------------------------------- Reporter: eflister | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: GHCi | Version: 7.4.1 Resolution: | Keywords: Operating System: Windows | Architecture: x86_64 (amd64) Type of failure: Runtime crash | Difficulty: Unknown Test Case: | Blocked By: 3658, 5987 Blocking: | Related Tickets: Differential Revisions: | ----------------------------------------+---------------------------------- Changes (by thomie): * cc: hvr (added) * blockedby: 3658 => 3658, 5987 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7389#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7398: RULES don't apply to a newtype constructor
by GHC 24 Nov '14

24 Nov '14

#7398: RULES don't apply to a newtype constructor -------------------------------------+------------------------------------- Reporter: shachaf | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.6.1 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: Incorrect | Blocked By: result at runtime | Related Tickets: #6082 Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * related: => #6082 Comment: The warnings were added in commit 79062a8a0e9168b7f925c05699c30333563a9303: {{{ Author: Simon Peyton Jones <> Date: Mon Jul 23 09:17:09 2012 +0100 Make the desugarer warn about RULES that may not fire This warning was suggested by Trac #6082, where we had a library RULE that failed to fire because its function was inlined too soon. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7398#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7398: RULES don't apply to a newtype constructor
by GHC 24 Nov '14

24 Nov '14

#7398: RULES don't apply to a newtype constructor -------------------------------------+------------------------------------- Reporter: shachaf | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.6.1 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: Incorrect | Blocked By: result at runtime | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by thomie): GHC 7.8.3 now shows two warnings: {{{ $ ghc-7.8.3 -fforce-recomp -O2 D.hs [1 of 1] Compiling Main ( D.hs, D.o ) D.hs:9:11: Warning: Rule "rule Foo" may never fire because ‘Main.Foo’ might inline first Probable fix: add an INLINE[n] or NOINLINE[n] pragma on ‘Main.Foo’ D.hs:10:11: Warning: Rule "rule foo" may never fire because ‘foo’ might inline first Probable fix: add an INLINE[n] or NOINLINE[n] pragma on ‘foo’ Linking D ... }}} GHC HEAD shows a different warning: {{{ $ ghc-7.9.20141121 -O2 -fforce-recomp D.hs [1 of 1] Compiling Main ( D.hs, D.o ) D.hs:9:11: Warning: RULE left-hand side too complicated to desugar Optimised lhs: v `cast` (Sym (Main.NTCo:Foo[0] <a>_R) :: a ~R# Foo a) Orig lhs: Main.Foo @ a v D.hs:10:11: Warning: Rule "rule foo" may never fire because ‘foo’ might inline first Probable fix: add an INLINE[n] or NOINLINE[n] pragma on ‘foo’ }}} If the warning `RULE left-hand side too complicated to desugar` is correct, we should add a test for it (there currently aren't any). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7398#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0