Build #1 for scyther-proof-0.10.0.1

[all reports]

Package scyther-proof-0.10.0.1
Install InstallOk
Docs Ok
Tests NotTried
Time submitted 2015-06-21 10:22:43.488601 UTC
Compiler ghc-7.8.3
OS linux
Arch x86_64
Dependencies utf8-string-1, uniplate-1.6.12, time-1.4.2, tagsoup-0.13.3, safe-0.3.9, process-1.2.0.0, pretty-1.1.1.1, parsec-3.1.9, mtl-2.1.3.1, json-0.9.1, filepath-1.3.0.2, directory-1.2.1.0, containers-0.5.5.1, cmdargs-0.10.13, base-4.7.0.1, array-0.5.0.0
Flags threaded

Code Coverage

No Code Coverage was submitted for this report.

Build log

[view raw]

Resolving dependencies...
Configuring cmdargs-0.10.13...
Building cmdargs-0.10.13...
Preprocessing library cmdargs-0.10.13...
[ 1 of 25] Compiling System.Console.CmdArgs.Implicit.Ann ( System/Console/CmdArgs/Implicit/Ann.hs, dist/build/System/Console/CmdArgs/Implicit/Ann.o )
[ 2 of 25] Compiling System.Console.CmdArgs.Implicit.UI ( System/Console/CmdArgs/Implicit/UI.hs, dist/build/System/Console/CmdArgs/Implicit/UI.o )
[ 3 of 25] Compiling System.Console.CmdArgs.Verbosity ( System/Console/CmdArgs/Verbosity.hs, dist/build/System/Console/CmdArgs/Verbosity.o )
[ 4 of 25] Compiling System.Console.CmdArgs.Implicit.Type ( System/Console/CmdArgs/Implicit/Type.hs, dist/build/System/Console/CmdArgs/Implicit/Type.o )
[ 5 of 25] Compiling System.Console.CmdArgs.Explicit.SplitJoin ( System/Console/CmdArgs/Explicit/SplitJoin.hs, dist/build/System/Console/CmdArgs/Explicit/SplitJoin.o )
[ 6 of 25] Compiling System.Console.CmdArgs.Explicit.ExpandArgsAt ( System/Console/CmdArgs/Explicit/ExpandArgsAt.hs, dist/build/System/Console/CmdArgs/Explicit/ExpandArgsAt.o )
[ 7 of 25] Compiling System.Console.CmdArgs.Explicit.Type ( System/Console/CmdArgs/Explicit/Type.hs, dist/build/System/Console/CmdArgs/Explicit/Type.o )
[ 8 of 25] Compiling System.Console.CmdArgs.Explicit.Process ( System/Console/CmdArgs/Explicit/Process.hs, dist/build/System/Console/CmdArgs/Explicit/Process.o )
[ 9 of 25] Compiling System.Console.CmdArgs.Explicit.Complete ( System/Console/CmdArgs/Explicit/Complete.hs, dist/build/System/Console/CmdArgs/Explicit/Complete.o )
[10 of 25] Compiling System.Console.CmdArgs.Helper ( System/Console/CmdArgs/Helper.hs, dist/build/System/Console/CmdArgs/Helper.o )
[11 of 25] Compiling System.Console.CmdArgs.Default ( System/Console/CmdArgs/Default.hs, dist/build/System/Console/CmdArgs/Default.o )
[12 of 25] Compiling System.Console.CmdArgs.Text ( System/Console/CmdArgs/Text.hs, dist/build/System/Console/CmdArgs/Text.o )
[13 of 25] Compiling System.Console.CmdArgs.Explicit.Help ( System/Console/CmdArgs/Explicit/Help.hs, dist/build/System/Console/CmdArgs/Explicit/Help.o )
[14 of 25] Compiling System.Console.CmdArgs.Explicit ( System/Console/CmdArgs/Explicit.hs, dist/build/System/Console/CmdArgs/Explicit.o )
[15 of 25] Compiling System.Console.CmdArgs.GetOpt ( System/Console/CmdArgs/GetOpt.hs, dist/build/System/Console/CmdArgs/GetOpt.o )
[16 of 25] Compiling Data.Generics.Any ( Data/Generics/Any.hs, dist/build/Data/Generics/Any.o )
[17 of 25] Compiling Data.Generics.Any.Prelude ( Data/Generics/Any/Prelude.hs, dist/build/Data/Generics/Any/Prelude.o )
[18 of 25] Compiling System.Console.CmdArgs.Implicit.Reader ( System/Console/CmdArgs/Implicit/Reader.hs, dist/build/System/Console/CmdArgs/Implicit/Reader.o )
[19 of 25] Compiling System.Console.CmdArgs.Annotate ( System/Console/CmdArgs/Annotate.hs, dist/build/System/Console/CmdArgs/Annotate.o )
[20 of 25] Compiling System.Console.CmdArgs.Implicit.Local ( System/Console/CmdArgs/Implicit/Local.hs, dist/build/System/Console/CmdArgs/Implicit/Local.o )
[21 of 25] Compiling System.Console.CmdArgs.Implicit.Reform ( System/Console/CmdArgs/Implicit/Reform.hs, dist/build/System/Console/CmdArgs/Implicit/Reform.o )
[22 of 25] Compiling System.Console.CmdArgs.Implicit.Global ( System/Console/CmdArgs/Implicit/Global.hs, dist/build/System/Console/CmdArgs/Implicit/Global.o )
[23 of 25] Compiling System.Console.CmdArgs.Implicit ( System/Console/CmdArgs/Implicit.hs, dist/build/System/Console/CmdArgs/Implicit.o )
[24 of 25] Compiling System.Console.CmdArgs.Quote ( System/Console/CmdArgs/Quote.hs, dist/build/System/Console/CmdArgs/Quote.o )
[25 of 25] Compiling System.Console.CmdArgs ( System/Console/CmdArgs.hs, dist/build/System/Console/CmdArgs.o )
In-place registering cmdargs-0.10.13...
Running Haddock for cmdargs-0.10.13...
Running hscolour for cmdargs-0.10.13...
Preprocessing library cmdargs-0.10.13...
Preprocessing library cmdargs-0.10.13...
Haddock coverage:
  50% (  1 /  2) in 'System.Console.CmdArgs.Implicit.Ann'
 100% ( 21 / 21) in 'System.Console.CmdArgs.Implicit.UI'
 100% (  8 /  8) in 'System.Console.CmdArgs.Verbosity'
  25% (  2 /  8) in 'System.Console.CmdArgs.Implicit.Type'
  67% (  2 /  3) in 'System.Console.CmdArgs.Explicit.SplitJoin'
  50% (  1 /  2) in 'System.Console.CmdArgs.Explicit.ExpandArgsAt'
  73% ( 24 / 33) in 'System.Console.CmdArgs.Explicit.Type'
  50% (  1 /  2) in 'System.Console.CmdArgs.Explicit.Process'
  60% (  3 /  5) in 'System.Console.CmdArgs.Explicit.Complete'
 100% (  8 /  8) in 'System.Console.CmdArgs.Helper'
   7% (  2 / 28) in 'System.Console.CmdArgs.Default'
 100% (  5 /  5) in 'System.Console.CmdArgs.Text'
  67% (  2 /  3) in 'System.Console.CmdArgs.Explicit.Help'
  85% ( 44 / 52) in 'System.Console.CmdArgs.Explicit'
 100% (  8 /  8) in 'System.Console.CmdArgs.GetOpt'
   4% (  1 / 28) in 'Data.Generics.Any'
   0% (  0 / 20) in 'Data.Generics.Any.Prelude'
   0% (  0 /  3) in 'System.Console.CmdArgs.Implicit.Reader'
 100% ( 17 / 17) in 'System.Console.CmdArgs.Annotate'
   8% (  1 / 12) in 'System.Console.CmdArgs.Implicit.Local'
   0% (  0 /  2) in 'System.Console.CmdArgs.Implicit.Reform'
   0% (  0 /  2) in 'System.Console.CmdArgs.Implicit.Global'
 100% ( 50 / 50) in 'System.Console.CmdArgs.Implicit'
 100% (  9 /  9) in 'System.Console.CmdArgs.Quote'
 100% (  2 /  2) in 'System.Console.CmdArgs'
