Build #1 for sequent-core-0.3
| Package | sequent-core-0.3 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2015-02-16 00:54:22.445527 UTC |
|---|---|
| Compiler | ghc-7.8.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | transformers-0.3.0.0, ghc-7.8.3, containers-0.5.5.1, base-4.7.0.1 |
| Flags | -examples |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
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
Test log
No test log was submitted for this report.