#3690: GHC panics on a crazy type signature
-------------------------------+--------------------------------------------
    Reporter:  Alien           |       Owner:                         
        Type:  bug             |      Status:  new                    
    Priority:  normal          |   Component:  Compiler (Type checker)
     Version:  6.10.4          |    Keywords:                         
          Os:  Windows         |    Testcase:                         
Architecture:  x86_64 (amd64)  |     Failure:  Compile-time crash     
-------------------------------+--------------------------------------------
 {{{
 x :: [Enum a => (forall a. Num a => a)]
 x = []
 }}}

 I have NO idea what that would mean or whatever it makes sense at all, but
 it fails with:

 {{{
 : panic! (the 'impossible' happened)
     (GHC version 6.10.4 for i386-unknown-mingw32):
         TcTyFuns.flattenType: unexpected PredType
 }}}

 And it said I should report it. :)

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3690>
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