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