Не удается получить DisambiguateRecordFields для работы

Question

Я пытаюсь использовать DisambiguateRecordFields, чтобы разрешить мне использовать одно и то же имя поля в разных записях, но я не могу заставить его работать. Например:

- Файл A.hs

{-# LANGUAGE DisambiguateRecordFields #-} 

module A where 

data ARec = ARec {nID :: Int, sDesc :: String} 

- Файл B.hs

{-# LANGUAGE DisambiguateRecordFields #-} 

module B where 

data BRec = BRec {nID :: Int, sProdCode :: String} 

- Файл Main.hs

{-# LANGUAGE DisambiguateRecordFields #-} 

module Main where 

import A 

import B 

zA = ARec 123 "Happy" 

zB = BRec 456 "Usually" 

main = putStrLn $ "zA's ID is " ++ show (nID zA) 

Если я пишу над тремя файлами и: загрузите Main в GHCi, он жалуется на столкновение на nID. Я думал, что это именно то, что DisambiguateRecordFields было разработано для преодоления.

Любая помощь будет оценена!

Спасибо, Ян.

Answer 1

DisambiguateRecordFields работает только в некоторых случаях, в то время как другие по-прежнему неоднозначны (или, по крайней мере, считаются неоднозначными, даже если это иногда не так). См. the relevant documentation, в частности «bad2» среди примеров.

Answer 2

Кстати, DisambiguateRecordFields работает только при импорте из других модулей, как вы правильно это сделали. Таким образом, можно легко реимпорт только имя поля квалифицированы и использовать его там, где компилятор не может

{-# LANGUAGE DisambiguateRecordFields #-} 

module Main where 
import A 
import B 
import qualified A as A(nID) 

zA = ARec 123 "Happy" 
zB = BRec 456 "Usually" 

main = putStrLn $ "zA's ID is " ++ show (A.nID zA) 

других вхождений остались компилятор.