Build #3 for typecheck-plugin-nat-simple-0.1.0.0
| Package | typecheck-plugin-nat-simple-0.1.0.0 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2021-01-22 00:24:03.866945881 UTC |
|---|---|
| Compiler | ghc-8.10.2 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.14.1.0, containers-0.6.2.1, ghc-8.10.2 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
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
Test log
No test log was submitted for this report.