June 2014 - ghc-tickets

[GHC] #9255: Exception when DeriveFunctor fails
by GHC 30 Jun '14

30 Jun '14

#9255: Exception when DeriveFunctor fails -----------------------------------+--------------------------------------- Reporter: twanvl | Owner: Type: bug | Status: new Priority: low | Milestone: Component: Compiler | Version: 7.8.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Compile-time crash Unknown/Multiple | Test Case: Difficulty: Unknown | Blocking: Blocked By: | Related Tickets: | -----------------------------------+--------------------------------------- The following program {{{ {-# LANGUAGE DeriveFunctor #-} data Foo a = Foo data Bar a = Bar [Foo a] deriving (Functor) }}} Gives the error message {{{ foo.hs:5:13:ghc: panic! (the 'impossible' happened) (GHC version 7.8.1 for x86_64-unknown-linux): Prelude.(!!): index too large }}} While it should give {{{ foo.hs:4:13:No instance for (Functor Foo) }}} The use of `[]` in `[Foo a]` is not essential, it can be any type constructor that is an instance of Functor. Without the extra type constructor an error is correctly reported. The cause seems to be in the error message. If it wraps to the next line, then ghc dies with: {{{ foo-with-a-longer-filename.hs:5:13: No instance for (Functorghc: panic! (the 'impossible' happened) }}} When using stand alone deriving ghc does not crash. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9255> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #9199: Wrong Template Haskell desugaring
by GHC 30 Jun '14

30 Jun '14

#9199: Wrong Template Haskell desugaring ------------------------------------+------------------------------------- Reporter: simonpj | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.2 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- This code {{{ {-# LANGUAGE TemplateHaskell, PolyKinds, TypeFamilies #-} module T9160 where $( [d| class C (a :: k) where type F (a :: k) :: * |] ) }}} yields {{{ T9160.hs:5:4: Kind variable also used as type variable: ‘k_a2cl’ In the declaration for class C_a2cj }}} which is utterly bogus. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9199> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

Re: [GHC] #5610: Improve "Unacceptable argument type in foreign declaration" error message
by GHC 30 Jun '14

30 Jun '14

#5610: Improve "Unacceptable argument type in foreign declaration" error message -------------------------------------------------+------------------------- Reporter: bgamari | Owner: Type: feature request | Status: new Priority: high | Milestone: Component: Compiler (Type checker) | Version: Resolution: | 7.6.1-rc1 Operating System: Unknown/Multiple | Keywords: Type of failure: Incorrect warning at | Architecture: compile-time | Unknown/Multiple Test Case: | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Changes (by ezyang): * milestone: 7.4.1 => -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5610#comment:22> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5051: Typechecker behaviour change
by GHC 30 Jun '14

30 Jun '14

#5051: Typechecker behaviour change -------------------------------------------------+------------------------- Reporter: igloo | Owner: Type: bug | Status: new Priority: high | Milestone: Component: Compiler | Version: 7.0.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: | Difficulty: typecheck/should_compile/T5051 | Unknown Blocking: | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Changes (by ezyang): * milestone: 7.2.1 => -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5051#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4139: Spurious non-exhaustive pattern match warnings are given using GADTs
by GHC 30 Jun '14

30 Jun '14

#4139: Spurious non-exhaustive pattern match warnings are given using GADTs -------------------------------------+------------------------------------- Reporter: blarsen | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.4.1 Resolution: | Keywords: GADTs, warnings, Operating System: Unknown/Multiple | pattern matching Type of failure: Incorrect | Architecture: Unknown/Multiple warning at compile-time | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: #3927 -------------------------------------+------------------------------------- Changes (by ezyang): * milestone: 7.0.1 => -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4139#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2595: Implement record update for existential and GADT data types
by GHC 30 Jun '14

30 Jun '14

#2595: Implement record update for existential and GADT data types -------------------------------------+------------------------------------ Reporter: simonpj | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 6.8.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: tc244 | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by ezyang): * milestone: 6.12 branch => -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2595#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2408: threadWaitRead on mingw32 threaded causes internal error
by GHC 30 Jun '14

30 Jun '14

#2408: threadWaitRead on mingw32 threaded causes internal error -----------------------------------+--------------------------- Reporter: kirby | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: libraries/base | Version: 7.6.1 Resolution: | Keywords: Operating System: Windows | Architecture: x86 Type of failure: Runtime crash | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -----------------------------------+--------------------------- Changes (by ezyang): * cc: hvr, ekmett (added) * milestone: 6.10.1 => -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2408#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7672: boot file entities are sometimes invisible and are not (semantically) unified with corresponding entities in implementing module
by GHC 30 Jun '14

30 Jun '14

#7672: boot file entities are sometimes invisible and are not (semantically) unified with corresponding entities in implementing module ----------------------------------------------+---------------------------- Reporter: skilpat | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler (Type checker) | Version: 7.4.2 Resolution: | Keywords: backpack Operating System: Linux | Architecture: x86_64 Type of failure: GHC rejects valid program | (amd64) Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: ----------------------------------------------+---------------------------- Changes (by ezyang): * keywords: recursive modules, boot files, double vision, double vision problem => backpack -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7672#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1409: Allow recursively dependent modules transparently (without .hs-boot or anything)
by GHC 30 Jun '14

30 Jun '14

#1409: Allow recursively dependent modules transparently (without .hs-boot or anything) -------------------------------------+------------------------------------ Reporter: Isaac Dupree | Owner: Type: feature request | Status: new Priority: normal | Milestone: ⊥ Component: Compiler | Version: 6.10.2 Resolution: | Keywords: backpack Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by ezyang): * keywords: => backpack -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1409#comment:64> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #703: all binaries built by ghc have executable stacks
by GHC 30 Jun '14

30 Jun '14

#703: all binaries built by ghc have executable stacks ----------------------------+---------------------------------------------- Reporter: duncan | Owner: ezyang Type: bug | Status: new Priority: normal | Milestone: 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 ezyang): * type: merge => bug -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/703#comment:39> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0