[GHC] #5857: GHC Panic when using unbound type variables with Template Haskell (was: GHC Panic when producing GADT with Template Haskell)

[GHC]

#5857: GHC Panic when using unbound type variables with Template Haskell
--------------------------------+-------------------------------------------
 Reporter:  goldfire            |          Owner:                  
     Type:  bug                 |         Status:  new             
 Priority:  normal              |      Component:  Template Haskell
  Version:  7.4.1               |       Keywords:  Template Haskell
       Os:  MacOS X             |   Architecture:  ia64            
  Failure:  Compile-time crash  |       Testcase:                  
Blockedby:                      |       Blocking:                  
  Related:                      |  
--------------------------------+-------------------------------------------
Changes (by goldfire):

  * keywords:  Template Haskell, GADTs => Template Haskell


Comment:

 After more tinkering, I realized that I have errors in my code -- my data
 structure is not a proper GADT. More importantly, I failed to declare the
 type variables that are used in the constructors. That last problem is
 what causes the panic.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5857#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler