Build #6 for singletons-0.8.6
| Package | singletons-0.8.6 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2016-12-20 06:47:26.706493 UTC |
|---|---|
| Compiler | ghc-8.0.1.20161018 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.9.0.0, containers-0.5.7.1, mtl-2.2.1, syb-0.6, template-haskell-2.11.0.0 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring mtl-2.2.1...
Configuring syb-0.6...
Building mtl-2.2.1...
Building syb-0.6...
Installed syb-0.6
Installed mtl-2.2.1
Downloading singletons-0.8.6...
Configuring singletons-0.8.6...
Building singletons-0.8.6...
Failed to install singletons-0.8.6
Build log ( /home/builder/.cabal/logs/singletons-0.8.6.log ):
cabal: Entering directory '/tmp/cabal-tmp-14413/singletons-0.8.6'
Configuring singletons-0.8.6...
Building singletons-0.8.6...
Preprocessing library singletons-0.8.6...
[1 of 7] Compiling Data.Singletons.Util ( Data/Singletons/Util.hs, dist/build/Data/Singletons/Util.o )
Data/Singletons/Util.hs:134:17: error:
Not in scope: data constructor ‘RoledTV’
Data/Singletons/Util.hs:135:17: error:
Not in scope: data constructor ‘KindedRoledTV’
Data/Singletons/Util.hs:143:17: error:
Not in scope: data constructor ‘RoledTV’
Data/Singletons/Util.hs:144:17: error:
Not in scope: data constructor ‘KindedRoledTV’
cabal: Leaving directory '/tmp/cabal-tmp-14413/singletons-0.8.6'
cabal: Error: some packages failed to install:
singletons-0.8.6 failed during the building phase. The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.