Resolving dependencies... Starting StateVar-1.2.2 Starting OneTuple-0.4.1.1 Starting base-orphans-0.9.0 Starting data-array-byte-0.1.0.1 Starting data-default-class-0.1.2.0 Starting bytestring-0.11.5.2 Starting dlist-1.0 Starting generically-0.1.1 Starting indexed-traversable-0.1.2.1 Starting old-locale-1.0.0.7 Starting split-0.2.3.5 Starting tagged-0.8.8 Starting th-abstraction-0.5.0.0 Starting unliftio-core-0.2.1.0 Starting vector-stream-0.1.0.0 Starting transformers-compat-0.7.2 Starting splitmix-0.1.0.4 Starting integer-logarithms-1.0.3.1 Building OneTuple-0.4.1.1 Building integer-logarithms-1.0.3.1 Building StateVar-1.2.2 Building transformers-compat-0.7.2 Building base-orphans-0.9.0 Building data-array-byte-0.1.0.1 Building bytestring-0.11.5.2 Building th-abstraction-0.5.0.0 Building tagged-0.8.8 Building unliftio-core-0.2.1.0 Building indexed-traversable-0.1.2.1 Building dlist-1.0 Building data-default-class-0.1.2.0 Building vector-stream-0.1.0.0 Building generically-0.1.1 Building old-locale-1.0.0.7 Building splitmix-0.1.0.4 Building split-0.2.3.5 Completed integer-logarithms-1.0.3.1 Completed unliftio-core-0.2.1.0 Completed OneTuple-0.4.1.1 Completed old-locale-1.0.0.7 Completed StateVar-1.2.2 Starting contravariant-1.5.5 Completed generically-0.1.1 Completed splitmix-0.1.0.4 Building contravariant-1.5.5 Completed data-default-class-0.1.2.0 Starting data-default-instances-containers-0.0.1 Starting data-default-instances-old-locale-0.0.1 Completed base-orphans-0.9.0 Completed split-0.2.3.5 Building data-default-instances-old-locale-0.0.1 Building data-default-instances-containers-0.0.1 Completed data-array-byte-0.1.0.1 Starting primitive-0.8.0.0 Completed tagged-0.8.8 Starting foldable1-classes-compat-0.1 Starting distributive-0.6.2.1 Starting assoc-1.1 Building primitive-0.8.0.0 Completed dlist-1.0 Starting data-default-instances-dlist-0.0.1 Building foldable1-classes-compat-0.1 Building assoc-1.1 Building distributive-0.6.2.1 Building data-default-instances-dlist-0.0.1 Completed vector-stream-0.1.0.0 Completed indexed-traversable-0.1.2.1 Completed transformers-compat-0.7.2 Completed th-abstraction-0.5.0.0 Starting th-lift-0.8.4 Completed data-default-instances-old-locale-0.0.1 Building th-lift-0.8.4 Completed data-default-instances-containers-0.0.1 Completed data-default-instances-dlist-0.0.1 Starting data-default-0.7.1.1 Completed contravariant-1.5.5 Building data-default-0.7.1.1 Completed assoc-1.1 Completed distributive-0.6.2.1 Starting comonad-5.0.8 Building comonad-5.0.8 Completed foldable1-classes-compat-0.1 Completed th-lift-0.8.4 Completed data-default-0.7.1.1 Completed comonad-5.0.8 Starting bifunctors-5.6.1 Building bifunctors-5.6.1 Completed primitive-0.8.0.0 Starting resourcet-1.3.0 Starting vector-0.13.0.0 Completed bytestring-0.11.5.2 Building resourcet-1.3.0 Building vector-0.13.0.0 Starting random-1.2.1.1 Starting binary-0.8.9.1 Starting filepath-1.4.100.4 Starting zlib-0.6.3.0 Building filepath-1.4.100.4 Building random-1.2.1.1 Building binary-0.8.9.1 Building zlib-0.6.3.0 Completed resourcet-1.3.0 Completed zlib-0.6.3.0 Completed binary-0.8.9.1 Starting text-2.0.2 Building text-2.0.2 Completed bifunctors-5.6.1 Completed random-1.2.1.1 Starting QuickCheck-2.14.3 Building QuickCheck-2.14.3 Completed filepath-1.4.100.4 Starting unix-2.8.2.1 Building unix-2.8.2.1 Completed QuickCheck-2.14.3 Completed vector-0.13.0.0 Starting bitvec-1.1.5.0 Building bitvec-1.1.5.0 Completed unix-2.8.2.1 Starting directory-1.3.8.1 Building directory-1.3.8.1 Completed text-2.0.2 Starting xml-types-0.3.8 Starting integer-conversion-0.1 Starting hashable-1.4.3.0 Starting prettyprinter-1.7.1 Starting blaze-builder-0.4.2.3 Starting parsec-3.1.16.1 Completed bitvec-1.1.5.0 Starting vector-algorithms-0.9.0.1 Building xml-types-0.3.8 Building integer-conversion-0.1 Building hashable-1.4.3.0 Building parsec-3.1.16.1 Building prettyprinter-1.7.1 Building blaze-builder-0.4.2.3 Building vector-algorithms-0.9.0.1 Completed directory-1.3.8.1 Starting th-compat-0.1.4 Starting file-embed-0.0.15.0 Starting process-1.6.17.0 Starting network-3.1.4.0 Building file-embed-0.0.15.0 Building th-compat-0.1.4 Completed integer-conversion-0.1 Building process-1.6.17.0 Completed blaze-builder-0.4.2.3 Starting blaze-markup-0.8.2.8 Building network-3.1.4.0 Completed xml-types-0.3.8 Building blaze-markup-0.8.2.8 Completed hashable-1.4.3.0 Starting uuid-types-1.0.5 Starting unordered-containers-0.2.19.1 Starting these-1.2 Starting text-short-0.1.5 Starting data-fix-0.3.2 Starting async-2.2.4 Starting scientific-0.3.7.0 Starting time-compat-1.9.6.1 Building text-short-0.1.5 Building unordered-containers-0.2.19.1 Building uuid-types-1.0.5 Building these-1.2 Building async-2.2.4 Building data-fix-0.3.2 Building scientific-0.3.7.0 Building time-compat-1.9.6.1 Completed prettyprinter-1.7.1 Completed parsec-3.1.16.1 Starting Cabal-syntax-3.10.1.0 Building Cabal-syntax-3.10.1.0 Completed file-embed-0.0.15.0 Completed th-compat-0.1.4 Starting network-uri-2.6.4.2 Building network-uri-2.6.4.2 Completed process-1.6.17.0 Completed async-2.2.4 Starting typed-process-0.2.11.0 Completed blaze-markup-0.8.2.8 Starting blaze-html-0.9.1.2 Completed data-fix-0.3.2 Building typed-process-0.2.11.0 Building blaze-html-0.9.1.2 Completed time-compat-1.9.6.1 Starting text-iso8601-0.1 Completed text-short-0.1.5 Building text-iso8601-0.1 Completed scientific-0.3.7.0 Starting attoparsec-0.14.4 Completed uuid-types-1.0.5 Completed vector-algorithms-0.9.0.1 Building attoparsec-0.14.4 Completed these-1.2 Starting strict-0.5 Building strict-0.5 Completed network-uri-2.6.4.2 Completed network-3.1.4.0 Starting streaming-commons-0.2.2.6 Building streaming-commons-0.2.2.6 Completed typed-process-0.2.11.0 Completed text-iso8601-0.1 Completed unordered-containers-0.2.19.1 Starting mono-traversable-1.0.15.3 Starting indexed-traversable-instances-0.1.1.2 Starting semigroupoids-6.0.0.1 Building mono-traversable-1.0.15.3 Building semigroupoids-6.0.0.1 Building indexed-traversable-instances-0.1.1.2 Completed strict-0.5 Completed indexed-traversable-instances-0.1.1.2 Starting witherable-0.4.2 Building witherable-0.4.2 Completed streaming-commons-0.2.2.6 Completed blaze-html-0.9.1.2 Completed attoparsec-0.14.4 Completed semigroupoids-6.0.0.1 Starting semialign-1.3 Building semialign-1.3 Completed witherable-0.4.2 Completed mono-traversable-1.0.15.3 Starting conduit-1.3.5 Building conduit-1.3.5 Completed semialign-1.3 Starting aeson-2.2.0.0 Building aeson-2.2.0.0 Completed conduit-1.3.5 Starting conduit-extra-1.3.6 Building conduit-extra-1.3.6 Completed conduit-extra-1.3.6 Completed aeson-2.2.0.0 Starting shakespeare-2.1.0.1 Building shakespeare-2.1.0.1 Completed Cabal-syntax-3.10.1.0 Starting Cabal-3.10.1.0 Building Cabal-3.10.1.0 Completed shakespeare-2.1.0.1 Completed Cabal-3.10.1.0 Starting cabal-doctest-1.0.9 Building cabal-doctest-1.0.9 Completed cabal-doctest-1.0.9 Starting xml-conduit-1.9.1.3 Building xml-conduit-1.9.1.3 Completed xml-conduit-1.9.1.3 Starting xml-hamlet-0.5.0.2 Building xml-hamlet-0.5.0.2 Completed xml-hamlet-0.5.0.2 Starting tpdb-2.7.1 Building tpdb-2.7.1 Failed to install tpdb-2.7.1 Build log ( /home/builder/.cabal/logs/ghc-9.2.4/tpdb-2.7.1-4VPPjiKY9NBHltHfy4D9Cc.log ): cabal: Entering directory '/tmp/cabal-tmp-4024915/tpdb-2.7.1' Configuring tpdb-2.7.1... Preprocessing library for tpdb-2.7.1.. Building library for tpdb-2.7.1.. src/TPDB/Plain/Read.hs:4:14: warning: [-Wdeprecated-flags] -XPatternSignatures is deprecated: use -XScopedTypeVariables or pragma {-# LANGUAGE ScopedTypeVariables #-} instead | 4 | {-# language PatternSignatures, TypeSynonymInstances, FlexibleInstances, FlexibleContexts #-} | ^^^^^^^^^^^^^^^^^ src/TPDB/XTC/Read.hs:3:41: warning: [-Wdeprecated-flags] -XPatternSignatures is deprecated: use -XScopedTypeVariables or pragma {-# LANGUAGE ScopedTypeVariables #-} instead | 3 | {-# language NoMonomorphismRestriction, PatternSignatures, OverloadedStrings | ^^^^^^^^^^^^^^^^^ src/TPDB/Xml.hs:1:36: warning: [-Wdeprecated-flags] -XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS | 1 | {-# language UndecidableInstances, OverlappingInstances, IncoherentInstances, FlexibleInstances, ScopedTypeVariables, OverloadedStrings #-} | ^^^^^^^^^^^^^^^^^^^^ src/TPDB/CPF/Proof/Write.hs:1:95: warning: [-Wdeprecated-flags] -XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS | 1 | {-# language TypeSynonymInstances, FlexibleContexts, FlexibleInstances, UndecidableInstances, OverlappingInstances, IncoherentInstances, PatternSignatures, DeriveDataTypeable, OverloadedStrings, LambdaCase, DataKinds, GADTs, QuasiQuotes #-} | ^^^^^^^^^^^^^^^^^^^^ src/TPDB/CPF/Proof/Write.hs:1:138: warning: [-Wdeprecated-flags] -XPatternSignatures is deprecated: use -XScopedTypeVariables or pragma {-# LANGUAGE ScopedTypeVariables #-} instead | 1 | {-# language TypeSynonymInstances, FlexibleContexts, FlexibleInstances, UndecidableInstances, OverlappingInstances, IncoherentInstances, PatternSignatures, DeriveDataTypeable, OverloadedStrings, LambdaCase, DataKinds, GADTs, QuasiQuotes #-} | ^^^^^^^^^^^^^^^^^ src/TPDB/CPF/Proof/Read.hs:1:49: warning: [-Wdeprecated-flags] -XPatternSignatures is deprecated: use -XScopedTypeVariables or pragma {-# LANGUAGE ScopedTypeVariables #-} instead | 1 | {-# language Arrows, NoMonomorphismRestriction, PatternSignatures, OverloadedStrings, LambdaCase #-} | ^^^^^^^^^^^^^^^^^ [ 1 of 31] Compiling TPDB.Data.Identifier ( src/TPDB/Data/Identifier.hs, dist/build/TPDB/Data/Identifier.o, dist/build/TPDB/Data/Identifier.dyn_o ) [ 2 of 31] Compiling TPDB.Data.Rule ( src/TPDB/Data/Rule.hs, dist/build/TPDB/Data/Rule.o, dist/build/TPDB/Data/Rule.dyn_o ) [ 3 of 31] Compiling TPDB.Data.Term.Cached ( src/TPDB/Data/Term/Cached.hs, dist/build/TPDB/Data/Term/Cached.o, dist/build/TPDB/Data/Term/Cached.dyn_o ) [ 4 of 31] Compiling TPDB.Data.Term.Plain ( src/TPDB/Data/Term/Plain.hs, dist/build/TPDB/Data/Term/Plain.o, dist/build/TPDB/Data/Term/Plain.dyn_o ) [ 5 of 31] Compiling TPDB.Data.Term ( src/TPDB/Data/Term.hs, dist/build/TPDB/Data/Term.o, dist/build/TPDB/Data/Term.dyn_o ) [ 6 of 31] Compiling TPDB.Pretty ( src/TPDB/Pretty.hs, dist/build/TPDB/Pretty.o, dist/build/TPDB/Pretty.dyn_o ) src/TPDB/Pretty.hs:14:11: warning: [-Wduplicate-exports] nest is exported by nest and nest | 14 | , indent, nest, hang | ^^^^ src/TPDB/Pretty.hs:19:1: warning: [-Wdeprecations] Module Data.Text.Prettyprint.Doc is deprecated: Use "Prettyprinter" instead. | 19 | import Data.Text.Prettyprint.Doc | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... src/TPDB/Pretty.hs:25:1: warning: [-Wdeprecations] Module Data.Text.Prettyprint.Doc is deprecated: Use "Prettyprinter" instead. | 25 | import qualified Data.Text.Prettyprint.Doc as D | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/TPDB/Pretty.hs:26:1: warning: [-Wdeprecations] Module Data.Text.Prettyprint.Doc.Render.Text is deprecated: Use "Prettyprinter.Render.Text" instead. | 26 | import qualified Data.Text.Prettyprint.Doc.Render.Text as T | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [ 7 of 31] Compiling TPDB.Data.Attributes ( src/TPDB/Data/Attributes.hs, dist/build/TPDB/Data/Attributes.o, dist/build/TPDB/Data/Attributes.dyn_o ) [ 8 of 31] Compiling TPDB.Data ( src/TPDB/Data.hs, dist/build/TPDB/Data.o, dist/build/TPDB/Data.dyn_o ) src/TPDB/Data.hs:150:5: warning: [-Wmissing-fields] " Fields of RS not initialised: signature :: [i] " In the expression: RS {rules = map (\ (l, r) -> Rule {relation = Strict, top = False, lhs = l, rhs = r}) rs, separate = sep} In an equation for from_strict_rules: from_strict_rules sep rs = RS {rules = map (\ (l, r) -> Rule {relation = Strict, top = False, lhs = l, rhs = r}) rs, separate = sep} | 150 | RS { rules = map ( \ (l,r) -> | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... src/TPDB/Data.hs:151:14: warning: [-Wmissing-fields] " Fields of Rule not initialised: original_variable :: Maybe Identifier " In the expression: Rule {relation = Strict, top = False, lhs = l, rhs = r} In the first argument of map, namely (\ (l, r) -> Rule {relation = Strict, top = False, lhs = l, rhs = r}) In the rules field of a record | 151 | Rule { relation = Strict, top = False, lhs = l, rhs = r } ) rs | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [ 9 of 31] Compiling TPDB.Plain.Write ( src/TPDB/Plain/Write.hs, dist/build/TPDB/Plain/Write.o, dist/build/TPDB/Plain/Write.dyn_o ) src/TPDB/Plain/Write.hs:60:10: warning: [-Wsimplifiable-class-constraints] " The constraint Variables (Term s r) matches instance (Ord v, TermC v c) => Variables (Term v c) -- Defined at src/TPDB/Data.hs:41:10 This makes type inference for inner bindings fragile; either use MonoLocalBinds, or simplify it using the instance " In the instance declaration for Pretty (Problem s r) | 60 | instance ( TermC s r, Pretty s, Pretty r, Variables (Term s r) ) => Pretty ( Problem s r ) where | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [10 of 31] Compiling TPDB.Plain.Read ( src/TPDB/Plain/Read.hs, dist/build/TPDB/Plain/Read.o, dist/build/TPDB/Plain/Read.dyn_o ) src/TPDB/Plain/Read.hs:140:9: warning: [-Wmissing-fields] " Fields of RS not initialised: signature :: [s0] " In the expression: RS {rules = us, separate = True} In the second argument of ($), namely let us = do ... in RS {rules = us, separate = True} In the expression: repair_signature_srs $ let us = do ... in RS {rules = us, separate = True} | 140 | in RS { rules = us, separate = True } | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/TPDB/Plain/Read.hs:152:9: warning: [-Wmissing-fields] " Fields of RS not initialised: signature :: [s0] " In the expression: RS {rules = us', separate = False} In the second argument of ($), namely let vs = do ... us = do ... us' = repair_variables vs us in RS {rules = us', separate = False} In the expression: repair_signature_trs $ let vs = do ... us = do ... us' = repair_variables vs us in RS {rules = us', separate = False} | 152 | in RS { rules = us', separate = False } | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [11 of 31] Compiling TPDB.DP.Unify ( src/TPDB/DP/Unify.hs, dist/build/TPDB/DP/Unify.o, dist/build/TPDB/DP/Unify.dyn_o ) [12 of 31] Compiling TPDB.Convert ( src/TPDB/Convert.hs, dist/build/TPDB/Convert.o, dist/build/TPDB/Convert.dyn_o ) src/TPDB/Convert.hs:25:12: error: " Illegal equational constraint v ~ Identifier (Use GADTs or TypeFamilies to permit this) " In the type signature: trs2srs :: (Eq v, TermC v s, v ~ Identifier) => TRS v s -> Maybe (SRS s) | 25 | trs2srs :: (Eq v, TermC v s, v ~ Identifier) => TRS v s -> Maybe ( SRS s ) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cabal: Leaving directory '/tmp/cabal-tmp-4024915/tpdb-2.7.1' Error: cabal: Some packages failed to install: tpdb-2.7.1-4VPPjiKY9NBHltHfy4D9Cc failed during the building phase. The exception was: ExitFailure 1