Re: [GHC] #7422: GHC panics while trying to derive Generic for GADT with kind-lifted phantom parameter
#7422: GHC panics while trying to derive Generic for GADT with kind-lifted phantom parameter -+-- Reporter: rpglover64 | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler|Version: 7.4.1 Resolution: duplicate | Keywords: Os: MacOS X | Architecture: x86 Failure: Compile-time crash | Difficulty: Unknown Testcase: polykinds/T7422 | Blockedby: Blocking: |Related: -+-- Changes (by simonpj): * testcase: = polykinds/T7422 * difficulty: = Unknown Comment: I've added a regression test to be on the safe side. Simon -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7422#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #7422: GHC panics while trying to derive Generic for GADT with kind-lifted phantom parameter
#7422: GHC panics while trying to derive Generic for GADT with kind-lifted phantom parameter ---+ Reporter: rpglover64 |Owner: Type: bug | Status: closed Priority: normal |Component: Compiler Version: 7.4.1 | Resolution: duplicate Keywords: | Os: MacOS X Architecture: x86 | Failure: Compile-time crash Blockedby: | Blocking: Related: | ---+ Changes (by dreixel): * status: new = closed * resolution: = duplicate Comment: Thanks for the report, but your code compiles in 7.6.1. Might have been fixed with #5936. (Note that I haven't thought about what you can actually do with GADTs in GHC.Generics; so far I'm just trying to make sure the compiler doesn't crash.) -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7422#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs