Merge pull request #169 from hvr/pr/ghc-head-wall-clean

GHC HEAD -Wall cleanups

Author: foxik

Data/Sequence.hs

@@ -357,8 +357,7 @@ type Digit23 a = Node a
 -- class, but as it is we have to build up 'map23' explicitly through the
 -- recursion.
 aptyMiddle
-  :: Sized c =>
-     (c -> d)
+  :: (c -> d)
      -> (c -> d)
      -> ((a -> b) -> c -> d)
      -> FingerTree (Elem (a -> b))
@@ -405,36 +404,17 @@ aptyMiddle firstf
             (Two (fmap lastf pr) (fmap lastf q))
    where converted = node3 pr q sf
 
-{-# SPECIALIZE
- aptyMiddle
-  :: (Node c -> d)
-     -> (Node c -> d)
-     -> ((a -> b) -> Node c -> d)
-     -> FingerTree (Elem (a -> b))
-     -> Rigid (Node c)
-     -> FingerTree (Node d)
- #-}
-{-# SPECIALIZE
- aptyMiddle
-  :: (Elem c -> d)
-     -> (Elem c -> d)
-     -> ((a -> b) -> Elem c -> d)
-     -> FingerTree (Elem (a -> b))
-     -> Rigid (Elem c)
-     -> FingerTree (Node d)
- #-}
-
 digit12ToDigit :: Digit12 a -> Digit a
 digit12ToDigit (One12 a) = One a
 digit12ToDigit (Two12 a b) = Two a b
 
 -- Squash the first argument down onto the left side of the second.
-squashL :: Sized a => Digit23 a -> Digit12 (Node a) -> Digit23 (Node a)
+squashL :: Digit23 a -> Digit12 (Node a) -> Digit23 (Node a)
 squashL m (One12 n) = node2 m n
 squashL m (Two12 n1 n2) = node3 m n1 n2
 
 -- Squash the second argument down onto the right side of the first
-squashR :: Sized a => Digit12 (Node a) -> Digit23 a -> Digit23 (Node a)
+squashR :: Digit12 (Node a) -> Digit23 a -> Digit23 (Node a)
 squashR (One12 n) m = node2 n m
 squashR (Two12 n1 n2) m = node3 n1 n2 m
 
@@ -965,7 +945,7 @@ cycleN n (Seq xsFT) = case rigidify xsFT of
                         (nodeToDigit sf)
 
 cycleNMiddle
-  :: Sized c => Int
+  :: Int
      -> Rigid c
      -> FingerTree (Node c)
 
@@ -999,19 +979,6 @@ cycleNMiddle n
             (Two pr q)
    where converted = node3 pr q sf
 
-{-# SPECIALIZE
- cycleNMiddle
-  :: Int
-     -> Rigid (Node c)
-     -> FingerTree (Node (Node c))
- #-}
-{-# SPECIALIZE
- cycleNMiddle
-  :: Int
-     -> Rigid (Elem c)
-     -> FingerTree (Node (Elem c))
- #-}
-
 
 -- | /O(1)/. Add an element to the left end of a sequence.
 -- Mnemonic: a triangle with the single element at the pointy end.