Resolving dependencies...
Downloading sequent-core-0.3...
Configuring sequent-core-0.3...
Building sequent-core-0.3...
Preprocessing library sequent-core-0.3...
[ 1 of 13] Compiling Language.SequentCore.Util ( src/Language/SequentCore/Util.hs, dist/build/Language/SequentCore/Util.o )
[ 2 of 13] Compiling Language.SequentCore.Simpl.Monad ( src/Language/SequentCore/Simpl/Monad.hs, dist/build/Language/SequentCore/Simpl/Monad.o )

src/Language/SequentCore/Simpl/Monad.hs:8:1: Warning:
    The import of ‘Outputable’ is redundant
      except perhaps to import instances from ‘Outputable’
    To import instances alone, use: import Outputable()
[ 3 of 13] Compiling Language.SequentCore.Syntax[boot] ( src/Language/SequentCore/Syntax.hs-boot, dist/build/Language/SequentCore/Syntax.o-boot )
[ 4 of 13] Compiling Language.SequentCore.Pretty[boot] ( src/Language/SequentCore/Pretty.hs-boot, dist/build/Language/SequentCore/Pretty.o-boot )
[ 5 of 13] Compiling Language.SequentCore.Syntax ( src/Language/SequentCore/Syntax.hs, dist/build/Language/SequentCore/Syntax.o )
[ 6 of 13] Compiling Language.SequentCore.Pretty ( src/Language/SequentCore/Pretty.hs, dist/build/Language/SequentCore/Pretty.o )
[ 7 of 13] Compiling Language.SequentCore.Translate ( src/Language/SequentCore/Translate.hs, dist/build/Language/SequentCore/Translate.o )
[ 8 of 13] Compiling Language.SequentCore.Plugin ( src/Language/SequentCore/Plugin.hs, dist/build/Language/SequentCore/Plugin.o )
[ 9 of 13] Compiling Language.SequentCore.Dump ( src/Language/SequentCore/Dump.hs, dist/build/Language/SequentCore/Dump.o )
[10 of 13] Compiling Language.SequentCore.Simpl.Env ( src/Language/SequentCore/Simpl/Env.hs, dist/build/Language/SequentCore/Simpl/Env.o )
[11 of 13] Compiling Language.SequentCore.Simpl ( src/Language/SequentCore/Simpl.hs, dist/build/Language/SequentCore/Simpl.o )
[12 of 13] Compiling Language.SequentCore.SpecConstr ( src/Language/SequentCore/SpecConstr.hs, dist/build/Language/SequentCore/SpecConstr.o )
[13 of 13] Compiling Language.SequentCore ( src/Language/SequentCore.hs, dist/build/Language/SequentCore.o )
In-place registering sequent-core-0.3...
Running Haddock for sequent-core-0.3...
Running hscolour for sequent-core-0.3...
Preprocessing library sequent-core-0.3...
Preprocessing library sequent-core-0.3...

src/Language/SequentCore/Simpl/Monad.hs:8:1: Warning:
    The import of ‘Outputable’ is redundant
      except perhaps to import instances from ‘Outputable’
    To import instances alone, use: import Outputable()
Haddock coverage:
  33% (  1 /  3) in 'Language.SequentCore.Util'
   0% (  0 /  9) in 'Language.SequentCore.Simpl.Monad'
 100% ( 53 / 53) in 'Language.SequentCore.Syntax'
 100% (  2 /  2) in 'Language.SequentCore.Pretty'
 100% ( 12 / 12) in 'Language.SequentCore.Translate'
 100% (  2 /  2) in 'Language.SequentCore.Plugin'
 100% (  2 /  2) in 'Language.SequentCore.Dump'
   2% (  1 / 46) 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'
Warning: Language.SequentCore.Syntax: could not find link destinations for:
    Language.SequentCore.Syntax.ContId
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-018336.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/sequent-core-0.3
Registering sequent-core-0.3...
Installed sequent-core-0.3