summaryrefslogtreecommitdiff
path: root/Algebra/Ring/Ideal.hs
diff options
context:
space:
mode:
Diffstat (limited to 'Algebra/Ring/Ideal.hs')
-rw-r--r--Algebra/Ring/Ideal.hs1
1 files changed, 0 insertions, 1 deletions
diff --git a/Algebra/Ring/Ideal.hs b/Algebra/Ring/Ideal.hs
index 8fd15de..841d277 100644
--- a/Algebra/Ring/Ideal.hs
+++ b/Algebra/Ring/Ideal.hs
@@ -50,7 +50,6 @@ principalIdeal = Ideal . singleton
mapIdeal :: (r -> r') -> Ideal r -> Ideal r'
mapIdeal fun (Ideal xs) = Ideal $ S.map fun xs
{-# INLINE [1] mapIdeal #-}
-{-# RULES "mapIdeal/id" [~1] forall x. mapIdeal id x = x #-}
instance NFData r => NFData (Ideal r) where
rnf (Ideal is) = rnf is