Ticket #2435 (closed bug: fixed)
Qualified name required when defining type family instance in instance declaration
|Reported by:||rl||Owned by:||chak|
|Type of failure:||None/Unknown||Difficulty:||Unknown|
|Test Case:||rename/should_compile/T2435||Blocked By:|
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