id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,os,architecture,failure,difficulty,testcase,blockedby,blocking,related
5973,Rewrite rule not firing for typeclass,SamAnklesaria,SamAnklesaria,"The following rewrite rule fires for a normal function, but fails to fire as the method of a typeclass.

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

{-# RULES
""rewrite/class""    forall a. id1 (id1 a) = RDUnit
""rewrite/static""   forall a. id1' (id1' a) = RDUnit
   #-}

class Ider a where
    id1 :: a -> a

data RewriteD = RDUnit

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

classTest :: RewriteD
classTest = id1 (id1 RDUnit)

staticTest :: RewriteD
staticTest = id1' (id1' RDUnit)

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


",bug,closed,normal,,Compiler,7.4.1,invalid,,pho@…,Unknown/Multiple,Unknown/Multiple,None/Unknown,,,,,