Warning: System.Console.CmdArgs.Implicit: could not find link destinations for:
    System.Console.CmdArgs.Implicit.Type.CmdArgsPrivate GHC.IO.Handle.Types.Handle__
Documentation created: dist/doc/html/cmdargs/index.html,
dist/doc/html/cmdargs/cmdargs.txt
Creating package registration file: /tmp/pkgConf-cmdargs-0.1025472.13
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/cmdargs-0.10.13
Registering cmdargs-0.10.13...
Installed cmdargs-0.10.13
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.325472.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 safe-0.3.9...
Building safe-0.3.9...
Preprocessing library safe-0.3.9...
[1 of 4] Compiling Safe.Util        ( Safe/Util.hs, dist/build/Safe/Util.o )
[2 of 4] Compiling Safe.Exact       ( Safe/Exact.hs, dist/build/Safe/Exact.o )
[3 of 4] Compiling Safe.Foldable    ( Safe/Foldable.hs, dist/build/Safe/Foldable.o )
[4 of 4] Compiling Safe             ( Safe.hs, dist/build/Safe.o )
In-place registering safe-0.3.9...
Running Haddock for safe-0.3.9...
Running hscolour for safe-0.3.9...
Preprocessing library safe-0.3.9...
Preprocessing library safe-0.3.9...
Haddock coverage:
  14% (  1 /  7) in 'Safe.Util'
  35% (  8 / 23) in 'Safe.Exact'
  18% (  5 / 28) in 'Safe.Foldable'
  20% ( 14 / 71) in 'Safe'
Documentation created: dist/doc/html/safe/index.html,
dist/doc/html/safe/safe.txt
Creating package registration file: /tmp/pkgConf-safe-0.325472.9
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/safe-0.3.9
Registering safe-0.3.9...
Installed safe-0.3.9
Configuring syb-0.5.1...
Building syb-0.5.1...
Preprocessing library syb-0.5.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.5.1...
Running Haddock for syb-0.5.1...
Running hscolour for syb-0.5.1...
Preprocessing library syb-0.5.1...
Preprocessing library syb-0.5.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% ( 17 / 17) in 'Data.Generics.Twins'
 100% (  2 /  2) in 'Generics.SYB.Twins'
 100% (  3 /  3) in 'Data.Generics.Builders'
 100% (  2 /  2) in 'Generics.SYB.Builders'
 100% (  2 /  2) in 'Generics.SYB.Aliases'
 100% (  8 /  8) in 'Data.Generics'
 100% (  2 /  2) in 'Generics.SYB'
