July 2013 - ghc-tickets

Re: [GHC] #7148: generalized newtype and type families is unsound
by GHC 23 Jul '13

23 Jul '13

#7148: generalized newtype and type families is unsound --------------------------------------------+------------------------------ Reporter: carter | Owner: simonpj Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler (Type checker) | Version: 7.6.1-rc1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: --------------------------------------------+------------------------------ Comment (by goldfire): See [wiki:Roles] for the concrete approach toward a solution. Expect a working implementation to be available within a week or two. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7148#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5498: Generalized newtype deriving allows creating of instances I can't create by hand
by GHC 23 Jul '13

23 Jul '13

#5498: Generalized newtype deriving allows creating of instances I can't create by hand -------------------------------------+------------------------------------ Reporter: dterei | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.6.2 Component: Compiler | Version: 7.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: 1496 Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by goldfire): * difficulty: => Unknown Comment: See [wiki:Roles] for the concrete approach toward a solution to the seg- faulting problem. Roles won't fix the abstraction problem that is the main subject of this ticket, though. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5498#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4846: Newtype derving used wrongly
by GHC 23 Jul '13

23 Jul '13

#4846: Newtype derving used wrongly -------------------------------------+------------------------------------ Reporter: simonpj | Owner: Type: bug | Status: new Priority: low | Milestone: 7.6.2 Component: Compiler | Version: 7.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by goldfire): * difficulty: => Unknown Comment: See [wiki:Roles] for the concrete approach toward a solution. Expect a working implementation to be available within a week or two. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4846#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1496: Newtypes and type families combine to produce inconsistent FC(X) axiom sets
by GHC 23 Jul '13

23 Jul '13

#1496: Newtypes and type families combine to produce inconsistent FC(X) axiom sets --------------------------------------------+------------------------------ Reporter: sorear | Owner: simonpj Type: bug | Status: new Priority: normal | Milestone: 7.6.2 Component: Compiler (Type checker) | Version: 6.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: 5498 | Blocked By: | Related Tickets: --------------------------------------------+------------------------------ Comment (by goldfire): See [wiki:Roles] for the concrete approach toward a solution. Expect a working implementation to be available within a week or two. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1496#comment:42> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8084: Enabling PolyKinds makes some type errors weird
by GHC 23 Jul '13

23 Jul '13

#8084: Enabling PolyKinds makes some type errors weird -------------------------------------------+------------------------------- Reporter: MartijnVanSteenbergen | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 7.6.3 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: -------------------------------------------+------------------------------- Consider this program: {{{ {-# LANGUAGE DataKinds #-} {-# LANGUAGE PolyKinds #-} module Existential where data Any (f :: k -> *) data X a data Y (a :: *) data Z (a :: Bool) x :: Any X -> () x 'c' = () y :: Any Y -> () y 'c' = () z :: Any Z -> () z 'c' = () }}} x, y and z are all ill-typed, but the shapes of the type errors are different in each case. They are respectively: {{{ Couldn't match expected type `Any k (X k)' with actual type `Char' Couldn't match expected type `Any * Y' with actual type `Char' Couldn't match expected type `Any Bool Z' with actual type `Char' }}} Aren't they supposed to say just 'Any X', 'Any Y' and 'Any Z'? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8084> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

Re: [GHC] #703: all binaries built by ghc have executable stacks
by GHC 23 Jul '13

23 Jul '13

#703: all binaries built by ghc have executable stacks ----------------------------+---------------------------------------------- Reporter: duncan | Owner: ezyang Type: merge | Status: merge Priority: normal | Milestone: 6.6.1 Component: | Version: 7.6.3 Compiler (NCG) | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: Linux | Difficulty: Moderate (less than a day) Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: N/A | Blocking: | ----------------------------+---------------------------------------------- Changes (by juhpetersen): * cc: juhp@… (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/703#comment:25> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7978: Profiling broken
by GHC 22 Jul '13

22 Jul '13

#7978: Profiling broken --------------------------------------------+------------------------------ Reporter: gmainland | Owner: Type: bug | Status: new Priority: highest | Milestone: 7.8.1 Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC doesn't work at all | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: --------------------------------------------+------------------------------ Comment (by gmainland): I believe the remaining prof failures existed before the cardinality patch. The fix I just checked in should re-instate cost centres in non- top-level closures with no free variables. If you have a segfaulting test case, please let us know! -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7978#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7978: Profiling broken
by GHC 22 Jul '13

22 Jul '13

#7978: Profiling broken --------------------------------------------+------------------------------ Reporter: gmainland | Owner: Type: bug | Status: new Priority: highest | Milestone: 7.8.1 Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC doesn't work at all | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: --------------------------------------------+------------------------------ Comment (by gmainlan@…): commit 76d0cbcb72cf098cab684745ad3d8f364192e4b6 {{{ Author: Geoffrey Mainland <gmainlan(a)microsoft.com> Date: Mon Jul 22 17:15:44 2013 +0100 Add final remaining bits to fix #7978. compiler/codeGen/StgCmmBind.hs | 31 +------------------------------ 1 file changed, 1 insertion(+), 30 deletions(-) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7978#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2451: New signal-handling API
by GHC 22 Jul '13

22 Jul '13

#2451: New signal-handling API -------------------------------------+------------------------------------ Reporter: simonmar | Owner: igloo Type: task | Status: closed Priority: highest | Milestone: 7.8.1 Component: libraries/unix | Version: 6.8.3 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by igloo): * status: new => closed * resolution: => fixed Comment: Fixed by: commit 46bfe3d56a2c7732bb6222f3e9ad6ad7a94e13d7 {{{ Author: Ian Lynagh <ian(a)well-typed.com> Date: Sun Jul 21 21:09:23 2013 +0100 Export SignalInfo(..), SignalSpecificInfo(..); completes #2451 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2451#comment:37> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6135: Unboxed Booleans
by GHC 22 Jul '13

22 Jul '13

#6135: Unboxed Booleans -------------------------------------+------------------------------------ Reporter: benl | Owner: Type: feature request | Status: patch Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.4.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: #605 -------------------------------------+------------------------------------ Changes (by jstolarek): * status: new => patch Comment: I'm uploading the final patches. I don't yet have push permissions to main GHC repos, so I can't merge them myself. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6135#comment:78> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0