[GHC] #5130: Panic on simple scoped type variable example

[GHC]

#5130: Panic on simple scoped type variable example
--------------------------------------+-------------------------------------
  Reporter:  john-nowak               |          Owner:  simonpj                  
      Type:  bug                      |         Status:  closed                   
  Priority:  normal                   |      Milestone:                           
 Component:  Compiler (Type checker)  |        Version:  7.0.2                    
Resolution:  fixed                    |       Keywords:  ScopedTypeVariables panic
  Testcase:  ghci/scripts/T5130       |      Blockedby:                           
Difficulty:                           |             Os:  MacOS X                  
  Blocking:                           |   Architecture:  x86_64 (amd64)           
   Failure:  Compile-time crash       |  
--------------------------------------+-------------------------------------
Changes (by simonpj):

  * status:  new => closed
  * testcase:  => ghci/scripts/T5130
  * resolution:  => fixed


Comment:

 Thanks for pointing this out.  Fixed by
 {{{
 commit 2b6ba11cee81436aeed0ddab8ce5f53d51a349a9
 Author: Simon Peyton Jones <simonpj at microsoft.com>
 Date:   Wed Apr 20 17:28:00 2011 +0100

     Fix Trac #5130: missed error report

     Some out of date code in TcErrors was suppressing an error
     report -- so some type-incorrect code leaked out and confused
     a later bit of the compiler.

  compiler/typecheck/TcErrors.lhs |   47
 ++++++++++++++++++++-------------------
  1 files changed, 24 insertions(+), 23 deletions(-)
 }}}

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