[GHC] #3197: disambiguating type family instances with qualified names not possible

[GHC]

#3197: disambiguating type family instances with qualified names not possible
----------------------------------------+-----------------------------------
    Reporter:  claus                    |        Owner:                  
        Type:  bug                      |       Status:  closed          
    Priority:  normal                   |    Milestone:  6.12.1          
   Component:  Compiler (Type checker)  |      Version:  6.11            
    Severity:  normal                   |   Resolution:  fixed           
    Keywords:                           |   Difficulty:  Unknown         
    Testcase:                           |           Os:  Unknown/Multiple
Architecture:  Unknown/Multiple         |  
----------------------------------------+-----------------------------------
Changes (by chak):

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

Comment:

 I fixed the bug, and I also permitted type families with no indices.  I
 already wondered whether we should have them, but didn't see much use.
 You are saying there are useful and I don't think they create any problems
 (in the implementation, it was just a matter of removing the check).

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