Build #1 for tpdb-2.7.2
| Package | tpdb-2.7.2 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2023-10-11 00:14:53.289055765 UTC |
|---|---|
| Compiler | ghc-9.2.4 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.16.3.0, bytestring-0.12.0.2, containers-0.6.5.1, data-default-0.7.1.1, exceptions-0.10.4, filepath-1.4.100.4, hashable-1.4.3.0, mtl-2.2.2, parsec-3.1.17.0, prettyprinter-1.7.1, text-2.0.2, time-1.11.1.1, xml-conduit-1.9.1.3, xml-hamlet-0.5.0.2, base-4.16.3.0, bytestring-0.12.0.2, base-4.16.3.0, bytestring-0.12.0.2, base-4.16.3.0, bytestring-0.12.0.2 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Starting StateVar-1.2.2
Starting OneTuple-0.4.1.1
Starting cabal-doctest-1.0.9
Starting data-array-byte-0.1.0.1
Starting base-orphans-0.9.0
Starting generically-0.1.1
Starting dlist-1.0
Starting old-locale-1.0.0.7
Starting integer-logarithms-1.0.3.1
Starting split-0.2.4
Starting tagged-0.8.8
Starting th-abstraction-0.6.0.0
Starting unliftio-core-0.2.1.0
Starting vector-stream-0.1.0.0
Starting data-default-class-0.1.2.0
Starting transformers-compat-0.7.2
Starting splitmix-0.1.0.5
Building OneTuple-0.4.1.1
Building cabal-doctest-1.0.9
Building StateVar-1.2.2
Building generically-0.1.1
Building dlist-1.0
Building unliftio-core-0.2.1.0
Building data-array-byte-0.1.0.1
Building base-orphans-0.9.0
Building old-locale-1.0.0.7
Building split-0.2.4
Building integer-logarithms-1.0.3.1
Building th-abstraction-0.6.0.0
Building tagged-0.8.8
Building vector-stream-0.1.0.0
Building splitmix-0.1.0.5
Building transformers-compat-0.7.2
Building data-default-class-0.1.2.0
Completed data-default-class-0.1.2.0
Starting data-default-instances-containers-0.0.1
Completed old-locale-1.0.0.7
Starting data-default-instances-old-locale-0.0.1
Building data-default-instances-containers-0.0.1
Completed OneTuple-0.4.1.1
Completed unliftio-core-0.2.1.0
Building data-default-instances-old-locale-0.0.1
Completed StateVar-1.2.2
Starting contravariant-1.5.5
Completed integer-logarithms-1.0.3.1
Completed split-0.2.4
Completed generically-0.1.1
Building contravariant-1.5.5
Completed data-array-byte-0.1.0.1
Starting primitive-0.8.0.0
Starting bytestring-0.12.0.2
Completed splitmix-0.1.0.5
Completed base-orphans-0.9.0
Building primitive-0.8.0.0
Building bytestring-0.12.0.2
Completed tagged-0.8.8
Starting foldable1-classes-compat-0.1
Starting distributive-0.6.2.1
Starting assoc-1.1
Completed transformers-compat-0.7.2
Building assoc-1.1
Building foldable1-classes-compat-0.1
Building distributive-0.6.2.1
Completed dlist-1.0
Starting data-default-instances-dlist-0.0.1
Building data-default-instances-dlist-0.0.1
Completed data-default-instances-old-locale-0.0.1
Completed vector-stream-0.1.0.0
Completed data-default-instances-containers-0.0.1
Completed cabal-doctest-1.0.9
Completed th-abstraction-0.6.0.0
Starting th-lift-0.8.4
Building th-lift-0.8.4
Completed data-default-instances-dlist-0.0.1
Starting data-default-0.7.1.1
Completed contravariant-1.5.5
Completed assoc-1.1
Building data-default-0.7.1.1
Completed distributive-0.6.2.1
Completed foldable1-classes-compat-0.1
Starting indexed-traversable-0.1.3
Building indexed-traversable-0.1.3
Completed th-lift-0.8.4
Completed data-default-0.7.1.1
Completed primitive-0.8.0.0
Starting resourcet-1.3.0
Starting vector-0.13.1.0
Completed indexed-traversable-0.1.3
Starting comonad-5.0.8
Building resourcet-1.3.0
Building vector-0.13.1.0
Building comonad-5.0.8
Completed resourcet-1.3.0
Completed comonad-5.0.8
Starting bifunctors-5.6.1
Building bifunctors-5.6.1
Completed bytestring-0.12.0.2
Starting zlib-0.6.3.0
Starting random-1.2.1.1
Starting filepath-1.4.100.4
Starting binary-0.8.9.1
Building zlib-0.6.3.0
Building filepath-1.4.100.4
Building binary-0.8.9.1
Building random-1.2.1.1
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
Downloading unix-2.8.3.0
Downloaded unix-2.8.3.0
Starting unix-2.8.3.0
Building unix-2.8.3.0
Completed vector-0.13.1.0
Starting bitvec-1.1.5.0
Building bitvec-1.1.5.0
Completed QuickCheck-2.14.3
Completed bitvec-1.1.5.0
Starting vector-algorithms-0.9.0.1
Building vector-algorithms-0.9.0.1
Completed unix-2.8.3.0
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.0.1
Starting prettyprinter-1.7.1
Starting hashable-1.4.3.0
Starting parsec-3.1.17.0
Starting blaze-builder-0.4.2.3
Building integer-conversion-0.1.0.1
Building prettyprinter-1.7.1
Building xml-types-0.3.8
Building hashable-1.4.3.0
Building blaze-builder-0.4.2.3
Building parsec-3.1.17.0
Completed integer-conversion-0.1.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.18.0
Starting network-3.1.4.0
Completed blaze-builder-0.4.2.3
Starting blaze-markup-0.8.3.0
Building th-compat-0.1.4
Building file-embed-0.0.15.0
Building blaze-markup-0.8.3.0
Completed xml-types-0.3.8
Completed vector-algorithms-0.9.0.1
Completed hashable-1.4.3.0
Starting uuid-types-1.0.5.1
Starting unordered-containers-0.2.19.1
Starting these-1.2
Starting text-short-0.1.5
Starting scientific-0.3.7.0
Starting time-compat-1.9.6.1
Starting data-fix-0.3.2
Starting async-2.2.4
Building uuid-types-1.0.5.1
Building these-1.2
Building scientific-0.3.7.0
Building process-1.6.18.0
Building text-short-0.1.5
Building unordered-containers-0.2.19.1
Building data-fix-0.3.2
Building time-compat-1.9.6.1
Building async-2.2.4
Completed prettyprinter-1.7.1
Building network-3.1.4.0
Completed parsec-3.1.17.0
Completed th-compat-0.1.4
Starting network-uri-2.6.4.2
Building network-uri-2.6.4.2
Completed file-embed-0.0.15.0
Completed uuid-types-1.0.5.1
Completed blaze-markup-0.8.3.0
Starting blaze-html-0.9.1.2
Building blaze-html-0.9.1.2
Completed async-2.2.4
Completed data-fix-0.3.2
Completed scientific-0.3.7.0
Starting attoparsec-0.14.4
Completed these-1.2
Starting strict-0.5
Completed time-compat-1.9.6.1
Starting text-iso8601-0.1
Completed process-1.6.18.0
Starting typed-process-0.2.11.1
Building attoparsec-0.14.4
Building strict-0.5
Completed text-short-0.1.5
Building text-iso8601-0.1
Building typed-process-0.2.11.1
Completed network-uri-2.6.4.2
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 indexed-traversable-instances-0.1.1.2
Building semigroupoids-6.0.0.1
Building mono-traversable-1.0.15.3
Completed network-3.1.4.0
Starting streaming-commons-0.2.2.6
Completed text-iso8601-0.1
Building streaming-commons-0.2.2.6
Completed typed-process-0.2.11.1
Completed strict-0.5
Completed indexed-traversable-instances-0.1.1.2
Starting witherable-0.4.2
Building witherable-0.4.2
Completed blaze-html-0.9.1.2
Completed attoparsec-0.14.4
Completed streaming-commons-0.2.2.6
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.1.0
Building aeson-2.2.1.0
Completed conduit-1.3.5
Starting conduit-extra-1.3.6
Building conduit-extra-1.3.6
Completed conduit-extra-1.3.6
Starting xml-conduit-1.9.1.3
Building xml-conduit-1.9.1.3
Completed aeson-2.2.1.0
Starting shakespeare-2.1.0.1
Building shakespeare-2.1.0.1
Completed xml-conduit-1.9.1.3
Completed shakespeare-2.1.0.1
Starting xml-hamlet-0.5.0.2
Building xml-hamlet-0.5.0.2
Completed xml-hamlet-0.5.0.2
Downloading tpdb-2.7.2
Downloaded tpdb-2.7.2
Starting tpdb-2.7.2
Building tpdb-2.7.2
Failed to install tpdb-2.7.2
Build log ( /home/builder/.cabal/logs/ghc-9.2.4/tpdb-2.7.2-Lf0Rdh09rBDG3IJHXpoSsP.log ):
cabal: Entering directory '/tmp/cabal-tmp-2849210/tpdb-2.7.2'
Configuring tpdb-2.7.2...
Preprocessing library for tpdb-2.7.2..
Building library for tpdb-2.7.2..
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,
original_variable = Nothing})
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,
original_variable = Nothing})
rs,
separate = sep}
|
150 | RS { rules = map ( \ (l,r) ->
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
[ 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-2849210/tpdb-2.7.2'
Error: cabal: Some packages failed to install:
tpdb-2.7.2-Lf0Rdh09rBDG3IJHXpoSsP failed during the building phase. The
exception was:
ExitFailure 1
Test log
No test log was submitted for this report.