Resolving dependencies...
Downloading sequent-core-0.5.0.1...
Configuring sequent-core-0.5.0.1...
Building sequent-core-0.5.0.1...
Preprocessing library sequent-core-0.5.0.1...
[ 1 of 19] Compiling Language.SequentCore.Util ( src/Language/SequentCore/Util.hs, dist/build/Language/SequentCore/Util.o )
[ 2 of 19] Compiling Language.SequentCore.Simpl.Monad ( src/Language/SequentCore/Simpl/Monad.hs, dist/build/Language/SequentCore/Simpl/Monad.o )
[ 3 of 19] Compiling Language.SequentCore.WiredIn ( src/Language/SequentCore/WiredIn.hs, dist/build/Language/SequentCore/WiredIn.o )
[ 4 of 19] Compiling Language.SequentCore.Syntax[boot] ( src/Language/SequentCore/Syntax.hs-boot, dist/build/Language/SequentCore/Syntax.o-boot )
[ 5 of 19] Compiling Language.SequentCore.Pretty[boot] ( src/Language/SequentCore/Pretty.hs-boot, dist/build/Language/SequentCore/Pretty.o-boot )
[ 6 of 19] Compiling Language.SequentCore.Syntax ( src/Language/SequentCore/Syntax.hs, dist/build/Language/SequentCore/Syntax.o )
[ 7 of 19] Compiling Language.SequentCore.Pretty ( src/Language/SequentCore/Pretty.hs, dist/build/Language/SequentCore/Pretty.o )
[ 8 of 19] Compiling Language.SequentCore.Translate[boot] ( src/Language/SequentCore/Translate.hs-boot, dist/build/Language/SequentCore/Translate.o-boot )
[ 9 of 19] Compiling Language.SequentCore.Lint ( src/Language/SequentCore/Lint.hs, dist/build/Language/SequentCore/Lint.o )
[10 of 19] Compiling Language.SequentCore.Simpl.ExprSize ( src/Language/SequentCore/Simpl/ExprSize.hs, dist/build/Language/SequentCore/Simpl/ExprSize.o )
[11 of 19] Compiling Language.SequentCore.Subst ( src/Language/SequentCore/Subst.hs, dist/build/Language/SequentCore/Subst.o )
[12 of 19] Compiling Language.SequentCore.Translate ( src/Language/SequentCore/Translate.hs, dist/build/Language/SequentCore/Translate.o )
[13 of 19] Compiling Language.SequentCore.Plugin ( src/Language/SequentCore/Plugin.hs, dist/build/Language/SequentCore/Plugin.o )
[14 of 19] Compiling Language.SequentCore.Dump ( src/Language/SequentCore/Dump.hs, dist/build/Language/SequentCore/Dump.o )
[15 of 19] Compiling Language.SequentCore.Inspect ( src/Language/SequentCore/Inspect.hs, dist/build/Language/SequentCore/Inspect.o )
[16 of 19] Compiling Language.SequentCore.Simpl.Env ( src/Language/SequentCore/Simpl/Env.hs, dist/build/Language/SequentCore/Simpl/Env.o )
[17 of 19] Compiling Language.SequentCore.Simpl ( src/Language/SequentCore/Simpl.hs, dist/build/Language/SequentCore/Simpl.o )

src/Language/SequentCore/Simpl.hs:295:1: Warning:
    Defined but not used: ‘completeNonRec’
[18 of 19] Compiling Language.SequentCore.SpecConstr ( src/Language/SequentCore/SpecConstr.hs, dist/build/Language/SequentCore/SpecConstr.o )
[19 of 19] Compiling Language.SequentCore ( src/Language/SequentCore.hs, dist/build/Language/SequentCore.o )
In-place registering sequent-core-0.5.0.1...
Running Haddock for sequent-core-0.5.0.1...
Running hscolour for sequent-core-0.5.0.1...
Preprocessing library sequent-core-0.5.0.1...
Preprocessing library sequent-core-0.5.0.1...

src/Language/SequentCore/Simpl.hs:295:1: Warning:
    Defined but not used: ‘completeNonRec’
Haddock coverage:
  75% (  3 /  4) in 'Language.SequentCore.Util'
   0% (  0 /  9) in 'Language.SequentCore.Simpl.Monad'
   0% (  0 / 17) in 'Language.SequentCore.WiredIn'
  74% ( 58 / 78) in 'Language.SequentCore.Syntax'
 100% (  2 /  2) in 'Language.SequentCore.Pretty'
   0% (  0 /  3) in 'Language.SequentCore.Lint'
   0% (  0 /  5) in 'Language.SequentCore.Simpl.ExprSize'
  70% ( 40 / 57) in 'Language.SequentCore.Subst'
 100% ( 10 / 10) in 'Language.SequentCore.Translate'
 100% (  2 /  2) in 'Language.SequentCore.Plugin'
 100% (  2 /  2) in 'Language.SequentCore.Dump'
 100% (  2 /  2) in 'Language.SequentCore.Inspect'
   0% (  0 / 68) in 'Language.SequentCore.Simpl.Env'
 100% (  2 /  2) in 'Language.SequentCore.Simpl'
 100% (  2 /  2) in 'Language.SequentCore.SpecConstr'
 100% (  5 /  5) in 'Language.SequentCore'
Documentation created: dist/doc/html/sequent-core/index.html,
dist/doc/html/sequent-core/sequent-core.txt
Creating package registration file: /tmp/pkgConf-sequent-core-0.5.011240.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/sequent-core-0.5.0.1
Registering sequent-core-0.5.0.1...
Installed sequent-core-0.5.0.1