Build #1 for quickcheck-relaxng-0.0.2

[all reports]

Package quickcheck-relaxng-0.0.2
Install InstallOk
Docs Ok
Tests NotTried
Time submitted unknown
Compiler ghc-7.6.3
OS linux
Arch x86_64
Dependencies quickcheck-regex-0.0.3, hxt-relaxng-9.1.4, hxt-9.3.1.4, base-4.6.0.1, QuickCheck-2.7.3
Flags none

Build log

[view raw]

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 hxt-charproperties-9.1.1.1...
Building hxt-charproperties-9.1.1.1...
Preprocessing library hxt-charproperties-9.1.1.1...
[1 of 4] Compiling Data.Set.CharSet ( src/Data/Set/CharSet.hs, dist/build/Data/Set/CharSet.o )
[2 of 4] Compiling Data.Char.Properties.XMLCharProps ( src/Data/Char/Properties/XMLCharProps.hs, dist/build/Data/Char/Properties/XMLCharProps.o )
[3 of 4] Compiling Data.Char.Properties.UnicodeCharProps ( src/Data/Char/Properties/UnicodeCharProps.hs, dist/build/Data/Char/Properties/UnicodeCharProps.o )
[4 of 4] Compiling Data.Char.Properties.UnicodeBlocks ( src/Data/Char/Properties/UnicodeBlocks.hs, dist/build/Data/Char/Properties/UnicodeBlocks.o )
In-place registering hxt-charproperties-9.1.1.1...
Running Haddock for hxt-charproperties-9.1.1.1...
Running hscolour for hxt-charproperties-9.1.1.1...
Preprocessing library hxt-charproperties-9.1.1.1...
Preprocessing library hxt-charproperties-9.1.1.1...
Haddock coverage:
   6% (  1 / 16) in 'Data.Set.CharSet'
  51% ( 20 / 39) in 'Data.Char.Properties.XMLCharProps'
   1% (  1 / 73) in 'Data.Char.Properties.UnicodeCharProps'
   0% (  1 /201) in 'Data.Char.Properties.UnicodeBlocks'
Documentation created: dist/doc/html/hxt-charproperties/index.html,
dist/doc/html/hxt-charproperties/hxt-charproperties.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/hxt-charproperties-9.1.1.1
Registering hxt-charproperties-9.1.1.1...
Installed hxt-charproperties-9.1.1.1
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 hxt-regex-xmlschema-9.1.0...
Building hxt-regex-xmlschema-9.1.0...
Preprocessing library hxt-regex-xmlschema-9.1.0...
[1 of 5] Compiling Text.Regex.XMLSchema.String.Regex ( src/Text/Regex/XMLSchema/String/Regex.hs, dist/build/Text/Regex/XMLSchema/String/Regex.o )
[2 of 5] Compiling Text.Regex.Glob.String.RegexParser ( src/Text/Regex/Glob/String/RegexParser.hs, dist/build/Text/Regex/Glob/String/RegexParser.o )
[3 of 5] Compiling Text.Regex.Glob.String ( src/Text/Regex/Glob/String.hs, dist/build/Text/Regex/Glob/String.o )
[4 of 5] Compiling Text.Regex.XMLSchema.String.RegexParser ( src/Text/Regex/XMLSchema/String/RegexParser.hs, dist/build/Text/Regex/XMLSchema/String/RegexParser.o )
[5 of 5] Compiling Text.Regex.XMLSchema.String ( src/Text/Regex/XMLSchema/String.hs, dist/build/Text/Regex/XMLSchema/String.o )
In-place registering hxt-regex-xmlschema-9.1.0...
Running Haddock for hxt-regex-xmlschema-9.1.0...
Running hscolour for hxt-regex-xmlschema-9.1.0...
Preprocessing library hxt-regex-xmlschema-9.1.0...
Preprocessing library hxt-regex-xmlschema-9.1.0...
Haddock coverage:
  68% ( 26 / 38) in 'Text.Regex.XMLSchema.String.Regex'
  67% (  2 /  3) in 'Text.Regex.Glob.String.RegexParser'
  33% (  2 /  6) in 'Text.Regex.Glob.String'
 100% (  4 /  4) in 'Text.Regex.XMLSchema.String.RegexParser'
  89% ( 47 / 53) in 'Text.Regex.XMLSchema.String'
Warning: Text.Regex.XMLSchema.String.Regex: could not find link destinations for:
    Text.Regex.XMLSchema.String.Regex.Nullable Text.Regex.XMLSchema.String.Regex.Label
