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