如果我创建一个AModule
带有 typeclass的模块Foo
,
module AModule where
class Foo a where
bar :: a
并在另一个模块中BModule
导入AModule
合格并尝试使某些类型成为 的实例Foo
,即
module B where
import qualified AModule as A
instance A.Foo Int where
A.bar = 0
GHC 告诉我“绑定位置的限定名称:A.bar”。
据我了解,这与GHC 票 3197相关,它被标记为固定。我正在运行 GHC 6.12.1,但仍然出现错误。我只是在这里误解了一些东西吗?