Build #1 for regex-genex-0.6.2

[all reports]

Package regex-genex-0.6.2
Install InstallOk
Docs Ok
Tests NotTried
Time submitted 2015-01-19 17:09:11.932622 UTC
Compiler ghc-7.8.3
OS linux
Arch x86_64
Dependencies text-1.2.0.4, stream-monad-0.3, sbv-2.10, regex-tdfa-1.2.0, mtl-2.1.3.1, logict-0.6.0.2, containers-0.5.5.1, base-4.7.0.1
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
Creating package registration file: /tmp/pkgConf-HUnit-1.2.531598.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/HUnit-1.2.5.2
Registering HUnit-1.2.5.2...
Installed HUnit-1.2.5.2
Configuring mtl-2.1.3.1...
Building mtl-2.1.3.1...
Preprocessing library mtl-2.1.3.1...
[ 1 of 21] Compiling Control.Monad.Writer.Class ( Control/Monad/Writer/Class.hs, dist/build/Control/Monad/Writer/Class.o )
[ 2 of 21] Compiling Control.Monad.State.Class ( Control/Monad/State/Class.hs, dist/build/Control/Monad/State/Class.o )
[ 3 of 21] Compiling Control.Monad.Reader.Class ( Control/Monad/Reader/Class.hs, dist/build/Control/Monad/Reader/Class.o )
[ 4 of 21] Compiling Control.Monad.RWS.Class ( Control/Monad/RWS/Class.hs, dist/build/Control/Monad/RWS/Class.o )
[ 5 of 21] Compiling Control.Monad.Identity ( Control/Monad/Identity.hs, dist/build/Control/Monad/Identity.o )
[ 6 of 21] Compiling Control.Monad.Error.Class ( Control/Monad/Error/Class.hs, dist/build/Control/Monad/Error/Class.o )
[ 7 of 21] Compiling Control.Monad.Cont.Class ( Control/Monad/Cont/Class.hs, dist/build/Control/Monad/Cont/Class.o )
[ 8 of 21] Compiling Control.Monad.Trans ( Control/Monad/Trans.hs, dist/build/Control/Monad/Trans.o )
[ 9 of 21] Compiling Control.Monad.Error ( Control/Monad/Error.hs, dist/build/Control/Monad/Error.o )
[10 of 21] Compiling Control.Monad.List ( Control/Monad/List.hs, dist/build/Control/Monad/List.o )
[11 of 21] Compiling Control.Monad.RWS.Lazy ( Control/Monad/RWS/Lazy.hs, dist/build/Control/Monad/RWS/Lazy.o )
[12 of 21] Compiling Control.Monad.RWS ( Control/Monad/RWS.hs, dist/build/Control/Monad/RWS.o )
[13 of 21] Compiling Control.Monad.Reader ( Control/Monad/Reader.hs, dist/build/Control/Monad/Reader.o )
[14 of 21] Compiling Control.Monad.RWS.Strict ( Control/Monad/RWS/Strict.hs, dist/build/Control/Monad/RWS/Strict.o )
[15 of 21] Compiling Control.Monad.State.Lazy ( Control/Monad/State/Lazy.hs, dist/build/Control/Monad/State/Lazy.o )
[16 of 21] Compiling Control.Monad.State ( Control/Monad/State.hs, dist/build/Control/Monad/State.o )
[17 of 21] Compiling Control.Monad.State.Strict ( Control/Monad/State/Strict.hs, dist/build/Control/Monad/State/Strict.o )
[18 of 21] Compiling Control.Monad.Writer.Lazy ( Control/Monad/Writer/Lazy.hs, dist/build/Control/Monad/Writer/Lazy.o )
[19 of 21] Compiling Control.Monad.Writer ( Control/Monad/Writer.hs, dist/build/Control/Monad/Writer.o )
[20 of 21] Compiling Control.Monad.Writer.Strict ( Control/Monad/Writer/Strict.hs, dist/build/Control/Monad/Writer/Strict.o )
[21 of 21] Compiling Control.Monad.Cont ( Control/Monad/Cont.hs, dist/build/Control/Monad/Cont.o )
In-place registering mtl-2.1.3.1...
Running Haddock for mtl-2.1.3.1...
Running hscolour for mtl-2.1.3.1...
Preprocessing library mtl-2.1.3.1...
Preprocessing library mtl-2.1.3.1...
Haddock coverage:
  75% (  3 /  4) in 'Control.Monad.Writer.Class'
 100% (  4 /  4) in 'Control.Monad.State.Class'
 100% (  3 /  3) in 'Control.Monad.Reader.Class'
  80% (  4 /  5) in 'Control.Monad.RWS.Class'
 100% (  4 /  4) in 'Control.Monad.Identity'
 100% (  3 /  3) in 'Control.Monad.Error.Class'
  50% (  1 /  2) in 'Control.Monad.Cont.Class'
 100% (  3 /  3) in 'Control.Monad.Trans'
 100% ( 14 / 14) in 'Control.Monad.Error'
 100% (  5 /  5) in 'Control.Monad.List'
 100% ( 21 / 21) in 'Control.Monad.RWS.Lazy'
 100% (  2 /  2) in 'Control.Monad.RWS'
 100% ( 22 / 22) in 'Control.Monad.Reader'
 100% ( 21 / 21) in 'Control.Monad.RWS.Strict'
 100% ( 23 / 23) in 'Control.Monad.State.Lazy'
 100% (  2 /  2) in 'Control.Monad.State'
 100% ( 23 / 23) in 'Control.Monad.State.Strict'
  94% ( 17 / 18) in 'Control.Monad.Writer.Lazy'
 100% (  2 /  2) in 'Control.Monad.Writer'
  94% ( 17 / 18) in 'Control.Monad.Writer.Strict'
  95% ( 20 / 21) in 'Control.Monad.Cont'
Documentation created: dist/doc/html/mtl/index.html, dist/doc/html/mtl/mtl.txt
Creating package registration file: /tmp/pkgConf-mtl-2.1.331598.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/mtl-2.1.3.1
Registering mtl-2.1.3.1...
Installed mtl-2.1.3.1
Configuring primitive-0.5.4.0...
Building primitive-0.5.4.0...
Preprocessing library primitive-0.5.4.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.4.0...
Running Haddock for primitive-0.5.4.0...
Running hscolour for primitive-0.5.4.0...
Preprocessing library primitive-0.5.4.0...
Preprocessing library primitive-0.5.4.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:
 100% (  3 /  3) in 'Data.Primitive.Internal.Compat'
   3% (  1 / 35) in 'Data.Primitive.MachDeps'
   3% (  1 / 29) in 'Data.Primitive.Internal.Operations'
  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
Creating package registration file: /tmp/pkgConf-primitive-0.5.431598.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/primitive-0.5.4.0
Registering primitive-0.5.4.0...
Installed primitive-0.5.4.0
Configuring random-1.1...
Building random-1.1...
Preprocessing library random-1.1...
[1 of 1] Compiling System.Random    ( System/Random.hs, dist/build/System/Random.o )
In-place registering random-1.1...
Running Haddock for random-1.1...
Running hscolour for random-1.1...
Preprocessing library random-1.1...
Preprocessing library random-1.1...
Haddock coverage:
Cannot find documentation for: $intro
 100% ( 16 / 16) in 'System.Random'
Documentation created: dist/doc/html/random/index.html,
dist/doc/html/random/random.txt
Creating package registration file: /tmp/pkgConf-random-131598.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/random-1.1
Registering random-1.1...
Installed random-1.1
Downloading stream-monad-0.3...
Configuring stream-monad-0.3...
Building stream-monad-0.3...
Preprocessing library stream-monad-0.3...
[1 of 1] Compiling Control.Monad.Stream ( Control/Monad/Stream.hs, dist/build/Control/Monad/Stream.o )
In-place registering stream-monad-0.3...
Running Haddock for stream-monad-0.3...
Running hscolour for stream-monad-0.3...
Preprocessing library stream-monad-0.3...
Preprocessing library stream-monad-0.3...
Haddock coverage:
 100% (  4 /  4) in 'Control.Monad.Stream'
