重写规则不会触发匹配多个实例方法的规则

Question

据我所知，我不认为这会使id1和id2来自类型类并且id1'和id2'不是。我正在使用最新的Haskell平台（GHC版本7.0.4和现在的7.4.1）运行“ghc Rewrite”，我也希望1也能够发射。

$ ghc Rewrite 
[1 of 1] Compiling RewriteProblems (Rewrite.hs, Rewrite.o) 
Rule fired: rewrite/ez' 
Rule fired: rewrite/to1' 
Rule fired: rewrite/ez 
Rule fired: rewrite/ez 
Rule fired: Class op id2 
Rule fired: Class op id2 

的例子：

{-# OPTIONS_GHC -O -ddump-rule-firings #-} 
module RewriteProblems where 

{-# RULES 
"rewrite/ez" forall a. id1 a = RDUnit 
"rewrite/to1" forall a. id2 (id2 a) = id1 a 
"rewrite/ez'" forall a. id1' a = RDUnit 
"rewrite/to1'" forall a. id2' (id2' a) = id1 a 
    #-} 

class Ider a where 
    id1 :: a -> a 
    id2 :: a -> a 

data RewriteD = RDUnit 

instance Ider RewriteD where 
    {-# INLINE[1] id1 #-} 
    {-# INLINE[1] id2 #-} 
    id1 a = RDUnit 
    id2 a = RDUnit 

testThing1 :: RewriteD 
testThing1 = id1 RDUnit 

testThing2 :: RewriteD 
testThing2 = id2 (id2 RDUnit) 

testThing1' :: RewriteD 
testThing1' = id1' RDUnit 

testThing2' :: RewriteD 
testThing2' = id2' (id2' RDUnit) 

{-# INLINE[1] id1' #-} 
{-# INLINE[1] id2' #-} 
id1' :: RewriteD -> RewriteD 
id2' :: RewriteD -> RewriteD 
id1' a = RDUnit 
id2' a = RDUnit 

Answer 1

（整个后用更新的信息提出了一些修改）

在你的输出，注意线条Rule fired: Class op id2。这些是由GHC为类型实例自动创建的规则。这条规则是先发射，所以你自己的规则永远不会有机会匹配。如果使用“-ddump-simpl-iterations”进行编译，您可以检查Class op规则在第一阶段触发，之后您的“to1”规则永远不会匹配。

这是一个解决方法。首先注释掉testThing1，testThing1'和testThing2'因此只有testThing2被编译。这是“rewrite/to1”可以触发的唯一函数，因此它隔离了您正在查看的测试用例。接下来，添加形式的另一条规则：

"rewrite/to_id2'" forall a. id2 a = id2' a 

，你会看到这样的输出：

$ ghc -c foo.hs 
Rule fired: rewrite/to_id2' 
Rule fired: rewrite/to_id2' 
Rule fired: rewrite/to1' 
Rule fired: rewrite/ez 

新的规则，现在射击，而不是类运算，它允许rewrite/to1'简化表达。有趣的是，新规则出现在规则列表中的rewrite/to1之上还是之下并不重要。

我不知道为什么你的id2 (id2 a)规则不匹配而id2 a。它看起来应该匹配（根据-dverbose-core2core），但事实并非如此。我仍然怀疑某种类型的GHC优先级错误，尽管我也看到了与ghc-7.4.1相同的行为，所以它不是4397。