[GHC] #1813: Strange type representation bug with phantom type synonyms in interactive mode

[GHC]

#1813: Strange type representation bug with phantom type synonyms in interactive
mode
-----------------------+----------------------------------------------------
 Reporter:  guest      |          Owner:  igloo      
     Type:  merge      |         Status:  new        
 Priority:  normal     |      Milestone:  6.10 branch
Component:  GHCi       |        Version:  6.9        
 Severity:  normal     |     Resolution:             
 Keywords:             |     Difficulty:  Unknown    
 Testcase:  tcfail186  |   Architecture:  Unknown    
       Os:  Unknown    |  
-----------------------+----------------------------------------------------
Changes (by simonpj):

  * testcase:  => tcfail186
  * owner:  simonpj => igloo
  * type:  bug => merge

Comment:

 Done.  Patch is
 {{{
 Tue Nov  6 15:31:51 GMT 2007  simonpj at microsoft.com
   * Fix Trac #1813: generalise over *all* type variables at top level,
 even phantom ones
 }}}
 and it should merge fine onto the 6.8 branch

 Simon

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