Resolving dependencies...
Starting     typecheck-plugin-nat-simple-0.1.0.0
Building     typecheck-plugin-nat-simple-0.1.0.0
Failed to install typecheck-plugin-nat-simple-0.1.0.0
Build log ( /home/builder/.cabal/logs/ghc-8.10.2/typecheck-plugin-nat-simple-0.1.0.0-G2YnnFurvwhF8ULG3h48gn.log ):
cabal: Entering directory '/tmp/cabal-tmp-22957/typecheck-plugin-nat-simple-0.1.0.0'
Configuring typecheck-plugin-nat-simple-0.1.0.0...
Preprocessing library for typecheck-plugin-nat-simple-0.1.0.0..
Building library for typecheck-plugin-nat-simple-0.1.0.0..
[ 1 of 14] Compiling Control.Monad.StateT ( src/Control/Monad/StateT.hs, dist/build/Control/Monad/StateT.o, dist/build/Control/Monad/StateT.dyn_o )
[ 2 of 14] Compiling Control.Monad.Try ( src/Control/Monad/Try.hs, dist/build/Control/Monad/Try.o, dist/build/Control/Monad/Try.dyn_o )
[ 3 of 14] Compiling Data.Log         ( src/Data/Log.hs, dist/build/Data/Log.o, dist/build/Data/Log.dyn_o )
[ 4 of 14] Compiling Data.Derivation.Constraint ( src/Data/Derivation/Constraint.hs, dist/build/Data/Derivation/Constraint.o, dist/build/Data/Derivation/Constraint.dyn_o )
[ 5 of 14] Compiling Data.Derivation.Expression.Internal ( src/Data/Derivation/Expression/Internal.hs, dist/build/Data/Derivation/Expression/Internal.o, dist/build/Data/Derivation/Expression/Internal.dyn_o )
[ 6 of 14] Compiling Data.Derivation.Expression ( src/Data/Derivation/Expression.hs, dist/build/Data/Derivation/Expression.o, dist/build/Data/Derivation/Expression.dyn_o )
[ 7 of 14] Compiling Data.Derivation.CanDerive ( src/Data/Derivation/CanDerive.hs, dist/build/Data/Derivation/CanDerive.o, dist/build/Data/Derivation/CanDerive.dyn_o )
[ 8 of 14] Compiling Data.Parse       ( src/Data/Parse.hs, dist/build/Data/Parse.o, dist/build/Data/Parse.dyn_o )
[ 9 of 14] Compiling Data.Derivation.Parse ( src/Data/Derivation/Parse.hs, dist/build/Data/Derivation/Parse.o, dist/build/Data/Derivation/Parse.dyn_o )
[10 of 14] Compiling Paths_typecheck_plugin_nat_simple ( dist/build/autogen/Paths_typecheck_plugin_nat_simple.hs, dist/build/Paths_typecheck_plugin_nat_simple.o, dist/build/Paths_typecheck_plugin_nat_simple.dyn_o )
[11 of 14] Compiling Plugin.TypeCheck.Nat.Simple.UnNomEq ( src/Plugin/TypeCheck/Nat/Simple/UnNomEq.hs, dist/build/Plugin/TypeCheck/Nat/Simple/UnNomEq.o, dist/build/Plugin/TypeCheck/Nat/Simple/UnNomEq.dyn_o )

src/Plugin/TypeCheck/Nat/Simple/UnNomEq.hs:6:19: error:
    Module ‘TcRnTypes’ does not export ‘Ct’
  |
6 | import TcRnTypes (Ct, ctEvidence, ctEvPred)
  |                   ^^

src/Plugin/TypeCheck/Nat/Simple/UnNomEq.hs:6:23: error:
    Module ‘TcRnTypes’ does not export ‘ctEvidence’
  |
6 | import TcRnTypes (Ct, ctEvidence, ctEvPred)
  |                       ^^^^^^^^^^

src/Plugin/TypeCheck/Nat/Simple/UnNomEq.hs:6:35: error:
    Module ‘TcRnTypes’ does not export ‘ctEvPred’
  |
6 | import TcRnTypes (Ct, ctEvidence, ctEvPred)
  |                                   ^^^^^^^^

src/Plugin/TypeCheck/Nat/Simple/UnNomEq.hs:7:20: error:
    Module ‘Type’ does not export ‘PredTree(..)’
  |
7 | import Type (Type, PredTree(..), EqRel(..), classifyPredType)
  |                    ^^^^^^^^^^^^

src/Plugin/TypeCheck/Nat/Simple/UnNomEq.hs:7:34: error:
    Module ‘Type’ does not export ‘EqRel(..)’
  |
7 | import Type (Type, PredTree(..), EqRel(..), classifyPredType)
  |                                  ^^^^^^^^^

src/Plugin/TypeCheck/Nat/Simple/UnNomEq.hs:7:45: error:
    Module ‘Type’ does not export ‘classifyPredType’
  |
7 | import Type (Type, PredTree(..), EqRel(..), classifyPredType)
  |                                             ^^^^^^^^^^^^^^^^
cabal: Leaving directory '/tmp/cabal-tmp-22957/typecheck-plugin-nat-simple-0.1.0.0'
cabal: Error: some packages failed to install:
typecheck-plugin-nat-simple-0.1.0.0-G2YnnFurvwhF8ULG3h48gn failed during the
building phase. The exception was:
ExitFailure 1