Documentation created: dist/doc/html/hxt-regex-xmlschema/index.html,
dist/doc/html/hxt-regex-xmlschema/hxt-regex-xmlschema.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/hxt-regex-xmlschema-9.1.0
Registering hxt-regex-xmlschema-9.1.0...
Installed hxt-regex-xmlschema-9.1.0
Configuring hxt-unicode-9.0.2.2...
Building hxt-unicode-9.0.2.2...
Preprocessing library hxt-unicode-9.0.2.2...
[1 of 5] Compiling Data.String.UTF8 ( src/Data/String/UTF8.hs, dist/build/Data/String/UTF8.o )
[2 of 5] Compiling Data.String.UTF8Decoding ( src/Data/String/UTF8Decoding.hs, dist/build/Data/String/UTF8Decoding.o )
[3 of 5] Compiling Data.String.EncodingNames ( src/Data/String/EncodingNames.hs, dist/build/Data/String/EncodingNames.o )
[4 of 5] Compiling Data.Char.IsoLatinTables ( src/Data/Char/IsoLatinTables.hs, dist/build/Data/Char/IsoLatinTables.o )
[5 of 5] Compiling Data.String.Unicode ( src/Data/String/Unicode.hs, dist/build/Data/String/Unicode.o )
In-place registering hxt-unicode-9.0.2.2...
Running Haddock for hxt-unicode-9.0.2.2...
Running hscolour for hxt-unicode-9.0.2.2...
Preprocessing library hxt-unicode-9.0.2.2...
Preprocessing library hxt-unicode-9.0.2.2...
Haddock coverage:
   0% (  0 /  7) in 'Data.String.UTF8'
  50% (  2 /  4) in 'Data.String.UTF8Decoding'
   4% (  1 / 24) in 'Data.String.EncodingNames'
   0% (  0 / 15) in 'Data.Char.IsoLatinTables'
  89% ( 31 / 35) in 'Data.String.Unicode'
Warning: Data.String.Unicode: could not find link destinations for:
    Data.String.Unicode.StringFct Data.String.Unicode.decodingTable