Documentation created: dist/doc/html/syb/index.html, dist/doc/html/syb/syb.txt
Creating package registration file: /tmp/pkgConf-syb-0.525472.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/syb-0.5.1
Registering syb-0.5.1...
Installed syb-0.5.1
Configuring text-1.2.1.1...
Building text-1.2.1.1...
Preprocessing library text-1.2.1.1...
[ 1 of 44] Compiling Data.Text.Internal.Read ( Data/Text/Internal/Read.hs, dist/build/Data/Text/Internal/Read.o )
[ 2 of 44] Compiling Data.Text.Internal.Encoding.Utf32 ( Data/Text/Internal/Encoding/Utf32.hs, dist/build/Data/Text/Internal/Encoding/Utf32.o )
[ 3 of 44] 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 44] 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 44] Compiling Data.Text.Encoding.Error ( Data/Text/Encoding/Error.hs, dist/build/Data/Text/Encoding/Error.o )
[ 6 of 44] Compiling Data.Text.Internal.Unsafe.Shift ( Data/Text/Internal/Unsafe/Shift.hs, dist/build/Data/Text/Internal/Unsafe/Shift.o )
[ 7 of 44] Compiling Data.Text.Internal.Encoding.Utf16 ( Data/Text/Internal/Encoding/Utf16.hs, dist/build/Data/Text/Internal/Encoding/Utf16.o )
[ 8 of 44] Compiling Data.Text.Internal.Functions ( Data/Text/Internal/Functions.hs, dist/build/Data/Text/Internal/Functions.o )
[ 9 of 44] Compiling Data.Text.Internal.Unsafe ( Data/Text/Internal/Unsafe.hs, dist/build/Data/Text/Internal/Unsafe.o )
[10 of 44] Compiling Data.Text.Array  ( Data/Text/Array.hs, dist/build/Data/Text/Array.o )
[11 of 44] Compiling Data.Text.Internal.Unsafe.Char ( Data/Text/Internal/Unsafe/Char.hs, dist/build/Data/Text/Internal/Unsafe/Char.o )
[12 of 44] Compiling Data.Text.Internal ( Data/Text/Internal.hs, dist/build/Data/Text/Internal.o )
[13 of 44] Compiling Data.Text.Internal.Fusion.Size ( Data/Text/Internal/Fusion/Size.hs, dist/build/Data/Text/Internal/Fusion/Size.o )
[14 of 44] Compiling Data.Text.Internal.Fusion.Types ( Data/Text/Internal/Fusion/Types.hs, dist/build/Data/Text/Internal/Fusion/Types.o )
[15 of 44] Compiling Data.Text.Internal.Fusion.CaseMapping ( Data/Text/Internal/Fusion/CaseMapping.hs, dist/build/Data/Text/Internal/Fusion/CaseMapping.o )
[16 of 44] Compiling Data.Text.Internal.Fusion.Common ( Data/Text/Internal/Fusion/Common.hs, dist/build/Data/Text/Internal/Fusion/Common.o )
[17 of 44] Compiling Data.Text.Unsafe ( Data/Text/Unsafe.hs, dist/build/Data/Text/Unsafe.o )
[18 of 44] Compiling Data.Text.Internal.Private ( Data/Text/Internal/Private.hs, dist/build/Data/Text/Internal/Private.o )
[19 of 44] Compiling Data.Text.Internal.Fusion ( Data/Text/Internal/Fusion.hs, dist/build/Data/Text/Internal/Fusion.o )
[20 of 44] Compiling Data.Text.Show   ( Data/Text/Show.hs, dist/build/Data/Text/Show.o )
[21 of 44] Compiling Data.Text.Internal.Encoding.Fusion.Common ( Data/Text/Internal/Encoding/Fusion/Common.hs, dist/build/Data/Text/Internal/Encoding/Fusion/Common.o )
[22 of 44] Compiling Data.Text.Internal.Encoding.Utf8 ( Data/Text/Internal/Encoding/Utf8.hs, dist/build/Data/Text/Internal/Encoding/Utf8.o )
[23 of 44] Compiling Data.Text.Internal.Encoding.Fusion ( Data/Text/Internal/Encoding/Fusion.hs, dist/build/Data/Text/Internal/Encoding/Fusion.o )
[24 of 44] Compiling Data.Text.Encoding ( Data/Text/Encoding.hs, dist/build/Data/Text/Encoding.o )
[25 of 44] Compiling Data.Text.Internal.Lazy.Encoding.Fusion ( Data/Text/Internal/Lazy/Encoding/Fusion.hs, dist/build/Data/Text/Internal/Lazy/Encoding/Fusion.o )
[26 of 44] Compiling Data.Text.Internal.Search ( Data/Text/Internal/Search.hs, dist/build/Data/Text/Internal/Search.o )
[27 of 44] Compiling Data.Text.Foreign ( Data/Text/Foreign.hs, dist/build/Data/Text/Foreign.o )
[28 of 44] Compiling Data.Text        ( Data/Text.hs, dist/build/Data/Text.o )
[29 of 44] Compiling Data.Text.Internal.IO ( Data/Text/Internal/IO.hs, dist/build/Data/Text/Internal/IO.o )
[30 of 44] Compiling Data.Text.IO     ( Data/Text/IO.hs, dist/build/Data/Text/IO.o )
[31 of 44] Compiling Data.Text.Internal.Lazy ( Data/Text/Internal/Lazy.hs, dist/build/Data/Text/Internal/Lazy.o )
[32 of 44] Compiling Data.Text.Internal.Lazy.Fusion ( Data/Text/Internal/Lazy/Fusion.hs, dist/build/Data/Text/Internal/Lazy/Fusion.o )
[33 of 44] Compiling Data.Text.Internal.Lazy.Search ( Data/Text/Internal/Lazy/Search.hs, dist/build/Data/Text/Internal/Lazy/Search.o )
[34 of 44] Compiling Data.Text.Lazy.Internal ( Data/Text/Lazy/Internal.hs, dist/build/Data/Text/Lazy/Internal.o )
[35 of 44] Compiling Data.Text.Lazy.Encoding ( Data/Text/Lazy/Encoding.hs, dist/build/Data/Text/Lazy/Encoding.o )
[36 of 44] Compiling Data.Text.Lazy   ( Data/Text/Lazy.hs, dist/build/Data/Text/Lazy.o )
[37 of 44] Compiling Data.Text.Internal.Builder ( Data/Text/Internal/Builder.hs, dist/build/Data/Text/Internal/Builder.o )
[38 of 44] Compiling Data.Text.Lazy.Builder ( Data/Text/Lazy/Builder.hs, dist/build/Data/Text/Lazy/Builder.o )
[39 of 44] Compiling Data.Text.Internal.Builder.Functions ( Data/Text/Internal/Builder/Functions.hs, dist/build/Data/Text/Internal/Builder/Functions.o )
[40 of 44] Compiling Data.Text.Lazy.Builder.Int ( Data/Text/Lazy/Builder/Int.hs, dist/build/Data/Text/Lazy/Builder/Int.o )
[41 of 44] Compiling Data.Text.Lazy.IO ( Data/Text/Lazy/IO.hs, dist/build/Data/Text/Lazy/IO.o )
[42 of 44] Compiling Data.Text.Lazy.Read ( Data/Text/Lazy/Read.hs, dist/build/Data/Text/Lazy/Read.o )
[43 of 44] Compiling Data.Text.Lazy.Builder.RealFloat ( Data/Text/Lazy/Builder/RealFloat.hs, dist/build/Data/Text/Lazy/Builder/RealFloat.o )
[44 of 44] Compiling Data.Text.Read   ( Data/Text/Read.hs, dist/build/Data/Text/Read.o )
In-place registering text-1.2.1.1...
Running Haddock for text-1.2.1.1...
Running hscolour for text-1.2.1.1...
Preprocessing library text-1.2.1.1...
Preprocessing library text-1.2.1.1...
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'
  88% (  7 /  8) in 'Data.Text.Internal.Fusion.Types'
   0% (  0 /  5) in 'Data.Text.Internal.Fusion.CaseMapping'
  89% ( 63 / 71) in 'Data.Text.Internal.Fusion.Common'
  93% ( 13 / 14) in 'Data.Text.Unsafe'
  33% (  1 /  3) in 'Data.Text.Internal.Private'
  91% ( 20 / 22) in 'Data.Text.Internal.Fusion'
 100% (  4 /  4) in 'Data.Text.Show'
  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% ( 33 / 33) in 'Data.Text.Encoding'
 100% ( 10 / 10) in 'Data.Text.Internal.Lazy.Encoding.Fusion'
 100% (  2 /  2) in 'Data.Text.Internal.Search'
 100% ( 18 / 18) in 'Data.Text.Foreign'
 100% (126 /126) in 'Data.Text'
 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'
  89% ( 24 / 27) in 'Data.Text.Lazy.Encoding'
  99% (127 /128) 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'
 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.125472.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/text-1.2.1.1
