[GHC] #7974: Panic on a context with additional variable

[GHC]

#7974: Panic on a context with additional variable
-------------------------------+--------------------------------------------
Reporter:  monoidal            |          Owner:                  
    Type:  bug                 |         Status:  new             
Priority:  normal              |      Component:  Compiler        
 Version:  7.7                 |       Keywords:                  
      Os:  Unknown/Multiple    |   Architecture:  Unknown/Multiple
 Failure:  Compile-time crash  |      Blockedby:                  
Blocking:                      |        Related:                  
-------------------------------+--------------------------------------------

Comment(by simonpj@…):

 commit 1cbfddb0b85b198b8fb6543d57d212b17d2a37e4
 {{{
 Author: Simon Peyton Jones <simonpj at microsoft.com>
 Date:   Mon Jun 10 18:28:37 2013 +0100

     Make sure we quantify over the context in data constructors

     This was exposed by Trac #7974. A stupid bug!

  compiler/typecheck/TcTyClsDecls.lhs |   37
 +++++++++++++++++------------------
  1 files changed, 18 insertions(+), 19 deletions(-)
 }}}

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