[GHC] #1624: internal error caused by adding an instance to a type class with a functional dependency and a default method

[GHC]

#1624: internal error caused by adding an instance to a type class with a
functional dependency and a default method
-------------------------------------+--------------------------------------
 Reporter:  int-e                    |          Owner:  simonpj    
     Type:  bug                      |         Status:  closed     
 Priority:  normal                   |      Milestone:  6.10 branch
Component:  Compiler (Type checker)  |        Version:  6.7        
 Severity:  minor                    |     Resolution:  fixed      
 Keywords:                           |     Difficulty:  Unknown    
 Testcase:  T1624                    |   Architecture:  x86        
       Os:  Linux                    |  
-------------------------------------+--------------------------------------
Changes (by simonpj):

  * testcase:  => T1624
  * status:  new => closed
  * resolution:  => fixed

Comment:

 Actually this one is fixed as a result of fixing #1061.  In the case of
 default methods we should not really type-check the default method
 instance, which is what gave rise to the error above.

 Happy days. The test is in `typecheck/should_run/T1624.hs`.  It'll be
 released in 6.10.

 Simon

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