请问需要翻译的内容是什么?
{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances,
FunctionalDependencies #-}
class C a b c | a b -> c
instance C (l (i,j)) (r i j) j
instance C (l i j) (r (i,j)) j
-- Conflict between the following two lines
instance C (l (i,j)) (r (i,j)) j
instance C (l i j) (r i j) j
在这里,GHC在最后两行之间产生了一个功能依赖错误。如果我删除最后两个实例声明中的任何一个,代码就可以编译。我尝试使用类型族进行类比,但也产生了冲突。我的第一个问题是:为什么最后两行会发生冲突,而其他声明都可以一起正常工作?
此外,如果我将最后一行更改为
instance C (l i j) (r i j) i
GHC接受了这段代码。这似乎很奇怪,因为唯一改变的是依赖类型变量c。有人能解释一下这种行为吗?
instance C (l i j) (r i j) i
对我造成了冲突。(在 GHC 7.8.3 上) - genisage