#2503: Panic related to MPTC's and type equality
-----------------------+----------------------------------------------------
    Reporter:  Benja   |       Owner:          
        Type:  bug     |      Status:  new     
    Priority:  normal  |   Component:  Compiler
     Version:  6.8.2   |    Severity:  normal  
    Keywords:          |    Testcase:          
Architecture:  x86     |          Os:  Linux   
-----------------------+----------------------------------------------------
 The following code:

 {{{
 {-# OPTIONS_GHC -fglasgow-exts #-}

 class Foo a b where
     foo :: a

 instance (a ~ ()) => Foo [a] b where
     foo = undefined

 main = print "hello"
 }}}

 gives this:

 {{{
 ghc-6.8.2: panic! (the 'impossible' happened)
   (GHC version 6.8.2 for i386-unknown-linux):
         nameModule $dFoo{v aqY}
 }}}

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2503>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Reply via email to