[GHC] #8479: Generic1 crashes with tyConStupidTheta when using associated type families
#8479: Generic1 crashes with tyConStupidTheta when using associated type families -------------------------------------+------------------------------------- Reporter: ghorn | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: Generics, | Operating System: Unknown/Multiple Generic1 | Type of failure: Compile-time Architecture: Unknown/Multiple | crash Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | -------------------------------------+------------------------------------- {{{ {-# OPTIONS_GHC -Wall #-} {-# Language TypeFamilies #-} {-# Language DeriveGeneric #-} import GHC.Generics class Blah (a :: * -> *) where type F a :: * -> * data Foo (f :: * -> *) a = MkFoo ((F f) a) deriving Generic1 --data Foo a = MkFoo ((F f) a) deriving Generic1 -- also crashes }}} the above code crashes GHC with error: {{{ [1 of 1] Compiling Main ( GenericBug.hs, GenericBug.o ) ghc: panic! (the 'impossible' happened) (GHC version 7.6.3 for x86_64-unknown-linux): tyConStupidTheta main:Main.F{tc ro4} Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8479 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#8479: Generic1 crashes with tyConStupidTheta when using associated type families -------------------------------------+------------------------------------- Reporter: ghorn | Owner: dreixel Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: | Keywords: Generics, Operating System: Unknown/Multiple | Generic1 Type of failure: Compile-time | Architecture: Unknown/Multiple crash | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------- Changes (by simonpj): * owner: => dreixel Comment: Pedro, might you look? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8479#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#8479: Generic1 crashes with tyConStupidTheta when using associated type families -------------------------------------+------------------------------------- Reporter: ghorn | Owner: dreixel Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: | Keywords: Generics, Operating System: Unknown/Multiple | Generic1 Type of failure: Compile-time | Architecture: Unknown/Multiple crash | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------- Comment (by dreixel): Yes, I was actually just looking at it right now :-) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8479#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#8479: Generic1 crashes with tyConStupidTheta when using associated type families -------------------------------------+------------------------------------- Reporter: ghorn | Owner: dreixel Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: | Keywords: Generics, Operating System: Unknown/Multiple | Generic1 Type of failure: Compile-time | Architecture: Unknown/Multiple crash | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------- Changes (by ghorn): * cc: gregmainland@… (added) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8479#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#8479: Generic1 crashes with tyConStupidTheta when using associated type families
-------------------------------------+-------------------------------------
Reporter: ghorn | Owner: dreixel
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.6.3
Resolution: | Keywords: Generics,
Operating System: Unknown/Multiple | Generic1
Type of failure: Compile-time | Architecture: Unknown/Multiple
crash | Difficulty: Unknown
Test Case: | Blocked By:
Blocking: | Related Tickets:
-------------------------------------+-------------------------------------
Comment (by Jose Pedro Magalhaes
#8479: Generic1 crashes with tyConStupidTheta when using associated type families -------------------------------------+------------------------------------- Reporter: ghorn | Owner: dreixel Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: fixed | Keywords: Generics, Operating System: Unknown/Multiple | Generic1 Type of failure: Compile-time | Architecture: Unknown/Multiple crash | Difficulty: Unknown Test Case: T8479 | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------- Changes (by dreixel): * status: new => closed * testcase: => T8479 * resolution: => fixed Comment: Fixed in HEAD, thanks. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8479#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#8479: Generic1 crashes with tyConStupidTheta when using associated type families -------------------------------------+------------------------------------- Reporter: ghorn | Owner: dreixel Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: fixed | Keywords: Generics, Operating System: Unknown/Multiple | Generic1 Type of failure: Compile-time | Architecture: Unknown/Multiple crash | Difficulty: Unknown Test Case: generics/T8479 | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------- Changes (by simonpj): * testcase: T8479 => generics/T8479 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8479#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC