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

GHC cvs-ghc at haskell.org
Mon Apr 18 07:18:53 CEST 2011


#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       
-------------------------------+--------------------------------------------
 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.

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



More information about the Glasgow-haskell-bugs mailing list