Если я создам модуль AModule
с классом типов Foo
,
module AModule where
class Foo a where
bar :: a
и в другом модуле BModule
import AModule
квалифицирован и пытается сделать какой-либо тип экземпляром Foo
, т.е.
module B where
import qualified AModule as A
instance A.Foo Int where
A.bar = 0
GHC сообщает me «Полное имя в позиции привязки: A.bar».
Насколько я понимаю, это связано с билетом 3197 GHC , который помечен как фиксированный. Я запускаю GHC 6.12.1 и все еще получаю сообщение об ошибке. Я что-то неправильно понимаю?