Non-backward compatible scoping-change for associated types in GHC-7.4
In GHC 7.4.0.20111218 I just noticed, that the scoping for associated types has changed. As I'm not sure whether this is a regression or was changed on purpose (couldn't find any mention of it in the current release notes), I've filed this as a bug for the mean time...
{-# LANGUAGE TypeFamilies #-}
module ModB where
class Foo a where
type FooType
{-# LANGUAGE TypeFamilies #-}
module ModA where
import qualified ModB
-- works only with GHC-7.4
-- error in GHC 7.2: "Not in scope: type constructor or class `FooType'"
instance ModB.Foo Int where
type FooType = Int
-- works with GHC-7.0 and GHC-7.2, but NOT with GHC-7.4
-- error in GHC-7.4: "Qualified name in binding position: ModB.FooType"
instance ModB.Foo Char where
type ModB.FooType = Char
Trac metadata
Trac field | Value |
---|---|
Version | 7.3 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Compiler |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |