[GHC] #2714: No match in record selector Var.tcTyVarDetails

[GHC]

#2714: No match in record selector Var.tcTyVarDetails
--------------------------------------------------+-------------------------
 Reporter:  morrow                                |          Owner:  merge           
     Type:  merge                                 |         Status:  new             
 Priority:  normal                                |      Milestone:                  
Component:  Compiler (Type checker)               |        Version:  6.10.1          
 Severity:  normal                                |     Resolution:                  
 Keywords:  Var, tcTyVarDetails, record selector  |     Difficulty:  Unknown         
 Testcase:                                        |   Architecture:  Unknown/Multiple
       Os:  Unknown/Multiple                      |  
--------------------------------------------------+-------------------------
Changes (by simonpj):

  * owner:  => merge
  * difficulty:  => Unknown
  * type:  bug => merge

Comment:

 Thanks for the report.  It's a small bug in the new code that deals with
 impredicativity.  Fixed by
 {{{
 Wed Oct 22 15:51:38 GMT Daylight Time 2008  simonpj at microsoft.com
   * Fix Trac #2714 (a minor wibble)
 }}}
 Simon

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