Build #1 for mprover-0.0.0.0
| Package | mprover-0.0.0.0 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | unknown |
|---|---|
| Compiler | ghc-7.6.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | unbound-0.4.2, transformers-0.3.0.0, pretty-1.1.1.0, parsec-3.1.3, mtl-2.1.2, haskell98-2.0.0.2, containers-0.5.0.0, base-4.6.0.1 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Downloading type-equality-0.1.2...
Configuring type-equality-0.1.2...
Building type-equality-0.1.2...
Preprocessing library type-equality-0.1.2...
[1 of 1] Compiling Data.Type.Equality ( src/Data/Type/Equality.hs, dist/build/Data/Type/Equality.o )
In-place registering type-equality-0.1.2...
Running Haddock for type-equality-0.1.2...
Running hscolour for type-equality-0.1.2...
Preprocessing library type-equality-0.1.2...
Preprocessing library type-equality-0.1.2...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: rts-1.0
Haddock coverage:
100% ( 13 / 13) in 'Data.Type.Equality'
Documentation created: dist/doc/html/type-equality/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/type-equality-0.1.2/ghc-7.6.3
Registering type-equality-0.1.2...
Installed type-equality-0.1.2
Downloading RepLib-0.5.3.1...
Configuring RepLib-0.5.3.1...
Building RepLib-0.5.3.1...
Preprocessing library RepLib-0.5.3.1...
[ 1 of 12] Compiling Generics.RepLib.R ( Generics/RepLib/R.hs, dist/build/Generics/RepLib/R.o )
[ 2 of 12] Compiling Generics.RepLib.R1 ( Generics/RepLib/R1.hs, dist/build/Generics/RepLib/R1.o )
[ 3 of 12] Compiling Generics.RepLib.Derive ( Generics/RepLib/Derive.hs, dist/build/Generics/RepLib/Derive.o )
[ 4 of 12] Compiling Generics.RepLib.PreludeReps ( Generics/RepLib/PreludeReps.hs, dist/build/Generics/RepLib/PreludeReps.o )
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Loading package type-equality-0.1.2 ... linking ... done.
Loading package array-0.4.0.1 ... linking ... done.
Loading package deepseq-1.3.0.1 ... linking ... done.
Loading package containers-0.5.0.0 ... linking ... done.
Loading package pretty-1.1.1.0 ... linking ... done.
Loading package template-haskell ... linking ... done.
Loading package transformers-0.3.0.0 ... linking ... done.
Loading package mtl-2.1.2 ... linking ... done.
[ 5 of 12] Compiling Generics.RepLib.RepAux ( Generics/RepLib/RepAux.hs, dist/build/Generics/RepLib/RepAux.o )
[ 6 of 12] Compiling Generics.RepLib.SYB.Aliases ( Generics/RepLib/SYB/Aliases.hs, dist/build/Generics/RepLib/SYB/Aliases.o )
[ 7 of 12] Compiling Generics.RepLib.SYB.Schemes ( Generics/RepLib/SYB/Schemes.hs, dist/build/Generics/RepLib/SYB/Schemes.o )
[ 8 of 12] Compiling Generics.RepLib.PreludeLib ( Generics/RepLib/PreludeLib.hs, dist/build/Generics/RepLib/PreludeLib.o )
[ 9 of 12] Compiling Generics.RepLib.AbstractReps ( Generics/RepLib/AbstractReps.hs, dist/build/Generics/RepLib/AbstractReps.o )
[10 of 12] Compiling Generics.RepLib.Lib ( Generics/RepLib/Lib.hs, dist/build/Generics/RepLib/Lib.o )
[11 of 12] Compiling Generics.RepLib.Unify ( Generics/RepLib/Unify.hs, dist/build/Generics/RepLib/Unify.o )
[12 of 12] Compiling Generics.RepLib ( Generics/RepLib.hs, dist/build/Generics/RepLib.o )
In-place registering RepLib-0.5.3.1...
Running Haddock for RepLib-0.5.3.1...
Running hscolour for RepLib-0.5.3.1...
Preprocessing library RepLib-0.5.3.1...
Preprocessing library RepLib-0.5.3.1...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: rts-1.0, mtl-2.1.2,
transformers-0.3.0.0
Haddock coverage:
53% ( 9 / 17) in 'Generics.RepLib.R'
38% ( 3 / 8) in 'Generics.RepLib.R1'
100% ( 3 / 3) in 'Generics.RepLib.Derive'
5% ( 1 / 19) in 'Generics.RepLib.PreludeReps'
69% ( 27 / 39) in 'Generics.RepLib.RepAux'
94% ( 31 / 33) in 'Generics.RepLib.SYB.Aliases'
100% ( 16 / 16) in 'Generics.RepLib.SYB.Schemes'
60% ( 6 / 10) in 'Generics.RepLib.PreludeLib'
20% ( 1 / 5) in 'Generics.RepLib.AbstractReps'
64% ( 27 / 42) in 'Generics.RepLib.Lib'
5% ( 1 / 21) in 'Generics.RepLib.Unify'
100% ( 23 / 23) in 'Generics.RepLib'
Warning: Generics.RepLib.Unify: could not find link destinations for:
Control.Monad.Trans.Error.ErrorT Control.Monad.Trans.State.Lazy.State
haddock: internal error: synifyKind
Installing library in
/srv/hackage/var/build/tmp-install/lib/RepLib-0.5.3.1/ghc-7.6.3
Registering RepLib-0.5.3.1...
Installed RepLib-0.5.3.1
Downloading unbound-0.4.2...
Configuring unbound-0.4.2...
Building unbound-0.4.2...
Preprocessing library unbound-0.4.2...
[1 of 9] Compiling Unbound.PermM ( Unbound/PermM.hs, dist/build/Unbound/PermM.o )
[2 of 9] Compiling Unbound.Util ( Unbound/Util.hs, dist/build/Unbound/Util.o )
[3 of 9] Compiling Unbound.LocallyNameless.Name ( Unbound/LocallyNameless/Name.hs, dist/build/Unbound/LocallyNameless/Name.o )
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Loading package array-0.4.0.1 ... linking ... done.
Loading package deepseq-1.3.0.1 ... linking ... done.
Loading package containers-0.5.0.0 ... linking ... done.
Loading package transformers-0.3.0.0 ... linking ... done.
Loading package mtl-2.1.2 ... linking ... done.
Loading package pretty-1.1.1.0 ... linking ... done.
Loading package template-haskell ... linking ... done.
Loading package type-equality-0.1.2 ... linking ... done.
Loading package RepLib-0.5.3.1 ... linking ... done.
[4 of 9] Compiling Unbound.LocallyNameless.Fresh ( Unbound/LocallyNameless/Fresh.hs, dist/build/Unbound/LocallyNameless/Fresh.o )
[5 of 9] Compiling Unbound.LocallyNameless.Types ( Unbound/LocallyNameless/Types.hs, dist/build/Unbound/LocallyNameless/Types.o )
[6 of 9] Compiling Unbound.LocallyNameless.Alpha ( Unbound/LocallyNameless/Alpha.hs, dist/build/Unbound/LocallyNameless/Alpha.o )
[7 of 9] Compiling Unbound.LocallyNameless.Subst ( Unbound/LocallyNameless/Subst.hs, dist/build/Unbound/LocallyNameless/Subst.o )
[8 of 9] Compiling Unbound.LocallyNameless.Ops ( Unbound/LocallyNameless/Ops.hs, dist/build/Unbound/LocallyNameless/Ops.o )
[9 of 9] Compiling Unbound.LocallyNameless ( Unbound/LocallyNameless.hs, dist/build/Unbound/LocallyNameless.o )
In-place registering unbound-0.4.2...
Running Haddock for unbound-0.4.2...
Running hscolour for unbound-0.4.2...
Preprocessing library unbound-0.4.2...
Preprocessing library unbound-0.4.2...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: RepLib-0.5.3.1, rts-1.0, mtl-2.1.2,
transformers-0.3.0.0
Haddock coverage:
92% ( 11 / 12) in 'Unbound.PermM'
86% ( 6 / 7) in 'Unbound.Util'
79% ( 22 / 28) in 'Unbound.LocallyNameless.Name'
100% ( 17 / 17) in 'Unbound.LocallyNameless.Fresh'
56% ( 10 / 18) in 'Unbound.LocallyNameless.Types'
Warning: Unbound.LocallyNameless.Alpha: We do not support associated types in instances yet. These instances are affected:
Unbound.LocallyNameless.Alpha.IsEmbed (Unbound.LocallyNameless.Types.Embed t), Unbound.LocallyNameless.Alpha.IsEmbed e =>
Unbound.LocallyNameless.Alpha.IsEmbed (Unbound.LocallyNameless.Types.Shift e)
39% ( 16 / 41) in 'Unbound.LocallyNameless.Alpha'
62% ( 5 / 8) in 'Unbound.LocallyNameless.Subst'
82% ( 33 / 40) in 'Unbound.LocallyNameless.Ops'
Warning: unbound-0.4.2:Unbound.LocallyNameless: Could not find documentation for exported module: Generics.RepLib
91% (117 /128) in 'Unbound.LocallyNameless'
Warning: Unbound.LocallyNameless.Name: could not find link destinations for:
Generics.RepLib.R.R Generics.RepLib.R.Rep Generics.RepLib.R1.Sat Generics.RepLib.R1.Rep1 Generics.RepLib.R1.R1
Warning: Unbound.LocallyNameless.Fresh: could not find link destinations for:
Control.Monad.Trans.Identity.IdentityT Control.Monad.Trans.List.ListT Control.Monad.Trans.Maybe.MaybeT Control.Monad.Trans.Error.Error Control.Monad.Trans.Error.ErrorT Control.Monad.Trans.Writer.Lazy.WriterT Control.Monad.Trans.Reader.ReaderT Control.Monad.Trans.State.Lazy.StateT Control.Monad.Trans.Cont.ContT Control.Monad.Trans.State.Strict.StateT Control.Monad.Trans.Writer.Strict.WriterT Data.Functor.Identity.Identity Control.Monad.Trans.Class.MonadTrans Control.Monad.Writer.Class.MonadWriter Control.Monad.Reader.Class.MonadReader Control.Monad.State.Class.MonadState Control.Monad.Error.Class.MonadError Control.Monad.IO.Class.MonadIO Control.Monad.Cont.Class.MonadCont Generics.RepLib.R.Rep
Warning: Unbound.LocallyNameless.Types: could not find link destinations for:
Generics.RepLib.R.Rep Generics.RepLib.R1.Sat Generics.RepLib.R1.Rep1 Unbound.LocallyNameless.Types.StrictOrder Unbound.LocallyNameless.Types.StrictCard Unbound.LocallyNameless.Types.RelaxedOrder Unbound.LocallyNameless.Types.RelaxedCard Generics.RepLib.R.R
Warning: Unbound.LocallyNameless.Alpha: could not find link destinations for:
Generics.RepLib.R1.Rep1 Generics.RepLib.R.Rep Generics.RepLib.R.R Generics.RepLib.R1.Sat Generics.RepLib.R1.R1 Generics.RepLib.R.MTup
Warning: Unbound.LocallyNameless.Subst: could not find link destinations for:
Generics.RepLib.R1.Rep1 Generics.RepLib.R.Rep Generics.RepLib.R.R Generics.RepLib.R1.Sat Generics.RepLib.R1.R1
Warning: Unbound.LocallyNameless.Ops: could not find link destinations for:
Generics.RepLib.R.Rep
Warning: Unbound.LocallyNameless: could not find link destinations for:
Generics.RepLib.R.Rep Generics.RepLib.R1.Sat Generics.RepLib.R.R Generics.RepLib.R1.Rep1 Unbound.LocallyNameless.Types.StrictOrder Unbound.LocallyNameless.Types.StrictCard Control.Monad.Trans.Identity.IdentityT Control.Monad.Trans.List.ListT Control.Monad.Trans.Maybe.MaybeT Control.Monad.Trans.Error.Error Control.Monad.Trans.Error.ErrorT Control.Monad.Trans.Writer.Lazy.WriterT Control.Monad.Trans.Reader.ReaderT Control.Monad.Trans.State.Lazy.StateT Control.Monad.Trans.Cont.ContT Control.Monad.Trans.State.Strict.StateT Control.Monad.Trans.Writer.Strict.WriterT Data.Functor.Identity.Identity Control.Monad.Trans.Class.MonadTrans Control.Monad.Writer.Class.MonadWriter Control.Monad.Reader.Class.MonadReader Control.Monad.State.Class.MonadState Control.Monad.Error.Class.MonadError Control.Monad.IO.Class.MonadIO Control.Monad.Cont.Class.MonadCont
Documentation created: dist/doc/html/unbound/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/unbound-0.4.2/ghc-7.6.3
Registering unbound-0.4.2...
Installed unbound-0.4.2
Downloading mprover-0.0.0.0...
Configuring mprover-0.0.0.0...
Building mprover-0.0.0.0...
Preprocessing executable 'mp' for mprover-0.0.0.0...
Main.hs:1:1:
Ambiguous module name `Prelude':
it was found in multiple packages: base haskell98-2.0.0.2
Failed to install mprover-0.0.0.0
cabal: Error: some packages failed to install:
mprover-0.0.0.0 failed during the building phase. The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.