Documentation created: dist/doc/html/hxt-unicode/index.html,
dist/doc/html/hxt-unicode/hxt-unicode.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/hxt-unicode-9.0.2.2
Registering hxt-unicode-9.0.2.2...
Installed hxt-unicode-9.0.2.2
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-prolog3198.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 hxt-9.3.1.4...
Building hxt-9.3.1.4...
Preprocessing library hxt-9.3.1.4...
[ 1 of 82] Compiling Text.XML.HXT.Parser.XmlCharParser ( src/Text/XML/HXT/Parser/XmlCharParser.hs, dist/build/Text/XML/HXT/Parser/XmlCharParser.o )
[ 2 of 82] Compiling Text.XML.HXT.DTDValidation.RE ( src/Text/XML/HXT/DTDValidation/RE.hs, dist/build/Text/XML/HXT/DTDValidation/RE.o )
[ 3 of 82] Compiling Text.XML.HXT.DOM.MimeTypeDefaults ( src/Text/XML/HXT/DOM/MimeTypeDefaults.hs, dist/build/Text/XML/HXT/DOM/MimeTypeDefaults.o )
[ 4 of 82] Compiling Text.XML.HXT.DOM.MimeTypes ( src/Text/XML/HXT/DOM/MimeTypes.hs, dist/build/Text/XML/HXT/DOM/MimeTypes.o )
[ 5 of 82] Compiling Text.XML.HXT.DOM.Util ( src/Text/XML/HXT/DOM/Util.hs, dist/build/Text/XML/HXT/DOM/Util.o )
[ 6 of 82] Compiling Text.XML.HXT.DOM.XmlKeywords ( src/Text/XML/HXT/DOM/XmlKeywords.hs, dist/build/Text/XML/HXT/DOM/XmlKeywords.o )
[ 7 of 82] Compiling Text.XML.HXT.Parser.ProtocolHandlerUtil ( src/Text/XML/HXT/Parser/ProtocolHandlerUtil.hs, dist/build/Text/XML/HXT/Parser/ProtocolHandlerUtil.o )
[ 8 of 82] Compiling Text.XML.HXT.Version ( src/Text/XML/HXT/Version.hs, dist/build/Text/XML/HXT/Version.o )
[ 9 of 82] Compiling Text.XML.HXT.XMLSchema.DataTypeLibW3CNames ( src/Text/XML/HXT/XMLSchema/DataTypeLibW3CNames.hs, dist/build/Text/XML/HXT/XMLSchema/DataTypeLibW3CNames.o )
[10 of 82] Compiling Text.XML.HXT.Parser.XmlEntities ( src/Text/XML/HXT/Parser/XmlEntities.hs, dist/build/Text/XML/HXT/Parser/XmlEntities.o )
[11 of 82] Compiling Text.XML.HXT.Parser.XhtmlEntities ( src/Text/XML/HXT/Parser/XhtmlEntities.hs, dist/build/Text/XML/HXT/Parser/XhtmlEntities.o )
[12 of 82] Compiling Text.XML.HXT.IO.GetFILE ( src/Text/XML/HXT/IO/GetFILE.hs, dist/build/Text/XML/HXT/IO/GetFILE.o )
[13 of 82] Compiling Data.Function.Selector ( src/Data/Function/Selector.hs, dist/build/Data/Function/Selector.o )
[14 of 82] Compiling Data.Atom        ( src/Data/Atom.hs, dist/build/Data/Atom.o )
[15 of 82] Compiling Data.AssocList   ( src/Data/AssocList.hs, dist/build/Data/AssocList.o )
[16 of 82] Compiling Data.Tree.Class  ( src/Data/Tree/Class.hs, dist/build/Data/Tree/Class.o )
[17 of 82] Compiling Control.Arrow.ArrowState ( src/Control/Arrow/ArrowState.hs, dist/build/Control/Arrow/ArrowState.o )
[18 of 82] Compiling Data.Tree.NavigatableTree.Class ( src/Data/Tree/NavigatableTree/Class.hs, dist/build/Data/Tree/NavigatableTree/Class.o )
[19 of 82] Compiling Data.Tree.NavigatableTree.XPathAxis ( src/Data/Tree/NavigatableTree/XPathAxis.hs, dist/build/Data/Tree/NavigatableTree/XPathAxis.o )
[20 of 82] Compiling Control.FlatSeq  ( src/Control/FlatSeq.hs, dist/build/Control/FlatSeq.o )
[21 of 82] Compiling Data.Tree.NTree.TypeDefs ( src/Data/Tree/NTree/TypeDefs.hs, dist/build/Data/Tree/NTree/TypeDefs.o )
[22 of 82] Compiling Data.Tree.NTree.Edit ( src/Data/Tree/NTree/Edit.hs, dist/build/Data/Tree/NTree/Edit.o )
[23 of 82] Compiling Data.Tree.NTree.Zipper.TypeDefs ( src/Data/Tree/NTree/Zipper/TypeDefs.hs, dist/build/Data/Tree/NTree/Zipper/TypeDefs.o )
[24 of 82] Compiling Text.XML.HXT.DOM.QualifiedName ( src/Text/XML/HXT/DOM/QualifiedName.hs, dist/build/Text/XML/HXT/DOM/QualifiedName.o )
[25 of 82] Compiling Text.XML.HXT.DOM.TypeDefs ( src/Text/XML/HXT/DOM/TypeDefs.hs, dist/build/Text/XML/HXT/DOM/TypeDefs.o )
[26 of 82] Compiling Text.XML.HXT.DOM.Interface ( src/Text/XML/HXT/DOM/Interface.hs, dist/build/Text/XML/HXT/DOM/Interface.o )
[27 of 82] Compiling Text.XML.HXT.DOM.XmlNode ( src/Text/XML/HXT/DOM/XmlNode.hs, dist/build/Text/XML/HXT/DOM/XmlNode.o )
[28 of 82] Compiling Text.XML.HXT.Parser.XmlTokenParser ( src/Text/XML/HXT/Parser/XmlTokenParser.hs, dist/build/Text/XML/HXT/Parser/XmlTokenParser.o )
[29 of 82] Compiling Text.XML.HXT.Parser.XmlDTDTokenParser ( src/Text/XML/HXT/Parser/XmlDTDTokenParser.hs, dist/build/Text/XML/HXT/Parser/XmlDTDTokenParser.o )
[30 of 82] Compiling Text.XML.HXT.DOM.ShowXml ( src/Text/XML/HXT/DOM/ShowXml.hs, dist/build/Text/XML/HXT/DOM/ShowXml.o )
[31 of 82] Compiling Text.XML.HXT.DOM.FormatXmlTree ( src/Text/XML/HXT/DOM/FormatXmlTree.hs, dist/build/Text/XML/HXT/DOM/FormatXmlTree.o )
[32 of 82] Compiling Text.XML.HXT.Parser.XmlParsec ( src/Text/XML/HXT/Parser/XmlParsec.hs, dist/build/Text/XML/HXT/Parser/XmlParsec.o )
[33 of 82] Compiling Text.XML.HXT.Parser.HtmlParsec ( src/Text/XML/HXT/Parser/HtmlParsec.hs, dist/build/Text/XML/HXT/Parser/HtmlParsec.o )
[34 of 82] Compiling Text.XML.HXT.Parser.XmlDTDParser ( src/Text/XML/HXT/Parser/XmlDTDParser.hs, dist/build/Text/XML/HXT/Parser/XmlDTDParser.o )
[35 of 82] Compiling Text.XML.HXT.Arrow.Pickle.Schema ( src/Text/XML/HXT/Arrow/Pickle/Schema.hs, dist/build/Text/XML/HXT/Arrow/Pickle/Schema.o )
[36 of 82] Compiling Text.XML.HXT.Arrow.Pickle.DTD ( src/Text/XML/HXT/Arrow/Pickle/DTD.hs, dist/build/Text/XML/HXT/Arrow/Pickle/DTD.o )
[37 of 82] Compiling Control.Arrow.ArrowList ( src/Control/Arrow/ArrowList.hs, dist/build/Control/Arrow/ArrowList.o )
[38 of 82] Compiling Control.Arrow.ArrowNF ( src/Control/Arrow/ArrowNF.hs, dist/build/Control/Arrow/ArrowNF.o )
[39 of 82] Compiling Control.Arrow.ArrowIf ( src/Control/Arrow/ArrowIf.hs, dist/build/Control/Arrow/ArrowIf.o )
[40 of 82] Compiling Control.Arrow.ArrowNavigatableTree ( src/Control/Arrow/ArrowNavigatableTree.hs, dist/build/Control/Arrow/ArrowNavigatableTree.o )
[41 of 82] Compiling Control.Arrow.ArrowTree ( src/Control/Arrow/ArrowTree.hs, dist/build/Control/Arrow/ArrowTree.o )
[42 of 82] Compiling Control.Arrow.ListArrow ( src/Control/Arrow/ListArrow.hs, dist/build/Control/Arrow/ListArrow.o )
[43 of 82] Compiling Control.Arrow.StateListArrow ( src/Control/Arrow/StateListArrow.hs, dist/build/Control/Arrow/StateListArrow.o )
[44 of 82] Compiling Control.Arrow.NTreeEdit ( src/Control/Arrow/NTreeEdit.hs, dist/build/Control/Arrow/NTreeEdit.o )
[45 of 82] Compiling Control.Arrow.ArrowIO ( src/Control/Arrow/ArrowIO.hs, dist/build/Control/Arrow/ArrowIO.o )
[46 of 82] Compiling Control.Arrow.ArrowExc ( src/Control/Arrow/ArrowExc.hs, dist/build/Control/Arrow/ArrowExc.o )
[47 of 82] Compiling Control.Arrow.IOListArrow ( src/Control/Arrow/IOListArrow.hs, dist/build/Control/Arrow/IOListArrow.o )
[48 of 82] Compiling Control.Arrow.IOStateListArrow ( src/Control/Arrow/IOStateListArrow.hs, dist/build/Control/Arrow/IOStateListArrow.o )
[49 of 82] Compiling Text.XML.HXT.Arrow.XmlState.TypeDefs ( src/Text/XML/HXT/Arrow/XmlState/TypeDefs.hs, dist/build/Text/XML/HXT/Arrow/XmlState/TypeDefs.o )
[50 of 82] Compiling Text.XML.HXT.Arrow.XmlState.MimeTypeTable ( src/Text/XML/HXT/Arrow/XmlState/MimeTypeTable.hs, dist/build/Text/XML/HXT/Arrow/XmlState/MimeTypeTable.o )
[51 of 82] Compiling Text.XML.HXT.Arrow.XmlArrow ( src/Text/XML/HXT/Arrow/XmlArrow.hs, dist/build/Text/XML/HXT/Arrow/XmlArrow.o )
[52 of 82] Compiling Text.XML.HXT.Arrow.XmlState.ErrorHandling ( src/Text/XML/HXT/Arrow/XmlState/ErrorHandling.hs, dist/build/Text/XML/HXT/Arrow/XmlState/ErrorHandling.o )
[53 of 82] Compiling Text.XML.HXT.Arrow.XmlState.SystemConfig ( src/Text/XML/HXT/Arrow/XmlState/SystemConfig.hs, dist/build/Text/XML/HXT/Arrow/XmlState/SystemConfig.o )
[54 of 82] Compiling Text.XML.HXT.Arrow.XmlOptions ( src/Text/XML/HXT/Arrow/XmlOptions.hs, dist/build/Text/XML/HXT/Arrow/XmlOptions.o )
[55 of 82] Compiling Text.XML.HXT.Arrow.ParserInterface ( src/Text/XML/HXT/Arrow/ParserInterface.hs, dist/build/Text/XML/HXT/Arrow/ParserInterface.o )
[56 of 82] Compiling Text.XML.HXT.Arrow.Edit ( src/Text/XML/HXT/Arrow/Edit.hs, dist/build/Text/XML/HXT/Arrow/Edit.o )
[57 of 82] Compiling Text.XML.HXT.Arrow.Namespace ( src/Text/XML/HXT/Arrow/Namespace.hs, dist/build/Text/XML/HXT/Arrow/Namespace.o )
[58 of 82] Compiling Text.XML.HXT.Arrow.XmlState.TraceHandling ( src/Text/XML/HXT/Arrow/XmlState/TraceHandling.hs, dist/build/Text/XML/HXT/Arrow/XmlState/TraceHandling.o )
[59 of 82] Compiling Text.XML.HXT.Arrow.XmlState.URIHandling ( src/Text/XML/HXT/Arrow/XmlState/URIHandling.hs, dist/build/Text/XML/HXT/Arrow/XmlState/URIHandling.o )
[60 of 82] Compiling Text.XML.HXT.DTDValidation.TypeDefs ( src/Text/XML/HXT/DTDValidation/TypeDefs.hs, dist/build/Text/XML/HXT/DTDValidation/TypeDefs.o )
[61 of 82] Compiling Text.XML.HXT.DTDValidation.AttributeValueValidation ( src/Text/XML/HXT/DTDValidation/AttributeValueValidation.hs, dist/build/Text/XML/HXT/DTDValidation/AttributeValueValidation.o )
[62 of 82] Compiling Text.XML.HXT.DTDValidation.DTDValidation ( src/Text/XML/HXT/DTDValidation/DTDValidation.hs, dist/build/Text/XML/HXT/DTDValidation/DTDValidation.o )
[63 of 82] Compiling Text.XML.HXT.DTDValidation.DocTransformation ( src/Text/XML/HXT/DTDValidation/DocTransformation.hs, dist/build/Text/XML/HXT/DTDValidation/DocTransformation.o )
[64 of 82] Compiling Text.XML.HXT.DTDValidation.XmlRE ( src/Text/XML/HXT/DTDValidation/XmlRE.hs, dist/build/Text/XML/HXT/DTDValidation/XmlRE.o )
[65 of 82] Compiling Text.XML.HXT.DTDValidation.DocValidation ( src/Text/XML/HXT/DTDValidation/DocValidation.hs, dist/build/Text/XML/HXT/DTDValidation/DocValidation.o )
[66 of 82] Compiling Text.XML.HXT.DTDValidation.IdValidation ( src/Text/XML/HXT/DTDValidation/IdValidation.hs, dist/build/Text/XML/HXT/DTDValidation/IdValidation.o )
[67 of 82] Compiling Text.XML.HXT.DTDValidation.Validation ( src/Text/XML/HXT/DTDValidation/Validation.hs, dist/build/Text/XML/HXT/DTDValidation/Validation.o )
[68 of 82] Compiling Text.XML.HXT.Arrow.XmlState.RunIOStateArrow ( src/Text/XML/HXT/Arrow/XmlState/RunIOStateArrow.hs, dist/build/Text/XML/HXT/Arrow/XmlState/RunIOStateArrow.o )
[69 of 82] Compiling Text.XML.HXT.Arrow.XmlState ( src/Text/XML/HXT/Arrow/XmlState.hs, dist/build/Text/XML/HXT/Arrow/XmlState.o )
[70 of 82] Compiling Text.XML.HXT.Arrow.DocumentInput ( src/Text/XML/HXT/Arrow/DocumentInput.hs, dist/build/Text/XML/HXT/Arrow/DocumentInput.o )
[71 of 82] Compiling Text.XML.HXT.Arrow.DTDProcessing ( src/Text/XML/HXT/Arrow/DTDProcessing.hs, dist/build/Text/XML/HXT/Arrow/DTDProcessing.o )
[72 of 82] Compiling Text.XML.HXT.Arrow.GeneralEntitySubstitution ( src/Text/XML/HXT/Arrow/GeneralEntitySubstitution.hs, dist/build/Text/XML/HXT/Arrow/GeneralEntitySubstitution.o )
[73 of 82] Compiling Text.XML.HXT.Arrow.ProcessDocument ( src/Text/XML/HXT/Arrow/ProcessDocument.hs, dist/build/Text/XML/HXT/Arrow/ProcessDocument.o )
[74 of 82] Compiling Control.Arrow.ListArrows ( src/Control/Arrow/ListArrows.hs, dist/build/Control/Arrow/ListArrows.o )
[75 of 82] Compiling Text.XML.HXT.Arrow.ReadDocument ( src/Text/XML/HXT/Arrow/ReadDocument.hs, dist/build/Text/XML/HXT/Arrow/ReadDocument.o )
[76 of 82] Compiling Text.XML.HXT.Arrow.XmlRegex ( src/Text/XML/HXT/Arrow/XmlRegex.hs, dist/build/Text/XML/HXT/Arrow/XmlRegex.o )
[77 of 82] Compiling Text.XML.HXT.Arrow.Binary ( src/Text/XML/HXT/Arrow/Binary.hs, dist/build/Text/XML/HXT/Arrow/Binary.o )
[78 of 82] Compiling Text.XML.HXT.Arrow.DocumentOutput ( src/Text/XML/HXT/Arrow/DocumentOutput.hs, dist/build/Text/XML/HXT/Arrow/DocumentOutput.o )
[79 of 82] Compiling Text.XML.HXT.Arrow.WriteDocument ( src/Text/XML/HXT/Arrow/WriteDocument.hs, dist/build/Text/XML/HXT/Arrow/WriteDocument.o )
[80 of 82] Compiling Text.XML.HXT.Arrow.Pickle.Xml ( src/Text/XML/HXT/Arrow/Pickle/Xml.hs, dist/build/Text/XML/HXT/Arrow/Pickle/Xml.o )
[81 of 82] Compiling Text.XML.HXT.Arrow.Pickle ( src/Text/XML/HXT/Arrow/Pickle.hs, dist/build/Text/XML/HXT/Arrow/Pickle.o )
[82 of 82] Compiling Text.XML.HXT.Core ( src/Text/XML/HXT/Core.hs, dist/build/Text/XML/HXT/Core.o )
In-place registering hxt-9.3.1.4...
Running Haddock for hxt-9.3.1.4...
Running hscolour for hxt-9.3.1.4...
Preprocessing library hxt-9.3.1.4...
Preprocessing library hxt-9.3.1.4...
Haddock coverage:
  64% (  9 / 14) in 'Text.XML.HXT.Parser.XmlCharParser'
 100% ( 15 / 15) in 'Text.XML.HXT.DTDValidation.RE'
 100% (  2 /  2) in 'Text.XML.HXT.DOM.MimeTypeDefaults'
   5% (  1 / 19) in 'Text.XML.HXT.DOM.MimeTypes'
  82% ( 23 / 28) in 'Text.XML.HXT.DOM.Util'
   5% (  4 / 77) in 'Text.XML.HXT.DOM.XmlKeywords'
  50% (  1 /  2) in 'Text.XML.HXT.Parser.ProtocolHandlerUtil'
   0% (  0 /  2) in 'Text.XML.HXT.Version'
   3% (  2 / 58) in 'Text.XML.HXT.XMLSchema.DataTypeLibW3CNames'
 100% (  2 /  2) in 'Text.XML.HXT.Parser.XmlEntities'
 100% (  2 /  2) in 'Text.XML.HXT.Parser.XhtmlEntities'
  33% (  1 /  3) in 'Text.XML.HXT.IO.GetFILE'
  30% (  3 / 10) in 'Data.Function.Selector'
  80% (  4 /  5) in 'Data.Atom'
  89% (  8 /  9) in 'Data.AssocList'
 100% (  3 /  3) in 'Data.Tree.Class'
 100% (  2 /  2) in 'Control.Arrow.ArrowState'
 100% (  4 /  4) in 'Data.Tree.NavigatableTree.Class'
  94% ( 16 / 17) in 'Data.Tree.NavigatableTree.XPathAxis'
  40% (  2 /  5) in 'Control.FlatSeq'
 100% (  3 /  3) in 'Data.Tree.NTree.TypeDefs'
 100% (  3 /  3) in 'Data.Tree.NTree.Edit'
  38% (  6 / 16) in 'Data.Tree.NTree.Zipper.TypeDefs'
  63% ( 29 / 46) in 'Text.XML.HXT.DOM.QualifiedName'
  85% ( 17 / 20) in 'Text.XML.HXT.DOM.TypeDefs'
 100% (  6 /  6) in 'Text.XML.HXT.DOM.Interface'
  15% (  4 / 27) in 'Text.XML.HXT.DOM.XmlNode'
   2% (  1 / 58) in 'Text.XML.HXT.Parser.XmlTokenParser'
  11% (  1 /  9) in 'Text.XML.HXT.Parser.XmlDTDTokenParser'
  80% (  4 /  5) in 'Text.XML.HXT.DOM.ShowXml'
  33% (  1 /  3) in 'Text.XML.HXT.DOM.FormatXmlTree'
  31% ( 11 / 36) in 'Text.XML.HXT.Parser.XmlParsec'
  12% (  1 /  8) in 'Text.XML.HXT.Parser.HtmlParsec'
  25% (  2 /  8) in 'Text.XML.HXT.Parser.XmlDTDParser'
  14% (  5 / 37) in 'Text.XML.HXT.Arrow.Pickle.Schema'
  14% (  3 / 22) in 'Text.XML.HXT.Arrow.Pickle.DTD'
 100% (  2 /  2) in 'Control.Arrow.ArrowList'
  75% (  3 /  4) in 'Control.Arrow.ArrowNF'
 100% (  3 /  3) in 'Control.Arrow.ArrowIf'
  93% ( 28 / 30) in 'Control.Arrow.ArrowNavigatableTree'
 100% (  3 /  3) in 'Control.Arrow.ArrowTree'
 100% (  3 /  3) in 'Control.Arrow.ListArrow'
 100% (  3 /  3) in 'Control.Arrow.StateListArrow'
  67% (  2 /  3) in 'Control.Arrow.NTreeEdit'
 100% (  3 /  3) in 'Control.Arrow.ArrowIO'
  50% (  1 /  2) in 'Control.Arrow.ArrowExc'
 100% (  2 /  2) in 'Control.Arrow.IOListArrow'
 100% (  4 /  4) in 'Control.Arrow.IOStateListArrow'
  14% ( 17 /124) in 'Text.XML.HXT.Arrow.XmlState.TypeDefs'
 100% (  4 /  4) in 'Text.XML.HXT.Arrow.XmlState.MimeTypeTable'
 100% (  3 /  3) in 'Text.XML.HXT.Arrow.XmlArrow'
  87% ( 20 / 23) in 'Text.XML.HXT.Arrow.XmlState.ErrorHandling'
  77% ( 33 / 43) in 'Text.XML.HXT.Arrow.XmlState.SystemConfig'
  12% (  7 / 59) in 'Text.XML.HXT.Arrow.XmlOptions'
   6% (  1 / 16) in 'Text.XML.HXT.Arrow.ParserInterface'
  74% ( 26 / 35) in 'Text.XML.HXT.Arrow.Edit'
 100% ( 13 / 13) in 'Text.XML.HXT.Arrow.Namespace'
  93% ( 13 / 14) in 'Text.XML.HXT.Arrow.XmlState.TraceHandling'
 100% ( 19 / 19) in 'Text.XML.HXT.Arrow.XmlState.URIHandling'
  28% ( 12 / 43) in 'Text.XML.HXT.DTDValidation.TypeDefs'
 100% (  3 /  3) in 'Text.XML.HXT.DTDValidation.AttributeValueValidation'
 100% (  3 /  3) in 'Text.XML.HXT.DTDValidation.DTDValidation'
 100% (  2 /  2) in 'Text.XML.HXT.DTDValidation.DocTransformation'
 100% ( 14 / 14) in 'Text.XML.HXT.DTDValidation.XmlRE'
 100% (  2 /  2) in 'Text.XML.HXT.DTDValidation.DocValidation'
 100% (  2 /  2) in 'Text.XML.HXT.DTDValidation.IdValidation'
  75% (  6 /  8) in 'Text.XML.HXT.DTDValidation.Validation'
  14% (  3 / 21) in 'Text.XML.HXT.Arrow.XmlState.RunIOStateArrow'
  87% (108 /124) in 'Text.XML.HXT.Arrow.XmlState'
  29% (  2 /  7) in 'Text.XML.HXT.Arrow.DocumentInput'
 100% (  2 /  2) in 'Text.XML.HXT.Arrow.DTDProcessing'
 100% (  2 /  2) in 'Text.XML.HXT.Arrow.GeneralEntitySubstitution'
  75% (  6 /  8) in 'Text.XML.HXT.Arrow.ProcessDocument'
 100% ( 15 / 15) in 'Control.Arrow.ListArrows'
 100% (  9 /  9) in 'Text.XML.HXT.Arrow.ReadDocument'
  26% (  7 / 27) in 'Text.XML.HXT.Arrow.XmlRegex'
  67% (  2 /  3) in 'Text.XML.HXT.Arrow.Binary'
  67% (  4 /  6) in 'Text.XML.HXT.Arrow.DocumentOutput'
  80% (  4 /  5) in 'Text.XML.HXT.Arrow.WriteDocument'
  61% ( 58 / 95) in 'Text.XML.HXT.Arrow.Pickle.Xml'
  73% ( 61 / 83) in 'Text.XML.HXT.Arrow.Pickle'
 100% ( 17 / 17) in 'Text.XML.HXT.Core'
