내보내기 중복 레코드 필드 <code>-XDuplicateRecordFields</code>와

Question

는 다음이 허용됩니다 :

{-# LANGUAGE DuplicateRecordFields #-} 

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

: Foo이 모듈 Bar에 정의 된 모듈 Foo 및 Bar에 정의 될 때

{-# LANGUAGE DuplicateRecordFields #-} 

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

그러나, 내가 컴파일 오류가

Conflicting exports for ‘qux’

나는 무엇을 하려는지 equiv 첫 번째 예를 들었다. 데이터 유형이 원래 정의 된 위치는 중요하지 않습니다. 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(..))