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

[GHC]

#5130: Panic on simple scoped type variable example
-------------------------------+--------------------------------------------
    Reporter:  john-nowak      |       Owner:                           
        Type:  bug             |      Status:  new                      
    Priority:  normal          |   Component:  Compiler (Type checker)  
     Version:  7.0.2           |    Keywords:  ScopedTypeVariables panic
    Testcase:                  |   Blockedby:                           
          Os:  MacOS X         |    Blocking:                           
Architecture:  x86_64 (amd64)  |     Failure:  Compile-time crash       
-------------------------------+--------------------------------------------

Comment(by john-nowak):

 Here's a simpler example:

 \(x :: a) -> [x, True]

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