Warning: Text.XML.HXT.DOM.ShowXml: could not find link destinations for:
    Text.XML.HXT.DOM.ShowXml.StringFct
Warning: Text.XML.HXT.Parser.XmlDTDParser: could not find link destinations for:
    Text.XML.HXT.Parser.XmlDTDParser.SParser
Warning: Text.XML.HXT.Arrow.Namespace: could not find link destinations for:
    Text.XML.HXT.Arrow.Namespace.propagateNamespaceEnv
Documentation created: dist/doc/html/hxt/index.html, dist/doc/html/hxt/hxt.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/hxt-9.3.1.4
Registering hxt-9.3.1.4...
Installed hxt-9.3.1.4
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 hxt-relaxng-9.1.4...
Building hxt-relaxng-9.1.4...
Preprocessing library hxt-relaxng-9.1.4...
[ 1 of 17] Compiling Text.XML.HXT.RelaxNG.SchemaGrammar ( src/Text/XML/HXT/RelaxNG/SchemaGrammar.hs, dist/build/Text/XML/HXT/RelaxNG/SchemaGrammar.o )
[ 2 of 17] Compiling Text.XML.HXT.RelaxNG.Schema ( src/Text/XML/HXT/RelaxNG/Schema.hs, dist/build/Text/XML/HXT/RelaxNG/Schema.o )
[ 3 of 17] Compiling Text.XML.HXT.RelaxNG.Utils ( src/Text/XML/HXT/RelaxNG/Utils.hs, dist/build/Text/XML/HXT/RelaxNG/Utils.o )
[ 4 of 17] Compiling Text.XML.HXT.RelaxNG.DataTypes ( src/Text/XML/HXT/RelaxNG/DataTypes.hs, dist/build/Text/XML/HXT/RelaxNG/DataTypes.o )
[ 5 of 17] Compiling Text.XML.HXT.RelaxNG.BasicArrows ( src/Text/XML/HXT/RelaxNG/BasicArrows.hs, dist/build/Text/XML/HXT/RelaxNG/BasicArrows.o )
[ 6 of 17] Compiling Text.XML.HXT.RelaxNG.PatternFunctions ( src/Text/XML/HXT/RelaxNG/PatternFunctions.hs, dist/build/Text/XML/HXT/RelaxNG/PatternFunctions.o )
[ 7 of 17] Compiling Text.XML.HXT.RelaxNG.CreatePattern ( src/Text/XML/HXT/RelaxNG/CreatePattern.hs, dist/build/Text/XML/HXT/RelaxNG/CreatePattern.o )
[ 8 of 17] Compiling Text.XML.HXT.RelaxNG.DataTypeLibUtils ( src/Text/XML/HXT/RelaxNG/DataTypeLibUtils.hs, dist/build/Text/XML/HXT/RelaxNG/DataTypeLibUtils.o )
[ 9 of 17] Compiling Text.XML.HXT.RelaxNG.DataTypeLibMysql ( src/Text/XML/HXT/RelaxNG/DataTypeLibMysql.hs, dist/build/Text/XML/HXT/RelaxNG/DataTypeLibMysql.o )
[10 of 17] Compiling Text.XML.HXT.RelaxNG.XMLSchema.DataTypeLibW3C ( src/Text/XML/HXT/RelaxNG/XMLSchema/DataTypeLibW3C.hs, dist/build/Text/XML/HXT/RelaxNG/XMLSchema/DataTypeLibW3C.o )
[11 of 17] Compiling Text.XML.HXT.RelaxNG.DataTypeLibraries ( src/Text/XML/HXT/RelaxNG/DataTypeLibraries.hs, dist/build/Text/XML/HXT/RelaxNG/DataTypeLibraries.o )
[12 of 17] Compiling Text.XML.HXT.RelaxNG.PatternToString ( src/Text/XML/HXT/RelaxNG/PatternToString.hs, dist/build/Text/XML/HXT/RelaxNG/PatternToString.o )
[13 of 17] Compiling Text.XML.HXT.RelaxNG.Validation ( src/Text/XML/HXT/RelaxNG/Validation.hs, dist/build/Text/XML/HXT/RelaxNG/Validation.o )
[14 of 17] Compiling Text.XML.HXT.RelaxNG.Simplification ( src/Text/XML/HXT/RelaxNG/Simplification.hs, dist/build/Text/XML/HXT/RelaxNG/Simplification.o )
[15 of 17] Compiling Text.XML.HXT.RelaxNG.Validator ( src/Text/XML/HXT/RelaxNG/Validator.hs, dist/build/Text/XML/HXT/RelaxNG/Validator.o )
[16 of 17] Compiling Text.XML.HXT.RelaxNG.SystemConfig ( src/Text/XML/HXT/RelaxNG/SystemConfig.hs, dist/build/Text/XML/HXT/RelaxNG/SystemConfig.o )
[17 of 17] Compiling Text.XML.HXT.RelaxNG ( src/Text/XML/HXT/RelaxNG.hs, dist/build/Text/XML/HXT/RelaxNG.o )
In-place registering hxt-relaxng-9.1.4...
Running Haddock for hxt-relaxng-9.1.4...
Running hscolour for hxt-relaxng-9.1.4...
Preprocessing library hxt-relaxng-9.1.4...
Preprocessing library hxt-relaxng-9.1.4...
Haddock coverage:
  33% (  1 /  3) in 'Text.XML.HXT.RelaxNG.SchemaGrammar'
  33% (  1 /  3) in 'Text.XML.HXT.RelaxNG.Schema'
  46% (  6 / 13) in 'Text.XML.HXT.RelaxNG.Utils'
  48% ( 22 / 46) in 'Text.XML.HXT.RelaxNG.DataTypes'
   1% (  1 / 99) in 'Text.XML.HXT.RelaxNG.BasicArrows'
  22% (  4 / 18) in 'Text.XML.HXT.RelaxNG.PatternFunctions'
  83% (  5 /  6) in 'Text.XML.HXT.RelaxNG.CreatePattern'
  53% ( 18 / 34) in 'Text.XML.HXT.RelaxNG.DataTypeLibUtils'
 100% (  3 /  3) in 'Text.XML.HXT.RelaxNG.DataTypeLibMysql'
 100% (  3 /  3) in 'Text.XML.HXT.RelaxNG.XMLSchema.DataTypeLibW3C'
 100% (  4 /  4) in 'Text.XML.HXT.RelaxNG.DataTypeLibraries'
  86% (  6 /  7) in 'Text.XML.HXT.RelaxNG.PatternToString'
  75% (  6 /  8) in 'Text.XML.HXT.RelaxNG.Validation'
  75% (  3 /  4) in 'Text.XML.HXT.RelaxNG.Simplification'
  88% (  7 /  8) in 'Text.XML.HXT.RelaxNG.Validator'
  13% (  2 / 15) in 'Text.XML.HXT.RelaxNG.SystemConfig'
 100% (  6 /  6) in 'Text.XML.HXT.RelaxNG'
