Re: [GHC] #7422: GHC panics while trying to derive Generic for GADT with kind-lifted phantom parameter

[GHC]

#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: 
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

[GHC]

#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: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

[GHC] #7422: GHC panics while trying to derive Generic for GADT with kind-lifted phantom parameter

[GHC]

#7422: GHC panics while trying to derive Generic for GADT with kind-lifted 
phantom
parameter
---+
Reporter:  rpglover64  |  Owner:  
Type:  bug | Status:  new 
Priority:  normal  |  Component:  Compiler
 Version:  7.4.1   |   Keywords:  
  Os:  MacOS X |   Architecture:  x86 
 Failure:  Compile-time crash  |  Blockedby:  
Blocking:  |Related:  
---+
 This may be a duplicate of #5884

 Compiling the attached file gives the following crash:

 {{{
 ghc: panic! (the 'impossible' happened)
   (GHC version 7.4.1 for i386-apple-darwin):
 tcTyVarDetails ( tag{tv ae8} [tv] :: main:Main.ExprTag{tc rdD} )
 }}}

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs