fix warnings
authorRoss Paterson <ross@soi.city.ac.uk>
Wed, 25 Mar 2015 23:53:22 +0000 (23:53 +0000)
committerRoss Paterson <ross@soi.city.ac.uk>
Wed, 25 Mar 2015 23:53:22 +0000 (23:53 +0000)
Control/Applicative/Lift.hs
Data/Functor/Classes.hs
Data/Functor/Sum.hs

index 42c9b73..bf023c7 100644 (file)
@@ -40,14 +40,14 @@ data Lift f a = Pure a | Other (f a)
 
 instance (Eq1 f) => Eq1 (Lift f) where
     eqWith eq (Pure x1) (Pure x2) = eq x1 x2
-    eqWith eq (Pure _) (Other _) = False
-    eqWith eq (Other _) (Pure _) = False
+    eqWith _ (Pure _) (Other _) = False
+    eqWith _ (Other _) (Pure _) = False
     eqWith eq (Other y1) (Other y2) = eqWith eq y1 y2
 
 instance (Ord1 f) => Ord1 (Lift f) where
     compareWith comp (Pure x1) (Pure x2) = comp x1 x2
-    compareWith comp (Pure _) (Other _) = LT
-    compareWith comp (Other _) (Pure _) = GT
+    compareWith _ (Pure _) (Other _) = LT
+    compareWith _ (Other _) (Pure _) = GT
     compareWith comp (Other y1) (Other y2) = compareWith comp y1 y2
 
 instance (Read1 f) => Read1 (Lift f) where
index c734fc0..bfae96a 100644 (file)
@@ -187,14 +187,14 @@ instance Read1 [] where
 
 
 instance Show1 [] where
-    showsPrecWith sp _ [] = showString "[]"
+    showsPrecWith _ _ [] = showString "[]"
     showsPrecWith sp _ (x:xs) = showChar '[' . sp 0 x . showl xs
       where
         showl []     = showChar ']'
-        showl (x:xs) = showChar ',' . sp 0 x . showl xs
+        showl (y:ys) = showChar ',' . sp 0 y . showl ys
 
 instance Eq2 (,) where
-    eqWith2 eq1 eq2 (x1, y1) (x2, y2) = eq1 x1 x2 && eq2 y1 y2
+    eqWith2 e1 e2 (x1, y1) (x2, y2) = e1 x1 x2 && e2 y1 y2
 
 instance Ord2 (,) where
     compareWith2 comp1 comp2 (x1, y1) (x2, y2) =
@@ -225,10 +225,10 @@ instance (Show a) => Show1 ((,) a) where
     showsPrecWith = showsPrecWith2 showsPrec
 
 instance Eq2 Either where
-    eqWith2 eq1 _ (Left x) (Left y) = eq1 x y
+    eqWith2 e1 _ (Left x) (Left y) = e1 x y
     eqWith2 _ _ (Left _) (Right _) = False
     eqWith2 _ _ (Right _) (Left _) = False
-    eqWith2 _ eq2 (Right x) (Right y) = eq2 x y
+    eqWith2 _ e2 (Right x) (Right y) = e2 x y
 
 instance Ord2 Either where
     compareWith2 comp1 _ (Left x) (Left y) = comp1 x y
index ed802fe..446d942 100644 (file)
@@ -30,14 +30,14 @@ data Sum f g a = InL (f a) | InR (g a)
 
 instance (Eq1 f, Eq1 g) => Eq1 (Sum f g) where
     eqWith eq (InL x1) (InL x2) = eqWith eq x1 x2
-    eqWith eq (InL _) (InR _) = False
-    eqWith eq (InR _) (InL _) = False
+    eqWith _ (InL _) (InR _) = False
+    eqWith _ (InR _) (InL _) = False
     eqWith eq (InR y1) (InR y2) = eqWith eq y1 y2
 
 instance (Ord1 f, Ord1 g) => Ord1 (Sum f g) where
     compareWith comp (InL x1) (InL x2) = compareWith comp x1 x2
-    compareWith comp (InL _) (InR _) = LT
-    compareWith comp (InR _) (InL _) = GT
+    compareWith _ (InL _) (InR _) = LT
+    compareWith _ (InR _) (InL _) = GT
     compareWith comp (InR y1) (InR y2) = compareWith comp y1 y2
 
 instance (Read1 f, Read1 g) => Read1 (Sum f g) where