[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:                           |       Testcase:                  
       Os:  Unknown/Multiple         |   Architecture:  Unknown/Multiple
-------------------------------------+--------------------------------------
Comment (by claus):

 Another way to elicit the `"Qualified name in binding position"` part of
 this ticket:
 {{{
 {-# LANGUAGE TypeFamilies #-}
 module QTI where
 type family TF a
 }}}
 {{{
 {-# LANGUAGE TypeFamilies #-}
 module Main where
 import QTI()
 type instance QTI.TF a = ()
 }}}
 Instead of the expected `"Not in scope"` error, we get: `"Qualified name
 in binding position: QTI.TF"`. Removing the import restriction `()` makes
 the error go away, so this is definitely misleading.

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