[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:  closed          
  Priority:  low                      |      Milestone:  7.2.1           
 Component:  Compiler (Type checker)  |        Version:  6.11            
Resolution:  fixed                    |       Keywords:                  
  Testcase:                           |      Blockedby:                  
Difficulty:  Unknown                  |             Os:  Unknown/Multiple
  Blocking:                           |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown             |  
--------------------------------------+-------------------------------------
Changes (by simonpj):

  * status:  patch => closed
  * resolution:  => fixed


Comment:

 Right, thanks for pointing this out.
 {{{
 Thu Mar 31 11:21:16 BST 2011  simonpj at microsoft.com
   * Re-enable assertion now the new type checker is in

   (See Trac #3011.)

     M ./compiler/typecheck/TcMType.lhs -2 +2
 }}}
  Simon

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