Registering text-1.2.1.1...
Installed text-1.2.1.1
Configuring utf8-string-1...
Building utf8-string-1...
Preprocessing library utf8-string-1...
[1 of 5] Compiling Codec.Binary.UTF8.String ( Codec/Binary/UTF8/String.hs, dist/build/Codec/Binary/UTF8/String.o )
[2 of 5] Compiling Codec.Binary.UTF8.Generic ( Codec/Binary/UTF8/Generic.hs, dist/build/Codec/Binary/UTF8/Generic.o )
[3 of 5] Compiling Data.String.UTF8 ( Data/String/UTF8.hs, dist/build/Data/String/UTF8.o )
[4 of 5] Compiling Data.ByteString.UTF8 ( Data/ByteString/UTF8.hs, dist/build/Data/ByteString/UTF8.o )
[5 of 5] Compiling Data.ByteString.Lazy.UTF8 ( Data/ByteString/Lazy/UTF8.hs, dist/build/Data/ByteString/Lazy/UTF8.o )
In-place registering utf8-string-1...
Running Haddock for utf8-string-1...
Running hscolour for utf8-string-1...
Preprocessing library utf8-string-1...
Preprocessing library utf8-string-1...
Haddock coverage:
 100% (  8 /  8) in 'Codec.Binary.UTF8.String'
  94% ( 16 / 17) in 'Codec.Binary.UTF8.Generic'
  89% ( 24 / 27) in 'Data.String.UTF8'
 100% ( 17 / 17) in 'Data.ByteString.UTF8'
 100% ( 17 / 17) in 'Data.ByteString.Lazy.UTF8'
Documentation created: dist/doc/html/utf8-string/index.html,
dist/doc/html/utf8-string/utf8-string.txt
Creating package registration file: /tmp/pkgConf-utf8-string-125472
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/utf8-string-1
Registering utf8-string-1...
Installed utf8-string-1
Configuring hashable-1.2.3.2...
Building hashable-1.2.3.2...
Preprocessing library hashable-1.2.3.2...
[1 of 3] Compiling Data.Hashable.Class ( Data/Hashable/Class.hs, dist/build/Data/Hashable/Class.o )

