[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:  new             
    Priority:  normal                   |    Milestone:                  
   Component:  Compiler (Type checker)  |      Version:  6.11            
    Severity:  normal                   |   Resolution:                  
    Keywords:                           |   Difficulty:  Unknown         
    Testcase:                           |           Os:  Unknown/Multiple
Architecture:  Unknown/Multiple         |  
----------------------------------------+-----------------------------------
Changes (by simonpj):

  * difficulty:  => Unknown

Comment:

 Yes that's definitely wrong, thanks. Will get to it.

 However I don't understand what you mean by "is it really necessary for
 type families to have at least one index? Without that, type constants
 could be expressed directly".  Ordinary Haskell 98 type synonyms are, in
 effect, a type family with zero indices.

 Simon

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