Build #1 for sequent-core-0.5.0.1
| Package | sequent-core-0.5.0.1 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2015-07-03 12:56:24.527986 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, bytestring-0.10.4.0, 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.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
Test log
No test log was submitted for this report.