id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,os,architecture,failure,difficulty,testcase,blockedby,blocking,related
2435,Qualified name required when defining type family instance in instance declaration,rl,chak,"With these two modules, GHC gives the following error:

{{{
Bar.hs:3:30: Not in scope: type constructor or class `T'
}}}

I have to use Foo.T in the instance definition. This is inconsistent with method definitions which must use unqualified names.

{{{
module Foo where
class C a where type T a
}}}

{{{
module Bar where
import qualified Foo
instance Foo.C Int where type T Int = Int
}}}
",bug,closed,lowest,7.6.2,Compiler,6.9,fixed,,,Unknown/Multiple,Unknown/Multiple,None/Unknown,Unknown,rename/should_compile/T2435,,,