[GHC] #646: ASSERT fails on newtype + forall

[GHC]

#646: ASSERT fails on newtype + forall
----------------------------------------+-----------------------------------
    Reporter:  guest                    |        Owner:         
        Type:  bug                      |       Status:  new    
    Priority:  normal                   |    Milestone:  6.6    
   Component:  Compiler (Type checker)  |      Version:         
    Severity:  normal                   |     Keywords:         
          Os:  MacOS X                  |   Difficulty:  Unknown
Architecture:  powerpc                  |  
----------------------------------------+-----------------------------------
The following module causes an ASSERT failure in the HEAD version of ghc
 6.5.

 {{{
 ==== BadNewtype.hs ====
 module BadNewtype where

 newtype Foo = forall a . Foo a

 ================

 > ghci-6.5 -fglasgow-exts BadAssert.hs

 Loading package base-1.0 ... linking ... done.
 [1 of 1] Compiling BadAssert        ( BadAssert.hs, interpreted )
 *** Exception: ASSERT failed! file typecheck/TcTyClsDecls.lhs, line 466
 >

 }}}

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