Documentation created: dist/doc/html/hxt-relaxng/index.html,
dist/doc/html/hxt-relaxng/hxt-relaxng.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/hxt-relaxng-9.1.4
Registering hxt-relaxng-9.1.4...
Installed hxt-relaxng-9.1.4
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-3198/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
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
Downloading quickcheck-relaxng-0.0.2...
Configuring quickcheck-relaxng-0.0.2...
Building quickcheck-relaxng-0.0.2...
Preprocessing library quickcheck-relaxng-0.0.2...
[1 of 1] Compiling Test.QuickCheck.RelaxNG ( src/Test/QuickCheck/RelaxNG.hs, dist/build/Test/QuickCheck/RelaxNG.o )

src/Test/QuickCheck/RelaxNG.hs:60:13: Warning:
    accepting non-standard pattern guards (use -XPatternGuards to suppress this message)
        uri@(_ : _) <- namespaceUri qn

src/Test/QuickCheck/RelaxNG.hs:135:9: Warning:
    accepting non-standard pattern guards (use -XPatternGuards to suppress this message)
        Just regex <- attr "pattern"

src/Test/QuickCheck/RelaxNG.hs:136:9: Warning:
    accepting non-standard pattern guards (use -XPatternGuards to suppress this message)
        Just len <- attr "length"
