Resolving dependencies... cabal: Entering directory '/tmp/cabal-tmp-11985/primitive-0.6.1.0' Configuring primitive-0.6.1.0... Building primitive-0.6.1.0... Preprocessing library primitive-0.6.1.0... [ 1 of 10] Compiling Data.Primitive.Internal.Compat ( Data/Primitive/Internal/Compat.hs, dist/build/Data/Primitive/Internal/Compat.o ) [ 2 of 10] Compiling Data.Primitive.MachDeps ( Data/Primitive/MachDeps.hs, dist/build/Data/Primitive/MachDeps.o ) [ 3 of 10] Compiling Data.Primitive.Internal.Operations ( Data/Primitive/Internal/Operations.hs, dist/build/Data/Primitive/Internal/Operations.o ) [ 4 of 10] Compiling Control.Monad.Primitive ( Control/Monad/Primitive.hs, dist/build/Control/Monad/Primitive.o ) Control/Monad/Primitive.hs:41:1: warning: [-Wdeprecations] Module ‘Control.Monad.Trans.Error’ is deprecated: Use Control.Monad.Trans.Except instead Control/Monad/Primitive.hs:100:11: warning: [-Wdeprecations] In the use of type constructor or class ‘Error’ (imported from Control.Monad.Trans.Error): Deprecated: "Use Control.Monad.Trans.Except instead" Control/Monad/Primitive.hs:100:47: warning: [-Wdeprecations] In the use of type constructor or class ‘ErrorT’ (imported from Control.Monad.Trans.Error): Deprecated: "Use Control.Monad.Trans.Except instead" Control/Monad/Primitive.hs:101:19: warning: [-Wdeprecations] In the use of type constructor or class ‘ErrorT’ (imported from Control.Monad.Trans.Error): Deprecated: "Use Control.Monad.Trans.Except instead" [ 5 of 10] Compiling Data.Primitive.Types ( Data/Primitive/Types.hs, dist/build/Data/Primitive/Types.o ) [ 6 of 10] Compiling Data.Primitive.Array ( Data/Primitive/Array.hs, dist/build/Data/Primitive/Array.o ) [ 7 of 10] Compiling Data.Primitive.ByteArray ( Data/Primitive/ByteArray.hs, dist/build/Data/Primitive/ByteArray.o ) [ 8 of 10] Compiling Data.Primitive.Addr ( Data/Primitive/Addr.hs, dist/build/Data/Primitive/Addr.o ) [ 9 of 10] Compiling Data.Primitive ( Data/Primitive.hs, dist/build/Data/Primitive.o ) [10 of 10] Compiling Data.Primitive.MutVar ( Data/Primitive/MutVar.hs, dist/build/Data/Primitive/MutVar.o ) Running Haddock for primitive-0.6.1.0... Running hscolour for primitive-0.6.1.0... Preprocessing library primitive-0.6.1.0... Preprocessing library primitive-0.6.1.0... Control/Monad/Primitive.hs:41:1: warning: [-Wdeprecations] Module ‘Control.Monad.Trans.Error’ is deprecated: Use Control.Monad.Trans.Except instead Control/Monad/Primitive.hs:100:11: warning: [-Wdeprecations] In the use of type constructor or class ‘Error’ (imported from Control.Monad.Trans.Error): Deprecated: "Use Control.Monad.Trans.Except instead" Control/Monad/Primitive.hs:100:47: warning: [-Wdeprecations] In the use of type constructor or class ‘ErrorT’ (imported from Control.Monad.Trans.Error): Deprecated: "Use Control.Monad.Trans.Except instead" Control/Monad/Primitive.hs:101:19: warning: [-Wdeprecations] In the use of type constructor or class ‘ErrorT’ (imported from Control.Monad.Trans.Error): Deprecated: "Use Control.Monad.Trans.Except instead" Haddock coverage: 100% ( 3 / 3) in 'Data.Primitive.Internal.Compat' 3% ( 1 / 35) in 'Data.Primitive.MachDeps' Missing documentation for: sIZEOF_CHAR (Data/Primitive/MachDeps.hs:19) aLIGNMENT_CHAR (Data/Primitive/MachDeps.hs:19) sIZEOF_INT (Data/Primitive/MachDeps.hs:19) aLIGNMENT_INT (Data/Primitive/MachDeps.hs:19) sIZEOF_WORD (Data/Primitive/MachDeps.hs:19) aLIGNMENT_WORD (Data/Primitive/MachDeps.hs:19) sIZEOF_DOUBLE (Data/Primitive/MachDeps.hs:19) aLIGNMENT_DOUBLE (Data/Primitive/MachDeps.hs:19) sIZEOF_FLOAT (Data/Primitive/MachDeps.hs:19) aLIGNMENT_FLOAT (Data/Primitive/MachDeps.hs:19) sIZEOF_PTR (Data/Primitive/MachDeps.hs:19) aLIGNMENT_PTR (Data/Primitive/MachDeps.hs:19) sIZEOF_FUNPTR (Data/Primitive/MachDeps.hs:19) aLIGNMENT_FUNPTR (Data/Primitive/MachDeps.hs:19) sIZEOF_STABLEPTR (Data/Primitive/MachDeps.hs:19) aLIGNMENT_STABLEPTR (Data/Primitive/MachDeps.hs:19) sIZEOF_INT8 (Data/Primitive/MachDeps.hs:19) aLIGNMENT_INT8 (Data/Primitive/MachDeps.hs:19) sIZEOF_WORD8 (Data/Primitive/MachDeps.hs:19) aLIGNMENT_WORD8 (Data/Primitive/MachDeps.hs:19) sIZEOF_INT16 (Data/Primitive/MachDeps.hs:19) aLIGNMENT_INT16 (Data/Primitive/MachDeps.hs:19) sIZEOF_WORD16 (Data/Primitive/MachDeps.hs:19) aLIGNMENT_WORD16 (Data/Primitive/MachDeps.hs:19) sIZEOF_INT32 (Data/Primitive/MachDeps.hs:19) aLIGNMENT_INT32 (Data/Primitive/MachDeps.hs:19) sIZEOF_WORD32 (Data/Primitive/MachDeps.hs:19) aLIGNMENT_WORD32 (Data/Primitive/MachDeps.hs:19) sIZEOF_INT64 (Data/Primitive/MachDeps.hs:19) aLIGNMENT_INT64 (Data/Primitive/MachDeps.hs:19) sIZEOF_WORD64 (Data/Primitive/MachDeps.hs:19) aLIGNMENT_WORD64 (Data/Primitive/MachDeps.hs:19) Word64_# (Data/Primitive/MachDeps.hs:120) Int64_# (Data/Primitive/MachDeps.hs:121) 3% ( 1 / 29) in 'Data.Primitive.Internal.Operations' Missing documentation for: setWord8Array# (Data/Primitive/Internal/Operations.hs:33) setWord16Array# (Data/Primitive/Internal/Operations.hs:35) setWord32Array# (Data/Primitive/Internal/Operations.hs:37) setWord64Array# (Data/Primitive/Internal/Operations.hs:39) setWordArray# (Data/Primitive/Internal/Operations.hs:41) setInt8Array# (Data/Primitive/Internal/Operations.hs:43) setInt16Array# (Data/Primitive/Internal/Operations.hs:45) setInt32Array# (Data/Primitive/Internal/Operations.hs:47) setInt64Array# (Data/Primitive/Internal/Operations.hs:49) setIntArray# (Data/Primitive/Internal/Operations.hs:51) setAddrArray# (Data/Primitive/Internal/Operations.hs:53) setFloatArray# (Data/Primitive/Internal/Operations.hs:55) setDoubleArray# (Data/Primitive/Internal/Operations.hs:57) setWideCharArray# (Data/Primitive/Internal/Operations.hs:59) setWord8OffAddr# (Data/Primitive/Internal/Operations.hs:62) setWord16OffAddr# (Data/Primitive/Internal/Operations.hs:64) setWord32OffAddr# (Data/Primitive/Internal/Operations.hs:66) setWord64OffAddr# (Data/Primitive/Internal/Operations.hs:68) setWordOffAddr# (Data/Primitive/Internal/Operations.hs:70) setInt8OffAddr# (Data/Primitive/Internal/Operations.hs:72) setInt16OffAddr# (Data/Primitive/Internal/Operations.hs:74) setInt32OffAddr# (Data/Primitive/Internal/Operations.hs:76) setInt64OffAddr# (Data/Primitive/Internal/Operations.hs:78) setIntOffAddr# (Data/Primitive/Internal/Operations.hs:80) setAddrOffAddr# (Data/Primitive/Internal/Operations.hs:82) setFloatOffAddr# (Data/Primitive/Internal/Operations.hs:84) setDoubleOffAddr# (Data/Primitive/Internal/Operations.hs:86) setWideCharOffAddr# (Data/Primitive/Internal/Operations.hs:88) 75% ( 12 / 16) in 'Control.Monad.Primitive' Missing documentation for: unsafeInlinePrim (Control/Monad/Primitive.hs:189) unsafeInlineIO (Control/Monad/Primitive.hs:193) unsafeInlineST (Control/Monad/Primitive.hs:197) touch (Control/Monad/Primitive.hs:201) 100% ( 3 / 3) in 'Data.Primitive.Types' 100% ( 15 / 15) in 'Data.Primitive.Array' 93% ( 27 / 29) in 'Data.Primitive.ByteArray' Missing documentation for: ByteArray# MutableByteArray# 100% ( 16 / 16) in 'Data.Primitive.Addr' 100% ( 7 / 7) in 'Data.Primitive' 100% ( 9 / 9) in 'Data.Primitive.MutVar' Warning: Control.Monad.Primitive: could not find link destinations for: ~ Documentation created: dist/doc/html/primitive/index.html, dist/doc/html/primitive/primitive.txt Creating package registration file: /tmp/pkgConf-primitive-0.6.12145174067468703135.0 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/primitive-0.6.1.0-Ip44DqhfCp21tTUYbecwa Registering primitive-0.6.1.0... cabal: Leaving directory '/tmp/cabal-tmp-11985/primitive-0.6.1.0' Installed primitive-0.6.1.0 cabal: Entering directory '/tmp/cabal-tmp-11985/syb-0.6' Configuring syb-0.6... Building syb-0.6... Preprocessing library syb-0.6... [ 1 of 16] Compiling Data.Generics.Basics ( src/Data/Generics/Basics.hs, dist/build/Data/Generics/Basics.o ) [ 2 of 16] Compiling Generics.SYB.Basics ( src/Generics/SYB/Basics.hs, dist/build/Generics/SYB/Basics.o ) [ 3 of 16] Compiling Data.Generics.Instances ( src/Data/Generics/Instances.hs, dist/build/Data/Generics/Instances.o ) [ 4 of 16] Compiling Generics.SYB.Instances ( src/Generics/SYB/Instances.hs, dist/build/Generics/SYB/Instances.o ) [ 5 of 16] Compiling Data.Generics.Aliases ( src/Data/Generics/Aliases.hs, dist/build/Data/Generics/Aliases.o ) src/Data/Generics/Aliases.hs:181:1: warning: [-Wredundant-constraints] • Redundant constraint: Monad m • In the type signature for: extM :: (Monad m, Typeable a, Typeable b) => (a -> m a) -> (b -> m b) -> a -> m a src/Data/Generics/Aliases.hs:207:1: warning: [-Wredundant-constraints] • Redundant constraint: Monad m • In the type signature for: extR :: (Monad m, Typeable a, Typeable b) => m a -> m b -> m a src/Data/Generics/Aliases.hs:338:1: warning: [-Wredundant-constraints] • Redundant constraint: Monad m • In the type signature for: ext1M :: (Monad m, Data d, Typeable t) => (forall e. Data e => e -> m e) -> (forall f. Data f => t f -> m (t f)) -> d -> m d src/Data/Generics/Aliases.hs:354:1: warning: [-Wredundant-constraints] • Redundant constraint: Monad m • In the type signature for: ext1R :: (Monad m, Data d, Typeable t) => m d -> (forall e. Data e => m (t e)) -> m d src/Data/Generics/Aliases.hs:389:1: warning: [-Wredundant-constraints] • Redundant constraint: Monad m • In the type signature for: ext2M :: (Monad m, Data d, Typeable t) => (forall e. Data e => e -> m e) -> (forall d1 d2. (Data d1, Data d2) => t d1 d2 -> m (t d1 d2)) -> d -> m d src/Data/Generics/Aliases.hs:405:1: warning: [-Wredundant-constraints] • Redundant constraint: Monad m • In the type signature for: ext2R :: (Monad m, Data d, Typeable t) => m d -> (forall d1 d2. (Data d1, Data d2) => m (t d1 d2)) -> m d [ 6 of 16] Compiling Data.Generics.Schemes ( src/Data/Generics/Schemes.hs, dist/build/Data/Generics/Schemes.o ) [ 7 of 16] Compiling Generics.SYB.Schemes ( src/Generics/SYB/Schemes.hs, dist/build/Generics/SYB/Schemes.o ) [ 8 of 16] Compiling Data.Generics.Text ( src/Data/Generics/Text.hs, dist/build/Data/Generics/Text.o ) [ 9 of 16] Compiling Generics.SYB.Text ( src/Generics/SYB/Text.hs, dist/build/Generics/SYB/Text.o ) [10 of 16] Compiling Data.Generics.Twins ( src/Data/Generics/Twins.hs, dist/build/Data/Generics/Twins.o ) [11 of 16] Compiling Generics.SYB.Twins ( src/Generics/SYB/Twins.hs, dist/build/Generics/SYB/Twins.o ) [12 of 16] Compiling Data.Generics.Builders ( src/Data/Generics/Builders.hs, dist/build/Data/Generics/Builders.o ) src/Data/Generics/Builders.hs:33:3: warning: [-Wredundant-constraints] • Redundant constraint: Data a • In the type signature for: general :: Data a => a In an equation for ‘empty’: empty = general `extB` char `extB` int `extB` integer `extB` float `extB` double where general :: Data a => a general = fromConstrB empty (indexConstr (dataTypeOf general) 1) char = '\NUL' int = 0 :: Int .... [13 of 16] Compiling Generics.SYB.Builders ( src/Generics/SYB/Builders.hs, dist/build/Generics/SYB/Builders.o ) [14 of 16] Compiling Generics.SYB.Aliases ( src/Generics/SYB/Aliases.hs, dist/build/Generics/SYB/Aliases.o ) [15 of 16] Compiling Data.Generics ( src/Data/Generics.hs, dist/build/Data/Generics.o ) [16 of 16] Compiling Generics.SYB ( src/Generics/SYB.hs, dist/build/Generics/SYB.o ) Running Haddock for syb-0.6... Running hscolour for syb-0.6... Preprocessing library syb-0.6... Preprocessing library syb-0.6... src/Data/Generics/Aliases.hs:181:1: warning: [-Wredundant-constraints] • Redundant constraint: Monad m • In the type signature for: extM :: (Monad m, Typeable a, Typeable b) => (a -> m a) -> (b -> m b) -> a -> m a src/Data/Generics/Aliases.hs:207:1: warning: [-Wredundant-constraints] • Redundant constraint: Monad m • In the type signature for: extR :: (Monad m, Typeable a, Typeable b) => m a -> m b -> m a src/Data/Generics/Aliases.hs:338:1: warning: [-Wredundant-constraints] • Redundant constraint: Monad m • In the type signature for: ext1M :: (Monad m, Data d, Typeable t) => (forall e. Data e => e -> m e) -> (forall f. Data f => t f -> m (t f)) -> d -> m d src/Data/Generics/Aliases.hs:354:1: warning: [-Wredundant-constraints] • Redundant constraint: Monad m • In the type signature for: ext1R :: (Monad m, Data d, Typeable t) => m d -> (forall e. Data e => m (t e)) -> m d src/Data/Generics/Aliases.hs:389:1: warning: [-Wredundant-constraints] • Redundant constraint: Monad m • In the type signature for: ext2M :: (Monad m, Data d, Typeable t) => (forall e. Data e => e -> m e) -> (forall d1 d2. (Data d1, Data d2) => t d1 d2 -> m (t d1 d2)) -> d -> m d src/Data/Generics/Aliases.hs:405:1: warning: [-Wredundant-constraints] • Redundant constraint: Monad m • In the type signature for: ext2R :: (Monad m, Data d, Typeable t) => m d -> (forall d1 d2. (Data d1, Data d2) => m (t d1 d2)) -> m d src/Data/Generics/Builders.hs:33:3: warning: [-Wredundant-constraints] • Redundant constraint: Data a • In the type signature for: general :: Data a => a In an equation for ‘empty’: empty = general `extB` char `extB` int `extB` integer `extB` float `extB` double where general :: Data a => a general = fromConstrB empty (indexConstr (dataTypeOf general) 1) char = '\NUL' int = 0 :: Int .... Haddock coverage: 100% ( 2 / 2) in 'Data.Generics.Basics' 100% ( 2 / 2) in 'Generics.SYB.Basics' 100% ( 1 / 1) in 'Data.Generics.Instances' 100% ( 1 / 1) in 'Generics.SYB.Instances' 96% ( 43 / 45) in 'Data.Generics.Aliases' Missing documentation for: GenericQ' (src/Data/Generics/Aliases.hs:268) GenericM' (src/Data/Generics/Aliases.hs:269) 100% ( 19 / 19) in 'Data.Generics.Schemes' 100% ( 2 / 2) in 'Generics.SYB.Schemes' 100% ( 6 / 6) in 'Data.Generics.Text' 100% ( 2 / 2) in 'Generics.SYB.Text' 100% ( 17 / 17) in 'Data.Generics.Twins' 100% ( 2 / 2) in 'Generics.SYB.Twins' 100% ( 3 / 3) in 'Data.Generics.Builders' 100% ( 2 / 2) in 'Generics.SYB.Builders' 100% ( 2 / 2) in 'Generics.SYB.Aliases' 100% ( 8 / 8) in 'Data.Generics' 100% ( 2 / 2) in 'Generics.SYB' Documentation created: dist/doc/html/syb/index.html, dist/doc/html/syb/syb.txt Creating package registration file: /tmp/pkgConf-syb-019607098591760281936.6 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/syb-0.6-C65vWCsht6A8uLstpQIXyj Registering syb-0.6... cabal: Leaving directory '/tmp/cabal-tmp-11985/syb-0.6' Installed syb-0.6 cabal: Entering directory '/tmp/cabal-tmp-11985/vector-0.11.0.0' Configuring vector-0.11.0.0... Building vector-0.11.0.0... Preprocessing library vector-0.11.0.0... [ 1 of 21] Compiling Data.Vector.Storable.Internal ( Data/Vector/Storable/Internal.hs, dist/build/Data/Vector/Storable/Internal.o ) Data/Vector/Storable/Internal.hs:17:1: warning: [-Wunused-imports] The import of ‘Foreign.ForeignPtr’ is redundant except perhaps to import instances from ‘Foreign.ForeignPtr’ To import instances alone, use: import Foreign.ForeignPtr() Data/Vector/Storable/Internal.hs:18:1: warning: [-Wunused-imports] The import of ‘Foreign.Ptr’ is redundant except perhaps to import instances from ‘Foreign.Ptr’ To import instances alone, use: import Foreign.Ptr() [ 2 of 21] Compiling Data.Vector.Generic.Mutable.Base ( Data/Vector/Generic/Mutable/Base.hs, dist/build/Data/Vector/Generic/Mutable/Base.o ) [ 3 of 21] Compiling Data.Vector.Generic.Base ( Data/Vector/Generic/Base.hs, dist/build/Data/Vector/Generic/Base.o ) [ 4 of 21] Compiling Data.Vector.Fusion.Util ( Data/Vector/Fusion/Util.hs, dist/build/Data/Vector/Fusion/Util.o ) [ 5 of 21] Compiling Data.Vector.Fusion.Bundle.Size ( Data/Vector/Fusion/Bundle/Size.hs, dist/build/Data/Vector/Fusion/Bundle/Size.o ) [ 6 of 21] Compiling Data.Vector.Internal.Check ( Data/Vector/Internal/Check.hs, dist/build/Data/Vector/Internal/Check.o ) [ 7 of 21] Compiling Data.Vector.Fusion.Stream.Monadic ( Data/Vector/Fusion/Stream/Monadic.hs, dist/build/Data/Vector/Fusion/Stream/Monadic.o ) Data/Vector/Fusion/Stream/Monadic.hs:431:1: warning: [-Wredundant-constraints] • Redundant constraints: (Monad m, Monad m') • In the type signature for: trans :: (Monad m, Monad m') => (forall z. m z -> m' z) -> Stream m a -> Stream m' a Data/Vector/Fusion/Stream/Monadic.hs:1449:1: warning: [-Wredundant-constraints] • Redundant constraint: Ord a • In the type signature for: enumFromTo_double :: (Monad m, Ord a, RealFrac a) => a -> a -> Stream m a [ 8 of 21] Compiling Data.Vector.Fusion.Bundle.Monadic ( Data/Vector/Fusion/Bundle/Monadic.hs, dist/build/Data/Vector/Fusion/Bundle/Monadic.o ) Data/Vector/Fusion/Bundle/Monadic.hs:945:1: warning: [-Wredundant-constraints] • Redundant constraint: Ord a • In the type signature for: enumFromTo_double :: (Monad m, Ord a, RealFrac a) => a -> a -> Bundle m v a [ 9 of 21] Compiling Data.Vector.Fusion.Bundle ( Data/Vector/Fusion/Bundle.hs, dist/build/Data/Vector/Fusion/Bundle.o ) Data/Vector/Fusion/Bundle.hs:114:1: warning: [-Wtabs] Tab character found here. Please use spaces instead. [10 of 21] Compiling Data.Vector.Generic.Mutable ( Data/Vector/Generic/Mutable.hs, dist/build/Data/Vector/Generic/Mutable.o ) [11 of 21] Compiling Data.Vector.Generic.New ( Data/Vector/Generic/New.hs, dist/build/Data/Vector/Generic/New.o ) [12 of 21] Compiling Data.Vector.Generic ( Data/Vector/Generic.hs, dist/build/Data/Vector/Generic.o ) Data/Vector/Generic.hs:2080:1: warning: [-Wredundant-constraints] • Redundant constraint: Vector v a • In the type signature for: dataCast :: (Vector v a, Data a, Typeable v, Typeable t) => (forall d. Data d => c (t d)) -> Maybe (c (v a)) [13 of 21] Compiling Data.Vector.Primitive.Mutable ( Data/Vector/Primitive/Mutable.hs, dist/build/Data/Vector/Primitive/Mutable.o ) [14 of 21] Compiling Data.Vector.Primitive ( Data/Vector/Primitive.hs, dist/build/Data/Vector/Primitive.o ) [15 of 21] Compiling Data.Vector.Storable.Mutable ( Data/Vector/Storable/Mutable.hs, dist/build/Data/Vector/Storable/Mutable.o ) Data/Vector/Storable/Mutable.hs:72:1: warning: [-Wunused-imports] The import of ‘Foreign.Ptr’ is redundant except perhaps to import instances from ‘Foreign.Ptr’ To import instances alone, use: import Foreign.Ptr() Data/Vector/Storable/Mutable.hs:491:1: warning: [-Wredundant-constraints] • Redundant constraint: Storable a • In the type signature for: unsafeFromForeignPtr0 :: Storable a => ForeignPtr a -> Int -> MVector s a Data/Vector/Storable/Mutable.hs:501:1: warning: [-Wredundant-constraints] • Redundant constraint: Storable a • In the type signature for: unsafeToForeignPtr :: Storable a => MVector s a -> (ForeignPtr a, Int, Int) Data/Vector/Storable/Mutable.hs:511:1: warning: [-Wredundant-constraints] • Redundant constraint: Storable a • In the type signature for: unsafeToForeignPtr0 :: Storable a => MVector s a -> (ForeignPtr a, Int) Data/Vector/Storable/Mutable.hs:518:1: warning: [-Wredundant-constraints] • Redundant constraint: Storable a • In the type signature for: unsafeWith :: Storable a => IOVector a -> (Ptr a -> IO b) -> IO b [16 of 21] Compiling Data.Vector.Storable ( Data/Vector/Storable.hs, dist/build/Data/Vector/Storable.o ) Data/Vector/Storable.hs:1408:1: warning: [-Wredundant-constraints] • Redundant constraint: Storable a • In the type signature for: unsafeFromForeignPtr0 :: Storable a => ForeignPtr a -> Int -> Vector a Data/Vector/Storable.hs:1417:1: warning: [-Wredundant-constraints] • Redundant constraint: Storable a • In the type signature for: unsafeToForeignPtr :: Storable a => Vector a -> (ForeignPtr a, Int, Int) Data/Vector/Storable.hs:1426:1: warning: [-Wredundant-constraints] • Redundant constraint: Storable a • In the type signature for: unsafeToForeignPtr0 :: Storable a => Vector a -> (ForeignPtr a, Int) Data/Vector/Storable.hs:1432:1: warning: [-Wredundant-constraints] • Redundant constraint: Storable a • In the type signature for: unsafeWith :: Storable a => Vector a -> (Ptr a -> IO b) -> IO b [17 of 21] Compiling Data.Vector.Unboxed.Base ( Data/Vector/Unboxed/Base.hs, dist/build/Data/Vector/Unboxed/Base.o ) Data/Vector/Unboxed/Base.hs:362:10: warning: [-Wredundant-constraints] • Redundant constraint: RealFloat a • In the instance declaration for ‘M.MVector MVector (Complex a)’ [18 of 21] Compiling Data.Vector.Unboxed ( Data/Vector/Unboxed.hs, dist/build/Data/Vector/Unboxed.o ) internal/unbox-tuple-instances:133:1: warning: [-Wredundant-constraints] • Redundant constraints: (Unbox a, Unbox b) • In the type signature for: unzip :: (Unbox a, Unbox b) => Vector (a, b) -> (Vector a, Vector b) internal/unbox-tuple-instances:307:1: warning: [-Wredundant-constraints] • Redundant constraints: (Unbox a, Unbox b, Unbox c) • In the type signature for: unzip3 :: (Unbox a, Unbox b, Unbox c) => Vector (a, b, c) -> (Vector a, Vector b, Vector c) internal/unbox-tuple-instances:526:1: warning: [-Wredundant-constraints] • Redundant constraints: (Unbox a, Unbox b, Unbox c, Unbox d) • In the type signature for: unzip4 :: (Unbox a, Unbox b, Unbox c, Unbox d) => Vector (a, b, c, d) -> (Vector a, Vector b, Vector c, Vector d) internal/unbox-tuple-instances:803:1: warning: [-Wredundant-constraints] • Redundant constraints: (Unbox a, Unbox b, Unbox c, Unbox d, Unbox e) • In the type signature for: unzip5 :: (Unbox a, Unbox b, Unbox c, Unbox d, Unbox e) => Vector (a, b, c, d, e) -> (Vector a, Vector b, Vector c, Vector d, Vector e) internal/unbox-tuple-instances:1121:1: warning: [-Wredundant-constraints] • Redundant constraints: (Unbox a, Unbox b, Unbox c, Unbox d, Unbox e, Unbox f) • In the type signature for: unzip6 :: (Unbox a, Unbox b, Unbox c, Unbox d, Unbox e, Unbox f) => Vector (a, b, c, d, e, f) -> (Vector a, Vector b, Vector c, Vector d, Vector e, Vector f) [19 of 21] Compiling Data.Vector.Unboxed.Mutable ( Data/Vector/Unboxed/Mutable.hs, dist/build/Data/Vector/Unboxed/Mutable.o ) internal/unbox-tuple-instances:117:1: warning: [-Wredundant-constraints] • Redundant constraints: (Unbox a, Unbox b) • In the type signature for: unzip :: (Unbox a, Unbox b) => MVector s (a, b) -> (MVector s a, MVector s b) internal/unbox-tuple-instances:282:1: warning: [-Wredundant-constraints] • Redundant constraints: (Unbox a, Unbox b, Unbox c) • In the type signature for: unzip3 :: (Unbox a, Unbox b, Unbox c) => MVector s (a, b, c) -> (MVector s a, MVector s b, MVector s c) internal/unbox-tuple-instances:493:1: warning: [-Wredundant-constraints] • Redundant constraints: (Unbox a, Unbox b, Unbox c, Unbox d) • In the type signature for: unzip4 :: (Unbox a, Unbox b, Unbox c, Unbox d) => MVector s (a, b, c, d) -> (MVector s a, MVector s b, MVector s c, MVector s d) internal/unbox-tuple-instances:756:1: warning: [-Wredundant-constraints] • Redundant constraints: (Unbox a, Unbox b, Unbox c, Unbox d, Unbox e) • In the type signature for: unzip5 :: (Unbox a, Unbox b, Unbox c, Unbox d, Unbox e) => MVector s (a, b, c, d, e) -> (MVector s a, MVector s b, MVector s c, MVector s d, MVector s e) internal/unbox-tuple-instances:1066:1: warning: [-Wredundant-constraints] • Redundant constraints: (Unbox a, Unbox b, Unbox c, Unbox d, Unbox e, Unbox f) • In the type signature for: unzip6 :: (Unbox a, Unbox b, Unbox c, Unbox d, Unbox e, Unbox f) => MVector s (a, b, c, d, e, f) -> (MVector s a, MVector s b, MVector s c, MVector s d, MVector s e, MVector s f) [20 of 21] Compiling Data.Vector.Mutable ( Data/Vector/Mutable.hs, dist/build/Data/Vector/Mutable.o ) [21 of 21] Compiling Data.Vector ( Data/Vector.hs, dist/build/Data/Vector.o ) Running Haddock for vector-0.11.0.0... Running hscolour for vector-0.11.0.0... Preprocessing library vector-0.11.0.0... Preprocessing library vector-0.11.0.0... Data/Vector/Storable/Internal.hs:17:1: warning: [-Wunused-imports] The import of ‘Foreign.ForeignPtr’ is redundant except perhaps to import instances from ‘Foreign.ForeignPtr’ To import instances alone, use: import Foreign.ForeignPtr() Data/Vector/Storable/Internal.hs:18:1: warning: [-Wunused-imports] The import of ‘Foreign.Ptr’ is redundant except perhaps to import instances from ‘Foreign.Ptr’ To import instances alone, use: import Foreign.Ptr() Data/Vector/Fusion/Stream/Monadic.hs:431:1: warning: [-Wredundant-constraints] • Redundant constraints: (Monad m, Monad m') • In the type signature for: trans :: (Monad m, Monad m') => (forall z. m z -> m' z) -> Stream m a -> Stream m' a Data/Vector/Fusion/Stream/Monadic.hs:1449:1: warning: [-Wredundant-constraints] • Redundant constraint: Ord a • In the type signature for: enumFromTo_double :: (Monad m, Ord a, RealFrac a) => a -> a -> Stream m a Data/Vector/Fusion/Bundle/Monadic.hs:945:1: warning: [-Wredundant-constraints] • Redundant constraint: Ord a • In the type signature for: enumFromTo_double :: (Monad m, Ord a, RealFrac a) => a -> a -> Bundle m v a Data/Vector/Fusion/Bundle.hs:114:1: warning: [-Wtabs] Tab character found here. Please use spaces instead. Data/Vector/Generic.hs:2080:1: warning: [-Wredundant-constraints] • Redundant constraint: Vector v a • In the type signature for: dataCast :: (Vector v a, Data a, Typeable v, Typeable t) => (forall d. Data d => c (t d)) -> Maybe (c (v a)) Haddock coverage: 25% ( 1 / 4) in 'Data.Vector.Storable.Internal' Missing documentation for: getPtr (Data/Vector/Storable/Internal.hs:22) setPtr (Data/Vector/Storable/Internal.hs:26) updPtr (Data/Vector/Storable/Internal.hs:30) 100% ( 2 / 2) in 'Data.Vector.Generic.Mutable.Base' 100% ( 3 / 3) in 'Data.Vector.Generic.Base' 100% ( 5 / 5) in 'Data.Vector.Fusion.Util' 100% ( 8 / 8) in 'Data.Vector.Fusion.Bundle.Size' 11% ( 1 / 9) in 'Data.Vector.Internal.Check' Missing documentation for: Checks (Data/Vector/Internal/Check.hs:51) doChecks (Data/Vector/Internal/Check.hs:75) error (Data/Vector/Internal/Check.hs:84) internalError (Data/Vector/Internal/Check.hs:89) check (Data/Vector/Internal/Check.hs:105) checkIndex (Data/Vector/Internal/Check.hs:119) checkLength (Data/Vector/Internal/Check.hs:133) checkSlice (Data/Vector/Internal/Check.hs:147) 82% (103 /125) in 'Data.Vector.Fusion.Stream.Monadic' Missing documentation for: generate (Data/Vector/Fusion/Stream/Monadic.hs:184) unbox (Data/Vector/Fusion/Stream/Monadic.hs:436) concatMap (Data/Vector/Fusion/Stream/Monadic.hs:996) zipWithM_ (Data/Vector/Fusion/Stream/Monadic.hs:512) zipWith3M (Data/Vector/Fusion/Stream/Monadic.hs:516) zipWith4M (Data/Vector/Fusion/Stream/Monadic.hs:544) zipWith5M (Data/Vector/Fusion/Stream/Monadic.hs:551) zipWith6M (Data/Vector/Fusion/Stream/Monadic.hs:558) zipWith (Data/Vector/Fusion/Stream/Monadic.hs:566) zipWith3 (Data/Vector/Fusion/Stream/Monadic.hs:570) zipWith4 (Data/Vector/Fusion/Stream/Monadic.hs:575) zipWith5 (Data/Vector/Fusion/Stream/Monadic.hs:581) zipWith6 (Data/Vector/Fusion/Stream/Monadic.hs:587) zip (Data/Vector/Fusion/Stream/Monadic.hs:593) zip3 (Data/Vector/Fusion/Stream/Monadic.hs:597) zip4 (Data/Vector/Fusion/Stream/Monadic.hs:601) zip5 (Data/Vector/Fusion/Stream/Monadic.hs:606) zip6 (Data/Vector/Fusion/Stream/Monadic.hs:611) and (Data/Vector/Fusion/Stream/Monadic.hs:970) or (Data/Vector/Fusion/Stream/Monadic.hs:983) concatMapM (Data/Vector/Fusion/Stream/Monadic.hs:1000) unfoldrN (Data/Vector/Fusion/Stream/Monadic.hs:1062) 79% (106 /135) in 'Data.Vector.Fusion.Bundle.Monadic' Missing documentation for: Chunk (Data/Vector/Fusion/Bundle/Monadic.hs:110) generate (Data/Vector/Fusion/Bundle/Monadic.hs:190) unbox (Data/Vector/Fusion/Bundle/Monadic.hs:301) concatMap (Data/Vector/Fusion/Bundle/Monadic.hs:595) zipWithM_ (Data/Vector/Fusion/Bundle/Monadic.hs:332) zipWith3M (Data/Vector/Fusion/Bundle/Monadic.hs:336) zipWith4M (Data/Vector/Fusion/Bundle/Monadic.hs:343) zipWith5M (Data/Vector/Fusion/Bundle/Monadic.hs:350) zipWith6M (Data/Vector/Fusion/Bundle/Monadic.hs:357) zipWith (Data/Vector/Fusion/Bundle/Monadic.hs:365) zipWith3 (Data/Vector/Fusion/Bundle/Monadic.hs:369) zipWith4 (Data/Vector/Fusion/Bundle/Monadic.hs:374) zipWith5 (Data/Vector/Fusion/Bundle/Monadic.hs:380) zipWith6 (Data/Vector/Fusion/Bundle/Monadic.hs:386) zip (Data/Vector/Fusion/Bundle/Monadic.hs:392) zip3 (Data/Vector/Fusion/Bundle/Monadic.hs:396) zip4 (Data/Vector/Fusion/Bundle/Monadic.hs:400) zip5 (Data/Vector/Fusion/Bundle/Monadic.hs:405) zip6 (Data/Vector/Fusion/Bundle/Monadic.hs:410) and (Data/Vector/Fusion/Bundle/Monadic.hs:587) or (Data/Vector/Fusion/Bundle/Monadic.hs:591) concatMapM (Data/Vector/Fusion/Bundle/Monadic.hs:599) fromVector (Data/Vector/Fusion/Bundle/Monadic.hs:1009) reVector (Data/Vector/Fusion/Bundle/Monadic.hs:1085) fromVectors (Data/Vector/Fusion/Bundle/Monadic.hs:1028) concatVectors (Data/Vector/Fusion/Bundle/Monadic.hs:1054) fromStream (Data/Vector/Fusion/Bundle/Monadic.hs:119) chunks (Data/Vector/Fusion/Bundle/Monadic.hs:126) elements (Data/Vector/Fusion/Bundle/Monadic.hs:130) 81% ( 88 /109) in 'Data.Vector.Fusion.Bundle' Missing documentation for: Chunk (Data/Vector/Fusion/Bundle/Monadic.hs:110) inplace (Data/Vector/Fusion/Bundle.hs:113) concatMap (Data/Vector/Fusion/Bundle.hs:265) unbox (Data/Vector/Fusion/Bundle.hs:261) zipWith4 (Data/Vector/Fusion/Bundle.hs:293) zipWith5 (Data/Vector/Fusion/Bundle.hs:299) zipWith6 (Data/Vector/Fusion/Bundle.hs:305) zip (Data/Vector/Fusion/Bundle.hs:311) zip3 (Data/Vector/Fusion/Bundle.hs:315) zip4 (Data/Vector/Fusion/Bundle.hs:319) zip5 (Data/Vector/Fusion/Bundle.hs:324) zip6 (Data/Vector/Fusion/Bundle.hs:329) and (Data/Vector/Fusion/Bundle.hs:415) or (Data/Vector/Fusion/Bundle.hs:419) unsafeFromList (Data/Vector/Fusion/Bundle.hs:609) fromVector (Data/Vector/Fusion/Bundle.hs:613) reVector (Data/Vector/Fusion/Bundle.hs:617) fromVectors (Data/Vector/Fusion/Bundle.hs:621) concatVectors (Data/Vector/Fusion/Bundle.hs:625) zipWithM (Data/Vector/Fusion/Bundle.hs:520) zipWithM_ (Data/Vector/Fusion/Bundle.hs:524) 66% ( 48 / 73) in 'Data.Vector.Generic.Mutable' Missing documentation for: init (Data/Vector/Generic/Mutable.hs:536) tail (Data/Vector/Generic/Mutable.hs:540) take (Data/Vector/Generic/Mutable.hs:515) drop (Data/Vector/Generic/Mutable.hs:519) splitAt (Data/Vector/Generic/Mutable.hs:527) unsafeInit (Data/Vector/Generic/Mutable.hs:554) unsafeTail (Data/Vector/Generic/Mutable.hs:558) unsafeTake (Data/Vector/Generic/Mutable.hs:562) unsafeDrop (Data/Vector/Generic/Mutable.hs:566) growFront (Data/Vector/Generic/Mutable.hs:626) unsafeGrowFront (Data/Vector/Generic/Mutable.hs:665) mstream (Data/Vector/Generic/Mutable.hs:244) mstreamR (Data/Vector/Generic/Mutable.hs:274) transform (Data/Vector/Generic/Mutable.hs:268) transformR (Data/Vector/Generic/Mutable.hs:303) fill (Data/Vector/Generic/Mutable.hs:255) fillR (Data/Vector/Generic/Mutable.hs:287) unsafeAccum (Data/Vector/Generic/Mutable.hs:848) accum (Data/Vector/Generic/Mutable.hs:824) unsafeUpdate (Data/Vector/Generic/Mutable.hs:861) update (Data/Vector/Generic/Mutable.hs:837) reverse (Data/Vector/Generic/Mutable.hs:872) unstablePartition (Data/Vector/Generic/Mutable.hs:881) unstablePartitionBundle (Data/Vector/Generic/Mutable.hs:910) partitionBundle (Data/Vector/Generic/Mutable.hs:938) 5% ( 1 / 20) in 'Data.Vector.Generic.New' Missing documentation for: New (Data/Vector/Generic/New.hs:40) create (Data/Vector/Generic/New.hs:42) run (Data/Vector/Generic/New.hs:46) runPrim (Data/Vector/Generic/New.hs:50) apply (Data/Vector/Generic/New.hs:54) modify (Data/Vector/Generic/New.hs:58) modifyWithBundle (Data/Vector/Generic/New.hs:62) unstream (Data/Vector/Generic/New.hs:67) transform (Data/Vector/Generic/New.hs:71) unstreamR (Data/Vector/Generic/New.hs:93) transformR (Data/Vector/Generic/New.hs:97) slice (Data/Vector/Generic/New.hs:119) init (Data/Vector/Generic/New.hs:123) tail (Data/Vector/Generic/New.hs:127) take (Data/Vector/Generic/New.hs:131) drop (Data/Vector/Generic/New.hs:135) unsafeSlice (Data/Vector/Generic/New.hs:139) unsafeInit (Data/Vector/Generic/New.hs:143) unsafeTail (Data/Vector/Generic/New.hs:147) 93% (223 /240) in 'Data.Vector.Generic' Missing documentation for: zipWith4 (Data/Vector/Generic.hs:1069) zipWith5 (Data/Vector/Generic.hs:1078) zipWith6 (Data/Vector/Generic.hs:1090) izipWith3 (Data/Vector/Generic.hs:1112) izipWith4 (Data/Vector/Generic.hs:1120) izipWith5 (Data/Vector/Generic.hs:1129) izipWith6 (Data/Vector/Generic.hs:1141) zip3 (Data/Vector/Generic.hs:1159) zip4 (Data/Vector/Generic.hs:1164) zip5 (Data/Vector/Generic.hs:1169) zip6 (Data/Vector/Generic.hs:1175) unzip3 (Data/Vector/Generic.hs:1225) unzip4 (Data/Vector/Generic.hs:1232) unzip5 (Data/Vector/Generic.hs:1241) unzip6 (Data/Vector/Generic.hs:1251) dataCast (Data/Vector/Generic.hs:2080) mkType (Data/Vector/Generic.hs:2075) 79% ( 41 / 52) in 'Data.Vector.Primitive.Mutable' Missing documen Data/Vector/Storable/Mutable.hs:72:1: warning: [-Wunused-imports] The import of ‘Foreign.Ptr’ is redundant except perhaps to import instances from ‘Foreign.Ptr’ To import instances alone, use: import Foreign.Ptr() Data/Vector/Storable/Mutable.hs:491:1: warning: [-Wredundant-constraints] • Redundant constraint: Storable a • In the type signature for: unsafeFromForeignPtr0 :: Storable a => ForeignPtr a -> Int -> MVector s a Data/Vector/Storable/Mutable.hs:501:1: warning: [-Wredundant-constraints] • Redundant constraint: Storable a • In the type signature for: unsafeToForeignPtr :: Storable a => MVector s a -> (ForeignPtr a, Int, Int) Data/Vector/Storable/Mutable.hs:511:1: warning: [-Wredundant-constraints] • Redundant constraint: Storable a • In the type signature for: unsafeToForeignPtr0 :: Storable a => MVector s a -> (ForeignPtr a, Int) Data/Vector/Storable/Mutable.hs:518:1: warning: [-Wredundant-constraints] • Redundant constraint: Storable a • In the type signature for: unsafeWith :: Storable a => IOVector a -> (Ptr a -> IO b) -> IO b Data/Vector/Storable.hs:1408:1: warning: [-Wredundant-constraints] • Redundant constraint: Storable a • In the type signature for: unsafeFromForeignPtr0 :: Storable a => ForeignPtr a -> Int -> Vector a Data/Vector/Storable.hs:1417:1: warning: [-Wredundant-constraints] • Redundant constraint: Storable a • In the type signature for: unsafeToForeignPtr :: Storable a => Vector a -> (ForeignPtr a, Int, Int) Data/Vector/Storable.hs:1426:1: warning: [-Wredundant-constraints] • Redundant constraint: Storable a • In the type signature for: unsafeToForeignPtr0 :: Storable a => Vector a -> (ForeignPtr a, Int) Data/Vector/Storable.hs:1432:1: warning: [-Wredundant-constraints] • Redundant constraint: Storable a • In the type signature for: unsafeWith :: Storable a => Vector a -> (Ptr a -> IO b) -> IO b Data/Vector/Unboxed/Base.hs:362:10: warning: [-Wredundant-constraints] • Redundant constraint: RealFloat a • In the instance declaration for ‘M.MVector MVector (Complex a)’ internal/unbox-tuple-instances:133:1: warning: [-Wredundant-constraints] • Redundant constraints: (Unbox a, Unbox b) • In the type signature for: unzip :: (Unbox a, Unbox b) => Vector (a, b) -> (Vector a, Vector b) internal/unbox-tuple-instances:307:1: warning: [-Wredundant-constraints] • Redundant constraints: (Unbox a, Unbox b, Unbox c) • In the type signature for: unzip3 :: (Unbox a, Unbox b, Unbox c) => Vector (a, b, c) -> (Vector a, Vector b, Vector c) internal/unbox-tuple-instances:526:1: warning: [-Wredundant-constraints] • Redundant constraints: (Unbox a, Unbox b, Unbox c, Unbox d) • In the type signature for: unzip4 :: (Unbox a, Unbox b, Unbox c, Unbox d) => Vector (a, b, c, d) -> (Vector a, Vector b, Vector c, Vector d) internal/unbox-tuple-instances:803:1: warning: [-Wredundant-constraints] • Redundant constraints: (Unbox a, Unbox b, Unbox c, Unbox d, Unbox e) • In the type signature for: unzip5 :: (Unbox a, Unbox b, Unbox c, Unbox d, Unbox e) => Vector (a, b, c, d, e) -> (Vector a, Vector b, Vector c, Vector d, Vector e) internal/unbox-tuple-instances:1121:1: warning: [-Wredundant-constraints] • Redundant constraints: (Unbox a, Unbox b, Unbox c, Unbox d, Unbox e, Unbox f) • In the type signature for: unzip6 :: (Unbox a, Unbox b, Unbox c, Unbox d, Unbox e, Unbox f) => Vector (a, b, c, d, e, f) -> (Vector a, Vector b, Vector c, Vector d, Vector e, Vector f) internal/unbox-tuple-instances:117:1: warning: [-Wredundant-constraints] • Redundant constraints: (Unbox a, Unbox b) • In the type signature for: unzip :: (Unbox a, Unbox b) => MVector s (a, b) -> (MVector s a, MVector s b) internal/unbox-tuple-instances:282:1: warning: [-Wredundant-constraints] • Redundant constraints: (Unbox a, Unbox b, Unbox c) • In the type signature for: unzip3 :: (Unbox a, Unbox b, Unbox c) => MVector s (a, b, c) -> (MVector s a, MVector s b, MVector s c) internal/unbox-tuple-instances:493:1: warning: [-Wredundant-constraints] • Redundant constraints: (Unbox a, Unbox b, Unbox c, Unbox d) • In the type signature for: unzip4 :: (Unbox a, Unbox b, Unbox c, Unbox d) => MVector s (a, b, c, d) -> (MVector s a, MVector s b, MVector s c, MVector s d) internal/unbox-tuple-instances:756:1: warning: [-Wredundant-constraints] • Redundant constraints: (Unbox a, Unbox b, Unbox c, Unbox d, Unbox e) • In the type signature for: unzip5 :: (Unbox a, Unbox b, Unbox c, Unbox d, Unbox e) => MVector s (a, b, c, d, e) -> (MVector s a, MVector s b, MVector s c, MVector s d, MVector s e) internal/unbox-tuple-instances:1066:1: warning: [-Wredundant-constraints] • Redundant constraints: (Unbox a, Unbox b, Unbox c, Unbox d, Unbox e, Unbox f) • In the type signature for: unzip6 :: (Unbox a, Unbox b, Unbox c, Unbox d, Unbox e, Unbox f) => MVector s (a, b, c, d, e, f) -> (MVector s a, MVector s b, MVector s c, MVector s d, MVector s e, MVector s f) tation for: IOVector (Data/Vector/Primitive/Mutable.hs:76) STVector (Data/Vector/Primitive/Mutable.hs:77) init (Data/Vector/Primitive/Mutable.hs:164) tail (Data/Vector/Primitive/Mutable.hs:168) take (Data/Vector/Primitive/Mutable.hs:152) drop (Data/Vector/Primitive/Mutable.hs:156) splitAt (Data/Vector/Primitive/Mutable.hs:160) unsafeInit (Data/Vector/Primitive/Mutable.hs:190) unsafeTail (Data/Vector/Primitive/Mutable.hs:194) unsafeTake (Data/Vector/Primitive/Mutable.hs:182) unsafeDrop (Data/Vector/Primitive/Mutable.hs:186) 97% (185 /191) in 'Data.Vector.Primitive' Missing documentation for: zipWith4 (Data/Vector/Primitive.hs:802) zipWith5 (Data/Vector/Primitive.hs:808) zipWith6 (Data/Vector/Primitive.hs:816) izipWith4 (Data/Vector/Primitive.hs:838) izipWith5 (Data/Vector/Primitive.hs:844) izipWith6 (Data/Vector/Primitive.hs:852) 82% ( 49 / 60) in 'Data.Vector.Storable.Mutable' Missing documentation for: IOVector (Data/Vector/Storable/Mutable.hs:96) STVector (Data/Vector/Storable/Mutable.hs:97) init (Data/Vector/Storable/Mutable.hs:246) tail (Data/Vector/Storable/Mutable.hs:250) take (Data/Vector/Storable/Mutable.hs:234) drop (Data/Vector/Storable/Mutable.hs:238) splitAt (Data/Vector/Storable/Mutable.hs:242) unsafeInit (Data/Vector/Storable/Mutable.hs:272) unsafeTail (Data/Vector/Storable/Mutable.hs:276) unsafeTake (Data/Vector/Storable/Mutable.hs:264) unsafeDrop (Data/Vector/Storable/Mutable.hs:268) 97% (194 /200) in 'Data.Vector.Storable' Missing documentation for: zipWith4 (Data/Vector/Storable.hs:812) zipWith5 (Data/Vector/Storable.hs:818) zipWith6 (Data/Vector/Storable.hs:826) izipWith4 (Data/Vector/Storable.hs:848) izipWith5 (Data/Vector/Storable.hs:854) izipWith6 (Data/Vector/Storable.hs:862) 17% ( 1 / 6) in 'Data.Vector.Unboxed.Base' Missing documentation for: MVector (Data/Vector/Unboxed/Base.hs:55) IOVector (Data/Vector/Unboxed/Base.hs:58) STVector (Data/Vector/Unboxed/Base.hs:59) Vector (Data/Vector/Unboxed/Base.hs:56) Unbox (Data/Vector/Unboxed/Base.hs:63) 96% (209 /218) in 'Data.Vector.Unboxed' Missing documentation for: Vector (Data/Vector/Unboxed/Base.hs:56) MVector (Data/Vector/Unboxed/Base.hs:55) Unbox (Data/Vector/Unboxed/Base.hs:63) zipWith4 (Data/Vector/Unboxed.hs:849) zipWith5 (Data/Vector/Unboxed.hs:855) zipWith6 (Data/Vector/Unboxed.hs:862) izipWith4 (Data/Vector/Unboxed.hs:883) izipWith5 (Data/Vector/Unboxed.hs:889) izipWith6 (Data/Vector/Unboxed.hs:896) 79% ( 50 / 63) in 'Data.Vector.Unboxed.Mutable' Missing documentation for: MVector (Data/Vector/Unboxed/Base.hs:55) IOVector (Data/Vector/Unboxed/Base.hs:58) STVector (Data/Vector/Unboxed/Base.hs:59) Unbox (Data/Vector/Unboxed/Base.hs:63) init (Data/Vector/Unboxed/Mutable.hs:102) tail (Data/Vector/Unboxed/Mutable.hs:106) take (Data/Vector/Unboxed/Mutable.hs:90) drop (Data/Vector/Unboxed/Mutable.hs:94) splitAt (Data/Vector/Unboxed/Mutable.hs:98) unsafeInit (Data/Vector/Unboxed/Mutable.hs:128) unsafeTail (Data/Vector/Unboxed/Mutable.hs:132) unsafeTake (Data/Vector/Unboxed/Mutable.hs:120) unsafeDrop (Data/Vector/Unboxed/Mutable.hs:124) 78% ( 40 / 51) in 'Data.Vector.Mutable' Missing documentation for: IOVector (Data/Vector/Mutable.hs:70) STVector (Data/Vector/Mutable.hs:71) init (Data/Vector/Mutable.hs:222) tail (Data/Vector/Mutable.hs:226) take (Data/Vector/Mutable.hs:210) drop (Data/Vector/Mutable.hs:214) splitAt (Data/Vector/Mutable.hs:219) unsafeInit (Data/Vector/Mutable.hs:247) unsafeTail (Data/Vector/Mutable.hs:251) unsafeTake (Data/Vector/Mutable.hs:239) unsafeDrop (Data/Vector/Mutable.hs:243) 94% (207 /220) in 'Data.Vector' Missing documentation for: zipWith4 (Data/Vector.hs:944) zipWith5 (Data/Vector.hs:949) zipWith6 (Data/Vector.hs:955) izipWith4 (Data/Vector.hs:973) izipWith5 (Data/Vector.hs:978) izipWith6 (Data/Vector.hs:984) zip4 (Data/Vector.hs:1000) zip5 (Data/Vector.hs:1005) zip6 (Data/Vector.hs:1010) unzip3 (Data/Vector.hs:1023) unzip4 (Data/Vector.hs:1027) unzip5 (Data/Vector.hs:1031) unzip6 (Data/Vector.hs:1036) Warning: Data.Vector.Unboxed: could not find link destinations for: D:R:VectorBool0 V_Bool D:R:VectorChar0 V_Char D:R:VectorDouble0 V_Double D:R:VectorFloat0 V_Float D:R:VectorInt0 V_Int D:R:VectorInt80 V_Int8 D:R:VectorInt160 V_Int16 D:R:VectorInt320 V_Int32 D:R:VectorInt640 V_Int64 D:R:VectorWord0 V_Word D:R:VectorWord80 V_Word8 D:R:VectorWord160 V_Word16 D:R:VectorWord320 V_Word32 D:R:VectorWord640 V_Word64 D:R:Vector()0 V_Unit D:R:VectorComplex0 V_Complex D:R:Vector(,)0 V_2 D:R:Vector(,,)0 V_3 D:R:Vector(,,,)0 V_4 D:R:Vector(,,,,)0 V_5 D:R:Vector(,,,,,)0 V_6 D:R:MVectorsBool0 MV_Bool D:R:MVectorsChar0 MV_Char D:R:MVectorsDouble0 MV_Double D:R:MVectorsFloat0 MV_Float D:R:MVectorsWord640 MV_Word64 D:R:MVectorsWord320 MV_Word32 D:R:MVectorsWord160 MV_Word16 D:R:MVectorsWord80 MV_Word8 D:R:MVectorsWord0 MV_Word D:R:MVectorsInt640 MV_Int64 D:R:MVectorsInt320 MV_Int32 D:R:MVectorsInt160 MV_Int16 D:R:MVectorsInt80 MV_Int8 D:R:MVectorsInt0 MV_Int D:R:MVectors()0 MV_Unit D:R:MVectorsComplex0 MV_Complex D:R:MVectors(,)0 MV_2 D:R:MVectors(,,)0 MV_3 D:R:MVectors(,,,)0 MV_4 D:R:MVectors(,,,,)0 MV_5 D:R:MVectors(,,,,,)0 MV_6 Warning: Data.Vector.Unboxed.Mutable: could not find link destinations for: D:R:MVectorsBool0 MV_Bool D:R:MVectorsChar0 MV_Char D:R:MVectorsDouble0 MV_Double D:R:MVectorsFloat0 MV_Float D:R:MVectorsWord640 MV_Word64 D:R:MVectorsWord320 MV_Word32 D:R:MVectorsWord160 MV_Word16 D:R:MVectorsWord80 MV_Word8 D:R:MVectorsWord0 MV_Word D:R:MVectorsInt640 MV_Int64 D:R:MVectorsInt320 MV_Int32 D:R:MVectorsInt160 MV_Int16 D:R:MVectorsInt80 MV_Int8 D:R:MVectorsInt0 MV_Int D:R:MVectors()0 MV_Unit D:R:MVectorsComplex0 MV_Complex D:R:MVectors(,)0 MV_2 D:R:MVectors(,,)0 MV_3 D:R:MVectors(,,,)0 MV_4 D:R:MVectors(,,,,)0 MV_5 D:R:MVectors(,,,,,)0 MV_6 Documentation created: dist/doc/html/vector/index.html, dist/doc/html/vector/vector.txt Creating package registration file: /tmp/pkgConf-vector-0.11.05529102531671294892.0 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/vector-0.11.0.0-6uB77qGCxR6GPLxI2sqsX3 Registering vector-0.11.0.0... cabal: Leaving directory '/tmp/cabal-tmp-11985/vector-0.11.0.0' Installed vector-0.11.0.0 cabal: Entering directory '/tmp/cabal-tmp-11985/th-expand-syns-0.4.0.0' Configuring th-expand-syns-0.4.0.0... Building th-expand-syns-0.4.0.0... Preprocessing library th-expand-syns-0.4.0.0... [1 of 1] Compiling Language.Haskell.TH.ExpandSyns ( Language/Haskell/TH/ExpandSyns.hs, dist/build/Language/Haskell/TH/ExpandSyns.o ) Running Haddock for th-expand-syns-0.4.0.0... Running hscolour for th-expand-syns-0.4.0.0... Preprocessing library th-expand-syns-0.4.0.0... Preprocessing library th-expand-syns-0.4.0.0... Haddock coverage: 88% ( 7 / 8) in 'Language.Haskell.TH.ExpandSyns' Missing documentation for: Module header Documentation created: dist/doc/html/th-expand-syns/index.html, dist/doc/html/th-expand-syns/th-expand-syns.txt Creating package registration file: /tmp/pkgConf-th-expand-syns-0.4.0952062949577721120.0 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/th-expand-syns-0.4.0.0-17E23YHXhdiKlp4Dakpd4y Registering th-expand-syns-0.4.0.0... cabal: Leaving directory '/tmp/cabal-tmp-11985/th-expand-syns-0.4.0.0' Installed th-expand-syns-0.4.0.0 cabal: Entering directory '/tmp/cabal-tmp-11985/unpack-funcs-0.3.1' Configuring unpack-funcs-0.3.1... Building unpack-funcs-0.3.1... Preprocessing library unpack-funcs-0.3.1... [1 of 3] Compiling Control.Monad.Unpack.Class ( Control/Monad/Unpack/Class.hs, dist/build/Control/Monad/Unpack/Class.o ) Control/Monad/Unpack/Class.hs:4:1: warning: [-Wunused-imports] The import of ‘Control.Applicative’ is redundant except perhaps to import instances from ‘Control.Applicative’ To import instances alone, use: import Control.Applicative() Control/Monad/Unpack/Class.hs:17:1: warning: [-Wredundant-constraints] • Redundant constraint: Monad m • In the type signature for: local :: (Monad m, Unpackable arg) => (arg -> arg) -> UnpackedReaderT arg m a -> UnpackedReaderT arg m a Control/Monad/Unpack/Class.hs:29:7: warning: [-Wtabs] Tab character found here, and in one further location. Please use spaces instead. [2 of 3] Compiling Control.Monad.Unpack.TH ( Control/Monad/Unpack/TH.hs, dist/build/Control/Monad/Unpack/TH.o ) Control/Monad/Unpack/TH.hs:20:5: error: • The constructor ‘DataD’ should have 6 arguments, but has been given 5 • In the pattern: DataD cxt _ tyvars [con] _ In a case alternative: DataD cxt _ tyvars [con] _ -> unpacker1 cxt tycon tyvars con In a stmt of a 'do' block: case dec of { DataD cxt _ tyvars [con] _ -> unpacker1 cxt tycon tyvars con dec -> error ("Cannot unpack: " ++ show dec) } Control/Monad/Unpack/TH.hs:28:5: error: • The constructor ‘DataD’ should have 6 arguments, but has been given 5 • In the pattern: DataD cxt _ tyvars [con] _ In a case alternative: DataD cxt _ tyvars [con] _ -> unpacker cxt tycon tyvars con In a stmt of a 'do' block: case dec of { DataD cxt _ tyvars [con] _ -> unpacker cxt tycon tyvars con NewtypeD cxt _ tyvars con _ -> unpacker cxt tycon tyvars con dec -> error ("Cannot unpack: " ++ show dec) } Control/Monad/Unpack/TH.hs:37:5: error: • The constructor ‘DataD’ should have 6 arguments, but has been given 5 • In the pattern: DataD cxt _ tyvars _ _ In a case alternative: DataD cxt _ tyvars _ _ -> noUnpacker cxt tycon tyvars In a stmt of a 'do' block: case dec of { DataD cxt _ tyvars _ _ -> noUnpacker cxt tycon tyvars NewtypeD cxt _ tyvars _ _ -> noUnpacker cxt tycon tyvars dec -> error ("Cannot unpack: " ++ show dec) } Control/Monad/Unpack/TH.hs:54:13: error: • Data constructor not in scope: ClassP :: Name -> [Type] -> Pred • Perhaps you meant one of these: ‘ClassD’ (imported from Language.Haskell.TH), ‘ClassI’ (imported from Language.Haskell.TH), variable ‘classP’ (imported from Language.Haskell.TH) Control/Monad/Unpack/TH.hs:57:34: error: • Data constructor not in scope: NotStrict :: Bang • Perhaps you meant variable ‘notStrict’ (imported from Language.Haskell.TH) Control/Monad/Unpack/TH.hs:67:18: error: Data constructor not in scope: InlineSpec :: Bool -> Bool -> Maybe a0 -> t Control/Monad/Unpack/TH.hs:69:22: error: • Couldn't match expected type ‘Pragma’ with actual type ‘RuleMatch -> Phases -> Pragma’ • Probable cause: ‘InlineP’ is applied to too few arguments In the second argument of ‘($)’, namely ‘InlineP (mkName "runUnpackedReaderT") inline’ In the expression: PragmaD $ InlineP (mkName "runUnpackedReaderT") inline In the expression: [PragmaD $ InlineP (mkName "runUnpackedReaderT") inline, PragmaD $ InlineP (mkName "unpackedReaderT") inline] Control/Monad/Unpack/TH.hs:71:21: error: • Couldn't match expected type ‘Pragma’ with actual type ‘RuleMatch -> Phases -> Pragma’ • Probable cause: ‘InlineP’ is applied to too few arguments In the second argument of ‘($)’, namely ‘InlineP (mkName "unpackedReaderT") inline’ In the expression: PragmaD $ InlineP (mkName "unpackedReaderT") inline In the expression: [PragmaD $ InlineP (mkName "runUnpackedReaderT") inline, PragmaD $ InlineP (mkName "unpackedReaderT") inline] Control/Monad/Unpack/TH.hs:80:14: error: • Couldn't match expected type ‘Maybe Kind’ with actual type ‘Con’ • In the fourth argument of ‘NewtypeInstD’, namely ‘(NormalC funcName [(NotStrict, foldr (\ argTy result -> ArrowT `AppT` argTy `AppT` result) (VarT mName `AppT` VarT monadArgName) conArgs)])’ In the expression: NewtypeInstD [] ''UnpackedReaderT [theTy, VarT mName, VarT monadArgName] (NormalC funcName [(NotStrict, foldr (\ argTy result -> ArrowT `AppT` argTy `AppT` result) (VarT mName `AppT` VarT monadArgName) conArgs)]) [] In the first argument of ‘(++)’, namely ‘[NewtypeInstD [] ''UnpackedReaderT [theTy, VarT mName, ....] (NormalC funcName [(NotStrict, foldr (\ argTy result -> ArrowT `AppT` argTy `AppT` result) (VarT mName `AppT` VarT monadArgName) conArgs)]) []]’ Control/Monad/Unpack/TH.hs:80:33: error: • Data constructor not in scope: NotStrict :: Bang • Perhaps you meant variable ‘notStrict’ (imported from Language.Haskell.TH) Control/Monad/Unpack/TH.hs:81:68: error: • Couldn't match expected type ‘Con’ with actual type ‘[t0]’ • In the fifth argument of ‘NewtypeInstD’, namely ‘[]’ In the expression: NewtypeInstD [] ''UnpackedReaderT [theTy, VarT mName, VarT monadArgName] (NormalC funcName [(NotStrict, foldr (\ argTy result -> ArrowT `AppT` argTy `AppT` result) (VarT mName `AppT` VarT monadArgName) conArgs)]) [] In the first argument of ‘(++)’, namely ‘[NewtypeInstD [] ''UnpackedReaderT [theTy, VarT mName, ....] (NormalC funcName [(NotStrict, foldr (\ argTy result -> ArrowT `AppT` argTy `AppT` result) (VarT mName `AppT` VarT monadArgName) conArgs)]) []]’ Control/Monad/Unpack/TH.hs:81:75: error: • Couldn't match type ‘Dec’ with ‘Cxt -> Dec’ Expected type: [Cxt -> Dec] Actual type: [Dec] • In the second argument of ‘(++)’, namely ‘pragmas ++ [FunD 'runUnpackedReaderT [Clause [...] (NormalB (foldl AppE (VarE fName) (map VarE argNames))) []], FunD 'unpackedReaderT [Clause [...] (NormalB $ ConE funcName `AppE` LamE (map VarP argNames) (VarE fName `AppE` (foldl AppE (ConE conName) (map VarE argNames)))) []]]’ In the expression: [NewtypeInstD [] ''UnpackedReaderT [theTy, VarT mName, ....] (NormalC funcName [(NotStrict, foldr (\ argTy result -> ArrowT `AppT` argTy `AppT` result) (VarT mName `AppT` VarT monadArgName) conArgs)]) []] ++ pragmas ++ [FunD 'runUnpackedReaderT [Clause [...] (NormalB (foldl AppE (VarE fName) (map VarE argNames))) []], FunD 'unpackedReaderT [Clause [...] (NormalB $ ConE funcName `AppE` LamE (map VarP argNames) (VarE fName `AppE` (foldl AppE (ConE conName) (map VarE argNames)))) []]] In an equation for ‘decs’: decs = [NewtypeInstD [] ''UnpackedReaderT [theTy, ....] (NormalC funcName [(NotStrict, foldr (\ argTy result -> ...) (VarT mName `AppT` VarT monadArgName) conArgs)]) []] ++ pragmas ++ [FunD 'runUnpackedReaderT [Clause ... (NormalB (foldl AppE (VarE fName) (map VarE argNames))) ...], FunD 'unpackedReaderT [Clause ... (NormalB $ ConE funcName `AppE` LamE (map VarP argNames) (VarE fName `AppE` (foldl AppE (ConE conName) (map VarE argNames)))) ...]] Control/Monad/Unpack/TH.hs:88:5: error: • Couldn't match type ‘[Dec] -> Dec’ with ‘Dec’ Expected type: Q [Dec] Actual type: Q [[Dec] -> Dec] • In a stmt of a 'do' block: return [InstanceD cxt (ConT ''Unpackable `AppT` theTy) decs] In the expression: do { argNames <- replicateM (length conArgs) (newName "arg"); let theTy = foldl (\ t0 arg -> ...) (ConT tyCon) (map (VarT . tyVarBndrName) tyArgs); let inline = InlineSpec True False Nothing; let pragmas = ...; .... } In a case alternative: (conName, conArgs) -> do { argNames <- replicateM (length conArgs) (newName "arg"); let theTy = ...; let inline = ...; .... } Control/Monad/Unpack/TH.hs:88:23: error: • Couldn't match type ‘[Pred]’ with ‘Maybe Overlap’ Expected type: Maybe Overlap Actual type: Cxt • In the first argument of ‘InstanceD’, namely ‘cxt’ In the expression: InstanceD cxt (ConT ''Unpackable `AppT` theTy) decs In the first argument of ‘return’, namely ‘[InstanceD cxt (ConT ''Unpackable `AppT` theTy) decs]’ Control/Monad/Unpack/TH.hs:88:28: error: • Couldn't match type ‘Type’ with ‘[Pred]’ Expected type: Cxt Actual type: Type • In the second argument of ‘InstanceD’, namely ‘(ConT ''Unpackable `AppT` theTy)’ In the expression: InstanceD cxt (ConT ''Unpackable `AppT` theTy) decs In the first argument of ‘return’, namely ‘[InstanceD cxt (ConT ''Unpackable `AppT` theTy) decs]’ Control/Monad/Unpack/TH.hs:88:60: error: • Couldn't match expected type ‘Type’ with actual type ‘[Cxt -> Dec]’ • In the third argument of ‘InstanceD’, namely ‘decs’ In the expression: InstanceD cxt (ConT ''Unpackable `AppT` theTy) decs In the first argument of ‘return’, namely ‘[InstanceD cxt (ConT ''Unpackable `AppT` theTy) decs]’ Control/Monad/Unpack/TH.hs:95:18: error: Data constructor not in scope: InlineSpec :: Bool -> Bool -> Maybe a1 -> t Control/Monad/Unpack/TH.hs:97:22: error: • Couldn't match expected type ‘Pragma’ with actual type ‘RuleMatch -> Phases -> Pragma’ • Probable cause: ‘InlineP’ is applied to too few arguments In the second argument of ‘($)’, namely ‘InlineP (mkName "runUnpackedReaderT") inline’ In the expression: PragmaD $ InlineP (mkName "runUnpackedReaderT") inline In the expression: [PragmaD $ InlineP (mkName "runUnpackedReaderT") inline, PragmaD $ InlineP (mkName "unpackedReaderT") inline] Control/Monad/Unpack/TH.hs:99:21: error: • Couldn't match expected type ‘Pragma’ with actual type ‘RuleMatch -> Phases -> Pragma’ • Probable cause: ‘InlineP’ is applied to too few arguments In the second argument of ‘($)’, namely ‘InlineP (mkName "unpackedReaderT") inline’ In the expression: PragmaD $ InlineP (mkName "unpackedReaderT") inline In the expression: [PragmaD $ InlineP (mkName "runUnpackedReaderT") inline, PragmaD $ InlineP (mkName "unpackedReaderT") inline] Control/Monad/Unpack/TH.hs:110:14: error: • Couldn't match expected type ‘Maybe Kind’ with actual type ‘Con’ • In the fourth argument of ‘NewtypeInstD’, namely ‘(NormalC funcName [(NotStrict, monadStack `AppT` VarT monadArgName)])’ In the expression: NewtypeInstD [] ''UnpackedReaderT [theTy, VarT mName, VarT monadArgName] (NormalC funcName [(NotStrict, monadStack `AppT` VarT monadArgName)]) [] In the first argument of ‘(++)’, namely ‘[NewtypeInstD [] ''UnpackedReaderT [theTy, VarT mName, ....] (NormalC funcName [(NotStrict, monadStack `AppT` VarT monadArgName)]) []]’ Control/Monad/Unpack/TH.hs:110:33: error: • Data constructor not in scope: NotStrict :: Bang • Perhaps you meant variable ‘notStrict’ (imported from Language.Haskell.TH) Control/Monad/Unpack/TH.hs:110:83: error: • Couldn't match expected type ‘Con’ with actual type ‘[t1]’ • In the fifth argument of ‘NewtypeInstD’, namely ‘[]’ In the expression: NewtypeInstD [] ''UnpackedReaderT [theTy, VarT mName, VarT monadArgName] (NormalC funcName [(NotStrict, monadStack `AppT` VarT monadArgName)]) [] In the first argument of ‘(++)’, namely ‘[NewtypeInstD [] ''UnpackedReaderT [theTy, VarT mName, ....] (NormalC funcName [(NotStrict, monadStack `AppT` VarT monadArgName)]) []]’ Control/Monad/Unpack/TH.hs:110:90: error: • Couldn't match type ‘Dec’ with ‘Cxt -> Dec’ Expected type: [Cxt -> Dec] Actual type: [Dec] • In the second argument of ‘(++)’, namely ‘pragmas ++ [FunD 'runUnpackedReaderT [Clause [...] (NormalB (foldl (\ func arg -> InfixE (Just func) (VarE ...) (Just arg)) (VarE fName) (map VarE argNames))) []], FunD 'unpackedReaderT [Clause [...] (NormalB $ ConE funcName `AppE` foldr (\ argName func -> VarE ... `AppE` LamE ... func) (VarE fName `AppE` (foldl AppE (ConE conName) (map VarE argNames))) argNames) []]]’ In the expression: [NewtypeInstD [] ''UnpackedReaderT [theTy, VarT mName, ....] (NormalC funcName [(NotStrict, monadStack `AppT` VarT monadArgName)]) []] ++ pragmas ++ [FunD 'runUnpackedReaderT [Clause [...] (NormalB (foldl (\ func arg -> InfixE (Just func) (VarE ...) (Just arg)) (VarE fName) (map VarE argNames))) []], FunD 'unpackedReaderT [Clause [...] (NormalB $ ConE funcName `AppE` foldr (\ argName func -> VarE ... `AppE` LamE ... func) (VarE fName `AppE` (foldl AppE (ConE conName) (map VarE argNames))) argNames) []]] In an equation for ‘decs’: decs = [NewtypeInstD [] ''UnpackedReaderT [theTy, ....] (NormalC funcName [(NotStrict, monadStack `AppT` VarT monadArgName)]) []] ++ pragmas ++ [FunD 'runUnpackedReaderT [Clause ... (NormalB (foldl (\ func arg -> ...) (VarE fName) (map VarE argNames))) ...], FunD 'unpackedReaderT [Clause ... (NormalB $ ConE funcName `AppE` foldr (\ argName func -> ...) (VarE fName `AppE` (foldl AppE (ConE conName) (map VarE argNames))) argNames) ...]] Control/Monad/Unpack/TH.hs:122:5: error: • Couldn't match type ‘[Dec] -> Dec’ with ‘Dec’ Expected type: Q [Dec] Actual type: Q [[Dec] -> Dec] • In a stmt of a 'do' block: return [InstanceD cxt (ConT ''Unpackable `AppT` theTy) decs] In the expression: do { argNames <- replicateM (length conArgs) (newName "arg"); let theTy = foldl (\ t0 arg -> ...) (ConT tyCon) (map (VarT . tyVarBndrName) tyArgs); let inline = InlineSpec True False Nothing; let pragmas = ...; .... } In a case alternative: (conName, conArgs) -> do { argNames <- replicateM (length conArgs) (newName "arg"); let theTy = ...; let inline = ...; .... } Control/Monad/Unpack/TH.hs:122:23: error: • Couldn't match type ‘[Pred]’ with ‘Maybe Overlap’ Expected type: Maybe Overlap Actual type: Cxt • In the first argument of ‘InstanceD’, namely ‘cxt’ In the expression: InstanceD cxt (ConT ''Unpackable `AppT` theTy) decs In the first argument of ‘return’, namely ‘[InstanceD cxt (ConT ''Unpackable `AppT` theTy) decs]’ Control/Monad/Unpack/TH.hs:122:28: error: • Couldn't match type ‘Type’ with ‘[Pred]’ Expected type: Cxt Actual type: Type • In the second argument of ‘InstanceD’, namely ‘(ConT ''Unpackable `AppT` theTy)’ In the expression: InstanceD cxt (ConT ''Unpackable `AppT` theTy) decs In the first argument of ‘return’, namely ‘[InstanceD cxt (ConT ''Unpackable `AppT` theTy) decs]’ Control/Monad/Unpack/TH.hs:122:60: error: • Couldn't match expected type ‘Type’ with actual type ‘[Cxt -> Dec]’ • In the third argument of ‘InstanceD’, namely ‘decs’ In the expression: InstanceD cxt (ConT ''Unpackable `AppT` theTy) decs In the first argument of ‘return’, namely ‘[InstanceD cxt (ConT ''Unpackable `AppT` theTy) decs]’ Control/Monad/Unpack/TH.hs:128:18: error: Data constructor not in scope: InlineSpec :: Bool -> Bool -> Maybe a2 -> t Control/Monad/Unpack/TH.hs:130:22: error: • Couldn't match expected type ‘Pragma’ with actual type ‘RuleMatch -> Phases -> Pragma’ • Probable cause: ‘InlineP’ is applied to too few arguments In the second argument of ‘($)’, namely ‘InlineP (mkName "runUnpackedReaderT") inline’ In the expression: PragmaD $ InlineP (mkName "runUnpackedReaderT") inline In the expression: [PragmaD $ InlineP (mkName "runUnpackedReaderT") inline, PragmaD $ InlineP (mkName "unpackedReaderT") inline] Control/Monad/Unpack/TH.hs:132:21: error: • Couldn't match expected type ‘Pragma’ with actual type ‘RuleMatch -> Phases -> Pragma’ • Probable cause: ‘InlineP’ is applied to too few arguments In the second argument of ‘($)’, namely ‘InlineP (mkName "unpackedReaderT") inline’ In the expression: PragmaD $ InlineP (mkName "unpackedReaderT") inline In the expression: [PragmaD $ InlineP (mkName "runUnpackedReaderT") inline, PragmaD $ InlineP (mkName "unpackedReaderT") inline] Control/Monad/Unpack/TH.hs:141:14: error: • Couldn't match expected type ‘Maybe Kind’ with actual type ‘Con’ • In the fourth argument of ‘NewtypeInstD’, namely ‘(NormalC funcName [(NotStrict, ArrowT `AppT` theTy `AppT` (VarT mName `AppT` VarT monadArgName))])’ In the expression: NewtypeInstD [] ''UnpackedReaderT [theTy, VarT mName, VarT monadArgName] (NormalC funcName [(NotStrict, ArrowT `AppT` theTy `AppT` (VarT mName `AppT` VarT monadArgName))]) [] In the first argument of ‘(++)’, namely ‘[NewtypeInstD [] ''UnpackedReaderT [theTy, VarT mName, ....] (NormalC funcName [(NotStrict, ArrowT `AppT` theTy `AppT` (VarT mName `AppT` VarT monadArgName))]) []]’ Control/Monad/Unpack/TH.hs:141:33: error: • Data constructor not in scope: NotStrict :: Bang • Perhaps you meant variable ‘notStrict’ (imported from Language.Haskell.TH) Control/Monad/Unpack/TH.hs:141:112: error: • Couldn't match expected type ‘Con’ with actual type ‘[t2]’ • In the fifth argument of ‘NewtypeInstD’, namely ‘[]’ In the expression: NewtypeInstD [] ''UnpackedReaderT [theTy, VarT mName, VarT monadArgName] (NormalC funcName [(NotStrict, ArrowT `AppT` theTy `AppT` (VarT mName `AppT` VarT monadArgName))]) [] In the first argument of ‘(++)’, namely ‘[NewtypeInstD [] ''UnpackedReaderT [theTy, VarT mName, ....] (NormalC funcName [(NotStrict, ArrowT `AppT` theTy `AppT` (VarT mName `AppT` VarT monadArgName))]) []]’ Control/Monad/Unpack/TH.hs:141:119: error: • Couldn't match type ‘Dec’ with ‘Cxt -> Dec’ Expected type: [Cxt -> Dec] Actual type: [Dec] • In the second argument of ‘(++)’, namely ‘pragmas ++ [FunD 'runUnpackedReaderT [Clause [...] (NormalB (VarE fName `AppE` VarE argName)) []], FunD 'unpackedReaderT [Clause [...] (NormalB $ ConE funcName `AppE` VarE fName) []]]’ In the expression: [NewtypeInstD [] ''UnpackedReaderT [theTy, VarT mName, ....] (NormalC funcName [(NotStrict, ArrowT `AppT` theTy `AppT` (VarT mName `AppT` VarT monadArgName))]) []] ++ pragmas ++ [FunD 'runUnpackedReaderT [Clause [...] (NormalB (VarE fName `AppE` VarE argName)) []], FunD 'unpackedReaderT [Clause [...] (NormalB $ ConE funcName `AppE` VarE fName) []]] In an equation for ‘decs’: decs = [NewtypeInstD [] ''UnpackedReaderT [theTy, ....] (NormalC funcName [(NotStrict, ArrowT `AppT` theTy `AppT` (VarT mName `AppT` VarT monadArgName))]) []] ++ pragmas ++ [FunD 'runUnpackedReaderT [Clause ... (NormalB (VarE fName `AppE` VarE argName)) ...], FunD 'unpackedReaderT [Clause ... (NormalB $ ConE funcName `AppE` VarE fName) ...]] Control/Monad/Unpack/TH.hs:147:5: error: • Couldn't match type ‘[Dec] -> Dec’ with ‘Dec’ Expected type: Q [Dec] Actual type: Q [[Dec] -> Dec] • In a stmt of a 'do' block: return [InstanceD cxt (ConT ''Unpackable `AppT` theTy) decs] In the expression: do { argName <- newName "arg"; let theTy = foldl (\ t0 arg -> ...) (ConT tyCon) (map (VarT . tyVarBndrName) tyArgs); let inline = InlineSpec True False Nothing; let pragmas = ...; .... } In an equation for ‘noUnpacker’: noUnpacker cxt tyCon tyArgs = do { argName <- newName "arg"; let theTy = ...; let inline = ...; .... } Control/Monad/Unpack/TH.hs:147:23: error: • Couldn't match type ‘[Pred]’ with ‘Maybe Overlap’ Expected type: Maybe Overlap Actual type: Cxt • In the first argument of ‘InstanceD’, namely ‘cxt’ In the expression: InstanceD cxt (ConT ''Unpackable `AppT` theTy) decs In the first argument of ‘return’, namely ‘[InstanceD cxt (ConT ''Unpackable `AppT` theTy) decs]’ Control/Monad/Unpack/TH.hs:147:28: error: • Couldn't match type ‘Type’ with ‘[Pred]’ Expected type: Cxt Actual type: Type • In the second argument of ‘InstanceD’, namely ‘(ConT ''Unpackable `AppT` theTy)’ In the expression: InstanceD cxt (ConT ''Unpackable `AppT` theTy) decs In the first argument of ‘return’, namely ‘[InstanceD cxt (ConT ''Unpackable `AppT` theTy) decs]’ Control/Monad/Unpack/TH.hs:147:60: error: • Couldn't match expected type ‘Type’ with actual type ‘[Cxt -> Dec]’ • In the third argument of ‘InstanceD’, namely ‘decs’ In the expression: InstanceD cxt (ConT ''Unpackable `AppT` theTy) decs In the first argument of ‘return’, namely ‘[InstanceD cxt (ConT ''Unpackable `AppT` theTy) decs]’ cabal: Leaving directory '/tmp/cabal-tmp-11985/unpack-funcs-0.3.1' Failed to install unpack-funcs-0.3.1 cabal: Error: some packages failed to install: TrieMap-4.1.0 depends on unpack-funcs-0.3.1 which failed to install. unpack-funcs-0.3.1 failed during the building phase. The exception was: ExitFailure 1