Documentation created: dist/doc/html/stream-monad/index.html,
dist/doc/html/stream-monad/stream-monad.txt
Creating package registration file: /tmp/pkgConf-stream-monad-031598.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/stream-monad-0.3
Registering stream-monad-0.3...
Installed stream-monad-0.3
Configuring syb-0.4.4...
Building syb-0.4.4...
Preprocessing library syb-0.4.4...
[ 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.4...
Running Haddock for syb-0.4.4...
Running hscolour for syb-0.4.4...
Preprocessing library syb-0.4.4...
Preprocessing library syb-0.4.4...
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
Creating package registration file: /tmp/pkgConf-syb-0.431598.4
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/syb-0.4.4
Registering syb-0.4.4...
Installed syb-0.4.4
Configuring text-1.2.0.4...
Building text-1.2.0.4...
Preprocessing library text-1.2.0.4...
[ 1 of 43] Compiling Data.Text.Internal.Read ( Data/Text/Internal/Read.hs, dist/build/Data/Text/Internal/Read.o )
[ 2 of 43] Compiling Data.Text.Internal.Encoding.Utf32 ( Data/Text/Internal/Encoding/Utf32.hs, dist/build/Data/Text/Internal/Encoding/Utf32.o )
[ 3 of 43] Compiling Data.Text.Internal.Builder.RealFloat.Functions ( Data/Text/Internal/Builder/RealFloat/Functions.hs, dist/build/Data/Text/Internal/Builder/RealFloat/Functions.o )
[ 4 of 43] Compiling Data.Text.Internal.Builder.Int.Digits ( Data/Text/Internal/Builder/Int/Digits.hs, dist/build/Data/Text/Internal/Builder/Int/Digits.o )
[ 5 of 43] Compiling Data.Text.Encoding.Error ( Data/Text/Encoding/Error.hs, dist/build/Data/Text/Encoding/Error.o )
[ 6 of 43] Compiling Data.Text.Internal.Unsafe.Shift ( Data/Text/Internal/Unsafe/Shift.hs, dist/build/Data/Text/Internal/Unsafe/Shift.o )
[ 7 of 43] Compiling Data.Text.Internal.Encoding.Utf16 ( Data/Text/Internal/Encoding/Utf16.hs, dist/build/Data/Text/Internal/Encoding/Utf16.o )
[ 8 of 43] Compiling Data.Text.Internal.Functions ( Data/Text/Internal/Functions.hs, dist/build/Data/Text/Internal/Functions.o )
[ 9 of 43] Compiling Data.Text.Internal.Unsafe ( Data/Text/Internal/Unsafe.hs, dist/build/Data/Text/Internal/Unsafe.o )
[10 of 43] Compiling Data.Text.Array  ( Data/Text/Array.hs, dist/build/Data/Text/Array.o )
[11 of 43] Compiling Data.Text.Internal.Unsafe.Char ( Data/Text/Internal/Unsafe/Char.hs, dist/build/Data/Text/Internal/Unsafe/Char.o )
[12 of 43] Compiling Data.Text.Internal ( Data/Text/Internal.hs, dist/build/Data/Text/Internal.o )
[13 of 43] Compiling Data.Text.Internal.Fusion.Size ( Data/Text/Internal/Fusion/Size.hs, dist/build/Data/Text/Internal/Fusion/Size.o )
[14 of 43] Compiling Data.Text.Internal.Fusion.Types ( Data/Text/Internal/Fusion/Types.hs, dist/build/Data/Text/Internal/Fusion/Types.o )
[15 of 43] Compiling Data.Text.Internal.Fusion.CaseMapping ( Data/Text/Internal/Fusion/CaseMapping.hs, dist/build/Data/Text/Internal/Fusion/CaseMapping.o )
[16 of 43] Compiling Data.Text.Internal.Fusion.Common ( Data/Text/Internal/Fusion/Common.hs, dist/build/Data/Text/Internal/Fusion/Common.o )
[17 of 43] Compiling Data.Text.Unsafe ( Data/Text/Unsafe.hs, dist/build/Data/Text/Unsafe.o )
[18 of 43] Compiling Data.Text.Internal.Private ( Data/Text/Internal/Private.hs, dist/build/Data/Text/Internal/Private.o )
[19 of 43] Compiling Data.Text.Internal.Fusion ( Data/Text/Internal/Fusion.hs, dist/build/Data/Text/Internal/Fusion.o )
[20 of 43] Compiling Data.Text.Internal.Encoding.Fusion.Common ( Data/Text/Internal/Encoding/Fusion/Common.hs, dist/build/Data/Text/Internal/Encoding/Fusion/Common.o )
[21 of 43] Compiling Data.Text.Internal.Encoding.Utf8 ( Data/Text/Internal/Encoding/Utf8.hs, dist/build/Data/Text/Internal/Encoding/Utf8.o )
[22 of 43] Compiling Data.Text.Internal.Encoding.Fusion ( Data/Text/Internal/Encoding/Fusion.hs, dist/build/Data/Text/Internal/Encoding/Fusion.o )
[23 of 43] Compiling Data.Text.Internal.Lazy.Encoding.Fusion ( Data/Text/Internal/Lazy/Encoding/Fusion.hs, dist/build/Data/Text/Internal/Lazy/Encoding/Fusion.o )
[24 of 43] Compiling Data.Text.Internal.Search ( Data/Text/Internal/Search.hs, dist/build/Data/Text/Internal/Search.o )
[25 of 43] Compiling Data.Text        ( Data/Text.hs, dist/build/Data/Text.o )
[26 of 43] Compiling Data.Text.Encoding ( Data/Text/Encoding.hs, dist/build/Data/Text/Encoding.o )
[27 of 43] Compiling Data.Text.Foreign ( Data/Text/Foreign.hs, dist/build/Data/Text/Foreign.o )
[28 of 43] Compiling Data.Text.Internal.IO ( Data/Text/Internal/IO.hs, dist/build/Data/Text/Internal/IO.o )
[29 of 43] Compiling Data.Text.IO     ( Data/Text/IO.hs, dist/build/Data/Text/IO.o )
[30 of 43] Compiling Data.Text.Internal.Lazy ( Data/Text/Internal/Lazy.hs, dist/build/Data/Text/Internal/Lazy.o )
[31 of 43] Compiling Data.Text.Internal.Lazy.Fusion ( Data/Text/Internal/Lazy/Fusion.hs, dist/build/Data/Text/Internal/Lazy/Fusion.o )
[32 of 43] Compiling Data.Text.Internal.Lazy.Search ( Data/Text/Internal/Lazy/Search.hs, dist/build/Data/Text/Internal/Lazy/Search.o )
[33 of 43] Compiling Data.Text.Lazy.Internal ( Data/Text/Lazy/Internal.hs, dist/build/Data/Text/Lazy/Internal.o )
[34 of 43] Compiling Data.Text.Lazy   ( Data/Text/Lazy.hs, dist/build/Data/Text/Lazy.o )
[35 of 43] Compiling Data.Text.Internal.Builder ( Data/Text/Internal/Builder.hs, dist/build/Data/Text/Internal/Builder.o )
[36 of 43] Compiling Data.Text.Lazy.Builder ( Data/Text/Lazy/Builder.hs, dist/build/Data/Text/Lazy/Builder.o )
[37 of 43] Compiling Data.Text.Internal.Builder.Functions ( Data/Text/Internal/Builder/Functions.hs, dist/build/Data/Text/Internal/Builder/Functions.o )
[38 of 43] Compiling Data.Text.Lazy.Builder.Int ( Data/Text/Lazy/Builder/Int.hs, dist/build/Data/Text/Lazy/Builder/Int.o )
[39 of 43] Compiling Data.Text.Lazy.IO ( Data/Text/Lazy/IO.hs, dist/build/Data/Text/Lazy/IO.o )
[40 of 43] Compiling Data.Text.Lazy.Read ( Data/Text/Lazy/Read.hs, dist/build/Data/Text/Lazy/Read.o )
[41 of 43] Compiling Data.Text.Lazy.Builder.RealFloat ( Data/Text/Lazy/Builder/RealFloat.hs, dist/build/Data/Text/Lazy/Builder/RealFloat.o )
[42 of 43] Compiling Data.Text.Lazy.Encoding ( Data/Text/Lazy/Encoding.hs, dist/build/Data/Text/Lazy/Encoding.o )
[43 of 43] Compiling Data.Text.Read   ( Data/Text/Read.hs, dist/build/Data/Text/Read.o )
In-place registering text-1.2.0.4...
Running Haddock for text-1.2.0.4...
Running hscolour for text-1.2.0.4...
Preprocessing library text-1.2.0.4...
Preprocessing library text-1.2.0.4...
Haddock coverage:
  14% (  1 /  7) in 'Data.Text.Internal.Read'
  50% (  1 /  2) in 'Data.Text.Internal.Encoding.Utf32'
  50% (  1 /  2) in 'Data.Text.Internal.Builder.RealFloat.Functions'
   0% (  0 /  2) in 'Data.Text.Internal.Builder.Int.Digits'
 100% ( 12 / 12) in 'Data.Text.Encoding.Error'
 100% (  2 /  2) in 'Data.Text.Internal.Unsafe.Shift'
  25% (  1 /  4) in 'Data.Text.Internal.Encoding.Utf16'
 100% (  2 /  2) in 'Data.Text.Internal.Functions'
 100% (  3 /  3) in 'Data.Text.Internal.Unsafe'
 100% ( 16 / 16) in 'Data.Text.Array'
  33% (  2 /  6) in 'Data.Text.Internal.Unsafe.Char'
  95% ( 19 / 20) in 'Data.Text.Internal'
  38% (  5 / 13) in 'Data.Text.Internal.Fusion.Size'
  50% (  5 / 10) in 'Data.Text.Internal.Fusion.Types'
   0% (  0 /  5) in 'Data.Text.Internal.Fusion.CaseMapping'
  89% ( 64 / 72) in 'Data.Text.Internal.Fusion.Common'
  93% ( 13 / 14) in 'Data.Text.Unsafe'
  33% (  1 /  3) in 'Data.Text.Internal.Private'
  86% ( 19 / 22) in 'Data.Text.Internal.Fusion'
  33% (  2 /  6) in 'Data.Text.Internal.Encoding.Fusion.Common'
  17% (  2 / 12) in 'Data.Text.Internal.Encoding.Utf8'
  91% ( 10 / 11) in 'Data.Text.Internal.Encoding.Fusion'
 100% ( 10 / 10) in 'Data.Text.Internal.Lazy.Encoding.Fusion'
 100% (  2 /  2) in 'Data.Text.Internal.Search'
 100% (125 /125) in 'Data.Text'
 100% ( 33 / 33) in 'Data.Text.Encoding'
 100% ( 18 / 18) in 'Data.Text.Foreign'
 100% (  3 /  3) in 'Data.Text.Internal.IO'
 100% ( 20 / 20) in 'Data.Text.IO'
  93% ( 14 / 15) in 'Data.Text.Internal.Lazy'
 100% (  8 /  8) in 'Data.Text.Internal.Lazy.Fusion'
 100% (  2 /  2) in 'Data.Text.Internal.Lazy.Search'
 100% (  2 /  2) in 'Data.Text.Lazy.Internal'
  99% (124 /125) in 'Data.Text.Lazy'
  94% ( 16 / 17) in 'Data.Text.Internal.Builder'
 100% ( 12 / 12) in 'Data.Text.Lazy.Builder'
 100% (  3 /  3) in 'Data.Text.Internal.Builder.Functions'
   0% (  0 /  3) in 'Data.Text.Lazy.Builder.Int'
 100% ( 19 / 19) in 'Data.Text.Lazy.IO'
 100% (  7 /  7) in 'Data.Text.Lazy.Read'
  75% (  3 /  4) in 'Data.Text.Lazy.Builder.RealFloat'
  89% ( 24 / 27) in 'Data.Text.Lazy.Encoding'
 100% (  7 /  7) in 'Data.Text.Read'
Warning: Data.Text.Internal.Fusion.Common: could not find link destinations for:
    Data.Text.Internal.Fusion.Common.findIndicesI
Warning: Data.Text.Unsafe: could not find link destinations for:
    GHC.IO.bracket
Warning: Data.Text: could not find link destinations for:
    Data.Text.replicateChar Data.Text.countChar
Warning: Data.Text.Internal.IO: could not find link destinations for:
    GHC.IO.Handle.Types.Handle__
Warning: Data.Text.Lazy: could not find link destinations for:
    Data.Text.Lazy.replicateChar Data.Text.Lazy.dropWords Data.Text.Lazy.splitAtWord Data.Text.Lazy.countChar
Warning: Data.Text.Internal.Builder: could not find link destinations for:
    Data.Text.Internal.Builder.empty Data.Text.Internal.Builder.append
Warning: Data.Text.Lazy.Builder.RealFloat: could not find link destinations for:
    Data.Text.Lazy.Builder.RealFloat.floatToDigits
Documentation created: dist/doc/html/text/index.html,
dist/doc/html/text/text.txt
Creating package registration file: /tmp/pkgConf-text-1.2.031598.4
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/text-1.2.0.4
Registering text-1.2.0.4...
Installed text-1.2.0.4
Configuring logict-0.6.0.2...
Building logict-0.6.0.2...
Preprocessing library logict-0.6.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.6.0.2...
Running Haddock for logict-0.6.0.2...
Running hscolour for logict-0.6.0.2...
Preprocessing library logict-0.6.0.2...
Preprocessing library logict-0.6.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
Creating package registration file: /tmp/pkgConf-logict-0.6.031598.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/logict-0.6.0.2
Registering logict-0.6.0.2...
Installed logict-0.6.0.2
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
Creating package registration file: /tmp/pkgConf-regex-base-0.9331598.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/regex-base-0.93.2
Registering regex-base-0.93.2...
Installed regex-base-0.93.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 )

