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.9 Building typecheck-plugin-nat-simple-0.1.0.9 Failed to install typecheck-plugin-nat-simple-0.1.0.9 Build log ( /home/builder/.cabal/logs/ghc-9.2.4/typecheck-plugin-nat-simple-0.1.0.9-5sXXyyMYOMc6DydFAABupy.log ): cabal: Entering directory '/tmp/cabal-tmp-2714259/typecheck-plugin-nat-simple-0.1.0.9' Configuring typecheck-plugin-nat-simple-0.1.0.9... Preprocessing library for typecheck-plugin-nat-simple-0.1.0.9.. Building library for typecheck-plugin-nat-simple-0.1.0.9.. [ 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-2714259/typecheck-plugin-nat-simple-0.1.0.9' Error: cabal: Some packages failed to install: typecheck-plugin-nat-simple-0.1.0.9-5sXXyyMYOMc6DydFAABupy failed during the building phase. The exception was: ExitFailure 1