[GHC] #3011: ASSERT failed: file typecheck/TcMType.lhs line 526 t_a32G{tv}

[GHC]

#3011: ASSERT failed: file typecheck/TcMType.lhs line 526 t_a32G{tv}
----------------------------------------+-----------------------------------
    Reporter:  batterseapower           |        Owner:              
        Type:  bug                      |       Status:  new         
    Priority:  low                      |    Milestone:  7.2.1       
   Component:  Compiler (Type checker)  |      Version:  6.11        
    Keywords:                           |     Testcase:              
   Blockedby:                           |   Difficulty:  Unknown     
          Os:  Unknown/Multiple         |     Blocking:              
Architecture:  Unknown/Multiple         |      Failure:  None/Unknown
----------------------------------------+-----------------------------------
Changes (by michalt):

 * cc: michal.terepeta@… (added)
  * failure:  => None/Unknown


Comment:

 It seems that the WARN can be changed back to ASSERT. I've tried it on the
 example and, as expected, there's a type error (but no violation of
 assertion).
 I've also run `validate` and everything seems to be fine.

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