[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                     |    Milestone:                    
   Component:  Compiler (Type checker)    |      Version:  7.0.2             
    Keywords:  ScopedTypeVariables panic  |     Testcase:                    
   Blockedby:                             |   Difficulty:                    
          Os:  MacOS X                    |     Blocking:                    
Architecture:  x86_64 (amd64)             |      Failure:  Compile-time crash
------------------------------------------+---------------------------------

Old description:

> When running GHCi with -XScopedTypeVariables:
>
> Prelude> (\(x :: a, y :: a) -> [x, "hi"])
> ghc: panic! (the 'impossible' happened)
>   (GHC version 7.0.2 for i386-apple-darwin):
>         nameModule $dShow{v akk}
>
> I'm unsure if this has been fixed in 7.0.3; apologies if this is an old
> bug.

New description:

 When running GHCi with `-XScopedTypeVariables`:
 {{{
 Prelude> (\(x :: a, y :: a) -> [x, "hi"])
 ghc: panic! (the 'impossible' happened)
   (GHC version 7.0.2 for i386-apple-darwin):
         nameModule $dShow{v akk}
 }}}
 I'm unsure if this has been fixed in 7.0.3; apologies if this is an old
 bug.

--

Comment(by simonpj):

 No, it's a current bug.  How embarrassing.

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