Data/Hashable/Class.hs:213:11: Warning:
    In the use of ‘bitSize’ (imported from Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"

Data/Hashable/Class.hs:236:11: Warning:
    In the use of ‘bitSize’ (imported from Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"
[2 of 3] Compiling Data.Hashable.Generic ( Data/Hashable/Generic.hs, dist/build/Data/Hashable/Generic.o )

Data/Hashable/Generic.hs:20:1: Warning:
    The import of ‘Bits’ from module ‘Data.Bits’ is redundant
[3 of 3] Compiling Data.Hashable    ( Data/Hashable.hs, dist/build/Data/Hashable.o )
In-place registering hashable-1.2.3.2...
Running Haddock for hashable-1.2.3.2...
Running hscolour for hashable-1.2.3.2...
Preprocessing library hashable-1.2.3.2...
Preprocessing library hashable-1.2.3.2...

Data/Hashable/Class.hs:213:11: Warning:
    In the use of ‘bitSize’ (imported from Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"

Data/Hashable/Class.hs:236:11: Warning:
    In the use of ‘bitSize’ (imported from Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"

Data/Hashable/Generic.hs:20:1: Warning:
    The import of ‘Bits’ from module ‘Data.Bits’ is redundant
Haddock coverage:
 100% ( 11 / 11) in 'Data.Hashable.Class'
 100% (  1 /  1) in 'Data.Hashable.Generic'
 100% ( 22 / 22) in 'Data.Hashable'
Warning: Data.Hashable: could not find link destinations for:
    Data.Hashable.Class.GHashable
Documentation created: dist/doc/html/hashable/index.html,
dist/doc/html/hashable/hashable.txt
Creating package registration file: /tmp/pkgConf-hashable-1.2.325472.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/hashable-1.2.3.2
Registering hashable-1.2.3.2...
Installed hashable-1.2.3.2
Configuring parsec-3.1.9...
Building parsec-3.1.9...
Preprocessing library parsec-3.1.9...
[ 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.9...
Running Haddock for parsec-3.1.9...
Running hscolour for parsec-3.1.9...
Preprocessing library parsec-3.1.9...
Preprocessing library parsec-3.1.9...
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 / 94) 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.125472.9
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/parsec-3.1.9
Registering parsec-3.1.9...
Installed parsec-3.1.9
Configuring tagsoup-0.13.3...
Building tagsoup-0.13.3...
Preprocessing library tagsoup-0.13.3...
[ 1 of 13] Compiling Text.HTML.TagSoup.Entity ( Text/HTML/TagSoup/Entity.hs, dist/build/Text/HTML/TagSoup/Entity.o )
[ 2 of 13] Compiling Text.StringLike  ( Text/StringLike.hs, dist/build/Text/StringLike.o )
[ 3 of 13] Compiling Text.HTML.TagSoup.Type ( Text/HTML/TagSoup/Type.hs, dist/build/Text/HTML/TagSoup/Type.o )
[ 4 of 13] Compiling Text.HTML.TagSoup.Match ( Text/HTML/TagSoup/Match.hs, dist/build/Text/HTML/TagSoup/Match.o )
[ 5 of 13] Compiling Text.HTML.TagSoup.Tree ( Text/HTML/TagSoup/Tree.hs, dist/build/Text/HTML/TagSoup/Tree.o )
[ 6 of 13] Compiling Text.HTML.TagSoup.Options ( Text/HTML/TagSoup/Options.hs, dist/build/Text/HTML/TagSoup/Options.o )
[ 7 of 13] Compiling Text.HTML.TagSoup.Implementation ( Text/HTML/TagSoup/Implementation.hs, dist/build/Text/HTML/TagSoup/Implementation.o )
[ 8 of 13] Compiling Text.HTML.TagSoup.Specification ( Text/HTML/TagSoup/Specification.hs, dist/build/Text/HTML/TagSoup/Specification.o )
[ 9 of 13] Compiling Text.HTML.TagSoup.Manual ( Text/HTML/TagSoup/Manual.hs, dist/build/Text/HTML/TagSoup/Manual.o )
[10 of 13] Compiling Text.HTML.TagSoup.Generated ( Text/HTML/TagSoup/Generated.hs, dist/build/Text/HTML/TagSoup/Generated.o )
[11 of 13] Compiling Text.HTML.TagSoup.Render ( Text/HTML/TagSoup/Render.hs, dist/build/Text/HTML/TagSoup/Render.o )
[12 of 13] Compiling Text.HTML.TagSoup.Parser ( Text/HTML/TagSoup/Parser.hs, dist/build/Text/HTML/TagSoup/Parser.o )
[13 of 13] Compiling Text.HTML.TagSoup ( Text/HTML/TagSoup.hs, dist/build/Text/HTML/TagSoup.o )
In-place registering tagsoup-0.13.3...
Running Haddock for tagsoup-0.13.3...
Running hscolour for tagsoup-0.13.3...
Preprocessing library tagsoup-0.13.3...
Preprocessing library tagsoup-0.13.3...
Haddock coverage:
 100% (  7 /  7) in 'Text.HTML.TagSoup.Entity'
  38% (  3 /  8) in 'Text.StringLike'
  81% ( 22 / 27) in 'Text.HTML.TagSoup.Type'
  50% (  9 / 18) in 'Text.HTML.TagSoup.Match'
  67% (  4 /  6) in 'Text.HTML.TagSoup.Tree'
  83% (  5 /  6) in 'Text.HTML.TagSoup.Options'
   0% (  0 / 34) in 'Text.HTML.TagSoup.Implementation'
   0% (  0 /  2) in 'Text.HTML.TagSoup.Specification'
   0% (  0 /  2) in 'Text.HTML.TagSoup.Manual'
   0% (  0 /  2) in 'Text.HTML.TagSoup.Generated'
 100% (  6 /  6) in 'Text.HTML.TagSoup.Render'
  86% (  6 /  7) in 'Text.HTML.TagSoup.Parser'
 100% ( 39 / 39) in 'Text.HTML.TagSoup'
Documentation created: dist/doc/html/tagsoup/index.html,
dist/doc/html/tagsoup/tagsoup.txt
Creating package registration file: /tmp/pkgConf-tagsoup-0.1325472.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/tagsoup-0.13.3
Registering tagsoup-0.13.3...
Installed tagsoup-0.13.3
Configuring unordered-containers-0.2.5.1...
Building unordered-containers-0.2.5.1...
Preprocessing library unordered-containers-0.2.5.1...
[1 of 8] Compiling Data.HashMap.UnsafeShift ( Data/HashMap/UnsafeShift.hs, dist/build/Data/HashMap/UnsafeShift.o )
[2 of 8] Compiling Data.HashMap.PopCount ( Data/HashMap/PopCount.hs, dist/build/Data/HashMap/PopCount.o )
[3 of 8] Compiling Data.HashMap.Unsafe ( Data/HashMap/Unsafe.hs, dist/build/Data/HashMap/Unsafe.o )
[4 of 8] Compiling Data.HashMap.Array ( Data/HashMap/Array.hs, dist/build/Data/HashMap/Array.o )
[5 of 8] Compiling Data.HashMap.Base ( Data/HashMap/Base.hs, dist/build/Data/HashMap/Base.o )
[6 of 8] Compiling Data.HashMap.Strict ( Data/HashMap/Strict.hs, dist/build/Data/HashMap/Strict.o )
[7 of 8] Compiling Data.HashMap.Lazy ( Data/HashMap/Lazy.hs, dist/build/Data/HashMap/Lazy.o )
[8 of 8] Compiling Data.HashSet     ( Data/HashSet.hs, dist/build/Data/HashSet.o )
In-place registering unordered-containers-0.2.5.1...
Running Haddock for unordered-containers-0.2.5.1...
Running hscolour for unordered-containers-0.2.5.1...
Preprocessing library unordered-containers-0.2.5.1...
Preprocessing library unordered-containers-0.2.5.1...
Haddock coverage:
   0% (  0 /  3) in 'Data.HashMap.UnsafeShift'
  50% (  1 /  2) in 'Data.HashMap.PopCount'
 100% (  2 /  2) in 'Data.HashMap.Unsafe'
  38% ( 14 / 37) in 'Data.HashMap.Array'
  87% ( 54 / 62) in 'Data.HashMap.Base'
 100% ( 46 / 46) in 'Data.HashMap.Strict'
 100% ( 46 / 46) in 'Data.HashMap.Lazy'
 100% ( 27 / 27) in 'Data.HashSet'
Documentation created: dist/doc/html/unordered-containers/index.html,
dist/doc/html/unordered-containers/unordered-containers.txt
Creating package registration file:
/tmp/pkgConf-unordered-containers-0.2.525472.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/unordered-containers-0.2.5.1
Registering unordered-containers-0.2.5.1...
Installed unordered-containers-0.2.5.1
Configuring json-0.9.1...
Building json-0.9.1...
Preprocessing library json-0.9.1...
[1 of 7] Compiling Text.JSON.Types  ( Text/JSON/Types.hs, dist/build/Text/JSON/Types.o )
[2 of 7] Compiling Text.JSON.String ( Text/JSON/String.hs, dist/build/Text/JSON/String.o )
[3 of 7] Compiling Text.JSON.ReadP  ( Text/JSON/ReadP.hs, dist/build/Text/JSON/ReadP.o )
[4 of 7] Compiling Text.JSON.Parsec ( Text/JSON/Parsec.hs, dist/build/Text/JSON/Parsec.o )
[5 of 7] Compiling Text.JSON.Pretty ( Text/JSON/Pretty.hs, dist/build/Text/JSON/Pretty.o )
[6 of 7] Compiling Text.JSON        ( Text/JSON.hs, dist/build/Text/JSON.o )
[7 of 7] Compiling Text.JSON.Generic ( Text/JSON/Generic.hs, dist/build/Text/JSON/Generic.o )
In-place registering json-0.9.1...
Running Haddock for json-0.9.1...
Running hscolour for json-0.9.1...
Preprocessing library json-0.9.1...
Preprocessing library json-0.9.1...
Haddock coverage:
 100% ( 10 / 10) in 'Text.JSON.Types'
  95% ( 21 / 22) in 'Text.JSON.String'
  18% (  2 / 11) in 'Text.JSON.ReadP'
  17% (  2 / 12) in 'Text.JSON.Parsec'
  18% (  2 / 11) in 'Text.JSON.Pretty'
  90% ( 38 / 42) in 'Text.JSON'
  80% (  8 / 10) in 'Text.JSON.Generic'
Warning: Text.JSON.Generic: could not find link destinations for:
    GHC.IO.Handle.Types.Handle__
Documentation created: dist/doc/html/json/index.html,
dist/doc/html/json/json.txt
Creating package registration file: /tmp/pkgConf-json-0.925472.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/json-0.9.1
Registering json-0.9.1...
Installed json-0.9.1
Configuring uniplate-1.6.12...
Building uniplate-1.6.12...
Preprocessing library uniplate-1.6.12...
[ 1 of 21] Compiling Data.Generics.Uniplate.Data.Instances ( Data/Generics/Uniplate/Data/Instances.hs, dist/build/Data/Generics/Uniplate/Data/Instances.o )
[ 2 of 21] Compiling Data.Generics.Uniplate.Internal.Utils ( Data/Generics/Uniplate/Internal/Utils.hs, dist/build/Data/Generics/Uniplate/Internal/Utils.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 bytestring-0.10.4.0 ... linking ... done.
Loading package containers-0.5.5.1 ... linking ... done.
Loading package binary-0.7.1.0 ... linking ... done.
Loading package text-1.2.1.1 ... linking ... done.
Loading package hashable-1.2.3.2 ... linking ... done.
Loading package unordered-containers-0.2.5.1 ... linking ... done.
Loading package syb-0.5.1 ... linking ... done.
[ 3 of 21] Compiling Data.Generics.Uniplate ( Data/Generics/Uniplate.hs, dist/build/Data/Generics/Uniplate.o )
[ 4 of 21] Compiling Data.Generics.UniplateOn ( Data/Generics/UniplateOn.hs, dist/build/Data/Generics/UniplateOn.o )
[ 5 of 21] Compiling Data.Generics.Str ( Data/Generics/Str.hs, dist/build/Data/Generics/Str.o )
[ 6 of 21] Compiling Data.Generics.Uniplate.Operations ( Data/Generics/Uniplate/Operations.hs, dist/build/Data/Generics/Uniplate/Operations.o )
[ 7 of 21] Compiling Data.Generics.Compos ( Data/Generics/Compos.hs, dist/build/Data/Generics/Compos.o )
[ 8 of 21] Compiling Data.Generics.SYB ( Data/Generics/SYB.hs, dist/build/Data/Generics/SYB.o )
[ 9 of 21] Compiling Data.Generics.Uniplate.Internal.Data ( Data/Generics/Uniplate/Internal/Data.hs, dist/build/Data/Generics/Uniplate/Internal/Data.o )
[10 of 21] Compiling Data.Generics.Uniplate.Data ( Data/Generics/Uniplate/Data.hs, dist/build/Data/Generics/Uniplate/Data.o )
[11 of 21] Compiling Data.Generics.Uniplate.Internal.DataOnlyOperations ( Data/Generics/Uniplate/Internal/DataOnlyOperations.hs, dist/build/Data/Generics/Uniplate/Internal/DataOnlyOperations.o )
[12 of 21] Compiling Data.Generics.Uniplate.DataOnly ( Data/Generics/Uniplate/DataOnly.hs, dist/build/Data/Generics/Uniplate/DataOnly.o )
[13 of 21] Compiling Data.Generics.Uniplate.Direct ( Data/Generics/Uniplate/Direct.hs, dist/build/Data/Generics/Uniplate/Direct.o )
[14 of 21] Compiling Data.Generics.Uniplate.Typeable ( Data/Generics/Uniplate/Typeable.hs, dist/build/Data/Generics/Uniplate/Typeable.o )
[15 of 21] Compiling Data.Generics.Uniplate.Zipper ( Data/Generics/Uniplate/Zipper.hs, dist/build/Data/Generics/Uniplate/Zipper.o )
[16 of 21] Compiling Data.Generics.UniplateStr ( Data/Generics/UniplateStr.hs, dist/build/Data/Generics/UniplateStr.o )
[17 of 21] Compiling Data.Generics.UniplateStrOn ( Data/Generics/UniplateStrOn.hs, dist/build/Data/Generics/UniplateStrOn.o )
[18 of 21] Compiling Data.Generics.Biplate ( Data/Generics/Biplate.hs, dist/build/Data/Generics/Biplate.o )
[19 of 21] Compiling Data.Generics.PlateDirect ( Data/Generics/PlateDirect.hs, dist/build/Data/Generics/PlateDirect.o )
[20 of 21] Compiling Data.Generics.PlateTypeable ( Data/Generics/PlateTypeable.hs, dist/build/Data/Generics/PlateTypeable.o )
[21 of 21] Compiling Data.Generics.PlateData ( Data/Generics/PlateData.hs, dist/build/Data/Generics/PlateData.o )
In-place registering uniplate-1.6.12...
Running Haddock for uniplate-1.6.12...
Running hscolour for uniplate-1.6.12...
Preprocessing library uniplate-1.6.12...
Preprocessing library uniplate-1.6.12...
Haddock coverage:
 100% ( 16 / 16) in 'Data.Generics.Uniplate.Data.Instances'
  86% (  6 /  7) in 'Data.Generics.Uniplate.Internal.Utils'
 100% ( 19 / 19) in 'Data.Generics.Uniplate'
  55% ( 11 / 20) in 'Data.Generics.UniplateOn'
  46% (  6 / 13) in 'Data.Generics.Str'
  76% ( 22 / 29) in 'Data.Generics.Uniplate.Operations'
 100% (  8 /  8) in 'Data.Generics.Compos'
 100% ( 13 / 13) in 'Data.Generics.SYB'
   8% (  4 / 49) in 'Data.Generics.Uniplate.Internal.Data'
  80% (  4 /  5) in 'Data.Generics.Uniplate.Data'
  72% ( 21 / 29) in 'Data.Generics.Uniplate.Internal.DataOnlyOperations'
  75% ( 24 / 32) in 'Data.Generics.Uniplate.DataOnly'
 100% ( 11 / 11) in 'Data.Generics.Uniplate.Direct'
 100% ( 10 / 10) in 'Data.Generics.Uniplate.Typeable'
 100% ( 14 / 14) in 'Data.Generics.Uniplate.Zipper'
 100% ( 21 / 21) in 'Data.Generics.UniplateStr'
  55% ( 11 / 20) in 'Data.Generics.UniplateStrOn'
  47% (  9 / 19) in 'Data.Generics.Biplate'
 100% ( 10 / 10) in 'Data.Generics.PlateDirect'
 100% ( 10 / 10) in 'Data.Generics.PlateTypeable'
 100% (  2 /  2) in 'Data.Generics.PlateData'
Warning: Data.Generics.Uniplate.Direct: could not find link destinations for:
    Data.Generics.Uniplate.Direct.Type
Warning: Data.Generics.Uniplate.Typeable: could not find link destinations for:
    Data.Generics.Uniplate.Typeable.Type
Warning: Data.Generics.PlateDirect: could not find link destinations for:
    Data.Generics.PlateDirect.Type
Warning: Data.Generics.PlateTypeable: could not find link destinations for:
    Data.Generics.PlateTypeable.Type
Documentation created: dist/doc/html/uniplate/index.html,
dist/doc/html/uniplate/uniplate.txt
Creating package registration file: /tmp/pkgConf-uniplate-1.625472.12
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/uniplate-1.6.12
Registering uniplate-1.6.12...
Installed uniplate-1.6.12
Downloading scyther-proof-0.10.0.1...
Configuring scyther-proof-0.10.0.1...
Building scyther-proof-0.10.0.1...
Preprocessing executable 'scyther-proof' for scyther-proof-0.10.0.1...
[ 1 of 32] Compiling Scyther.Theory.Lexer ( dist/build/scyther-proof/scyther-proof-tmp/Scyther/Theory/Lexer.hs, dist/build/scyther-proof/scyther-proof-tmp/Scyther/Theory/Lexer.o )
[ 2 of 32] Compiling Data.Color       ( src/Data/Color.hs, dist/build/scyther-proof/scyther-proof-tmp/Data/Color.o )
[ 3 of 32] Compiling Text.Dot         ( src/Text/Dot.hs, dist/build/scyther-proof/scyther-proof-tmp/Text/Dot.o )
[ 4 of 32] Compiling Control.Concurrent.ManagedThreads ( src/Control/Concurrent/ManagedThreads.hs, dist/build/scyther-proof/scyther-proof-tmp/Control/Concurrent/ManagedThreads.o )
[ 5 of 32] Compiling Control.Monad.Label ( src/Control/Monad/Label.hs, dist/build/scyther-proof/scyther-proof-tmp/Control/Monad/Label.o )
[ 6 of 32] Compiling Data.UnionFind   ( src/Data/UnionFind.hs, dist/build/scyther-proof/scyther-proof-tmp/Data/UnionFind.o )
[ 7 of 32] Compiling Text.PrettyPrint.Class ( src/Text/PrettyPrint/Class.hs, dist/build/scyther-proof/scyther-proof-tmp/Text/PrettyPrint/Class.o )
[ 8 of 32] Compiling Control.Monad.BoundedDFS ( src/Control/Monad/BoundedDFS.hs, dist/build/scyther-proof/scyther-proof-tmp/Control/Monad/BoundedDFS.o )
[ 9 of 32] Compiling Paths_scyther_proof ( dist/build/autogen/Paths_scyther_proof.hs, dist/build/scyther-proof/scyther-proof-tmp/Paths_scyther_proof.o )
[10 of 32] Compiling System.Timing    ( src/System/Timing.hs, dist/build/scyther-proof/scyther-proof-tmp/System/Timing.o )
[11 of 32] Compiling System.Isabelle  ( src/System/Isabelle.hs, dist/build/scyther-proof/scyther-proof-tmp/System/Isabelle.o )
[12 of 32] Compiling Control.Basics   ( src/Control/Basics.hs, dist/build/scyther-proof/scyther-proof-tmp/Control/Basics.o )
[13 of 32] Compiling Extension.Prelude ( src/Extension/Prelude.hs, dist/build/scyther-proof/scyther-proof-tmp/Extension/Prelude.o )
[14 of 32] Compiling Text.Isar        ( src/Text/Isar.hs, dist/build/scyther-proof/scyther-proof-tmp/Text/Isar.o )
[15 of 32] Compiling Scyther.Protocol ( src/Scyther/Protocol.hs, dist/build/scyther-proof/scyther-proof-tmp/Scyther/Protocol.o )
[16 of 32] Compiling Scyther.Message  ( src/Scyther/Message.hs, dist/build/scyther-proof/scyther-proof-tmp/Scyther/Message.o )
[17 of 32] Compiling Scyther.Equalities ( src/Scyther/Equalities.hs, dist/build/scyther-proof/scyther-proof-tmp/Scyther/Equalities.o )
[18 of 32] Compiling Scyther.Event    ( src/Scyther/Event.hs, dist/build/scyther-proof/scyther-proof-tmp/Scyther/Event.o )
[19 of 32] Compiling Data.DAG.Simple  ( src/Data/DAG/Simple.hs, dist/build/scyther-proof/scyther-proof-tmp/Data/DAG/Simple.o )
[20 of 32] Compiling Scyther.Typing   ( src/Scyther/Typing.hs, dist/build/scyther-proof/scyther-proof-tmp/Scyther/Typing.o )
[21 of 32] Compiling Scyther.Formula  ( src/Scyther/Formula.hs, dist/build/scyther-proof/scyther-proof-tmp/Scyther/Formula.o )
[22 of 32] Compiling Scyther.Facts    ( src/Scyther/Facts.hs, dist/build/scyther-proof/scyther-proof-tmp/Scyther/Facts.o )
[23 of 32] Compiling Scyther.Sequent  ( src/Scyther/Sequent.hs, dist/build/scyther-proof/scyther-proof-tmp/Scyther/Sequent.o )
[24 of 32] Compiling Scyther.Proof    ( src/Scyther/Proof.hs, dist/build/scyther-proof/scyther-proof-tmp/Scyther/Proof.o )
[25 of 32] Compiling Scyther.Theory   ( src/Scyther/Theory.hs, dist/build/scyther-proof/scyther-proof-tmp/Scyther/Theory.o )
[26 of 32] Compiling Scyther.GoalFlow ( src/Scyther/GoalFlow.hs, dist/build/scyther-proof/scyther-proof-tmp/Scyther/GoalFlow.o )
[27 of 32] Compiling Scyther.Theory.Parser ( src/Scyther/Theory/Parser.hs, dist/build/scyther-proof/scyther-proof-tmp/Scyther/Theory/Parser.o )
[28 of 32] Compiling Scyther.Theory.Dot ( src/Scyther/Theory/Dot.hs, dist/build/scyther-proof/scyther-proof-tmp/Scyther/Theory/Dot.o )
[29 of 32] Compiling Scyther.Theory.Pretty ( src/Scyther/Theory/Pretty.hs, dist/build/scyther-proof/scyther-proof-tmp/Scyther/Theory/Pretty.o )
[30 of 32] Compiling Scyther.Theory.Html ( src/Scyther/Theory/Html.hs, dist/build/scyther-proof/scyther-proof-tmp/Scyther/Theory/Html.o )
[31 of 32] Compiling Data.Table       ( src/Data/Table.hs, dist/build/scyther-proof/scyther-proof-tmp/Data/Table.o )
[32 of 32] Compiling Main             ( src/Main.hs, dist/build/scyther-proof/scyther-proof-tmp/Main.o )
Linking dist/build/scyther-proof/scyther-proof ...
Warning: No documentation was generated as this package does not contain a
library. Perhaps you want to use the --executables, --tests or --benchmarks
flags.
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.
Installed scyther-proof-0.10.0.1

Test log

No test log was submitted for this report.