Resolving dependencies... Configuring HUnit-1.2.5.2... Building HUnit-1.2.5.2... Preprocessing library HUnit-1.2.5.2... [1 of 5] Compiling Test.HUnit.Terminal ( Test/HUnit/Terminal.hs, dist/build/Test/HUnit/Terminal.o ) [2 of 5] Compiling Test.HUnit.Lang ( Test/HUnit/Lang.hs, dist/build/Test/HUnit/Lang.o ) [3 of 5] Compiling Test.HUnit.Base ( Test/HUnit/Base.hs, dist/build/Test/HUnit/Base.o ) [4 of 5] Compiling Test.HUnit.Text ( Test/HUnit/Text.hs, dist/build/Test/HUnit/Text.o ) [5 of 5] Compiling Test.HUnit ( Test/HUnit.hs, dist/build/Test/HUnit.o ) In-place registering HUnit-1.2.5.2... Running Haddock for HUnit-1.2.5.2... Running hscolour for HUnit-1.2.5.2... Preprocessing library HUnit-1.2.5.2... Preprocessing library HUnit-1.2.5.2... Haddock coverage: 100% ( 2 / 2) in 'Test.HUnit.Terminal' 86% ( 6 / 7) in 'Test.HUnit.Lang' 100% ( 33 / 33) in 'Test.HUnit.Base' 100% ( 8 / 8) in 'Test.HUnit.Text' 100% ( 3 / 3) in 'Test.HUnit' Documentation created: dist/doc/html/HUnit/index.html, dist/doc/html/HUnit/HUnit.txt Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/HUnit-1.2.5.2 Registering HUnit-1.2.5.2... Installed HUnit-1.2.5.2 Configuring logict-0.5.0.2... Building logict-0.5.0.2... Preprocessing library logict-0.5.0.2... [1 of 2] Compiling Control.Monad.Logic.Class ( Control/Monad/Logic/Class.hs, dist/build/Control/Monad/Logic/Class.o ) [2 of 2] Compiling Control.Monad.Logic ( Control/Monad/Logic.hs, dist/build/Control/Monad/Logic.o ) In-place registering logict-0.5.0.2... Running Haddock for logict-0.5.0.2... Running hscolour for logict-0.5.0.2... Preprocessing library logict-0.5.0.2... Preprocessing library logict-0.5.0.2... Haddock coverage: 100% ( 4 / 4) in 'Control.Monad.Logic.Class' 100% ( 17 / 17) in 'Control.Monad.Logic' Documentation created: dist/doc/html/logict/index.html, dist/doc/html/logict/logict.txt Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/logict-0.5.0.2 Registering logict-0.5.0.2... Installed logict-0.5.0.2 Configuring primitive-0.5.3.0... Building primitive-0.5.3.0... Preprocessing library primitive-0.5.3.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 ) [ 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 ) Data/Primitive/Array.hs:32:1: Warning: The import of `Control.Monad.ST' is redundant except perhaps to import instances from `Control.Monad.ST' To import instances alone, use: import Control.Monad.ST() [ 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 ) In-place registering primitive-0.5.3.0... Running Haddock for primitive-0.5.3.0... Running hscolour for primitive-0.5.3.0... Preprocessing library primitive-0.5.3.0... Preprocessing library primitive-0.5.3.0... Data/Primitive/Array.hs:32:1: Warning: The import of `Control.Monad.ST' is redundant except perhaps to import instances from `Control.Monad.ST' To import instances alone, use: import Control.Monad.ST() Haddock coverage: 67% ( 2 / 3) in 'Data.Primitive.Internal.Compat' 3% ( 1 / 35) in 'Data.Primitive.MachDeps' 3% ( 1 / 29) in 'Data.Primitive.Internal.Operations' Warning: Control.Monad.Primitive: We do not support associated types in instances yet. These instances are affected: Control.Monad.Primitive.PrimMonad GHC.Types.IO, Control.Monad.Primitive.PrimMonad (GHC.ST.ST s) 71% ( 10 / 14) in 'Control.Monad.Primitive' 100% ( 3 / 3) in 'Data.Primitive.Types' 100% ( 15 / 15) in 'Data.Primitive.Array' 93% ( 27 / 29) in 'Data.Primitive.ByteArray' 100% ( 16 / 16) in 'Data.Primitive.Addr' 100% ( 7 / 7) in 'Data.Primitive' 100% ( 9 / 9) in 'Data.Primitive.MutVar' Documentation created: dist/doc/html/primitive/index.html, dist/doc/html/primitive/primitive.txt Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/primitive-0.5.3.0 Registering primitive-0.5.3.0... Installed primitive-0.5.3.0 Configuring regex-base-0.93.2... Building regex-base-0.93.2... Preprocessing library regex-base-0.93.2... [1 of 4] Compiling Text.Regex.Base.RegexLike ( Text/Regex/Base/RegexLike.hs, dist/build/Text/Regex/Base/RegexLike.o ) [2 of 4] Compiling Text.Regex.Base.Context ( Text/Regex/Base/Context.hs, dist/build/Text/Regex/Base/Context.o ) [3 of 4] Compiling Text.Regex.Base ( Text/Regex/Base.hs, dist/build/Text/Regex/Base.o ) [4 of 4] Compiling Text.Regex.Base.Impl ( Text/Regex/Base/Impl.hs, dist/build/Text/Regex/Base/Impl.o ) In-place registering regex-base-0.93.2... Running Haddock for regex-base-0.93.2... Running hscolour for regex-base-0.93.2... Preprocessing library regex-base-0.93.2... Preprocessing library regex-base-0.93.2... Haddock coverage: 94% ( 17 / 18) in 'Text.Regex.Base.RegexLike' 100% ( 1 / 1) in 'Text.Regex.Base.Context' 75% ( 3 / 4) in 'Text.Regex.Base' 33% ( 1 / 3) in 'Text.Regex.Base.Impl' Documentation created: dist/doc/html/regex-base/index.html, dist/doc/html/regex-base/regex-base.txt Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/regex-base-0.93.2 Registering regex-base-0.93.2... Installed regex-base-0.93.2 Configuring syb-0.4.1... Building syb-0.4.1... Preprocessing library syb-0.4.1... [ 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 ) [ 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 ) [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 ) In-place registering syb-0.4.1... Running Haddock for syb-0.4.1... Running hscolour for syb-0.4.1... Preprocessing library syb-0.4.1... Preprocessing library syb-0.4.1... 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' 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% ( 16 / 16) 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 Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/syb-0.4.1 Registering syb-0.4.1... Installed syb-0.4.1 Configuring stream-monad-0.4.0.2... Building stream-monad-0.4.0.2... Preprocessing library stream-monad-0.4.0.2... [1 of 1] Compiling Control.Monad.Stream ( src/Control/Monad/Stream.hs, dist/build/Control/Monad/Stream.o ) In-place registering stream-monad-0.4.0.2... Running Haddock for stream-monad-0.4.0.2... Running hscolour for stream-monad-0.4.0.2... Preprocessing library stream-monad-0.4.0.2... Preprocessing library stream-monad-0.4.0.2... Haddock coverage: 100% ( 5 / 5) in 'Control.Monad.Stream' Documentation created: dist/doc/html/stream-monad/index.html, dist/doc/html/stream-monad/stream-monad.txt Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/stream-monad-0.4.0.2 Registering stream-monad-0.4.0.2... Installed stream-monad-0.4.0.2 Configuring tf-random-0.5... Building tf-random-0.5... Preprocessing library tf-random-0.5... [1 of 4] Compiling System.Random.TF.Gen ( src/System/Random/TF/Gen.hs, dist/build/System/Random/TF/Gen.o ) [2 of 4] Compiling System.Random.TF.Init ( src/System/Random/TF/Init.hs, dist/build/System/Random/TF/Init.o ) [3 of 4] Compiling System.Random.TF.Instances ( src/System/Random/TF/Instances.hs, dist/build/System/Random/TF/Instances.o ) [4 of 4] Compiling System.Random.TF ( src/System/Random/TF.hs, dist/build/System/Random/TF.o ) In-place registering tf-random-0.5... Running Haddock for tf-random-0.5... Running hscolour for tf-random-0.5... Preprocessing library tf-random-0.5... Preprocessing library tf-random-0.5... cabal: dist/doc/html/tf-random/haddock-prolog1129.txt: invalid argument Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/tf-random-0.5 Registering tf-random-0.5... Installed tf-random-0.5 Configuring regex-tdfa-1.2.0... Building regex-tdfa-1.2.0... Preprocessing library regex-tdfa-1.2.0... [ 1 of 23] Compiling Text.Regex.TDFA.NewDFA.Uncons ( Text/Regex/TDFA/NewDFA/Uncons.hs, dist/build/Text/Regex/TDFA/NewDFA/Uncons.o ) [ 2 of 23] Compiling Text.Regex.TDFA.IntArrTrieSet ( Text/Regex/TDFA/IntArrTrieSet.hs, dist/build/Text/Regex/TDFA/IntArrTrieSet.o ) [ 3 of 23] Compiling Paths_regex_tdfa ( dist/build/autogen/Paths_regex_tdfa.hs, dist/build/Paths_regex_tdfa.o ) [ 4 of 23] Compiling Data.IntSet.EnumSet2 ( Data/IntSet/EnumSet2.hs, dist/build/Data/IntSet/EnumSet2.o ) [ 5 of 23] Compiling Data.IntMap.EnumMap2 ( Data/IntMap/EnumMap2.hs, dist/build/Data/IntMap/EnumMap2.o ) [ 6 of 23] Compiling Data.IntMap.CharMap2 ( Data/IntMap/CharMap2.hs, dist/build/Data/IntMap/CharMap2.o ) [ 7 of 23] Compiling Text.Regex.TDFA.Common ( Text/Regex/TDFA/Common.hs, dist/build/Text/Regex/TDFA/Common.o ) [ 8 of 23] Compiling Text.Regex.TDFA.Pattern ( Text/Regex/TDFA/Pattern.hs, dist/build/Text/Regex/TDFA/Pattern.o ) [ 9 of 23] Compiling Text.Regex.TDFA.ReadRegex ( Text/Regex/TDFA/ReadRegex.hs, dist/build/Text/Regex/TDFA/ReadRegex.o ) [10 of 23] Compiling Text.Regex.TDFA.CorePattern ( Text/Regex/TDFA/CorePattern.hs, dist/build/Text/Regex/TDFA/CorePattern.o ) [11 of 23] Compiling Text.Regex.TDFA.NewDFA.MakeTest ( Text/Regex/TDFA/NewDFA/MakeTest.hs, dist/build/Text/Regex/TDFA/NewDFA/MakeTest.o ) [12 of 23] Compiling Text.Regex.TDFA.NewDFA.Tester ( Text/Regex/TDFA/NewDFA/Tester.hs, dist/build/Text/Regex/TDFA/NewDFA/Tester.o ) [13 of 23] Compiling Text.Regex.TDFA.NewDFA.Engine_FA ( Text/Regex/TDFA/NewDFA/Engine_FA.hs, dist/build/Text/Regex/TDFA/NewDFA/Engine_FA.o ) [14 of 23] Compiling Text.Regex.TDFA.NewDFA.Engine_NC ( Text/Regex/TDFA/NewDFA/Engine_NC.hs, dist/build/Text/Regex/TDFA/NewDFA/Engine_NC.o ) [15 of 23] Compiling Text.Regex.TDFA.NewDFA.Engine_NC_FA ( Text/Regex/TDFA/NewDFA/Engine_NC_FA.hs, dist/build/Text/Regex/TDFA/NewDFA/Engine_NC_FA.o ) [16 of 23] Compiling Text.Regex.TDFA.NewDFA.Engine ( Text/Regex/TDFA/NewDFA/Engine.hs, dist/build/Text/Regex/TDFA/NewDFA/Engine.o ) [17 of 23] Compiling Text.Regex.TDFA.TNFA ( Text/Regex/TDFA/TNFA.hs, dist/build/Text/Regex/TDFA/TNFA.o ) [18 of 23] Compiling Text.Regex.TDFA.TDFA ( Text/Regex/TDFA/TDFA.hs, dist/build/Text/Regex/TDFA/TDFA.o ) [19 of 23] Compiling Text.Regex.TDFA.String ( Text/Regex/TDFA/String.hs, dist/build/Text/Regex/TDFA/String.o ) [20 of 23] Compiling Text.Regex.TDFA.ByteString ( Text/Regex/TDFA/ByteString.hs, dist/build/Text/Regex/TDFA/ByteString.o ) [21 of 23] Compiling Text.Regex.TDFA.ByteString.Lazy ( Text/Regex/TDFA/ByteString/Lazy.hs, dist/build/Text/Regex/TDFA/ByteString/Lazy.o ) [22 of 23] Compiling Text.Regex.TDFA.Sequence ( Text/Regex/TDFA/Sequence.hs, dist/build/Text/Regex/TDFA/Sequence.o ) [23 of 23] Compiling Text.Regex.TDFA ( Text/Regex/TDFA.hs, dist/build/Text/Regex/TDFA.o ) In-place registering regex-tdfa-1.2.0... Running Haddock for regex-tdfa-1.2.0... Running hscolour for regex-tdfa-1.2.0... Preprocessing library regex-tdfa-1.2.0... Preprocessing library regex-tdfa-1.2.0... Haddock coverage: 0% ( 0 / 2) in 'Text.Regex.TDFA.NewDFA.Uncons' 83% ( 5 / 6) in 'Text.Regex.TDFA.IntArrTrieSet' 0% ( 0 / 8) in 'Paths_regex_tdfa' 0% ( 0 / 31) in 'Data.IntSet.EnumSet2' 0% ( 0 / 68) in 'Data.IntMap.EnumMap2' 0% ( 0 / 69) in 'Data.IntMap.CharMap2' 59% ( 29 / 49) in 'Text.Regex.TDFA.Common' 67% ( 10 / 15) in 'Text.Regex.TDFA.Pattern' 100% ( 2 / 2) in 'Text.Regex.TDFA.ReadRegex' 23% ( 3 / 13) in 'Text.Regex.TDFA.CorePattern' 0% ( 0 / 3) in 'Text.Regex.TDFA.NewDFA.MakeTest' 50% ( 1 / 2) in 'Text.Regex.TDFA.NewDFA.Tester' 50% ( 1 / 2) in 'Text.Regex.TDFA.NewDFA.Engine_FA' 50% ( 1 / 2) in 'Text.Regex.TDFA.NewDFA.Engine_NC' 50% ( 1 / 2) in 'Text.Regex.TDFA.NewDFA.Engine_NC_FA' 50% ( 1 / 2) in 'Text.Regex.TDFA.NewDFA.Engine' 83% ( 5 / 6) in 'Text.Regex.TDFA.TNFA' 43% ( 3 / 7) in 'Text.Regex.TDFA.TDFA' 64% ( 7 / 11) in 'Text.Regex.TDFA.String' 43% ( 3 / 7) in 'Text.Regex.TDFA.ByteString' 43% ( 3 / 7) in 'Text.Regex.TDFA.ByteString.Lazy' 43% ( 3 / 7) in 'Text.Regex.TDFA.Sequence' 83% ( 5 / 6) in 'Text.Regex.TDFA' Documentation created: dist/doc/html/regex-tdfa/index.html, dist/doc/html/regex-tdfa/regex-tdfa.txt Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/regex-tdfa-1.2.0 Registering regex-tdfa-1.2.0... Installed regex-tdfa-1.2.0 Configuring QuickCheck-2.7.3... Building QuickCheck-2.7.3... Preprocessing library QuickCheck-2.7.3... [ 1 of 15] Compiling Test.QuickCheck.Random ( Test/QuickCheck/Random.hs, dist/build/Test/QuickCheck/Random.o ) [ 2 of 15] Compiling Test.QuickCheck.Exception ( Test/QuickCheck/Exception.hs, dist/build/Test/QuickCheck/Exception.o ) [ 3 of 15] Compiling Test.QuickCheck.Text ( Test/QuickCheck/Text.hs, dist/build/Test/QuickCheck/Text.o ) [ 4 of 15] Compiling Test.QuickCheck.State ( Test/QuickCheck/State.hs, dist/build/Test/QuickCheck/State.o ) [ 5 of 15] Compiling Test.QuickCheck.Gen ( Test/QuickCheck/Gen.hs, dist/build/Test/QuickCheck/Gen.o ) [ 6 of 15] Compiling Test.QuickCheck.Gen.Unsafe ( Test/QuickCheck/Gen/Unsafe.hs, dist/build/Test/QuickCheck/Gen/Unsafe.o ) [ 7 of 15] Compiling Test.QuickCheck.Arbitrary ( Test/QuickCheck/Arbitrary.hs, dist/build/Test/QuickCheck/Arbitrary.o ) [ 8 of 15] Compiling Test.QuickCheck.Modifiers ( Test/QuickCheck/Modifiers.hs, dist/build/Test/QuickCheck/Modifiers.o ) [ 9 of 15] Compiling Test.QuickCheck.Poly ( Test/QuickCheck/Poly.hs, dist/build/Test/QuickCheck/Poly.o ) [10 of 15] Compiling Test.QuickCheck.Function ( Test/QuickCheck/Function.hs, dist/build/Test/QuickCheck/Function.o ) [11 of 15] Compiling Test.QuickCheck.Property ( Test/QuickCheck/Property.hs, dist/build/Test/QuickCheck/Property.o ) [12 of 15] Compiling Test.QuickCheck.Test ( Test/QuickCheck/Test.hs, dist/build/Test/QuickCheck/Test.o ) [13 of 15] Compiling Test.QuickCheck.All ( Test/QuickCheck/All.hs, dist/build/Test/QuickCheck/All.o ) [14 of 15] Compiling Test.QuickCheck.Monadic ( Test/QuickCheck/Monadic.hs, dist/build/Test/QuickCheck/Monadic.o ) [15 of 15] Compiling Test.QuickCheck ( Test/QuickCheck.hs, dist/build/Test/QuickCheck.o ) In-place registering QuickCheck-2.7.3... Running Haddock for QuickCheck-2.7.3... Running hscolour for QuickCheck-2.7.3... Preprocessing library QuickCheck-2.7.3... Preprocessing library QuickCheck-2.7.3... Warning: The documentation for the following packages are not installed. No links will be generated to these packages: tf-random-0.5 Haddock coverage: 12% ( 2 / 17) in 'Test.QuickCheck.Random' 25% ( 2 / 8) in 'Test.QuickCheck.Exception' 6% ( 1 / 18) in 'Test.QuickCheck.Text' 100% ( 2 / 2) in 'Test.QuickCheck.State' 100% ( 22 / 22) in 'Test.QuickCheck.Gen' 80% ( 4 / 5) in 'Test.QuickCheck.Gen.Unsafe' 100% ( 30 / 30) in 'Test.QuickCheck.Arbitrary' 93% ( 14 / 15) in 'Test.QuickCheck.Modifiers' 14% ( 1 / 7) in 'Test.QuickCheck.Poly' 14% ( 1 / 7) in 'Test.QuickCheck.Function' 65% ( 40 / 62) in 'Test.QuickCheck.Property' 52% ( 14 / 27) in 'Test.QuickCheck.Test' 100% ( 9 / 9) in 'Test.QuickCheck.All' 7% ( 1 / 15) in 'Test.QuickCheck.Monadic' 98% (121 /123) in 'Test.QuickCheck' Warning: Test.QuickCheck.Random: could not find link destinations for: System.Random.TF.Gen.TFGen Warning: Test.QuickCheck.Text: could not find link destinations for: Test.QuickCheck.Text.Output Warning: Test.QuickCheck.Arbitrary: could not find link destinations for: Test.QuickCheck.Arbitrary.RecursivelyShrink Test.QuickCheck.Arbitrary.Subterms Warning: Test.QuickCheck: could not find link destinations for: Test.QuickCheck.Arbitrary.RecursivelyShrink Test.QuickCheck.Arbitrary.Subterms Documentation created: dist/doc/html/QuickCheck/index.html, dist/doc/html/QuickCheck/QuickCheck.txt Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/QuickCheck-2.7.3 Registering QuickCheck-2.7.3... Installed QuickCheck-2.7.3 Configuring sbv-3.0... Building sbv-3.0... Preprocessing library sbv-3.0... [ 1 of 65] Compiling Data.SBV.Utils.TDiff ( Data/SBV/Utils/TDiff.hs, dist/build/Data/SBV/Utils/TDiff.o ) [ 2 of 65] Compiling Data.SBV.Utils.Lib ( Data/SBV/Utils/Lib.hs, dist/build/Data/SBV/Utils/Lib.o ) [ 3 of 65] Compiling Data.SBV.Utils.Boolean ( Data/SBV/Utils/Boolean.hs, dist/build/Data/SBV/Utils/Boolean.o ) [ 4 of 65] Compiling Data.SBV.BitVectors.AlgReals ( Data/SBV/BitVectors/AlgReals.hs, dist/build/Data/SBV/BitVectors/AlgReals.o ) [ 5 of 65] Compiling Data.SBV.BitVectors.Data ( Data/SBV/BitVectors/Data.hs, dist/build/Data/SBV/BitVectors/Data.o ) [ 6 of 65] Compiling Data.SBV.Compilers.CodeGen ( Data/SBV/Compilers/CodeGen.hs, dist/build/Data/SBV/Compilers/CodeGen.o ) [ 7 of 65] Compiling Data.SBV.Tools.ExpectedValue ( Data/SBV/Tools/ExpectedValue.hs, dist/build/Data/SBV/Tools/ExpectedValue.o ) [ 8 of 65] Compiling Data.SBV.SMT.SMTLib1 ( Data/SBV/SMT/SMTLib1.hs, dist/build/Data/SBV/SMT/SMTLib1.o ) [ 9 of 65] Compiling Data.SBV.BitVectors.Model ( Data/SBV/BitVectors/Model.hs, dist/build/Data/SBV/BitVectors/Model.o ) Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. Loading package syb-0.4.1 ... linking ... done. Loading package array-0.4.0.1 ... linking ... done. Loading package deepseq-1.3.0.1 ... linking ... done. Loading package filepath-1.3.0.1 ... linking ... done. Loading package old-locale-1.0.0.5 ... linking ... done. Loading package time-1.4.0.1 ... linking ... done. Loading package bytestring-0.10.0.2 ... linking ... done. Loading package unix-2.6.0.1 ... linking ... done. Loading package directory-1.2.0.1 ... linking ... done. Loading package process-1.1.0.2 ... linking ... done. Loading package old-time-1.1.0.1 ... linking ... done. Loading package transformers-0.3.0.0 ... linking ... done. Loading package mtl-2.1.2 ... linking ... done. Loading package random-1.0.1.1 ... linking ... done. Loading package containers-0.5.0.0 ... linking ... done. Loading package pretty-1.1.1.0 ... linking ... done. Loading package template-haskell ... linking ... done. Loading package primitive-0.5.3.0 ... linking ... done. Loading package tf-random-0.5 ... linking ... done. Loading package QuickCheck-2.7.3 ... linking ... done. [10 of 65] Compiling Data.SBV.BitVectors.PrettyNum ( Data/SBV/BitVectors/PrettyNum.hs, dist/build/Data/SBV/BitVectors/PrettyNum.o ) [11 of 65] Compiling Data.SBV.Compilers.C ( Data/SBV/Compilers/C.hs, dist/build/Data/SBV/Compilers/C.o ) [12 of 65] Compiling Data.SBV.BitVectors.SignCast ( Data/SBV/BitVectors/SignCast.hs, dist/build/Data/SBV/BitVectors/SignCast.o ) [13 of 65] Compiling Data.SBV.BitVectors.Splittable ( Data/SBV/BitVectors/Splittable.hs, dist/build/Data/SBV/BitVectors/Splittable.o ) [14 of 65] Compiling Data.SBV.BitVectors.STree ( Data/SBV/BitVectors/STree.hs, dist/build/Data/SBV/BitVectors/STree.o ) [15 of 65] Compiling Data.SBV.Tools.Polynomial ( Data/SBV/Tools/Polynomial.hs, dist/build/Data/SBV/Tools/Polynomial.o ) [16 of 65] Compiling Data.SBV.Internals ( Data/SBV/Internals.hs, dist/build/Data/SBV/Internals.o ) [17 of 65] Compiling Data.SBV.Tools.GenTest ( Data/SBV/Tools/GenTest.hs, dist/build/Data/SBV/Tools/GenTest.o ) [18 of 65] Compiling Data.SBV.SMT.SMT ( Data/SBV/SMT/SMT.hs, dist/build/Data/SBV/SMT/SMT.o ) [19 of 65] Compiling Data.SBV.Provers.SExpr ( Data/SBV/Provers/SExpr.hs, dist/build/Data/SBV/Provers/SExpr.o ) [20 of 65] Compiling Data.SBV.SMT.SMTLib2 ( Data/SBV/SMT/SMTLib2.hs, dist/build/Data/SBV/SMT/SMTLib2.o ) [21 of 65] Compiling Data.SBV.SMT.SMTLib ( Data/SBV/SMT/SMTLib.hs, dist/build/Data/SBV/SMT/SMTLib.o ) [22 of 65] Compiling Data.SBV.Provers.Yices ( Data/SBV/Provers/Yices.hs, dist/build/Data/SBV/Provers/Yices.o ) [23 of 65] Compiling Data.SBV.Provers.Boolector ( Data/SBV/Provers/Boolector.hs, dist/build/Data/SBV/Provers/Boolector.o ) [24 of 65] Compiling Data.SBV.Provers.CVC4 ( Data/SBV/Provers/CVC4.hs, dist/build/Data/SBV/Provers/CVC4.o ) [25 of 65] Compiling Data.SBV.Provers.MathSAT ( Data/SBV/Provers/MathSAT.hs, dist/build/Data/SBV/Provers/MathSAT.o ) [26 of 65] Compiling Data.SBV.Provers.Z3 ( Data/SBV/Provers/Z3.hs, dist/build/Data/SBV/Provers/Z3.o ) [27 of 65] Compiling Data.SBV.Provers.Prover ( Data/SBV/Provers/Prover.hs, dist/build/Data/SBV/Provers/Prover.o ) [28 of 65] Compiling Data.SBV.Tools.Optimize ( Data/SBV/Tools/Optimize.hs, dist/build/Data/SBV/Tools/Optimize.o ) [29 of 65] Compiling Data.SBV ( Data/SBV.hs, dist/build/Data/SBV.o ) [30 of 65] Compiling Data.SBV.Bridge.Boolector ( Data/SBV/Bridge/Boolector.hs, dist/build/Data/SBV/Bridge/Boolector.o ) [31 of 65] Compiling Data.SBV.Bridge.CVC4 ( Data/SBV/Bridge/CVC4.hs, dist/build/Data/SBV/Bridge/CVC4.o ) [32 of 65] Compiling Data.SBV.Bridge.MathSAT ( Data/SBV/Bridge/MathSAT.hs, dist/build/Data/SBV/Bridge/MathSAT.o ) [33 of 65] Compiling Data.SBV.Bridge.Yices ( Data/SBV/Bridge/Yices.hs, dist/build/Data/SBV/Bridge/Yices.o ) [34 of 65] Compiling Data.SBV.Bridge.Z3 ( Data/SBV/Bridge/Z3.hs, dist/build/Data/SBV/Bridge/Z3.o ) [35 of 65] Compiling Data.SBV.Examples.BitPrecise.BitTricks ( Data/SBV/Examples/BitPrecise/BitTricks.hs, dist/build/Data/SBV/Examples/BitPrecise/BitTricks.o ) [36 of 65] Compiling Data.SBV.Examples.BitPrecise.Legato ( Data/SBV/Examples/BitPrecise/Legato.hs, dist/build/Data/SBV/Examples/BitPrecise/Legato.o ) [37 of 65] Compiling Data.SBV.Examples.BitPrecise.MergeSort ( Data/SBV/Examples/BitPrecise/MergeSort.hs, dist/build/Data/SBV/Examples/BitPrecise/MergeSort.o ) [38 of 65] Compiling Data.SBV.Examples.BitPrecise.PrefixSum ( Data/SBV/Examples/BitPrecise/PrefixSum.hs, dist/build/Data/SBV/Examples/BitPrecise/PrefixSum.o ) [39 of 65] Compiling Data.SBV.Examples.CodeGeneration.AddSub ( Data/SBV/Examples/CodeGeneration/AddSub.hs, dist/build/Data/SBV/Examples/CodeGeneration/AddSub.o ) [40 of 65] Compiling Data.SBV.Examples.CodeGeneration.CRC_USB5 ( Data/SBV/Examples/CodeGeneration/CRC_USB5.hs, dist/build/Data/SBV/Examples/CodeGeneration/CRC_USB5.o ) [41 of 65] Compiling Data.SBV.Examples.CodeGeneration.Fibonacci ( Data/SBV/Examples/CodeGeneration/Fibonacci.hs, dist/build/Data/SBV/Examples/CodeGeneration/Fibonacci.o ) [42 of 65] Compiling Data.SBV.Examples.CodeGeneration.GCD ( Data/SBV/Examples/CodeGeneration/GCD.hs, dist/build/Data/SBV/Examples/CodeGeneration/GCD.o ) [43 of 65] Compiling Data.SBV.Examples.CodeGeneration.PopulationCount ( Data/SBV/Examples/CodeGeneration/PopulationCount.hs, dist/build/Data/SBV/Examples/CodeGeneration/PopulationCount.o ) [44 of 65] Compiling Data.SBV.Examples.CodeGeneration.Uninterpreted ( Data/SBV/Examples/CodeGeneration/Uninterpreted.hs, dist/build/Data/SBV/Examples/CodeGeneration/Uninterpreted.o ) [45 of 65] Compiling Data.SBV.Examples.Crypto.AES ( Data/SBV/Examples/Crypto/AES.hs, dist/build/Data/SBV/Examples/Crypto/AES.o ) [46 of 65] Compiling Data.SBV.Examples.Crypto.RC4 ( Data/SBV/Examples/Crypto/RC4.hs, dist/build/Data/SBV/Examples/Crypto/RC4.o ) [47 of 65] Compiling Data.SBV.Examples.Existentials.CRCPolynomial ( Data/SBV/Examples/Existentials/CRCPolynomial.hs, dist/build/Data/SBV/Examples/Existentials/CRCPolynomial.o ) [48 of 65] Compiling Data.SBV.Examples.Existentials.Diophantine ( Data/SBV/Examples/Existentials/Diophantine.hs, dist/build/Data/SBV/Examples/Existentials/Diophantine.o ) [49 of 65] Compiling Data.SBV.Examples.Misc.Floating ( Data/SBV/Examples/Misc/Floating.hs, dist/build/Data/SBV/Examples/Misc/Floating.o ) [50 of 65] Compiling Data.SBV.Examples.Misc.ModelExtract ( Data/SBV/Examples/Misc/ModelExtract.hs, dist/build/Data/SBV/Examples/Misc/ModelExtract.o ) [51 of 65] Compiling Data.SBV.Examples.Polynomials.Polynomials ( Data/SBV/Examples/Polynomials/Polynomials.hs, dist/build/Data/SBV/Examples/Polynomials/Polynomials.o ) [52 of 65] Compiling Data.SBV.Examples.Puzzles.Coins ( Data/SBV/Examples/Puzzles/Coins.hs, dist/build/Data/SBV/Examples/Puzzles/Coins.o ) [53 of 65] Compiling Data.SBV.Examples.Puzzles.Counts ( Data/SBV/Examples/Puzzles/Counts.hs, dist/build/Data/SBV/Examples/Puzzles/Counts.o ) [54 of 65] Compiling Data.SBV.Examples.Puzzles.DogCatMouse ( Data/SBV/Examples/Puzzles/DogCatMouse.hs, dist/build/Data/SBV/Examples/Puzzles/DogCatMouse.o ) [55 of 65] Compiling Data.SBV.Examples.Puzzles.Euler185 ( Data/SBV/Examples/Puzzles/Euler185.hs, dist/build/Data/SBV/Examples/Puzzles/Euler185.o ) [56 of 65] Compiling Data.SBV.Examples.Puzzles.MagicSquare ( Data/SBV/Examples/Puzzles/MagicSquare.hs, dist/build/Data/SBV/Examples/Puzzles/MagicSquare.o ) [57 of 65] Compiling Data.SBV.Examples.Puzzles.NQueens ( Data/SBV/Examples/Puzzles/NQueens.hs, dist/build/Data/SBV/Examples/Puzzles/NQueens.o ) [58 of 65] Compiling Data.SBV.Examples.Puzzles.Sudoku ( Data/SBV/Examples/Puzzles/Sudoku.hs, dist/build/Data/SBV/Examples/Puzzles/Sudoku.o ) [59 of 65] Compiling Data.SBV.Examples.Puzzles.U2Bridge ( Data/SBV/Examples/Puzzles/U2Bridge.hs, dist/build/Data/SBV/Examples/Puzzles/U2Bridge.o ) [60 of 65] Compiling Data.SBV.Examples.Uninterpreted.AUF ( Data/SBV/Examples/Uninterpreted/AUF.hs, dist/build/Data/SBV/Examples/Uninterpreted/AUF.o ) [61 of 65] Compiling Data.SBV.Examples.Uninterpreted.Deduce ( Data/SBV/Examples/Uninterpreted/Deduce.hs, dist/build/Data/SBV/Examples/Uninterpreted/Deduce.o ) [62 of 65] Compiling Data.SBV.Examples.Uninterpreted.Function ( Data/SBV/Examples/Uninterpreted/Function.hs, dist/build/Data/SBV/Examples/Uninterpreted/Function.o ) [63 of 65] Compiling Data.SBV.Examples.Uninterpreted.Shannon ( Data/SBV/Examples/Uninterpreted/Shannon.hs, dist/build/Data/SBV/Examples/Uninterpreted/Shannon.o ) [64 of 65] Compiling Data.SBV.Examples.Uninterpreted.Sort ( Data/SBV/Examples/Uninterpreted/Sort.hs, dist/build/Data/SBV/Examples/Uninterpreted/Sort.o ) [65 of 65] Compiling Data.SBV.Examples.Uninterpreted.UISortAllSat ( Data/SBV/Examples/Uninterpreted/UISortAllSat.hs, dist/build/Data/SBV/Examples/Uninterpreted/UISortAllSat.o ) In-place registering sbv-3.0... Preprocessing executable 'SBVUnitTests' for sbv-3.0... [ 1 of 62] Compiling Examples.Arrays.Memory ( SBVUnitTest/Examples/Arrays/Memory.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Arrays/Memory.o ) [ 2 of 62] Compiling Examples.Basics.BasicTests ( SBVUnitTest/Examples/Basics/BasicTests.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Basics/BasicTests.o ) [ 3 of 62] Compiling Examples.Basics.Higher ( SBVUnitTest/Examples/Basics/Higher.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Basics/Higher.o ) [ 4 of 62] Compiling Examples.Basics.ProofTests ( SBVUnitTest/Examples/Basics/ProofTests.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Basics/ProofTests.o ) [ 5 of 62] Compiling Examples.Basics.QRem ( SBVUnitTest/Examples/Basics/QRem.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Basics/QRem.o ) [ 6 of 62] Compiling Examples.CRC.CCITT ( SBVUnitTest/Examples/CRC/CCITT.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/CRC/CCITT.o ) Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. Loading package array-0.4.0.1 ... linking ... done. Loading package deepseq-1.3.0.1 ... linking ... done. Loading package old-locale-1.0.0.5 ... linking ... done. Loading package time-1.4.0.1 ... linking ... done. Loading package random-1.0.1.1 ... linking ... done. Loading package containers-0.5.0.0 ... linking ... done. Loading package pretty-1.1.1.0 ... linking ... done. Loading package template-haskell ... linking ... done. Loading package primitive-0.5.3.0 ... linking ... done. Loading package tf-random-0.5 ... linking ... done. Loading package QuickCheck-2.7.3 ... linking ... done. Loading package filepath-1.3.0.1 ... linking ... done. Loading package bytestring-0.10.0.2 ... linking ... done. Loading package unix-2.6.0.1 ... linking ... done. Loading package directory-1.2.0.1 ... linking ... done. Loading package transformers-0.3.0.0 ... linking ... done. Loading package mtl-2.1.2 ... linking ... done. Loading package old-time-1.1.0.1 ... linking ... done. Loading package process-1.1.0.2 ... linking ... done. Loading package syb-0.4.1 ... linking ... done. Loading package sbv-3.0 ... linking ... done. Loading package HUnit-1.2.5.2 ... linking ... done. [ 7 of 62] Compiling Examples.CRC.CCITT_Unidir ( SBVUnitTest/Examples/CRC/CCITT_Unidir.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/CRC/CCITT_Unidir.o ) [ 8 of 62] Compiling Examples.CRC.GenPoly ( SBVUnitTest/Examples/CRC/GenPoly.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/CRC/GenPoly.o ) [ 9 of 62] Compiling Examples.CRC.Parity ( SBVUnitTest/Examples/CRC/Parity.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/CRC/Parity.o ) [10 of 62] Compiling Examples.CRC.USB5 ( SBVUnitTest/Examples/CRC/USB5.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/CRC/USB5.o ) [11 of 62] Compiling Examples.Puzzles.PowerSet ( SBVUnitTest/Examples/Puzzles/PowerSet.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Puzzles/PowerSet.o ) [12 of 62] Compiling Examples.Puzzles.Temperature ( SBVUnitTest/Examples/Puzzles/Temperature.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Puzzles/Temperature.o ) [13 of 62] Compiling Examples.Uninterpreted.Uninterpreted ( SBVUnitTest/Examples/Uninterpreted/Uninterpreted.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Uninterpreted/Uninterpreted.o ) [14 of 62] Compiling SBVUnitTestBuildTime ( SBVUnitTest/SBVUnitTestBuildTime.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/SBVUnitTestBuildTime.o ) [15 of 62] Compiling Paths_sbv ( dist/build/autogen/Paths_sbv.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Paths_sbv.o ) [16 of 62] Compiling SBVTest ( SBVUnitTest/SBVTest.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/SBVTest.o ) [17 of 62] Compiling TestSuite.Arrays.Memory ( SBVUnitTest/TestSuite/Arrays/Memory.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Arrays/Memory.o ) [18 of 62] Compiling TestSuite.Basics.ArithNoSolver ( SBVUnitTest/TestSuite/Basics/ArithNoSolver.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/ArithNoSolver.o ) [19 of 62] Compiling TestSuite.Basics.ArithSolver ( SBVUnitTest/TestSuite/Basics/ArithSolver.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/ArithSolver.o ) [20 of 62] Compiling TestSuite.Basics.BasicTests ( SBVUnitTest/TestSuite/Basics/BasicTests.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/BasicTests.o ) [21 of 62] Compiling TestSuite.Basics.Higher ( SBVUnitTest/TestSuite/Basics/Higher.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/Higher.o ) [22 of 62] Compiling TestSuite.Basics.ProofTests ( SBVUnitTest/TestSuite/Basics/ProofTests.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/ProofTests.o ) [23 of 62] Compiling TestSuite.Basics.QRem ( SBVUnitTest/TestSuite/Basics/QRem.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/QRem.o ) [24 of 62] Compiling TestSuite.BitPrecise.BitTricks ( SBVUnitTest/TestSuite/BitPrecise/BitTricks.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/BitPrecise/BitTricks.o ) [25 of 62] Compiling TestSuite.BitPrecise.Legato ( SBVUnitTest/TestSuite/BitPrecise/Legato.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/BitPrecise/Legato.o ) [26 of 62] Compiling TestSuite.BitPrecise.MergeSort ( SBVUnitTest/TestSuite/BitPrecise/MergeSort.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/BitPrecise/MergeSort.o ) [27 of 62] Compiling TestSuite.BitPrecise.PrefixSum ( SBVUnitTest/TestSuite/BitPrecise/PrefixSum.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/BitPrecise/PrefixSum.o ) [28 of 62] Compiling TestSuite.CRC.CCITT ( SBVUnitTest/TestSuite/CRC/CCITT.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CRC/CCITT.o ) [29 of 62] Compiling TestSuite.CRC.CCITT_Unidir ( SBVUnitTest/TestSuite/CRC/CCITT_Unidir.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CRC/CCITT_Unidir.o ) [30 of 62] Compiling TestSuite.CRC.GenPoly ( SBVUnitTest/TestSuite/CRC/GenPoly.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CRC/GenPoly.o ) [31 of 62] Compiling TestSuite.CRC.Parity ( SBVUnitTest/TestSuite/CRC/Parity.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CRC/Parity.o ) [32 of 62] Compiling TestSuite.CRC.USB5 ( SBVUnitTest/TestSuite/CRC/USB5.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CRC/USB5.o ) [33 of 62] Compiling TestSuite.CodeGeneration.AddSub ( SBVUnitTest/TestSuite/CodeGeneration/AddSub.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/AddSub.o ) [34 of 62] Compiling TestSuite.CodeGeneration.CgTests ( SBVUnitTest/TestSuite/CodeGeneration/CgTests.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/CgTests.o ) [35 of 62] Compiling TestSuite.CodeGeneration.CRC_USB5 ( SBVUnitTest/TestSuite/CodeGeneration/CRC_USB5.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/CRC_USB5.o ) [36 of 62] Compiling TestSuite.CodeGeneration.Fibonacci ( SBVUnitTest/TestSuite/CodeGeneration/Fibonacci.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/Fibonacci.o ) [37 of 62] Compiling TestSuite.CodeGeneration.GCD ( SBVUnitTest/TestSuite/CodeGeneration/GCD.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/GCD.o ) [38 of 62] Compiling TestSuite.CodeGeneration.PopulationCount ( SBVUnitTest/TestSuite/CodeGeneration/PopulationCount.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/PopulationCount.o ) [39 of 62] Compiling TestSuite.CodeGeneration.Uninterpreted ( SBVUnitTest/TestSuite/CodeGeneration/Uninterpreted.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/Uninterpreted.o ) [40 of 62] Compiling TestSuite.Crypto.AES ( SBVUnitTest/TestSuite/Crypto/AES.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Crypto/AES.o ) [41 of 62] Compiling TestSuite.Crypto.RC4 ( SBVUnitTest/TestSuite/Crypto/RC4.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Crypto/RC4.o ) [42 of 62] Compiling TestSuite.Existentials.CRCPolynomial ( SBVUnitTest/TestSuite/Existentials/CRCPolynomial.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Existentials/CRCPolynomial.o ) [43 of 62] Compiling TestSuite.Polynomials.Polynomials ( SBVUnitTest/TestSuite/Polynomials/Polynomials.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Polynomials/Polynomials.o ) [44 of 62] Compiling TestSuite.Puzzles.Coins ( SBVUnitTest/TestSuite/Puzzles/Coins.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/Coins.o ) [45 of 62] Compiling TestSuite.Puzzles.Counts ( SBVUnitTest/TestSuite/Puzzles/Counts.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/Counts.o ) [46 of 62] Compiling TestSuite.Puzzles.DogCatMouse ( SBVUnitTest/TestSuite/Puzzles/DogCatMouse.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/DogCatMouse.o ) [47 of 62] Compiling TestSuite.Puzzles.Euler185 ( SBVUnitTest/TestSuite/Puzzles/Euler185.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/Euler185.o ) [48 of 62] Compiling TestSuite.Puzzles.MagicSquare ( SBVUnitTest/TestSuite/Puzzles/MagicSquare.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/MagicSquare.o ) [49 of 62] Compiling TestSuite.Puzzles.NQueens ( SBVUnitTest/TestSuite/Puzzles/NQueens.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/NQueens.o ) [50 of 62] Compiling TestSuite.Puzzles.PowerSet ( SBVUnitTest/TestSuite/Puzzles/PowerSet.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/PowerSet.o ) [51 of 62] Compiling TestSuite.Puzzles.Sudoku ( SBVUnitTest/TestSuite/Puzzles/Sudoku.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/Sudoku.o ) [52 of 62] Compiling TestSuite.Puzzles.Temperature ( SBVUnitTest/TestSuite/Puzzles/Temperature.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/Temperature.o ) [53 of 62] Compiling TestSuite.Puzzles.U2Bridge ( SBVUnitTest/TestSuite/Puzzles/U2Bridge.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/U2Bridge.o ) [54 of 62] Compiling TestSuite.Uninterpreted.AUF ( SBVUnitTest/TestSuite/Uninterpreted/AUF.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Uninterpreted/AUF.o ) [55 of 62] Compiling TestSuite.Uninterpreted.Axioms ( SBVUnitTest/TestSuite/Uninterpreted/Axioms.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Uninterpreted/Axioms.o ) [56 of 62] Compiling TestSuite.Uninterpreted.Function ( SBVUnitTest/TestSuite/Uninterpreted/Function.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Uninterpreted/Function.o ) [57 of 62] Compiling TestSuite.Uninterpreted.Sort ( SBVUnitTest/TestSuite/Uninterpreted/Sort.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Uninterpreted/Sort.o ) [58 of 62] Compiling TestSuite.Uninterpreted.Uninterpreted ( SBVUnitTest/TestSuite/Uninterpreted/Uninterpreted.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Uninterpreted/Uninterpreted.o ) [59 of 62] Compiling Examples.Basics.Index ( SBVUnitTest/Examples/Basics/Index.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Basics/Index.o ) [60 of 62] Compiling TestSuite.Basics.Index ( SBVUnitTest/TestSuite/Basics/Index.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/Index.o ) [61 of 62] Compiling SBVTestCollection ( SBVUnitTest/SBVTestCollection.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/SBVTestCollection.o ) [62 of 62] Compiling Main ( SBVUnitTest/SBVUnitTest.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Main.o ) Linking dist/build/SBVUnitTests/SBVUnitTests ... Running Haddock for sbv-3.0... Running hscolour for sbv-3.0... Preprocessing library sbv-3.0... Preprocessing executable 'SBVUnitTests' for sbv-3.0... Preprocessing library sbv-3.0... Warning: The documentation for the following packages are not installed. No links will be generated to these packages: tf-random-0.5 Haddock coverage: 100% ( 2 / 2) in 'Data.SBV.Utils.TDiff' 100% ( 8 / 8) in 'Data.SBV.Utils.Lib' 100% ( 6 / 6) in 'Data.SBV.Utils.Boolean' 100% ( 9 / 9) in 'Data.SBV.BitVectors.AlgReals' 100% ( 85 / 85) in 'Data.SBV.BitVectors.Data' 100% ( 33 / 33) in 'Data.SBV.Compilers.CodeGen' 100% ( 3 / 3) in 'Data.SBV.Tools.ExpectedValue' 100% ( 3 / 3) in 'Data.SBV.SMT.SMTLib1' 100% ( 61 / 61) in 'Data.SBV.BitVectors.Model' 100% ( 14 / 14) in 'Data.SBV.BitVectors.PrettyNum' 100% ( 5 / 5) in 'Data.SBV.Compilers.C' 100% ( 2 / 2) in 'Data.SBV.BitVectors.SignCast' 100% ( 3 / 3) in 'Data.SBV.BitVectors.Splittable' 100% ( 5 / 5) in 'Data.SBV.BitVectors.STree' 100% ( 4 / 4) in 'Data.SBV.Tools.Polynomial' 100% ( 21 / 21) in 'Data.SBV.Internals' 100% ( 6 / 6) in 'Data.SBV.Tools.GenTest' 100% ( 29 / 29) in 'Data.SBV.SMT.SMT' 100% ( 4 / 4) in 'Data.SBV.Provers.SExpr' 100% ( 3 / 3) in 'Data.SBV.SMT.SMTLib2' 100% ( 8 / 8) in 'Data.SBV.SMT.SMTLib' 100% ( 2 / 2) in 'Data.SBV.Provers.Yices' 100% ( 2 / 2) in 'Data.SBV.Provers.Boolector' 100% ( 2 / 2) in 'Data.SBV.Provers.CVC4' 100% ( 2 / 2) in 'Data.SBV.Provers.MathSAT' 100% ( 2 / 2) in 'Data.SBV.Provers.Z3' 100% ( 39 / 39) in 'Data.SBV.Provers.Prover' 100% ( 8 / 8) in 'Data.SBV.Tools.Optimize' 100% (254 /254) in 'Data.SBV' 100% ( 17 / 17) in 'Data.SBV.Bridge.Boolector' 100% ( 17 / 17) in 'Data.SBV.Bridge.CVC4' 100% ( 17 / 17) in 'Data.SBV.Bridge.MathSAT' 100% ( 17 / 17) in 'Data.SBV.Bridge.Yices' 100% ( 17 / 17) in 'Data.SBV.Bridge.Z3' 100% ( 7 / 7) in 'Data.SBV.Examples.BitPrecise.BitTricks' 100% ( 46 / 46) in 'Data.SBV.Examples.BitPrecise.Legato' 100% ( 13 / 13) in 'Data.SBV.Examples.BitPrecise.MergeSort' 100% ( 24 / 24) in 'Data.SBV.Examples.BitPrecise.PrefixSum' 100% ( 3 / 3) in 'Data.SBV.Examples.CodeGeneration.AddSub' 100% ( 11 / 11) in 'Data.SBV.Examples.CodeGeneration.CRC_USB5' 100% ( 11 / 11) in 'Data.SBV.Examples.CodeGeneration.Fibonacci' 100% ( 9 / 9) in 'Data.SBV.Examples.CodeGeneration.GCD' 100% ( 11 / 11) in 'Data.SBV.Examples.CodeGeneration.PopulationCount' 100% ( 4 / 4) in 'Data.SBV.Examples.CodeGeneration.Uninterpreted' 100% ( 70 / 70) in 'Data.SBV.Examples.Crypto.AES' 100% ( 18 / 18) in 'Data.SBV.Examples.Crypto.RC4' 100% ( 8 / 8) in 'Data.SBV.Examples.Existentials.CRCPolynomial' 100% ( 9 / 9) in 'Data.SBV.Examples.Existentials.Diophantine' 100% ( 8 / 8) in 'Data.SBV.Examples.Misc.Floating' 100% ( 3 / 3) in 'Data.SBV.Examples.Misc.ModelExtract' 100% ( 8 / 8) in 'Data.SBV.Examples.Polynomials.Polynomials' 100% ( 11 / 11) in 'Data.SBV.Examples.Puzzles.Coins' 100% ( 5 / 5) in 'Data.SBV.Examples.Puzzles.Counts' 100% ( 2 / 2) in 'Data.SBV.Examples.Puzzles.DogCatMouse' 100% ( 4 / 4) in 'Data.SBV.Examples.Puzzles.Euler185' 100% ( 9 / 9) in 'Data.SBV.Examples.Puzzles.MagicSquare' 100% ( 4 / 4) in 'Data.SBV.Examples.Puzzles.NQueens' 100% ( 20 / 20) in 'Data.SBV.Examples.Puzzles.Sudoku' 100% ( 34 / 34) in 'Data.SBV.Examples.Puzzles.U2Bridge' 100% ( 10 / 10) in 'Data.SBV.Examples.Uninterpreted.AUF' 100% ( 14 / 14) in 'Data.SBV.Examples.Uninterpreted.Deduce' 100% ( 6 / 6) in 'Data.SBV.Examples.Uninterpreted.Function' 100% ( 19 / 19) in 'Data.SBV.Examples.Uninterpreted.Shannon' 100% ( 5 / 5) in 'Data.SBV.Examples.Uninterpreted.Sort' 100% ( 4 / 4) in 'Data.SBV.Examples.Uninterpreted.UISortAllSat' Warning: Data.SBV.Internals: could not find link destinations for: Data.SBV.BitVectors.Data.Cached Data.SBV.BitVectors.Data.SW Data.SBV.BitVectors.AlgReals.Polynomial Data.SBV.BitVectors.Data.Quantifier Warning: Data.SBV: could not find link destinations for: Data.SBV.BitVectors.STree.STreeInternal Data.SBV.BitVectors.Data.Outputtable Data.SBV.SMT.SMT.SMTModel Data.SBV.SMT.SMT.SMTEngine Data.SBV.BitVectors.Data.SolverCapabilities Data.SBV.BitVectors.Data.Quantifier Documentation created: dist/doc/html/sbv/index.html, dist/doc/html/sbv/sbv.txt Preprocessing executable 'SBVUnitTests' for sbv-3.0... Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/sbv-3.0 Installing executable(s) in /srv/hackage/var/build/tmp-install/bin Warning: The directory /srv/hackage/var/build/tmp-install/bin is not in the system search path. Registering sbv-3.0... Installed sbv-3.0 Configuring regex-genex-0.6.1... Building regex-genex-0.6.1... Preprocessing library regex-genex-0.6.1... [1 of 3] Compiling Regex.Genex.Normalize ( src/Regex/Genex/Normalize.hs, dist/build/Regex/Genex/Normalize.o ) [2 of 3] Compiling Regex.Genex.Pure ( src/Regex/Genex/Pure.hs, dist/build/Regex/Genex/Pure.o ) src/Regex/Genex/Pure.hs:23:52: Warning: In the use of `runStream' (imported from Control.Monad.Stream): Deprecated: "use toList" [3 of 3] Compiling Regex.Genex ( src/Regex/Genex.hs, dist/build/Regex/Genex.o ) In-place registering regex-genex-0.6.1... Preprocessing executable 'genex' for regex-genex-0.6.1... [1 of 4] Compiling Regex.Genex.Normalize ( src/Regex/Genex/Normalize.hs, dist/build/genex/genex-tmp/Regex/Genex/Normalize.o ) [2 of 4] Compiling Regex.Genex.Pure ( src/Regex/Genex/Pure.hs, dist/build/genex/genex-tmp/Regex/Genex/Pure.o ) src/Regex/Genex/Pure.hs:23:52: Warning: In the use of `runStream' (imported from Control.Monad.Stream): Deprecated: "use toList" [3 of 4] Compiling Regex.Genex ( src/Regex/Genex.hs, dist/build/genex/genex-tmp/Regex/Genex.o ) [4 of 4] Compiling Main ( Main.hs, dist/build/genex/genex-tmp/Main.o ) Linking dist/build/genex/genex ... Running Haddock for regex-genex-0.6.1... Running hscolour for regex-genex-0.6.1... Preprocessing library regex-genex-0.6.1... Preprocessing executable 'genex' for regex-genex-0.6.1... Preprocessing library regex-genex-0.6.1... Warning: The documentation for the following packages are not installed. No links will be generated to these packages: tf-random-0.5 dist/build/tmp-1129/src/Regex/Genex/Pure.hs:23:52: Warning: In the use of `runStream' (imported from Control.Monad.Stream): Deprecated: "use toList" Haddock coverage: 50% ( 1 / 2) in 'Regex.Genex.Normalize' 0% ( 0 / 2) in 'Regex.Genex.Pure' 75% ( 6 / 8) in 'Regex.Genex' Warning: Regex.Genex.Normalize: could not find link destinations for: Regex.Genex.Normalize.BackReferences Warning: Regex.Genex: could not find link destinations for: Regex.Genex.Hits Regex.Genex.Str Documentation created: dist/doc/html/regex-genex/index.html, dist/doc/html/regex-genex/regex-genex.txt Preprocessing executable 'genex' for regex-genex-0.6.1... Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/regex-genex-0.6.1 Installing executable(s) in /srv/hackage/var/build/tmp-install/bin Warning: The directory /srv/hackage/var/build/tmp-install/bin is not in the system search path. Registering regex-genex-0.6.1... Installed regex-genex-0.6.1 Downloading quickcheck-regex-0.0.3... Configuring quickcheck-regex-0.0.3... Building quickcheck-regex-0.0.3... Preprocessing library quickcheck-regex-0.0.3... [1 of 1] Compiling Test.QuickCheck.Regex ( src/Test/QuickCheck/Regex.hs, dist/build/Test/QuickCheck/Regex.o ) In-place registering quickcheck-regex-0.0.3... Running Haddock for quickcheck-regex-0.0.3... Running hscolour for quickcheck-regex-0.0.3... Preprocessing library quickcheck-regex-0.0.3... Preprocessing library quickcheck-regex-0.0.3... Warning: The documentation for the following packages are not installed. No links will be generated to these packages: tf-random-0.5 Haddock coverage: 50% ( 1 / 2) in 'Test.QuickCheck.Regex' Documentation created: dist/doc/html/quickcheck-regex/index.html, dist/doc/html/quickcheck-regex/quickcheck-regex.txt Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/quickcheck-regex-0.0.3 Registering quickcheck-regex-0.0.3... Installed quickcheck-regex-0.0.3