Build #2 for typecheck-plugin-nat-simple-0.1.0.8
| Package | typecheck-plugin-nat-simple-0.1.0.8 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2022-12-21 09:50:55.847382047 UTC |
|---|---|
| Compiler | ghc-9.2.4 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.16.3.0, containers-0.6.5.1, ghc-9.2.4, ghc-tcplugins-extra-0.4.3 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Starting ghc-tcplugins-extra-0.4.3
Building ghc-tcplugins-extra-0.4.3
Completed ghc-tcplugins-extra-0.4.3
Starting typecheck-plugin-nat-simple-0.1.0.8
Building typecheck-plugin-nat-simple-0.1.0.8
Failed to install typecheck-plugin-nat-simple-0.1.0.8
Build log ( /home/builder/.cabal/logs/ghc-9.2.4/typecheck-plugin-nat-simple-0.1.0.8-IdE4H4d4gN86zDhXKVVFNN.log ):
cabal: Entering directory '/tmp/cabal-tmp-2630228/typecheck-plugin-nat-simple-0.1.0.8'
Configuring typecheck-plugin-nat-simple-0.1.0.8...
Preprocessing library for typecheck-plugin-nat-simple-0.1.0.8..
Building library for typecheck-plugin-nat-simple-0.1.0.8..
[ 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 )
[12 of 14] Compiling Plugin.TypeCheck.Nat.Simple.Decode ( src/Plugin/TypeCheck/Nat/Simple/Decode.hs, dist/build/Plugin/TypeCheck/Nat/Simple/Decode.o, dist/build/Plugin/TypeCheck/Nat/Simple/Decode.dyn_o )
src/Plugin/TypeCheck/Nat/Simple/Decode.hs:60:13: warning: [-Wunused-matches]
Defined but not used: cmp
|
60 | exBool (oc, cmp) (TyConApp tc [_,
| ^^^
[13 of 14] Compiling Plugin.TypeCheck.Nat.Simple.TypeCheckWith ( src/Plugin/TypeCheck/Nat/Simple/TypeCheckWith.hs, dist/build/Plugin/TypeCheck/Nat/Simple/TypeCheckWith.o, dist/build/Plugin/TypeCheck/Nat/Simple/TypeCheckWith.dyn_o )
src/Plugin/TypeCheck/Nat/Simple/TypeCheckWith.hs:12:36: error:
Module GHC.Tc.Types does not export TcPluginSolveResult(..)
|
12 | import GHC.Tc.Types (TcPlugin(..), TcPluginSolveResult(..))
| ^^^^^^^^^^^^^^^^^^^^^^^
cabal: Leaving directory '/tmp/cabal-tmp-2630228/typecheck-plugin-nat-simple-0.1.0.8'
Error: cabal: Some packages failed to install:
typecheck-plugin-nat-simple-0.1.0.8-IdE4H4d4gN86zDhXKVVFNN failed during the
building phase. The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.