Qualified name required when defining type family instance in instance declaration
|Reported by:||rl||Owned by:||chak|
|Type of failure:||None/Unknown||Test Case:||rename/should_compile/T2435|
|Related Tickets:||Differential Revisions:|
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
Change History (16)
comment:7 Changed 5 years ago by igloo
- Milestone changed from 6.12.3 to 6.14.1
- Priority changed from normal to low
comment:11 Changed 4 years ago by igloo
- Milestone changed from 7.4.1 to 7.6.1
- Priority changed from low to lowest