In-place registering quickcheck-relaxng-0.0.2...
Running Haddock for quickcheck-relaxng-0.0.2...
Running hscolour for quickcheck-relaxng-0.0.2...
Preprocessing library quickcheck-relaxng-0.0.2...
Preprocessing library quickcheck-relaxng-0.0.2...
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-3198/src/Test/QuickCheck/RelaxNG.hs:60:13: Warning:
    accepting non-standard pattern guards (use -XPatternGuards to suppress this message)
        uri@(_ : _) <- namespaceUri qn

dist/build/tmp-3198/src/Test/QuickCheck/RelaxNG.hs:135:9: Warning:
    accepting non-standard pattern guards (use -XPatternGuards to suppress this message)
        Just regex <- attr "pattern"

dist/build/tmp-3198/src/Test/QuickCheck/RelaxNG.hs:136:9: Warning:
    accepting non-standard pattern guards (use -XPatternGuards to suppress this message)
        Just len <- attr "length"
Haddock coverage:
haddock module header parse failed: Cannot parse header documentation paragraphs
   0% (  0 /  4) in 'Test.QuickCheck.RelaxNG'
Documentation created: dist/doc/html/quickcheck-relaxng/index.html,
dist/doc/html/quickcheck-relaxng/quickcheck-relaxng.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/quickcheck-relaxng-0.0.2
Registering quickcheck-relaxng-0.0.2...
Installed quickcheck-relaxng-0.0.2