Resolving dependencies...
Downloading sequent-core-0.4...
Configuring sequent-core-0.4...
Building sequent-core-0.4...
Preprocessing library sequent-core-0.4...
[ 1 of 15] Compiling Language.SequentCore.Util ( src/Language/SequentCore/Util.hs, dist/build/Language/SequentCore/Util.o )
[ 2 of 15] 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 15] Compiling Language.SequentCore.Syntax[boot] ( src/Language/SequentCore/Syntax.hs-boot, dist/build/Language/SequentCore/Syntax.o-boot )
[ 4 of 15] Compiling Language.SequentCore.Pretty[boot] ( src/Language/SequentCore/Pretty.hs-boot, dist/build/Language/SequentCore/Pretty.o-boot )
[ 5 of 15] Compiling Language.SequentCore.Syntax ( src/Language/SequentCore/Syntax.hs, dist/build/Language/SequentCore/Syntax.o )
[ 6 of 15] Compiling Language.SequentCore.Pretty ( src/Language/SequentCore/Pretty.hs, dist/build/Language/SequentCore/Pretty.o )
[ 7 of 15] Compiling Language.SequentCore.Translate ( src/Language/SequentCore/Translate.hs, dist/build/Language/SequentCore/Translate.o )
[ 8 of 15] Compiling Language.SequentCore.Plugin ( src/Language/SequentCore/Plugin.hs, dist/build/Language/SequentCore/Plugin.o )
[ 9 of 15] Compiling Language.SequentCore.Dump ( src/Language/SequentCore/Dump.hs, dist/build/Language/SequentCore/Dump.o )
[10 of 15] Compiling Language.SequentCore.Simpl.ExprSize ( src/Language/SequentCore/Simpl/ExprSize.hs, dist/build/Language/SequentCore/Simpl/ExprSize.o )

src/Language/SequentCore/Simpl/ExprSize.hs:94:18: Warning:
    Defined but not used: ‘cap’
[11 of 15] Compiling Language.SequentCore.Inspect ( src/Language/SequentCore/Inspect.hs, dist/build/Language/SequentCore/Inspect.o )

src/Language/SequentCore/Inspect.hs:46:5: Warning:
    Defined but not used: ‘newPass’

src/Language/SequentCore/Inspect.hs:47:5: Warning:
    Defined but not used: ‘passFunc’
[12 of 15] Compiling Language.SequentCore.Simpl.Env ( src/Language/SequentCore/Simpl/Env.hs, dist/build/Language/SequentCore/Simpl/Env.o )

src/Language/SequentCore/Simpl/Env.hs:22:1: Warning:
    The import of ‘Bag’ is redundant
      except perhaps to import instances from ‘Bag’
    To import instances alone, use: import Bag()

src/Language/SequentCore/Simpl/Env.hs:28:1: Warning:
    The import of ‘isFunTy’ from module ‘Type’ is redundant
[13 of 15] Compiling Language.SequentCore.Simpl ( src/Language/SequentCore/Simpl.hs, dist/build/Language/SequentCore/Simpl.o )
[14 of 15] Compiling Language.SequentCore.SpecConstr ( src/Language/SequentCore/SpecConstr.hs, dist/build/Language/SequentCore/SpecConstr.o )
[15 of 15] Compiling Language.SequentCore ( src/Language/SequentCore.hs, dist/build/Language/SequentCore.o )
In-place registering sequent-core-0.4...
Running Haddock for sequent-core-0.4...
Running hscolour for sequent-core-0.4...
Preprocessing library sequent-core-0.4...
Preprocessing library sequent-core-0.4...

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()

src/Language/SequentCore/Simpl/ExprSize.hs:94:18: Warning:
    Defined but not used: ‘cap’

src/Language/SequentCore/Inspect.hs:46:5: Warning:
    Defined but not used: ‘newPass’

src/Language/SequentCore/Inspect.hs:47:5: Warning:
    Defined but not used: ‘passFunc’

src/Language/SequentCore/Simpl/Env.hs:22:1: Warning:
    The import of ‘Bag’ is redundant
      except perhaps to import instances from ‘Bag’
    To import instances alone, use: import Bag()

src/Language/SequentCore/Simpl/Env.hs:28:1: Warning:
    The import of ‘isFunTy’ from module ‘Type’ is redundant
Haddock coverage:
  33% (  1 /  3) in 'Language.SequentCore.Util'
   0% (  0 /  9) in 'Language.SequentCore.Simpl.Monad'
 100% ( 56 / 56) 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'
   0% (  0 /  5) in 'Language.SequentCore.Simpl.ExprSize'
 100% (  2 /  2) in 'Language.SequentCore.Inspect'
   2% (  1 / 48) 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-032187.4
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/sequent-core-0.4
Registering sequent-core-0.4...
Installed sequent-core-0.4