Build #3 for singletons-presburger-0.3.0.1
| Package | singletons-presburger-0.3.0.1 |
|---|
| Install | DependencyFailed singletons-presburger-0.3.0.1 |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2020-06-22 09:48:23.808805865 UTC |
|---|---|
| Compiler | ghc-8.6.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.12.0.0, ghc-8.6.3, ghc-typelits-presburger-0.3.0.1, reflection-2.1.6, singletons-2.5.1 |
| Flags | -examples |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Starting safe-0.3.19
Starting ghc-tcplugins-extra-0.4
Starting reflection-2.1.6
Starting primitive-0.7.0.1
Building safe-0.3.19
Building reflection-2.1.6
Building ghc-tcplugins-extra-0.4
Building primitive-0.7.0.1
Completed ghc-tcplugins-extra-0.4
Starting syb-0.7.1
Building syb-0.7.1
Completed safe-0.3.19
Starting th-abstraction-0.3.2.0
Building th-abstraction-0.3.2.0
Completed reflection-2.1.6
Completed syb-0.7.1
Starting ghc-typelits-presburger-0.3.0.1
Starting th-expand-syns-0.4.6.0
Building th-expand-syns-0.4.6.0
Building ghc-typelits-presburger-0.3.0.1
Completed th-abstraction-0.3.2.0
Starting th-lift-0.8.1
Building th-lift-0.8.1
Completed th-expand-syns-0.4.6.0
Starting th-reify-many-0.1.9
Building th-reify-many-0.1.9
Completed th-lift-0.8.1
Completed th-reify-many-0.1.9
Completed primitive-0.7.0.1
Starting vector-0.12.1.2
Building vector-0.12.1.2
Completed ghc-typelits-presburger-0.3.0.1
Completed vector-0.12.1.2
Starting th-lift-instances-0.1.17
Building th-lift-instances-0.1.17
Completed th-lift-instances-0.1.17
Starting th-orphans-0.13.10
Building th-orphans-0.13.10
Completed th-orphans-0.13.10
Starting th-desugar-1.9
Building th-desugar-1.9
Completed th-desugar-1.9
Starting singletons-2.5.1
Building singletons-2.5.1
Failed to install singletons-2.5.1
Build log ( /home/builder/.cabal/logs/ghc-8.6.3/singletons-2.5.1-43ZqbuObokDBX1ViE9uKhA.log ):
cabal: Entering directory '/tmp/cabal-tmp-1994/singletons-2.5.1'
[1 of 1] Compiling Main ( /tmp/cabal-tmp-1994/singletons-2.5.1/dist/setup/setup.hs, /tmp/cabal-tmp-1994/singletons-2.5.1/dist/setup/Main.o )
Linking /tmp/cabal-tmp-1994/singletons-2.5.1/dist/setup/setup ...
Configuring singletons-2.5.1...
Preprocessing library for singletons-2.5.1..
Building library for singletons-2.5.1..
[ 1 of 68] Compiling Data.Singletons.Internal ( src/Data/Singletons/Internal.hs, dist/build/Data/Singletons/Internal.o )
[ 2 of 68] Compiling Data.Singletons.Decide ( src/Data/Singletons/Decide.hs, dist/build/Data/Singletons/Decide.o )
[ 3 of 68] Compiling Data.Singletons.SuppressUnusedWarnings ( src/Data/Singletons/SuppressUnusedWarnings.hs, dist/build/Data/Singletons/SuppressUnusedWarnings.o )
[ 4 of 68] Compiling Data.Singletons.Syntax ( src/Data/Singletons/Syntax.hs, dist/build/Data/Singletons/Syntax.o )
[ 5 of 68] Compiling Data.Singletons.Util ( src/Data/Singletons/Util.hs, dist/build/Data/Singletons/Util.o )
[ 6 of 68] Compiling Data.Singletons.Names ( src/Data/Singletons/Names.hs, dist/build/Data/Singletons/Names.o )
[ 7 of 68] Compiling Data.Singletons.Single.Fixity ( src/Data/Singletons/Single/Fixity.hs, dist/build/Data/Singletons/Single/Fixity.o )
[ 8 of 68] Compiling Data.Singletons.Promote.Type ( src/Data/Singletons/Promote/Type.hs, dist/build/Data/Singletons/Promote/Type.o )
[ 9 of 68] Compiling Data.Singletons.Promote.Monad ( src/Data/Singletons/Promote/Monad.hs, dist/build/Data/Singletons/Promote/Monad.o )
[10 of 68] Compiling Data.Singletons.Single.Monad ( src/Data/Singletons/Single/Monad.hs, dist/build/Data/Singletons/Single/Monad.o )
[11 of 68] Compiling Data.Singletons.Single.Type ( src/Data/Singletons/Single/Type.hs, dist/build/Data/Singletons/Single/Type.o )
[12 of 68] Compiling Data.Singletons.Promote.Eq ( src/Data/Singletons/Promote/Eq.hs, dist/build/Data/Singletons/Promote/Eq.o )
[13 of 68] Compiling Data.Singletons.Promote.Defun ( src/Data/Singletons/Promote/Defun.hs, dist/build/Data/Singletons/Promote/Defun.o )
[14 of 68] Compiling Data.Singletons.Single.Defun ( src/Data/Singletons/Single/Defun.hs, dist/build/Data/Singletons/Single/Defun.o )
[15 of 68] Compiling Data.Singletons.Single.Data ( src/Data/Singletons/Single/Data.hs, dist/build/Data/Singletons/Single/Data.o )
[16 of 68] Compiling Data.Singletons.Deriving.Util ( src/Data/Singletons/Deriving/Util.hs, dist/build/Data/Singletons/Deriving/Util.o )
[17 of 68] Compiling Data.Singletons.Deriving.Infer ( src/Data/Singletons/Deriving/Infer.hs, dist/build/Data/Singletons/Deriving/Infer.o )
[18 of 68] Compiling Data.Singletons.Single.Eq ( src/Data/Singletons/Single/Eq.hs, dist/build/Data/Singletons/Single/Eq.o )
[19 of 68] Compiling Data.Singletons.Deriving.Traversable ( src/Data/Singletons/Deriving/Traversable.hs, dist/build/Data/Singletons/Deriving/Traversable.o )
[20 of 68] Compiling Data.Singletons.Deriving.Show ( src/Data/Singletons/Deriving/Show.hs, dist/build/Data/Singletons/Deriving/Show.o )
[21 of 68] Compiling Data.Singletons.Deriving.Ord ( src/Data/Singletons/Deriving/Ord.hs, dist/build/Data/Singletons/Deriving/Ord.o )
[22 of 68] Compiling Data.Singletons.Deriving.Foldable ( src/Data/Singletons/Deriving/Foldable.hs, dist/build/Data/Singletons/Deriving/Foldable.o )
[23 of 68] Compiling Data.Singletons.Deriving.Functor ( src/Data/Singletons/Deriving/Functor.hs, dist/build/Data/Singletons/Deriving/Functor.o )
[24 of 68] Compiling Data.Singletons.Deriving.Enum ( src/Data/Singletons/Deriving/Enum.hs, dist/build/Data/Singletons/Deriving/Enum.o )
[25 of 68] Compiling Data.Singletons.Deriving.Bounded ( src/Data/Singletons/Deriving/Bounded.hs, dist/build/Data/Singletons/Deriving/Bounded.o )
[26 of 68] Compiling Data.Singletons.Partition ( src/Data/Singletons/Partition.hs, dist/build/Data/Singletons/Partition.o )
[27 of 68] Compiling Data.Singletons.Promote ( src/Data/Singletons/Promote.hs, dist/build/Data/Singletons/Promote.o )
[28 of 68] Compiling Data.Singletons.Single ( src/Data/Singletons/Single.hs, dist/build/Data/Singletons/Single.o )
[29 of 68] Compiling Data.Singletons.Prelude.Instances ( src/Data/Singletons/Prelude/Instances.hs, dist/build/Data/Singletons/Prelude/Instances.o )
[30 of 68] Compiling Data.Singletons.Prelude.Void ( src/Data/Singletons/Prelude/Void.hs, dist/build/Data/Singletons/Prelude/Void.o )
[31 of 68] Compiling Data.Singletons.Prelude.Tuple ( src/Data/Singletons/Prelude/Tuple.hs, dist/build/Data/Singletons/Prelude/Tuple.o )
[32 of 68] Compiling Data.Singletons.Sigma ( src/Data/Singletons/Sigma.hs, dist/build/Data/Singletons/Sigma.o )
[33 of 68] Compiling Data.Singletons.Prelude.Bool ( src/Data/Singletons/Prelude/Bool.hs, dist/build/Data/Singletons/Prelude/Bool.o )
[34 of 68] Compiling Data.Singletons.Prelude.Eq ( src/Data/Singletons/Prelude/Eq.hs, dist/build/Data/Singletons/Prelude/Eq.o )
[35 of 68] Compiling Data.Singletons.TypeRepTYPE ( src/Data/Singletons/TypeRepTYPE.hs, dist/build/Data/Singletons/TypeRepTYPE.o )
[36 of 68] Compiling Data.Singletons.Prelude.Ord ( src/Data/Singletons/Prelude/Ord.hs, dist/build/Data/Singletons/Prelude/Ord.o )
[37 of 68] Compiling Data.Singletons.TypeLits.Internal ( src/Data/Singletons/TypeLits/Internal.hs, dist/build/Data/Singletons/TypeLits/Internal.o )
[38 of 68] Compiling Data.Singletons.ShowSing ( src/Data/Singletons/ShowSing.hs, dist/build/Data/Singletons/ShowSing.o )
[39 of 68] Compiling Data.Singletons.TypeLits ( src/Data/Singletons/TypeLits.hs, dist/build/Data/Singletons/TypeLits.o )
[40 of 68] Compiling Data.Singletons.Prelude.Maybe ( src/Data/Singletons/Prelude/Maybe.hs, dist/build/Data/Singletons/Prelude/Maybe.o )
[41 of 68] Compiling Data.Singletons.Prelude.Num ( src/Data/Singletons/Prelude/Num.hs, dist/build/Data/Singletons/Prelude/Num.o )
[42 of 68] Compiling Data.Singletons.Prelude.Base ( src/Data/Singletons/Prelude/Base.hs, dist/build/Data/Singletons/Prelude/Base.o )
[43 of 68] Compiling Data.Singletons.Prelude.Monad.Internal ( src/Data/Singletons/Prelude/Monad/Internal.hs, dist/build/Data/Singletons/Prelude/Monad/Internal.o )
[44 of 68] Compiling Data.Singletons.Prelude.Functor ( src/Data/Singletons/Prelude/Functor.hs, dist/build/Data/Singletons/Prelude/Functor.o )
[45 of 68] Compiling Data.Singletons.Prelude.Function ( src/Data/Singletons/Prelude/Function.hs, dist/build/Data/Singletons/Prelude/Function.o )
[46 of 68] Compiling Data.Singletons.Prelude.Enum ( src/Data/Singletons/Prelude/Enum.hs, dist/build/Data/Singletons/Prelude/Enum.o )
[47 of 68] Compiling Data.Singletons.Prelude.Semigroup.Internal ( src/Data/Singletons/Prelude/Semigroup/Internal.hs, dist/build/Data/Singletons/Prelude/Semigroup/Internal.o )
[48 of 68] Compiling Data.Singletons.Prelude.List.Internal ( src/Data/Singletons/Prelude/List/Internal.hs, dist/build/Data/Singletons/Prelude/List/Internal.o )
[49 of 68] Compiling Data.Singletons.Prelude.Show ( src/Data/Singletons/Prelude/Show.hs, dist/build/Data/Singletons/Prelude/Show.o )
[50 of 68] Compiling Data.Singletons.Prelude.Monoid ( src/Data/Singletons/Prelude/Monoid.hs, dist/build/Data/Singletons/Prelude/Monoid.o )
[51 of 68] Compiling Data.Singletons.Prelude.List.Internal.Disambiguation ( src/Data/Singletons/Prelude/List/Internal/Disambiguation.hs, dist/build/Data/Singletons/Prelude/List/Internal/Disambiguation.o )
[52 of 68] Compiling Data.Singletons.Prelude.Either ( src/Data/Singletons/Prelude/Either.hs, dist/build/Data/Singletons/Prelude/Either.o )
[53 of 68] Compiling Data.Singletons.Prelude.Foldable ( src/Data/Singletons/Prelude/Foldable.hs, dist/build/Data/Singletons/Prelude/Foldable.o )
[54 of 68] Compiling Data.Singletons.Prelude.Identity ( src/Data/Singletons/Prelude/Identity.hs, dist/build/Data/Singletons/Prelude/Identity.o )
[55 of 68] Compiling Data.Singletons.Prelude.Const ( src/Data/Singletons/Prelude/Const.hs, dist/build/Data/Singletons/Prelude/Const.o )
[56 of 68] Compiling Data.Singletons.Prelude.Traversable ( src/Data/Singletons/Prelude/Traversable.hs, dist/build/Data/Singletons/Prelude/Traversable.o )
[57 of 68] Compiling Data.Singletons.Prelude.Semigroup ( src/Data/Singletons/Prelude/Semigroup.hs, dist/build/Data/Singletons/Prelude/Semigroup.o )
[58 of 68] Compiling Data.Singletons.Prelude.List ( src/Data/Singletons/Prelude/List.hs, dist/build/Data/Singletons/Prelude/List.o )
[59 of 68] Compiling Data.Singletons.Prelude.Monad.Zip ( src/Data/Singletons/Prelude/Monad/Zip.hs, dist/build/Data/Singletons/Prelude/Monad/Zip.o )
[60 of 68] Compiling Data.Singletons.Prelude.List.NonEmpty ( src/Data/Singletons/Prelude/List/NonEmpty.hs, dist/build/Data/Singletons/Prelude/List/NonEmpty.o )
[61 of 68] Compiling Data.Singletons.Prelude.IsString ( src/Data/Singletons/Prelude/IsString.hs, dist/build/Data/Singletons/Prelude/IsString.o )
[62 of 68] Compiling Data.Singletons.Prelude.Applicative ( src/Data/Singletons/Prelude/Applicative.hs, dist/build/Data/Singletons/Prelude/Applicative.o )
[63 of 68] Compiling Data.Singletons.Prelude.Monad ( src/Data/Singletons/Prelude/Monad.hs, dist/build/Data/Singletons/Prelude/Monad.o )
[64 of 68] Compiling Data.Singletons ( src/Data/Singletons.hs, dist/build/Data/Singletons.o )
[65 of 68] Compiling Data.Singletons.TH ( src/Data/Singletons/TH.hs, dist/build/Data/Singletons/TH.o )
[66 of 68] Compiling Data.Singletons.TypeError ( src/Data/Singletons/TypeError.hs, dist/build/Data/Singletons/TypeError.o )
[67 of 68] Compiling Data.Singletons.Prelude ( src/Data/Singletons/Prelude.hs, dist/build/Data/Singletons/Prelude.o )
[68 of 68] Compiling Data.Singletons.CustomStar ( src/Data/Singletons/CustomStar.hs, dist/build/Data/Singletons/CustomStar.o )
Preprocessing library for singletons-2.5.1..
Running Haddock on library for singletons-2.5.1..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
Haddock coverage:
Warning: 'Sing' is ambiguous. It is defined
* at src/Data/Singletons/Internal.hs:68:1
* at src/Data/Singletons/Internal.hs:49:1
You may be able to disambiguate the identifier by qualifying it or
by hiding some imports.
Defaulting to 'Sing' defined at src/Data/Singletons/Internal.hs:49:1
Warning: 'k1' is out of scope.
If you qualify the identifier, haddock can try to link it
it anyway.
Warning: 'k2' is out of scope.
If you qualify the identifier, haddock can try to link it
it anyway.
Warning: Couldn't find .haddock for export applySing8
Warning: Couldn't find .haddock for export applySing7
Warning: Couldn't find .haddock for export applySing6
Warning: Couldn't find .haddock for export applySing5
Warning: Couldn't find .haddock for export applySing4
Warning: Couldn't find .haddock for export applySing3
Warning: Couldn't find .haddock for export applySing2
100% ( 8 / 8) in 'Data.Singletons.Decide'
50% ( 1 / 2) in 'Data.Singletons.SuppressUnusedWarnings'
Missing documentation for:
Module header
Warning: 'SingI' is out of scope.
If you qualify the identifier, haddock can try to link it
it anyway.
Warning: 'ShowSing' is out of scope.
If you qualify the identifier, haddock can try to link it
it anyway.
haddock: internal error: /tmp/ghc4901_0/ghc_272.s: hClose: resource exhausted (No space left on device)
Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.6.3/singletons-2.5.1-43ZqbuObokDBX1ViE9uKhA
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.6.3/singletons-2.5.1-43ZqbuObokDBX1ViE9uKhA/Data/Singletons/Prelude/List/.copyFile5025-88.tmp: copyFile: resource exhausted (No space left on device)
cabal: Leaving directory '/tmp/cabal-tmp-1994/singletons-2.5.1'
cabal: Error: some packages failed to install:
singletons-2.5.1-43ZqbuObokDBX1ViE9uKhA failed during the final install step.
The exception was:
ExitFailure 1
singletons-presburger-0.3.0.1-COCdgh269sNGo84AVd1Q4u depends on
singletons-presburger-0.3.0.1 which failed to install.
Test log
No test log was submitted for this report.