src/System/Random/TF/Init.hs:94:5: Warning:
    In the use of ‘bitSize’ (imported from Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"
[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...

src/System/Random/TF/Init.hs:94:5: Warning:
    In the use of ‘bitSize’ (imported from Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"
Haddock coverage:
 100% (  4 /  4) in 'System.Random.TF.Gen'
  83% (  5 /  6) in 'System.Random.TF.Init'
  33% (  1 /  3) in 'System.Random.TF.Instances'
 100% (  3 /  3) in 'System.Random.TF'
Documentation created: dist/doc/html/tf-random/index.html,
dist/doc/html/tf-random/tf-random.txt
Creating package registration file: /tmp/pkgConf-tf-random-031598.5
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/tf-random-0.5
Registering tf-random-0.5...
Installed tf-random-0.5
Configuring parsec-3.1.8...
Building parsec-3.1.8...
Preprocessing library parsec-3.1.8...
[ 1 of 25] Compiling Text.Parsec.Pos  ( Text/Parsec/Pos.hs, dist/build/Text/Parsec/Pos.o )
[ 2 of 25] Compiling Text.Parsec.Error ( Text/Parsec/Error.hs, dist/build/Text/Parsec/Error.o )
[ 3 of 25] Compiling Text.ParserCombinators.Parsec.Error ( Text/ParserCombinators/Parsec/Error.hs, dist/build/Text/ParserCombinators/Parsec/Error.o )
[ 4 of 25] Compiling Text.Parsec.Prim ( Text/Parsec/Prim.hs, dist/build/Text/Parsec/Prim.o )
[ 5 of 25] Compiling Text.Parsec.Combinator ( Text/Parsec/Combinator.hs, dist/build/Text/Parsec/Combinator.o )
[ 6 of 25] Compiling Text.ParserCombinators.Parsec.Combinator ( Text/ParserCombinators/Parsec/Combinator.hs, dist/build/Text/ParserCombinators/Parsec/Combinator.o )
[ 7 of 25] Compiling Text.Parsec.String ( Text/Parsec/String.hs, dist/build/Text/Parsec/String.o )
[ 8 of 25] Compiling Text.Parsec.ByteString ( Text/Parsec/ByteString.hs, dist/build/Text/Parsec/ByteString.o )
[ 9 of 25] Compiling Text.Parsec.ByteString.Lazy ( Text/Parsec/ByteString/Lazy.hs, dist/build/Text/Parsec/ByteString/Lazy.o )
[10 of 25] Compiling Text.Parsec.Text ( Text/Parsec/Text.hs, dist/build/Text/Parsec/Text.o )
[11 of 25] Compiling Text.Parsec.Text.Lazy ( Text/Parsec/Text/Lazy.hs, dist/build/Text/Parsec/Text/Lazy.o )
[12 of 25] Compiling Text.Parsec.Expr ( Text/Parsec/Expr.hs, dist/build/Text/Parsec/Expr.o )
[13 of 25] Compiling Text.ParserCombinators.Parsec.Prim ( Text/ParserCombinators/Parsec/Prim.hs, dist/build/Text/ParserCombinators/Parsec/Prim.o )
[14 of 25] Compiling Text.ParserCombinators.Parsec.Pos ( Text/ParserCombinators/Parsec/Pos.hs, dist/build/Text/ParserCombinators/Parsec/Pos.o )
[15 of 25] Compiling Text.Parsec.Char ( Text/Parsec/Char.hs, dist/build/Text/Parsec/Char.o )
[16 of 25] Compiling Text.Parsec.Token ( Text/Parsec/Token.hs, dist/build/Text/Parsec/Token.o )
[17 of 25] Compiling Text.ParserCombinators.Parsec.Token ( Text/ParserCombinators/Parsec/Token.hs, dist/build/Text/ParserCombinators/Parsec/Token.o )
[18 of 25] Compiling Text.ParserCombinators.Parsec.Char ( Text/ParserCombinators/Parsec/Char.hs, dist/build/Text/ParserCombinators/Parsec/Char.o )
[19 of 25] Compiling Text.ParserCombinators.Parsec ( Text/ParserCombinators/Parsec.hs, dist/build/Text/ParserCombinators/Parsec.o )
[20 of 25] Compiling Text.ParserCombinators.Parsec.Expr ( Text/ParserCombinators/Parsec/Expr.hs, dist/build/Text/ParserCombinators/Parsec/Expr.o )
[21 of 25] Compiling Text.Parsec      ( Text/Parsec.hs, dist/build/Text/Parsec.o )
[22 of 25] Compiling Text.Parsec.Language ( Text/Parsec/Language.hs, dist/build/Text/Parsec/Language.o )
[23 of 25] Compiling Text.ParserCombinators.Parsec.Language ( Text/ParserCombinators/Parsec/Language.hs, dist/build/Text/ParserCombinators/Parsec/Language.o )
[24 of 25] Compiling Text.Parsec.Perm ( Text/Parsec/Perm.hs, dist/build/Text/Parsec/Perm.o )
[25 of 25] Compiling Text.ParserCombinators.Parsec.Perm ( Text/ParserCombinators/Parsec/Perm.hs, dist/build/Text/ParserCombinators/Parsec/Perm.o )
In-place registering parsec-3.1.8...
Running Haddock for parsec-3.1.8...
Running hscolour for parsec-3.1.8...
Preprocessing library parsec-3.1.8...
Preprocessing library parsec-3.1.8...
Haddock coverage:
  82% ( 14 / 17) in 'Text.Parsec.Pos'
  43% (  6 / 14) in 'Text.Parsec.Error'
  38% (  6 / 16) in 'Text.ParserCombinators.Parsec.Error'
  64% ( 32 / 50) in 'Text.Parsec.Prim'
 100% ( 24 / 24) in 'Text.Parsec.Combinator'
 100% ( 24 / 24) in 'Text.ParserCombinators.Parsec.Combinator'
  50% (  2 /  4) in 'Text.Parsec.String'
  50% (  2 /  4) in 'Text.Parsec.ByteString'
  50% (  2 /  4) in 'Text.Parsec.ByteString.Lazy'
  33% (  1 /  3) in 'Text.Parsec.Text'
  33% (  1 /  3) in 'Text.Parsec.Text.Lazy'
 100% (  5 /  5) in 'Text.Parsec.Expr'
  70% ( 21 / 30) in 'Text.ParserCombinators.Parsec.Prim'
  82% ( 14 / 17) in 'Text.ParserCombinators.Parsec.Pos'
 100% ( 20 / 20) in 'Text.Parsec.Char'
  67% (  4 /  6) in 'Text.Parsec.Token'
  67% (  4 /  6) in 'Text.ParserCombinators.Parsec.Token'
  95% ( 18 / 19) in 'Text.ParserCombinators.Parsec.Char'
  83% ( 15 / 18) in 'Text.ParserCombinators.Parsec'
  40% (  2 /  5) in 'Text.ParserCombinators.Parsec.Expr'
  78% ( 73 / 93) in 'Text.Parsec'
  80% (  8 / 10) in 'Text.Parsec.Language'
  80% (  8 / 10) in 'Text.ParserCombinators.Parsec.Language'
 100% (  8 /  8) in 'Text.Parsec.Perm'
 100% (  7 /  7) in 'Text.ParserCombinators.Parsec.Perm'
Documentation created: dist/doc/html/parsec/index.html,
dist/doc/html/parsec/parsec.txt
Creating package registration file: /tmp/pkgConf-parsec-3.131598.8
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/parsec-3.1.8
Registering parsec-3.1.8...
Installed parsec-3.1.8
Configuring QuickCheck-2.7.6...
Building QuickCheck-2.7.6...
Preprocessing library QuickCheck-2.7.6...
[ 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.6...
Running Haddock for QuickCheck-2.7.6...
Running hscolour for QuickCheck-2.7.6...
Preprocessing library QuickCheck-2.7.6...
Preprocessing library QuickCheck-2.7.6...
Haddock coverage:
  10% (  2 / 20) 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'
  88% ( 22 / 25) 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'
  56% ( 40 / 72) in 'Test.QuickCheck.Property'
  52% ( 14 / 27) in 'Test.QuickCheck.Test'
 100% (  9 /  9) in 'Test.QuickCheck.All'
   5% (  1 / 20) in 'Test.QuickCheck.Monadic'
  98% (121 /123) in 'Test.QuickCheck'
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
Creating package registration file: /tmp/pkgConf-QuickCheck-2.731598.6
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/QuickCheck-2.7.6
Registering QuickCheck-2.7.6...
Installed QuickCheck-2.7.6
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 )

Text/Regex/TDFA/TDFA.hs:9:1: Warning:
    Module ‘Control.Monad.Instances’ is deprecated:
      This module now contains no instances and will be removed in the future
[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...

Text/Regex/TDFA/TDFA.hs:9:1: Warning:
    Module ‘Control.Monad.Instances’ is deprecated:
      This module now contains no instances and will be removed in the future
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 / 32) in 'Data.IntSet.EnumSet2'
   0% (  0 / 71) in 'Data.IntMap.EnumMap2'
   0% (  0 / 71) in 'Data.IntMap.CharMap2'
  52% ( 29 / 56) 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
Creating package registration file: /tmp/pkgConf-regex-tdfa-1.231598.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/regex-tdfa-1.2.0
Registering regex-tdfa-1.2.0...
Installed regex-tdfa-1.2.0
Downloading sbv-2.10...
Configuring sbv-2.10...
Building sbv-2.10...
Preprocessing library sbv-2.10...
[ 1 of 60] Compiling Data.SBV.Utils.TDiff ( Data/SBV/Utils/TDiff.hs, dist/build/Data/SBV/Utils/TDiff.o )
[ 2 of 60] Compiling Data.SBV.Utils.Lib ( Data/SBV/Utils/Lib.hs, dist/build/Data/SBV/Utils/Lib.o )
[ 3 of 60] Compiling Data.SBV.Utils.Boolean ( Data/SBV/Utils/Boolean.hs, dist/build/Data/SBV/Utils/Boolean.o )
[ 4 of 60] Compiling Data.SBV.BitVectors.AlgReals ( Data/SBV/BitVectors/AlgReals.hs, dist/build/Data/SBV/BitVectors/AlgReals.o )
[ 5 of 60] Compiling Data.SBV.BitVectors.Data ( Data/SBV/BitVectors/Data.hs, dist/build/Data/SBV/BitVectors/Data.o )

Data/SBV/BitVectors/Data.hs:665:39: Warning:
    ‘Symbolic’ is an instance of Monad but not Applicative - this will become an error in GHC 7.10, under the Applicative-Monad Proposal.
[ 6 of 60] Compiling Data.SBV.Compilers.CodeGen ( Data/SBV/Compilers/CodeGen.hs, dist/build/Data/SBV/Compilers/CodeGen.o )

Data/SBV/Compilers/CodeGen.hs:78:30: Warning:
    ‘SBVCodeGen’ is an instance of Monad but not Applicative - this will become an error in GHC 7.10, under the Applicative-Monad Proposal.
[ 7 of 60] Compiling Data.SBV.Tools.ExpectedValue ( Data/SBV/Tools/ExpectedValue.hs, dist/build/Data/SBV/Tools/ExpectedValue.o )
[ 8 of 60] Compiling Data.SBV.SMT.SMTLib1 ( Data/SBV/SMT/SMTLib1.hs, dist/build/Data/SBV/SMT/SMTLib1.o )
[ 9 of 60] 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.4 ... linking ... done.
Loading package array-0.5.0.0 ... linking ... done.
Loading package deepseq-1.3.0.2 ... linking ... done.
Loading package filepath-1.3.0.2 ... linking ... done.
Loading package old-locale-1.0.0.6 ... linking ... done.
Loading package time-1.4.2 ... linking ... done.
Loading package bytestring-0.10.4.0 ... linking ... done.
Loading package unix-2.7.0.1 ... linking ... done.
Loading package directory-1.2.1.0 ... linking ... done.
Loading package process-1.2.0.0 ... linking ... done.
Loading package old-time-1.1.0.2 ... linking ... done.
Loading package transformers-0.3.0.0 ... linking ... done.
Loading package mtl-2.1.3.1 ... linking ... done.
Loading package random-1.1 ... linking ... done.
Loading package containers-0.5.5.1 ... linking ... done.
Loading package pretty-1.1.1.1 ... linking ... done.
Loading package template-haskell ... linking ... done.
Loading package primitive-0.5.4.0 ... linking ... done.
Loading package tf-random-0.5 ... linking ... done.
Loading package QuickCheck-2.7.6 ... linking ... done.

Data/SBV/BitVectors/Model.hs:595:10: Warning:
    No explicit implementation for
      ‘bitSizeMaybe’
    In the instance declaration for ‘Bits (SBV a)’

Data/SBV/BitVectors/Model.hs:627:30: Warning:
    In the use of ‘bitSize’ (imported from Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"

Data/SBV/BitVectors/Model.hs:632:30: Warning:
    In the use of ‘bitSize’ (imported from Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"

Data/SBV/BitVectors/Model.hs:690:52: Warning:
    In the use of ‘bitSize’ (imported from Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"

Data/SBV/BitVectors/Model.hs:702:52: Warning:
    In the use of ‘bitSize’ (imported from Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"

Data/SBV/BitVectors/Model.hs:737:23: Warning:
    In the use of ‘bitSize’ (imported from Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"

Data/SBV/BitVectors/Model.hs:744:37: Warning:
    In the use of ‘bitSize’ (imported from Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"
[10 of 60] Compiling Data.SBV.BitVectors.PrettyNum ( Data/SBV/BitVectors/PrettyNum.hs, dist/build/Data/SBV/BitVectors/PrettyNum.o )
[11 of 60] Compiling Data.SBV.BitVectors.SignCast ( Data/SBV/BitVectors/SignCast.hs, dist/build/Data/SBV/BitVectors/SignCast.o )
[12 of 60] Compiling Data.SBV.BitVectors.Splittable ( Data/SBV/BitVectors/Splittable.hs, dist/build/Data/SBV/BitVectors/Splittable.o )
[13 of 60] Compiling Data.SBV.BitVectors.STree ( Data/SBV/BitVectors/STree.hs, dist/build/Data/SBV/BitVectors/STree.o )
[14 of 60] Compiling Data.SBV.Tools.Polynomial ( Data/SBV/Tools/Polynomial.hs, dist/build/Data/SBV/Tools/Polynomial.o )

Data/SBV/Tools/Polynomial.hs:103:13: Warning:
    In the use of ‘bitSize’ (imported from Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"
[15 of 60] Compiling Data.SBV.Compilers.C ( Data/SBV/Compilers/C.hs, dist/build/Data/SBV/Compilers/C.o )
[16 of 60] Compiling Data.SBV.Internals ( Data/SBV/Internals.hs, dist/build/Data/SBV/Internals.o )
[17 of 60] Compiling Data.SBV.Tools.GenTest ( Data/SBV/Tools/GenTest.hs, dist/build/Data/SBV/Tools/GenTest.o )
[18 of 60] Compiling Data.SBV.SMT.SMT ( Data/SBV/SMT/SMT.hs, dist/build/Data/SBV/SMT/SMT.o )
[19 of 60] Compiling Data.SBV.Provers.SExpr ( Data/SBV/Provers/SExpr.hs, dist/build/Data/SBV/Provers/SExpr.o )
[20 of 60] Compiling Data.SBV.SMT.SMTLib2 ( Data/SBV/SMT/SMTLib2.hs, dist/build/Data/SBV/SMT/SMTLib2.o )
[21 of 60] Compiling Data.SBV.SMT.SMTLib ( Data/SBV/SMT/SMTLib.hs, dist/build/Data/SBV/SMT/SMTLib.o )
[22 of 60] Compiling Data.SBV.Provers.Yices ( Data/SBV/Provers/Yices.hs, dist/build/Data/SBV/Provers/Yices.o )
[23 of 60] Compiling Data.SBV.Provers.Boolector ( Data/SBV/Provers/Boolector.hs, dist/build/Data/SBV/Provers/Boolector.o )
[24 of 60] Compiling Data.SBV.Provers.CVC4 ( Data/SBV/Provers/CVC4.hs, dist/build/Data/SBV/Provers/CVC4.o )
[25 of 60] Compiling Data.SBV.Provers.Z3 ( Data/SBV/Provers/Z3.hs, dist/build/Data/SBV/Provers/Z3.o )
[26 of 60] Compiling Data.SBV.Provers.Prover ( Data/SBV/Provers/Prover.hs, dist/build/Data/SBV/Provers/Prover.o )
[27 of 60] Compiling Data.SBV.Tools.Optimize ( Data/SBV/Tools/Optimize.hs, dist/build/Data/SBV/Tools/Optimize.o )
[28 of 60] Compiling Data.SBV         ( Data/SBV.hs, dist/build/Data/SBV.o )
[29 of 60] Compiling Data.SBV.Bridge.Boolector ( Data/SBV/Bridge/Boolector.hs, dist/build/Data/SBV/Bridge/Boolector.o )
[30 of 60] Compiling Data.SBV.Bridge.CVC4 ( Data/SBV/Bridge/CVC4.hs, dist/build/Data/SBV/Bridge/CVC4.o )
[31 of 60] Compiling Data.SBV.Bridge.Yices ( Data/SBV/Bridge/Yices.hs, dist/build/Data/SBV/Bridge/Yices.o )
[32 of 60] Compiling Data.SBV.Bridge.Z3 ( Data/SBV/Bridge/Z3.hs, dist/build/Data/SBV/Bridge/Z3.o )
[33 of 60] Compiling Data.SBV.Examples.BitPrecise.BitTricks ( Data/SBV/Examples/BitPrecise/BitTricks.hs, dist/build/Data/SBV/Examples/BitPrecise/BitTricks.o )
[34 of 60] Compiling Data.SBV.Examples.BitPrecise.Legato ( Data/SBV/Examples/BitPrecise/Legato.hs, dist/build/Data/SBV/Examples/BitPrecise/Legato.o )
[35 of 60] Compiling Data.SBV.Examples.BitPrecise.MergeSort ( Data/SBV/Examples/BitPrecise/MergeSort.hs, dist/build/Data/SBV/Examples/BitPrecise/MergeSort.o )
[36 of 60] Compiling Data.SBV.Examples.BitPrecise.PrefixSum ( Data/SBV/Examples/BitPrecise/PrefixSum.hs, dist/build/Data/SBV/Examples/BitPrecise/PrefixSum.o )
[37 of 60] Compiling Data.SBV.Examples.CodeGeneration.AddSub ( Data/SBV/Examples/CodeGeneration/AddSub.hs, dist/build/Data/SBV/Examples/CodeGeneration/AddSub.o )
[38 of 60] Compiling Data.SBV.Examples.CodeGeneration.CRC_USB5 ( Data/SBV/Examples/CodeGeneration/CRC_USB5.hs, dist/build/Data/SBV/Examples/CodeGeneration/CRC_USB5.o )
[39 of 60] Compiling Data.SBV.Examples.CodeGeneration.Fibonacci ( Data/SBV/Examples/CodeGeneration/Fibonacci.hs, dist/build/Data/SBV/Examples/CodeGeneration/Fibonacci.o )
[40 of 60] Compiling Data.SBV.Examples.CodeGeneration.GCD ( Data/SBV/Examples/CodeGeneration/GCD.hs, dist/build/Data/SBV/Examples/CodeGeneration/GCD.o )
[41 of 60] Compiling Data.SBV.Examples.CodeGeneration.PopulationCount ( Data/SBV/Examples/CodeGeneration/PopulationCount.hs, dist/build/Data/SBV/Examples/CodeGeneration/PopulationCount.o )
[42 of 60] Compiling Data.SBV.Examples.CodeGeneration.Uninterpreted ( Data/SBV/Examples/CodeGeneration/Uninterpreted.hs, dist/build/Data/SBV/Examples/CodeGeneration/Uninterpreted.o )

Data/SBV/Examples/CodeGeneration/Uninterpreted.hs:37:59: Warning:
    In the use of ‘bitSize’
    (imported from Data.SBV, but defined in Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"
[43 of 60] Compiling Data.SBV.Examples.Crypto.AES ( Data/SBV/Examples/Crypto/AES.hs, dist/build/Data/SBV/Examples/Crypto/AES.o )
[44 of 60] Compiling Data.SBV.Examples.Crypto.RC4 ( Data/SBV/Examples/Crypto/RC4.hs, dist/build/Data/SBV/Examples/Crypto/RC4.o )
[45 of 60] Compiling Data.SBV.Examples.Existentials.CRCPolynomial ( Data/SBV/Examples/Existentials/CRCPolynomial.hs, dist/build/Data/SBV/Examples/Existentials/CRCPolynomial.o )
[46 of 60] Compiling Data.SBV.Examples.Existentials.Diophantine ( Data/SBV/Examples/Existentials/Diophantine.hs, dist/build/Data/SBV/Examples/Existentials/Diophantine.o )
[47 of 60] Compiling Data.SBV.Examples.Polynomials.Polynomials ( Data/SBV/Examples/Polynomials/Polynomials.hs, dist/build/Data/SBV/Examples/Polynomials/Polynomials.o )

Data/SBV/Examples/Polynomials/Polynomials.hs:41:3: Warning:
    Local definition of ‘<*>’ clashes with a future Prelude name - this will become an error in GHC 7.10, under the Applicative-Monad Proposal.
[48 of 60] Compiling Data.SBV.Examples.Puzzles.Coins ( Data/SBV/Examples/Puzzles/Coins.hs, dist/build/Data/SBV/Examples/Puzzles/Coins.o )
[49 of 60] Compiling Data.SBV.Examples.Puzzles.Counts ( Data/SBV/Examples/Puzzles/Counts.hs, dist/build/Data/SBV/Examples/Puzzles/Counts.o )
[50 of 60] Compiling Data.SBV.Examples.Puzzles.DogCatMouse ( Data/SBV/Examples/Puzzles/DogCatMouse.hs, dist/build/Data/SBV/Examples/Puzzles/DogCatMouse.o )
[51 of 60] Compiling Data.SBV.Examples.Puzzles.Euler185 ( Data/SBV/Examples/Puzzles/Euler185.hs, dist/build/Data/SBV/Examples/Puzzles/Euler185.o )
[52 of 60] Compiling Data.SBV.Examples.Puzzles.MagicSquare ( Data/SBV/Examples/Puzzles/MagicSquare.hs, dist/build/Data/SBV/Examples/Puzzles/MagicSquare.o )
[53 of 60] Compiling Data.SBV.Examples.Puzzles.NQueens ( Data/SBV/Examples/Puzzles/NQueens.hs, dist/build/Data/SBV/Examples/Puzzles/NQueens.o )
[54 of 60] Compiling Data.SBV.Examples.Puzzles.Sudoku ( Data/SBV/Examples/Puzzles/Sudoku.hs, dist/build/Data/SBV/Examples/Puzzles/Sudoku.o )
[55 of 60] Compiling Data.SBV.Examples.Puzzles.U2Bridge ( Data/SBV/Examples/Puzzles/U2Bridge.hs, dist/build/Data/SBV/Examples/Puzzles/U2Bridge.o )
[56 of 60] Compiling Data.SBV.Examples.Uninterpreted.AUF ( Data/SBV/Examples/Uninterpreted/AUF.hs, dist/build/Data/SBV/Examples/Uninterpreted/AUF.o )
[57 of 60] Compiling Data.SBV.Examples.Uninterpreted.Deduce ( Data/SBV/Examples/Uninterpreted/Deduce.hs, dist/build/Data/SBV/Examples/Uninterpreted/Deduce.o )
[58 of 60] Compiling Data.SBV.Examples.Uninterpreted.Function ( Data/SBV/Examples/Uninterpreted/Function.hs, dist/build/Data/SBV/Examples/Uninterpreted/Function.o )
[59 of 60] Compiling Data.SBV.Examples.Uninterpreted.Shannon ( Data/SBV/Examples/Uninterpreted/Shannon.hs, dist/build/Data/SBV/Examples/Uninterpreted/Shannon.o )
[60 of 60] Compiling Data.SBV.Examples.Uninterpreted.Sort ( Data/SBV/Examples/Uninterpreted/Sort.hs, dist/build/Data/SBV/Examples/Uninterpreted/Sort.o )
In-place registering sbv-2.10...
Preprocessing executable 'SBVUnitTests' for sbv-2.10...
[ 1 of 61] Compiling Examples.Arrays.Memory ( SBVUnitTest/Examples/Arrays/Memory.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Arrays/Memory.o )
[ 2 of 61] Compiling Examples.Basics.BasicTests ( SBVUnitTest/Examples/Basics/BasicTests.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Basics/BasicTests.o )
[ 3 of 61] Compiling Examples.Basics.Higher ( SBVUnitTest/Examples/Basics/Higher.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Basics/Higher.o )
[ 4 of 61] Compiling Examples.Basics.ProofTests ( SBVUnitTest/Examples/Basics/ProofTests.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Basics/ProofTests.o )
[ 5 of 61] Compiling Examples.Basics.QRem ( SBVUnitTest/Examples/Basics/QRem.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Basics/QRem.o )
[ 6 of 61] 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.5.0.0 ... linking ... done.
Loading package deepseq-1.3.0.2 ... linking ... done.
Loading package old-locale-1.0.0.6 ... linking ... done.
Loading package time-1.4.2 ... linking ... done.
Loading package random-1.1 ... linking ... done.
Loading package containers-0.5.5.1 ... linking ... done.
Loading package pretty-1.1.1.1 ... linking ... done.
Loading package template-haskell ... linking ... done.
Loading package primitive-0.5.4.0 ... linking ... done.
Loading package tf-random-0.5 ... linking ... done.
Loading package transformers-0.3.0.0 ... linking ... done.
Loading package QuickCheck-2.7.6 ... linking ... done.
Loading package filepath-1.3.0.2 ... linking ... done.
Loading package bytestring-0.10.4.0 ... linking ... done.
Loading package unix-2.7.0.1 ... linking ... done.
Loading package directory-1.2.1.0 ... linking ... done.
Loading package mtl-2.1.3.1 ... linking ... done.
Loading package old-time-1.1.0.2 ... linking ... done.
Loading package process-1.2.0.0 ... linking ... done.
Loading package syb-0.4.4 ... linking ... done.
Loading package sbv-2.10 ... linking ... done.
Loading package HUnit-1.2.5.2 ... linking ... done.
[ 7 of 61] Compiling Examples.CRC.CCITT_Unidir ( SBVUnitTest/Examples/CRC/CCITT_Unidir.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/CRC/CCITT_Unidir.o )
[ 8 of 61] Compiling Examples.CRC.GenPoly ( SBVUnitTest/Examples/CRC/GenPoly.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/CRC/GenPoly.o )
[ 9 of 61] Compiling Examples.CRC.Parity ( SBVUnitTest/Examples/CRC/Parity.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/CRC/Parity.o )
[10 of 61] Compiling Examples.CRC.USB5 ( SBVUnitTest/Examples/CRC/USB5.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/CRC/USB5.o )
[11 of 61] Compiling Examples.Puzzles.PowerSet ( SBVUnitTest/Examples/Puzzles/PowerSet.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Puzzles/PowerSet.o )
[12 of 61] Compiling Examples.Puzzles.Temperature ( SBVUnitTest/Examples/Puzzles/Temperature.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Puzzles/Temperature.o )
[13 of 61] Compiling Examples.Uninterpreted.Uninterpreted ( SBVUnitTest/Examples/Uninterpreted/Uninterpreted.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Uninterpreted/Uninterpreted.o )
[14 of 61] Compiling SBVUnitTestBuildTime ( SBVUnitTest/SBVUnitTestBuildTime.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/SBVUnitTestBuildTime.o )
[15 of 61] Compiling Paths_sbv        ( dist/build/autogen/Paths_sbv.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Paths_sbv.o )
[16 of 61] Compiling SBVTest          ( SBVUnitTest/SBVTest.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/SBVTest.o )
[17 of 61] Compiling TestSuite.Arrays.Memory ( SBVUnitTest/TestSuite/Arrays/Memory.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Arrays/Memory.o )
[18 of 61] Compiling TestSuite.Basics.ArithNoSolver ( SBVUnitTest/TestSuite/Basics/ArithNoSolver.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/ArithNoSolver.o )

SBVUnitTest/TestSuite/Basics/ArithNoSolver.hs:116:82: Warning:
    In the use of ‘bitSize’
    (imported from Data.SBV, but defined in Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"

SBVUnitTest/TestSuite/Basics/ArithNoSolver.hs:116:135: Warning:
    In the use of ‘bitSize’
    (imported from Data.SBV, but defined in Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"

SBVUnitTest/TestSuite/Basics/ArithNoSolver.hs:117:82: Warning:
    In the use of ‘bitSize’
    (imported from Data.SBV, but defined in Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"

SBVUnitTest/TestSuite/Basics/ArithNoSolver.hs:117:135: Warning:
    In the use of ‘bitSize’
    (imported from Data.SBV, but defined in Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"

SBVUnitTest/TestSuite/Basics/ArithNoSolver.hs:118:82: Warning:
    In the use of ‘bitSize’
    (imported from Data.SBV, but defined in Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"

SBVUnitTest/TestSuite/Basics/ArithNoSolver.hs:118:135: Warning:
    In the use of ‘bitSize’
    (imported from Data.SBV, but defined in Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"

SBVUnitTest/TestSuite/Basics/ArithNoSolver.hs:119:82: Warning:
    In the use of ‘bitSize’
    (imported from Data.SBV, but defined in Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"

SBVUnitTest/TestSuite/Basics/ArithNoSolver.hs:119:135: Warning:
    In the use of ‘bitSize’
    (imported from Data.SBV, but defined in Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"

SBVUnitTest/TestSuite/Basics/ArithNoSolver.hs:120:82: Warning:
    In the use of ‘bitSize’
    (imported from Data.SBV, but defined in Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"

SBVUnitTest/TestSuite/Basics/ArithNoSolver.hs:120:135: Warning:
    In the use of ‘bitSize’
    (imported from Data.SBV, but defined in Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"

SBVUnitTest/TestSuite/Basics/ArithNoSolver.hs:121:82: Warning:
    In the use of ‘bitSize’
    (imported from Data.SBV, but defined in Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"

SBVUnitTest/TestSuite/Basics/ArithNoSolver.hs:121:135: Warning:
    In the use of ‘bitSize’
    (imported from Data.SBV, but defined in Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"

SBVUnitTest/TestSuite/Basics/ArithNoSolver.hs:122:82: Warning:
    In the use of ‘bitSize’
    (imported from Data.SBV, but defined in Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"

SBVUnitTest/TestSuite/Basics/ArithNoSolver.hs:122:135: Warning:
    In the use of ‘bitSize’
    (imported from Data.SBV, but defined in Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"

SBVUnitTest/TestSuite/Basics/ArithNoSolver.hs:123:82: Warning:
    In the use of ‘bitSize’
    (imported from Data.SBV, but defined in Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"

SBVUnitTest/TestSuite/Basics/ArithNoSolver.hs:123:135: Warning:
    In the use of ‘bitSize’
    (imported from Data.SBV, but defined in Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"
[19 of 61] Compiling TestSuite.Basics.ArithSolver ( SBVUnitTest/TestSuite/Basics/ArithSolver.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/ArithSolver.o )

SBVUnitTest/TestSuite/Basics/ArithSolver.hs:124:120: Warning:
    In the use of ‘bitSize’
    (imported from Data.SBV, but defined in Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"

SBVUnitTest/TestSuite/Basics/ArithSolver.hs:125:120: Warning:
    In the use of ‘bitSize’
    (imported from Data.SBV, but defined in Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"

SBVUnitTest/TestSuite/Basics/ArithSolver.hs:126:120: Warning:
    In the use of ‘bitSize’
    (imported from Data.SBV, but defined in Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"

SBVUnitTest/TestSuite/Basics/ArithSolver.hs:127:120: Warning:
    In the use of ‘bitSize’
    (imported from Data.SBV, but defined in Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"

SBVUnitTest/TestSuite/Basics/ArithSolver.hs:128:120: Warning:
    In the use of ‘bitSize’
    (imported from Data.SBV, but defined in Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"

SBVUnitTest/TestSuite/Basics/ArithSolver.hs:129:120: Warning:
    In the use of ‘bitSize’
    (imported from Data.SBV, but defined in Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"

SBVUnitTest/TestSuite/Basics/ArithSolver.hs:130:120: Warning:
    In the use of ‘bitSize’
    (imported from Data.SBV, but defined in Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"

SBVUnitTest/TestSuite/Basics/ArithSolver.hs:131:120: Warning:
    In the use of ‘bitSize’
    (imported from Data.SBV, but defined in Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"
[20 of 61] Compiling TestSuite.Basics.BasicTests ( SBVUnitTest/TestSuite/Basics/BasicTests.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/BasicTests.o )
[21 of 61] Compiling TestSuite.Basics.Higher ( SBVUnitTest/TestSuite/Basics/Higher.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/Higher.o )
[22 of 61] Compiling TestSuite.Basics.ProofTests ( SBVUnitTest/TestSuite/Basics/ProofTests.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/ProofTests.o )
[23 of 61] Compiling TestSuite.Basics.QRem ( SBVUnitTest/TestSuite/Basics/QRem.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/QRem.o )
[24 of 61] Compiling TestSuite.BitPrecise.BitTricks ( SBVUnitTest/TestSuite/BitPrecise/BitTricks.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/BitPrecise/BitTricks.o )
[25 of 61] Compiling TestSuite.BitPrecise.Legato ( SBVUnitTest/TestSuite/BitPrecise/Legato.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/BitPrecise/Legato.o )
[26 of 61] Compiling TestSuite.BitPrecise.MergeSort ( SBVUnitTest/TestSuite/BitPrecise/MergeSort.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/BitPrecise/MergeSort.o )
[27 of 61] Compiling TestSuite.BitPrecise.PrefixSum ( SBVUnitTest/TestSuite/BitPrecise/PrefixSum.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/BitPrecise/PrefixSum.o )
[28 of 61] Compiling TestSuite.CRC.CCITT ( SBVUnitTest/TestSuite/CRC/CCITT.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CRC/CCITT.o )
[29 of 61] Compiling TestSuite.CRC.CCITT_Unidir ( SBVUnitTest/TestSuite/CRC/CCITT_Unidir.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CRC/CCITT_Unidir.o )
[30 of 61] Compiling TestSuite.CRC.GenPoly ( SBVUnitTest/TestSuite/CRC/GenPoly.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CRC/GenPoly.o )
[31 of 61] Compiling TestSuite.CRC.Parity ( SBVUnitTest/TestSuite/CRC/Parity.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CRC/Parity.o )
[32 of 61] Compiling TestSuite.CRC.USB5 ( SBVUnitTest/TestSuite/CRC/USB5.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CRC/USB5.o )
[33 of 61] Compiling TestSuite.CodeGeneration.AddSub ( SBVUnitTest/TestSuite/CodeGeneration/AddSub.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/AddSub.o )
[34 of 61] Compiling TestSuite.CodeGeneration.CgTests ( SBVUnitTest/TestSuite/CodeGeneration/CgTests.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/CgTests.o )
[35 of 61] Compiling TestSuite.CodeGeneration.CRC_USB5 ( SBVUnitTest/TestSuite/CodeGeneration/CRC_USB5.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/CRC_USB5.o )
[36 of 61] Compiling TestSuite.CodeGeneration.Fibonacci ( SBVUnitTest/TestSuite/CodeGeneration/Fibonacci.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/Fibonacci.o )
[37 of 61] Compiling TestSuite.CodeGeneration.GCD ( SBVUnitTest/TestSuite/CodeGeneration/GCD.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/GCD.o )
[38 of 61] Compiling TestSuite.CodeGeneration.PopulationCount ( SBVUnitTest/TestSuite/CodeGeneration/PopulationCount.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/PopulationCount.o )
[39 of 61] Compiling TestSuite.CodeGeneration.Uninterpreted ( SBVUnitTest/TestSuite/CodeGeneration/Uninterpreted.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/Uninterpreted.o )
[40 of 61] Compiling TestSuite.Crypto.AES ( SBVUnitTest/TestSuite/Crypto/AES.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Crypto/AES.o )
[41 of 61] Compiling TestSuite.Crypto.RC4 ( SBVUnitTest/TestSuite/Crypto/RC4.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Crypto/RC4.o )
[42 of 61] Compiling TestSuite.Existentials.CRCPolynomial ( SBVUnitTest/TestSuite/Existentials/CRCPolynomial.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Existentials/CRCPolynomial.o )
[43 of 61] Compiling TestSuite.Polynomials.Polynomials ( SBVUnitTest/TestSuite/Polynomials/Polynomials.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Polynomials/Polynomials.o )
[44 of 61] Compiling TestSuite.Puzzles.Coins ( SBVUnitTest/TestSuite/Puzzles/Coins.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/Coins.o )
[45 of 61] Compiling TestSuite.Puzzles.Counts ( SBVUnitTest/TestSuite/Puzzles/Counts.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/Counts.o )
[46 of 61] Compiling TestSuite.Puzzles.DogCatMouse ( SBVUnitTest/TestSuite/Puzzles/DogCatMouse.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/DogCatMouse.o )
[47 of 61] Compiling TestSuite.Puzzles.Euler185 ( SBVUnitTest/TestSuite/Puzzles/Euler185.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/Euler185.o )
[48 of 61] Compiling TestSuite.Puzzles.MagicSquare ( SBVUnitTest/TestSuite/Puzzles/MagicSquare.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/MagicSquare.o )
[49 of 61] Compiling TestSuite.Puzzles.NQueens ( SBVUnitTest/TestSuite/Puzzles/NQueens.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/NQueens.o )
[50 of 61] Compiling TestSuite.Puzzles.PowerSet ( SBVUnitTest/TestSuite/Puzzles/PowerSet.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/PowerSet.o )
[51 of 61] Compiling TestSuite.Puzzles.Sudoku ( SBVUnitTest/TestSuite/Puzzles/Sudoku.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/Sudoku.o )
[52 of 61] Compiling TestSuite.Puzzles.Temperature ( SBVUnitTest/TestSuite/Puzzles/Temperature.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/Temperature.o )
[53 of 61] Compiling TestSuite.Puzzles.U2Bridge ( SBVUnitTest/TestSuite/Puzzles/U2Bridge.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/U2Bridge.o )
[54 of 61] Compiling TestSuite.Uninterpreted.AUF ( SBVUnitTest/TestSuite/Uninterpreted/AUF.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Uninterpreted/AUF.o )
[55 of 61] Compiling TestSuite.Uninterpreted.Axioms ( SBVUnitTest/TestSuite/Uninterpreted/Axioms.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Uninterpreted/Axioms.o )
[56 of 61] Compiling TestSuite.Uninterpreted.Function ( SBVUnitTest/TestSuite/Uninterpreted/Function.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Uninterpreted/Function.o )
[57 of 61] Compiling TestSuite.Uninterpreted.Uninterpreted ( SBVUnitTest/TestSuite/Uninterpreted/Uninterpreted.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Uninterpreted/Uninterpreted.o )
[58 of 61] Compiling Examples.Basics.Index ( SBVUnitTest/Examples/Basics/Index.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Basics/Index.o )
[59 of 61] Compiling TestSuite.Basics.Index ( SBVUnitTest/TestSuite/Basics/Index.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/Index.o )
[60 of 61] Compiling SBVTestCollection ( SBVUnitTest/SBVTestCollection.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/SBVTestCollection.o )
[61 of 61] Compiling Main             ( SBVUnitTest/SBVUnitTest.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Main.o )
Linking dist/build/SBVUnitTests/SBVUnitTests ...
Running Haddock for sbv-2.10...
Running hscolour for sbv-2.10...
Preprocessing library sbv-2.10...
Preprocessing executable 'SBVUnitTests' for sbv-2.10...
Preprocessing library sbv-2.10...

Data/SBV/BitVectors/Data.hs:665:39: Warning:
    ‘Symbolic’ is an instance of Monad but not Applicative - this will become an error in GHC 7.10, under the Applicative-Monad Proposal.

Data/SBV/Compilers/CodeGen.hs:78:30: Warning:
    ‘SBVCodeGen’ is an instance of Monad but not Applicative - this will become an error in GHC 7.10, under the Applicative-Monad Proposal.

Data/SBV/BitVectors/Model.hs:595:10: Warning:
    No explicit implementation for
      ‘bitSizeMaybe’
    In the instance declaration for ‘Bits (SBV a)’

Data/SBV/BitVectors/Model.hs:627:30: Warning:
    In the use of ‘bitSize’ (imported from Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"

Data/SBV/BitVectors/Model.hs:632:30: Warning:
    In the use of ‘bitSize’ (imported from Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"

Data/SBV/BitVectors/Model.hs:690:52: Warning:
    In the use of ‘bitSize’ (imported from Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"

Data/SBV/BitVectors/Model.hs:702:52: Warning:
    In the use of ‘bitSize’ (imported from Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"

Data/SBV/BitVectors/Model.hs:737:23: Warning:
    In the use of ‘bitSize’ (imported from Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"

Data/SBV/BitVectors/Model.hs:744:37: Warning:
    In the use of ‘bitSize’ (imported from Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"

Data/SBV/Tools/Polynomial.hs:103:13: Warning:
    In the use of ‘bitSize’ (imported from Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"

Data/SBV/Examples/CodeGeneration/Uninterpreted.hs:37:59: Warning:
    In the use of ‘bitSize’
    (imported from Data.SBV, but defined in Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"

Data/SBV/Examples/Polynomials/Polynomials.hs:41:3: Warning:
    Local definition of ‘<*>’ clashes with a future Prelude name - this will become an error in GHC 7.10, under the Applicative-Monad Proposal.
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% ( 72 / 72) in 'Data.SBV.BitVectors.Data'
  94% ( 33 / 35) in 'Data.SBV.Compilers.CodeGen'
 100% (  3 /  3) in 'Data.SBV.Tools.ExpectedValue'
 100% (  3 /  3) in 'Data.SBV.SMT.SMTLib1'
 100% ( 56 / 56) in 'Data.SBV.BitVectors.Model'
 100% (  7 /  7) in 'Data.SBV.BitVectors.PrettyNum'
 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% (  5 /  5) in 'Data.SBV.Compilers.C'
 100% ( 18 / 18) in 'Data.SBV.Internals'
 100% (  6 /  6) in 'Data.SBV.Tools.GenTest'
  49% ( 26 / 53) in 'Data.SBV.SMT.SMT'
 100% (  3 /  3) 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.Z3'
 100% ( 35 / 35) in 'Data.SBV.Provers.Prover'
 100% (  8 /  8) in 'Data.SBV.Tools.Optimize'
 100% (233 /233) 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.Yices'
 100% ( 17 / 17) in 'Data.SBV.Bridge.Z3'
 100% (  7 /  7) in 'Data.SBV.Examples.BitPrecise.BitTricks'
  98% ( 46 / 47) 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.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'
  92% ( 34 / 37) in 'Data.SBV.Examples.Puzzles.U2Bridge'
 100% ( 10 / 10) in 'Data.SBV.Examples.Uninterpreted.AUF'
  88% ( 14 / 16) in 'Data.SBV.Examples.Uninterpreted.Deduce'
 100% (  6 /  6) in 'Data.SBV.Examples.Uninterpreted.Function'
 100% ( 19 / 19) in 'Data.SBV.Examples.Uninterpreted.Shannon'
  86% (  6 /  7) in 'Data.SBV.Examples.Uninterpreted.Sort'
Warning: Data.SBV.Internals: could not find link destinations for:
    Data.SBV.BitVectors.Data.Cached Data.SBV.BitVectors.Data.SW 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 Data.SBV.BitVectors.Data.CWVal
Documentation created: dist/doc/html/sbv/index.html, dist/doc/html/sbv/sbv.txt
Preprocessing executable 'SBVUnitTests' for sbv-2.10...
Creating package registration file: /tmp/pkgConf-sbv-231598.10
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/sbv-2.10
Installing executable(s) in
/home/builder/hackage-server/build-cache/tmp-install/bin
Warning: The directory
/home/builder/hackage-server/build-cache/tmp-install/bin is not in the system
search path.
Registering sbv-2.10...
Installed sbv-2.10
Downloading regex-genex-0.6.2...
Configuring regex-genex-0.6.2...
Building regex-genex-0.6.2...
Preprocessing library regex-genex-0.6.2...
[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 )
[3 of 3] Compiling Regex.Genex      ( src/Regex/Genex.hs, dist/build/Regex/Genex.o )
In-place registering regex-genex-0.6.2...
Preprocessing executable 'genex' for regex-genex-0.6.2...
[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 )
[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.2...
Running hscolour for regex-genex-0.6.2...
Preprocessing library regex-genex-0.6.2...
Preprocessing executable 'genex' for regex-genex-0.6.2...
Preprocessing library regex-genex-0.6.2...
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.2...
Creating package registration file: /tmp/pkgConf-regex-genex-0.631598.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/regex-genex-0.6.2
Installing executable(s) in
/home/builder/hackage-server/build-cache/tmp-install/bin
Warning: The directory
/home/builder/hackage-server/build-cache/tmp-install/bin is not in the system
search path.
Registering regex-genex-0.6.2...
Installed regex-genex-0.6.2