Question

我的问题是最后一点:

module A where

data A = A { f :: Int }

defaultA = A { f = 0 }

以及

module B where

import A as A

data B = B { f :: Int }

bToA :: B -> A
bToA x = defaultA { A.f = f x }

gives

B.hs:8:26:
    Ambiguous occurrence `f 
    It could refer to either `B.f , defined at B.hs:5:13
                          or `A.f , imported from A at B.hs

因为不能包括 B自称是,解决“空间冲突”的替代办法是什么? 我不会改称冲突的职能。

Edit:增订了这方面的实例。

Answer 1

import qualified A as A

Answer 2

我这样说:

module B where

import A hiding (A(..))
import qualified A as A

bToA x = defaultA { A.f = f x }

这样,你就可以在不预先排出A的情况下从A中获取所有非冲突名字,所有相互冲突的名字都是以完全资格进口的,如A.something。你保留了法典的精华,并围绕冲突开展工作。

当然,Simplier import有某些资格。姓名:S 如果你不把注意力排在各地,也将发挥作用。

Answer 3

正义 B.f

你们不需要

import A as A

正义

import A

友情链接