haskell - 导出重复记录字段

Question

与 -XDuplicateRecordFields ，以下是允许的:

{-# LANGUAGE DuplicateRecordFields #-}

module Baz(Foo(..), Bar(..)) where
data Foo = Foo {qux :: Int}    
data Bar = Bar {qux :: String}

但是，当 Foo 时出现编译错误在模块 Foo 中定义和 Bar在模块 Bar 中定义:

{-# LANGUAGE DuplicateRecordFields #-}

module Baz(Foo(..), Bar(..)) where
import Foo (Foo(..))
import Bar (Bar(..))

Conflicting exports for ‘qux’
我认为我想做的相当于第一个例子；最初定义数据类型的位置无关紧要。 GHC 8 支持这种东西吗？

Answer 1

我确实发布了一个错误 here .但是，我也无意中发现了一个解决方法:

如果我将编译指示放在 Foo.hs 或 Bar.hs 中，GHC 会接受该程序。也就是说，以下编译:

{-# LANGUAGE DuplicateRecordFields #-}
module Foo(Foo(..)) where
data Foo = Foo {qux::Int}

module Bar(Bar(..)) where
data Bar = Bar {qux::String}

module Baz(Foo(..),Bar(..)) where
import Foo (Foo(..))
import Bar (Bar(..))