Merge pull request #121 from dolio/master

Fix Traversable use for createT on older GHCs.

Author: dolio

Data/Vector.hs

@@ -703,7 +703,7 @@ create :: (forall s. ST s (MVector s a)) -> Vector a
 create p = G.create p
 
 -- | Execute the monadic action and freeze the resulting vectors.
-createT :: Traversable f => (forall s. ST s (f (MVector s a))) -> f (Vector a)
+createT :: Traversable.Traversable f => (forall s. ST s (f (MVector s a))) -> f (Vector a)
 {-# INLINE createT #-}
 createT p = G.createT p
 

Data/Vector/Generic.hs

@@ -217,6 +217,10 @@ mkNoRepType :: String -> DataType
 mkNoRepType = mkNorepType
 #endif
 
+#if !MIN_VERSION_base(4,8,0)
+import Data.Traversable (Traversable, traverse)
+#endif
+
 -- Length information
 -- ------------------
 

Data/Vector/Primitive.hs

@@ -169,6 +169,7 @@ import Data.Semigroup ( Semigroup(..) )
 
 #if !MIN_VERSION_base(4,8,0)
 import Data.Monoid   ( Monoid(..) )
+import Data.Traversable ( Traversable )
 #endif
 
 #if __GLASGOW_HASKELL__ >= 708

Data/Vector/Storable.hs

@@ -174,6 +174,7 @@ import Data.Semigroup ( Semigroup(..) )
 
 #if !MIN_VERSION_base(4,8,0)
 import Data.Monoid   ( Monoid(..) )
+import Data.Traversable ( Traversable )
 #endif
 
 #if __GLASGOW_HASKELL__ >= 708

Data/Vector/Unboxed.hs

@@ -191,6 +191,7 @@ import Data.Semigroup ( Semigroup(..) )
 
 #if !MIN_VERSION_base(4,8,0)
 import Data.Monoid   ( Monoid(..) )
+import Data.Traversable ( Traversable )
 #endif
 
 #if __GLASGOW_HASKELL__ >= 708

tests/Tests/Vector.hs

@@ -3,6 +3,9 @@ module Tests.Vector (tests) where
 import Boilerplater
 import Utilities as Util
 
+import Data.Traversable (Traversable(..))
+import Data.Foldable (Foldable(foldMap))
+
 import qualified Data.Vector.Generic as V
 import qualified Data.Vector
 import qualified Data.Vector.Primitive
@@ -66,6 +69,14 @@ import Control.Monad.Trans.Writer
 
 -- TODO: test non-IVector stuff?
 
+#if !MIN_VERSION_base(4,7,0)
+instance Foldable ((,) a) where
+  foldMap f (_, b) = f b
+
+instance Traversable ((,) a) where
+  traverse f (a, b) = fmap ((,) a) $ f b
+#endif
+
 testSanity :: forall a v. (COMMON_CONTEXT(a, v)) => v a -> [Test]
 testSanity _ = [
         testProperty "fromList.toList == id" prop_fromList_toList,