Build #3 for heyting-algebras-0.0.1.0
| Package | heyting-algebras-0.0.1.0 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2018-10-05 22:02:32.836107381 UTC |
|---|---|
| Compiler | ghc-8.4.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.11.1.0, containers-0.5.11.0, free-algebras-0.0.5.0, hashable-1.2.7.0, lattices-1.7.1.1, tagged-0.8.6, universe-base-1.0.2.1, unordered-containers-0.2.9.0 |
| Flags | -export-properties |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring base-orphans-0.8...
Configuring base-compat-0.10.4...
Building base-orphans-0.8...
Building base-compat-0.10.4...
Installed base-orphans-0.8
Configuring cabal-doctest-1.0.6...
Building cabal-doctest-1.0.6...
Installed base-compat-0.10.4
Configuring data-fix-0.2.0...
Installed cabal-doctest-1.0.6
Configuring dlist-0.8.0.5...
Building data-fix-0.2.0...
Building dlist-0.8.0.5...
Installed data-fix-0.2.0
Configuring groups-0.4.1.0...
Building groups-0.4.1.0...
Installed dlist-0.8.0.5
Configuring hashable-1.2.7.0...
Building hashable-1.2.7.0...
Installed groups-0.4.1.0
Configuring natural-numbers-0.1.2.0...
Building natural-numbers-0.1.2.0...
Installed natural-numbers-0.1.2.0
Configuring semigroups-0.18.5...
Building semigroups-0.18.5...
Installed hashable-1.2.7.0
Configuring stm-2.5.0.0...
Installed semigroups-0.18.5
Configuring tagged-0.8.6...
Building stm-2.5.0.0...
Building tagged-0.8.6...
Installed stm-2.5.0.0
Configuring th-abstraction-0.2.8.0...
Building th-abstraction-0.2.8.0...
Installed tagged-0.8.6
Configuring transformers-compat-0.6.2...
Building transformers-compat-0.6.2...
Installed transformers-compat-0.6.2
Configuring universe-base-1.0.2.1...
Installed th-abstraction-0.2.8.0
Configuring void-0.7.2...
Building universe-base-1.0.2.1...
Building void-0.7.2...
Installed universe-base-1.0.2.1
Configuring unordered-containers-0.2.9.0...
Installed void-0.7.2
Configuring StateVar-1.1.1.1...
Building unordered-containers-0.2.9.0...
Building StateVar-1.1.1.1...
Installed StateVar-1.1.1.1
Configuring distributive-0.6...
Building distributive-0.6...
Installed distributive-0.6
Configuring transformers-base-0.4.5.2...
Building transformers-base-0.4.5.2...
Installed unordered-containers-0.2.9.0
Configuring exceptions-0.10.0...
Building exceptions-0.10.0...
Installed transformers-base-0.4.5.2
Configuring constraints-0.10.1...
Building constraints-0.10.1...
Installed exceptions-0.10.0
Configuring universe-instances-base-1.0...
Building universe-instances-base-1.0...
Installed universe-instances-base-1.0
Configuring contravariant-1.5...
Building contravariant-1.5...
Installed constraints-0.10.1
Configuring universe-reverse-instances-1.0...
Building universe-reverse-instances-1.0...
Installed universe-reverse-instances-1.0
Installed contravariant-1.5
Configuring comonad-5.0.4...
Building comonad-5.0.4...
Installed comonad-5.0.4
Configuring bifunctors-5.5.3...
Building bifunctors-5.5.3...
Installed bifunctors-5.5.3
Configuring profunctors-5.3...
Configuring semigroupoids-5.3.1...
Building profunctors-5.3...
Building semigroupoids-5.3.1...
Installed profunctors-5.3
Configuring invariant-0.5.1...
Building invariant-0.5.1...
Installed semigroupoids-5.3.1
Configuring lattices-1.7.1.1...
Building lattices-1.7.1.1...
Installed invariant-0.5.1
Configuring free-5.1...
Building free-5.1...
Installed lattices-1.7.1.1
Installed free-5.1
Configuring adjunctions-4.4...
Building adjunctions-4.4...
Installed adjunctions-4.4
Configuring kan-extensions-5.2...
Building kan-extensions-5.2...
Installed kan-extensions-5.2
Configuring free-algebras-0.0.5.0...
Building free-algebras-0.0.5.0...
Installed free-algebras-0.0.5.0
Configuring heyting-algebras-0.0.1.0...
Building heyting-algebras-0.0.1.0...
Failed to install heyting-algebras-0.0.1.0
Build log ( /home/builder/.cabal/logs/ghc-8.4.3/heyting-algebras-0.0.1.0-9XdB3Kq1uXCGK2mONXfm4A.log ):
cabal: Entering directory '/tmp/cabal-tmp-11408/heyting-algebras-0.0.1.0'
Configuring heyting-algebras-0.0.1.0...
Preprocessing library for heyting-algebras-0.0.1.0..
Building library for heyting-algebras-0.0.1.0..
[1 of 5] Compiling Algebra.Heyting ( src/Algebra/Heyting.hs, dist/build/Algebra/Heyting.o )
src/Algebra/Heyting.hs:11:5: error:
Not in scope: ‘prop_BoundedMeetSemiLattice’
|
11 | , prop_BoundedMeetSemiLattice
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Algebra/Heyting.hs:12:5: error:
Not in scope: ‘prop_BoundedJoinSemiLattice’
|
12 | , prop_BoundedJoinSemiLattice
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Algebra/Heyting.hs:13:5: error:
Not in scope: ‘prop_HeytingAlgebra’
|
13 | , prop_HeytingAlgebra
| ^^^^^^^^^^^^^^^^^^^
src/Algebra/Heyting.hs:14:5: error: Not in scope: ‘prop_implies’
|
14 | , prop_implies
| ^^^^^^^^^^^^
cabal: Leaving directory '/tmp/cabal-tmp-11408/heyting-algebras-0.0.1.0'
cabal: Error: some packages failed to install:
heyting-algebras-0.0.1.0-9XdB3Kq1uXCGK2mONXfm4A failed during the building
phase. The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.