Build #1 for cpsa-4.4.6
| Package | cpsa-4.4.6 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2025-05-05 14:55:52.873550548 UTC |
|---|---|
| Compiler | ghc-9.8.4 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.19.2.0, containers-0.6.8, parallel-3.2.2.0, base-4.19.2.0, base-4.19.2.0, containers-0.6.8, base-4.19.2.0, containers-0.6.8, base-4.19.2.0, containers-0.6.8, base-4.19.2.0, base-4.19.2.0, base-4.19.2.0, containers-0.6.8, base-4.19.2.0, base-4.19.2.0, containers-0.6.8, base-4.19.2.0, directory-1.3.8.5, base-4.19.2.0, base-4.19.2.0, base-4.19.2.0, containers-0.6.8, base-4.19.2.0, containers-0.6.8, base-4.19.2.0, containers-0.6.8, base-4.19.2.0, containers-0.6.8, base-4.19.2.0, containers-0.6.8, base-4.19.2.0, containers-0.6.8 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring parallel-3.2.2.0...
Preprocessing library for parallel-3.2.2.0..
Building library for parallel-3.2.2.0..
[1 of 3] Compiling Control.Parallel ( Control/Parallel.hs, dist/build/Control/Parallel.o, dist/build/Control/Parallel.dyn_o )
[2 of 3] Compiling Control.Seq ( Control/Seq.hs, dist/build/Control/Seq.o, dist/build/Control/Seq.dyn_o )
[3 of 3] Compiling Control.Parallel.Strategies ( Control/Parallel/Strategies.hs, dist/build/Control/Parallel/Strategies.o, dist/build/Control/Parallel/Strategies.dyn_o )
Preprocessing library for parallel-3.2.2.0..
Running Haddock on library for parallel-3.2.2.0..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 3] Compiling Control.Parallel ( Control/Parallel.hs, nothing )
[2 of 3] Compiling Control.Seq ( Control/Seq.hs, nothing )
[3 of 3] Compiling Control.Parallel.Strategies ( Control/Parallel/Strategies.hs, nothing )
Haddock coverage:
100% ( 3 / 3) in 'Control.Parallel'
72% ( 21 / 29) in 'Control.Seq'
Missing documentation for:
seqTuple2 (Control/Seq.hs:175)
seqTuple3 (Control/Seq.hs:179)
seqTuple4 (Control/Seq.hs:183)
seqTuple5 (Control/Seq.hs:187)
seqTuple6 (Control/Seq.hs:191)
seqTuple7 (Control/Seq.hs:195)
seqTuple8 (Control/Seq.hs:199)
seqTuple9 (Control/Seq.hs:203)
Warning: 'Eval' is ambiguous. It is defined
* at Control/Parallel/Strategies.hs:210:18
* at Control/Parallel/Strategies.hs:210:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at Control/Parallel/Strategies.hs:210:1
Warning: 'IO' is ambiguous. It is defined
* in GHC.Types
* in GHC.Types
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in GHC.Types
Warning: 'evaListSplitAt' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'seqTuple2' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'seqListN' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'seqFoldable' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
81% ( 72 / 88) in 'Control.Parallel.Strategies'
Missing documentation for:
evalTuple2 (Control/Parallel/Strategies.hs:682)
evalTuple3 (Control/Parallel/Strategies.hs:686)
evalTuple4 (Control/Parallel/Strategies.hs:690)
evalTuple5 (Control/Parallel/Strategies.hs:694)
evalTuple6 (Control/Parallel/Strategies.hs:698)
evalTuple7 (Control/Parallel/Strategies.hs:702)
evalTuple8 (Control/Parallel/Strategies.hs:706)
evalTuple9 (Control/Parallel/Strategies.hs:710)
parTuple2 (Control/Parallel/Strategies.hs:714)
parTuple3 (Control/Parallel/Strategies.hs:718)
parTuple4 (Control/Parallel/Strategies.hs:722)
parTuple5 (Control/Parallel/Strategies.hs:726)
parTuple6 (Control/Parallel/Strategies.hs:730)
parTuple7 (Control/Parallel/Strategies.hs:734)
parTuple8 (Control/Parallel/Strategies.hs:738)
parTuple9 (Control/Parallel/Strategies.hs:742)
Documentation created: dist/doc/html/parallel/,
dist/doc/html/parallel/parallel.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/parallel-3.2.2.0-GSDQJ5uadil9MH4j2cuSxT
Warning: Unable to strip executable or library
'libHSparallel-3.2.2.0-GSDQJ5uadil9MH4j2cuSxT' (missing the 'strip' program)
Warning: Unable to strip executable or library
'libHSparallel-3.2.2.0-GSDQJ5uadil9MH4j2cuSxT-ghc9.8.4' (missing the 'strip'
program)
Completed parallel-3.2.2.0
Downloading cpsa-4.4.6
Downloaded cpsa-4.4.6
Configuring cpsa-4.4.6...
Preprocessing executable 'cpsa4shapes' for cpsa-4.4.6..
Building executable 'cpsa4shapes' for cpsa-4.4.6..
[1 of 7] Compiling CPSA.Lib.Pretty ( src/CPSA/Lib/Pretty.hs, dist/build/cpsa4shapes/cpsa4shapes-tmp/CPSA/Lib/Pretty.o )
[2 of 7] Compiling CPSA.Lib.SExpr ( src/CPSA/Lib/SExpr.hs, dist/build/cpsa4shapes/cpsa4shapes-tmp/CPSA/Lib/SExpr.o )
[3 of 7] Compiling CPSA.Lib.Printer ( src/CPSA/Lib/Printer.hs, dist/build/cpsa4shapes/cpsa4shapes-tmp/CPSA/Lib/Printer.o )
[4 of 7] Compiling CPSA.Shapes.Shapes ( src/CPSA/Shapes/Shapes.hs, dist/build/cpsa4shapes/cpsa4shapes-tmp/CPSA/Shapes/Shapes.o )
src/CPSA/Shapes/Shapes.hs:83:43: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
83 | Just [] -> fail (shows (annotation (head xs)) "Expecting one number")
| ^^^^
[5 of 7] Compiling Paths_cpsa ( dist/build/cpsa4shapes/autogen/Paths_cpsa.hs, dist/build/cpsa4shapes/cpsa4shapes-tmp/Paths_cpsa.o )
[6 of 7] Compiling CPSA.Lib.Entry ( src/CPSA/Lib/Entry.hs, dist/build/cpsa4shapes/cpsa4shapes-tmp/CPSA/Lib/Entry.o )
[7 of 7] Compiling Main ( src/CPSA/Shapes/Main.hs, dist/build/cpsa4shapes/cpsa4shapes-tmp/Main.o )
[8 of 8] Linking dist/build/cpsa4shapes/cpsa4shapes
Preprocessing executable 'cpsa4sas' for cpsa-4.4.6..
Building executable 'cpsa4sas' for cpsa-4.4.6..
[ 1 of 11] Compiling CPSA.Lib.Pretty ( src/CPSA/Lib/Pretty.hs, dist/build/cpsa4sas/cpsa4sas-tmp/CPSA/Lib/Pretty.o )
[ 2 of 11] Compiling CPSA.Lib.SExpr ( src/CPSA/Lib/SExpr.hs, dist/build/cpsa4sas/cpsa4sas-tmp/CPSA/Lib/SExpr.o )
[ 3 of 11] Compiling CPSA.Lib.Printer ( src/CPSA/Lib/Printer.hs, dist/build/cpsa4sas/cpsa4sas-tmp/CPSA/Lib/Printer.o )
[ 4 of 11] Compiling CPSA.Lib.Utilities ( src/CPSA/Lib/Utilities.hs, dist/build/cpsa4sas/cpsa4sas-tmp/CPSA/Lib/Utilities.o )
[ 5 of 11] Compiling CPSA.Signature ( src/CPSA/Signature.hs, dist/build/cpsa4sas/cpsa4sas-tmp/CPSA/Signature.o )
[ 6 of 11] Compiling CPSA.Algebra ( src/CPSA/Algebra.hs, dist/build/cpsa4sas/cpsa4sas-tmp/CPSA/Algebra.o )
src/CPSA/Algebra.hs:260:25: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
260 | M.size t == 1 && snd (head (M.elems t)) == 1
| ^^^^
src/CPSA/Algebra.hs:264:20: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
264 | M.size t == 1 && head (M.elems t) == (Rndx, 1)
| ^^^^
src/CPSA/Algebra.hs:268:20: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
268 | M.size t == 1 && head (M.elems t) == (Expt, 1)
| ^^^^
src/CPSA/Algebra.hs:272:17: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
272 | getGroupVar x = head $ M.keys x
| ^^^^
src/CPSA/Algebra.hs:1676:30: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1676 | Just $ Subst (M.fromList [(head $ M.keys m, G M.empty)])
| ^^^^
[ 7 of 11] Compiling CPSA.SAS.SAS ( src/CPSA/SAS/SAS.hs, dist/build/cpsa4sas/cpsa4sas-tmp/CPSA/SAS/SAS.o )
src/CPSA/SAS/SAS.hs:361:34: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
361 | env = [(head $ vars r, t)], height = 2 })
| ^^^^
src/CPSA/SAS/SAS.hs:615:17: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
615 | env = snd $ head $ homoEnv (kgen k) homo
| ^^^^
[ 8 of 11] Compiling Paths_cpsa ( dist/build/cpsa4sas/autogen/Paths_cpsa.hs, dist/build/cpsa4sas/cpsa4sas-tmp/Paths_cpsa.o )
[ 9 of 11] Compiling CPSA.Lib.Entry ( src/CPSA/Lib/Entry.hs, dist/build/cpsa4sas/cpsa4sas-tmp/CPSA/Lib/Entry.o )
[10 of 11] Compiling CPSA.Options ( src/CPSA/Options.hs, dist/build/cpsa4sas/cpsa4sas-tmp/CPSA/Options.o )
[11 of 11] Compiling Main ( src/CPSA/SAS/Main.hs, dist/build/cpsa4sas/cpsa4sas-tmp/Main.o )
[12 of 12] Linking dist/build/cpsa4sas/cpsa4sas
Preprocessing executable 'cpsa4roletran' for cpsa-4.4.6..
Building executable 'cpsa4roletran' for cpsa-4.4.6..
[ 1 of 14] Compiling CPSA.Lib.Pretty ( src/CPSA/Lib/Pretty.hs, dist/build/cpsa4roletran/cpsa4roletran-tmp/CPSA/Lib/Pretty.o )
[ 2 of 14] Compiling CPSA.Lib.ReturnFail ( src/CPSA/Lib/ReturnFail.hs, dist/build/cpsa4roletran/cpsa4roletran-tmp/CPSA/Lib/ReturnFail.o )
[ 3 of 14] Compiling CPSA.Lib.SExpr ( src/CPSA/Lib/SExpr.hs, dist/build/cpsa4roletran/cpsa4roletran-tmp/CPSA/Lib/SExpr.o )
[ 4 of 14] Compiling CPSA.Lib.Printer ( src/CPSA/Lib/Printer.hs, dist/build/cpsa4roletran/cpsa4roletran-tmp/CPSA/Lib/Printer.o )
[ 5 of 14] Compiling CPSA.Roletran.Algebra ( src/CPSA/Roletran/Algebra.hs, dist/build/cpsa4roletran/cpsa4roletran-tmp/CPSA/Roletran/Algebra.o )
[ 6 of 14] Compiling CPSA.Roletran.Emitter ( src/CPSA/Roletran/Emitter.hs, dist/build/cpsa4roletran/cpsa4roletran-tmp/CPSA/Roletran/Emitter.o )
[ 7 of 14] Compiling CPSA.Roletran.Protocol ( src/CPSA/Roletran/Protocol.hs, dist/build/cpsa4roletran/cpsa4roletran-tmp/CPSA/Roletran/Protocol.o )
[ 8 of 14] Compiling CPSA.Roletran.Loader ( src/CPSA/Roletran/Loader.hs, dist/build/cpsa4roletran/cpsa4roletran-tmp/CPSA/Roletran/Loader.o )
[ 9 of 14] Compiling CPSA.Roletran.Displayer ( src/CPSA/Roletran/Displayer.hs, dist/build/cpsa4roletran/cpsa4roletran-tmp/CPSA/Roletran/Displayer.o )
[10 of 14] Compiling CPSA.Roletran.Derivation ( src/CPSA/Roletran/Derivation.hs, dist/build/cpsa4roletran/cpsa4roletran-tmp/CPSA/Roletran/Derivation.o )
[11 of 14] Compiling Paths_cpsa ( dist/build/cpsa4roletran/autogen/Paths_cpsa.hs, dist/build/cpsa4roletran/cpsa4roletran-tmp/Paths_cpsa.o )
[12 of 14] Compiling CPSA.Lib.Entry ( src/CPSA/Lib/Entry.hs, dist/build/cpsa4roletran/cpsa4roletran-tmp/CPSA/Lib/Entry.o )
[13 of 14] Compiling CPSA.Lib.Expand ( src/CPSA/Lib/Expand.hs, dist/build/cpsa4roletran/cpsa4roletran-tmp/CPSA/Lib/Expand.o )
[14 of 14] Compiling Main ( src/CPSA/Roletran/Main.hs, dist/build/cpsa4roletran/cpsa4roletran-tmp/Main.o )
[15 of 15] Linking dist/build/cpsa4roletran/cpsa4roletran
Preprocessing executable 'cpsa4rolecoq' for cpsa-4.4.6..
Building executable 'cpsa4rolecoq' for cpsa-4.4.6..
[ 1 of 13] Compiling CPSA.Lib.Pretty ( src/CPSA/Lib/Pretty.hs, dist/build/cpsa4rolecoq/cpsa4rolecoq-tmp/CPSA/Lib/Pretty.o )
[ 2 of 13] Compiling CPSA.Lib.ReturnFail ( src/CPSA/Lib/ReturnFail.hs, dist/build/cpsa4rolecoq/cpsa4rolecoq-tmp/CPSA/Lib/ReturnFail.o )
[ 3 of 13] Compiling CPSA.Lib.SExpr ( src/CPSA/Lib/SExpr.hs, dist/build/cpsa4rolecoq/cpsa4rolecoq-tmp/CPSA/Lib/SExpr.o )
[ 4 of 13] Compiling CPSA.Lib.Printer ( src/CPSA/Lib/Printer.hs, dist/build/cpsa4rolecoq/cpsa4rolecoq-tmp/CPSA/Lib/Printer.o )
[ 5 of 13] Compiling CPSA.Roletran.Algebra ( src/CPSA/Roletran/Algebra.hs, dist/build/cpsa4rolecoq/cpsa4rolecoq-tmp/CPSA/Roletran/Algebra.o )
[ 6 of 13] Compiling CPSA.Roletran.Emitter ( src/CPSA/Roletran/Emitter.hs, dist/build/cpsa4rolecoq/cpsa4rolecoq-tmp/CPSA/Roletran/Emitter.o )
[ 7 of 13] Compiling CPSA.Roletran.Protocol ( src/CPSA/Roletran/Protocol.hs, dist/build/cpsa4rolecoq/cpsa4rolecoq-tmp/CPSA/Roletran/Protocol.o )
[ 8 of 13] Compiling CPSA.Roletran.Loader ( src/CPSA/Roletran/Loader.hs, dist/build/cpsa4rolecoq/cpsa4rolecoq-tmp/CPSA/Roletran/Loader.o )
[ 9 of 13] Compiling CPSA.Roletran.Displayer ( src/CPSA/Roletran/Displayer.hs, dist/build/cpsa4rolecoq/cpsa4rolecoq-tmp/CPSA/Roletran/Displayer.o )
[10 of 13] Compiling Paths_cpsa ( dist/build/cpsa4rolecoq/autogen/Paths_cpsa.hs, dist/build/cpsa4rolecoq/cpsa4rolecoq-tmp/Paths_cpsa.o )
[11 of 13] Compiling CPSA.Lib.Entry ( src/CPSA/Lib/Entry.hs, dist/build/cpsa4rolecoq/cpsa4rolecoq-tmp/CPSA/Lib/Entry.o )
[12 of 13] Compiling CPSA.Lib.Expand ( src/CPSA/Lib/Expand.hs, dist/build/cpsa4rolecoq/cpsa4rolecoq-tmp/CPSA/Lib/Expand.o )
[13 of 13] Compiling Main ( src/CPSA/RoleCoq/Main.hs, dist/build/cpsa4rolecoq/cpsa4rolecoq-tmp/Main.o )
[14 of 14] Linking dist/build/cpsa4rolecoq/cpsa4rolecoq
Preprocessing executable 'cpsa4query' for cpsa-4.4.6..
Building executable 'cpsa4query' for cpsa-4.4.6..
[ 1 of 11] Compiling CPSA.Lib.Pretty ( src/CPSA/Lib/Pretty.hs, dist/build/cpsa4query/cpsa4query-tmp/CPSA/Lib/Pretty.o )
[ 2 of 11] Compiling CPSA.Lib.SExpr ( src/CPSA/Lib/SExpr.hs, dist/build/cpsa4query/cpsa4query-tmp/CPSA/Lib/SExpr.o )
[ 3 of 11] Compiling CPSA.Lib.Printer ( src/CPSA/Lib/Printer.hs, dist/build/cpsa4query/cpsa4query-tmp/CPSA/Lib/Printer.o )
[ 4 of 11] Compiling CPSA.Lib.Utilities ( src/CPSA/Lib/Utilities.hs, dist/build/cpsa4query/cpsa4query-tmp/CPSA/Lib/Utilities.o )
[ 5 of 11] Compiling Paths_cpsa ( dist/build/cpsa4query/autogen/Paths_cpsa.hs, dist/build/cpsa4query/cpsa4query-tmp/Paths_cpsa.o )
[ 6 of 11] Compiling CPSA.Lib.Entry ( src/CPSA/Lib/Entry.hs, dist/build/cpsa4query/cpsa4query-tmp/CPSA/Lib/Entry.o )
[ 7 of 11] Compiling CPSA.Query.Loader ( src/CPSA/Query/Loader.hs, dist/build/cpsa4query/cpsa4query-tmp/CPSA/Query/Loader.o )
src/CPSA/Query/Loader.hs:118:43: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
118 | checkAlist xs = fail (shows (annotation $ head xs) "Malformed association list")
| ^^^^
src/CPSA/Query/Loader.hs:144:43: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
144 | Just [] -> fail (shows (annotation (head xs)) "Expecting one number")
| ^^^^
[ 8 of 11] Compiling CPSA.Query.Tree ( src/CPSA/Query/Tree.hs, dist/build/cpsa4query/cpsa4query-tmp/CPSA/Query/Tree.o )
[ 9 of 11] Compiling CPSA.Query.Query ( src/CPSA/Query/Query.hs, dist/build/cpsa4query/cpsa4query-tmp/CPSA/Query/Query.o )
[10 of 11] Compiling Main ( src/CPSA/Query/Main.hs, dist/build/cpsa4query/cpsa4query-tmp/Main.o )
[11 of 11] Compiling CPSA.Lib.Expand ( src/CPSA/Lib/Expand.hs, dist/build/cpsa4query/cpsa4query-tmp/CPSA/Lib/Expand.o )
[12 of 12] Linking dist/build/cpsa4query/cpsa4query
Preprocessing executable 'cpsa4prot' for cpsa-4.4.6..
Building executable 'cpsa4prot' for cpsa-4.4.6..
[1 of 8] Compiling CPSA.Lib.Pretty ( src/CPSA/Lib/Pretty.hs, dist/build/cpsa4prot/cpsa4prot-tmp/CPSA/Lib/Pretty.o )
[2 of 8] Compiling CPSA.Lib.SExpr ( src/CPSA/Lib/SExpr.hs, dist/build/cpsa4prot/cpsa4prot-tmp/CPSA/Lib/SExpr.o )
[3 of 8] Compiling CPSA.Lib.Printer ( src/CPSA/Lib/Printer.hs, dist/build/cpsa4prot/cpsa4prot-tmp/CPSA/Lib/Printer.o )
[4 of 8] Compiling CPSA.Lib.Utilities ( src/CPSA/Lib/Utilities.hs, dist/build/cpsa4prot/cpsa4prot-tmp/CPSA/Lib/Utilities.o )
[5 of 8] Compiling Paths_cpsa ( dist/build/cpsa4prot/autogen/Paths_cpsa.hs, dist/build/cpsa4prot/cpsa4prot-tmp/Paths_cpsa.o )
[6 of 8] Compiling CPSA.Lib.Entry ( src/CPSA/Lib/Entry.hs, dist/build/cpsa4prot/cpsa4prot-tmp/CPSA/Lib/Entry.o )
[7 of 8] Compiling CPSA.Lib.Expand ( src/CPSA/Lib/Expand.hs, dist/build/cpsa4prot/cpsa4prot-tmp/CPSA/Lib/Expand.o )
[8 of 8] Compiling Main ( src/CPSA/Prot/Main.hs, dist/build/cpsa4prot/cpsa4prot-tmp/Main.o )
[9 of 9] Linking dist/build/cpsa4prot/cpsa4prot
Preprocessing executable 'cpsa4pp' for cpsa-4.4.6..
Building executable 'cpsa4pp' for cpsa-4.4.6..
[1 of 6] Compiling CPSA.Lib.Pretty ( src/CPSA/Lib/Pretty.hs, dist/build/cpsa4pp/cpsa4pp-tmp/CPSA/Lib/Pretty.o )
[2 of 6] Compiling CPSA.Lib.SExpr ( src/CPSA/Lib/SExpr.hs, dist/build/cpsa4pp/cpsa4pp-tmp/CPSA/Lib/SExpr.o )
[3 of 6] Compiling CPSA.Lib.Printer ( src/CPSA/Lib/Printer.hs, dist/build/cpsa4pp/cpsa4pp-tmp/CPSA/Lib/Printer.o )
[4 of 6] Compiling Paths_cpsa ( dist/build/cpsa4pp/autogen/Paths_cpsa.hs, dist/build/cpsa4pp/cpsa4pp-tmp/Paths_cpsa.o )
[5 of 6] Compiling CPSA.Lib.Entry ( src/CPSA/Lib/Entry.hs, dist/build/cpsa4pp/cpsa4pp-tmp/CPSA/Lib/Entry.o )
[6 of 6] Compiling Main ( src/CPSA/Pretty/Main.hs, dist/build/cpsa4pp/cpsa4pp-tmp/Main.o )
[7 of 7] Linking dist/build/cpsa4pp/cpsa4pp
Preprocessing executable 'cpsa4json' for cpsa-4.4.6..
Building executable 'cpsa4json' for cpsa-4.4.6..
[1 of 6] Compiling CPSA.Lib.Pretty ( src/CPSA/Lib/Pretty.hs, dist/build/cpsa4json/cpsa4json-tmp/CPSA/Lib/Pretty.o )
[2 of 6] Compiling CPSA.Lib.SExpr ( src/CPSA/Lib/SExpr.hs, dist/build/cpsa4json/cpsa4json-tmp/CPSA/Lib/SExpr.o )
[3 of 6] Compiling CPSA.Lib.Printer ( src/CPSA/Lib/Printer.hs, dist/build/cpsa4json/cpsa4json-tmp/CPSA/Lib/Printer.o )
[4 of 6] Compiling Paths_cpsa ( dist/build/cpsa4json/autogen/Paths_cpsa.hs, dist/build/cpsa4json/cpsa4json-tmp/Paths_cpsa.o )
[5 of 6] Compiling CPSA.Lib.Entry ( src/CPSA/Lib/Entry.hs, dist/build/cpsa4json/cpsa4json-tmp/CPSA/Lib/Entry.o )
[6 of 6] Compiling Main ( src/CPSA/JSON/Main.hs, dist/build/cpsa4json/cpsa4json-tmp/Main.o )
[7 of 7] Linking dist/build/cpsa4json/cpsa4json
Preprocessing executable 'cpsa4init' for cpsa-4.4.6..
Building executable 'cpsa4init' for cpsa-4.4.6..
[1 of 2] Compiling Paths_cpsa ( dist/build/cpsa4init/autogen/Paths_cpsa.hs, dist/build/cpsa4init/cpsa4init-tmp/Paths_cpsa.o )
[2 of 2] Compiling Main ( src/CPSA/Init/Main.hs, dist/build/cpsa4init/cpsa4init-tmp/Main.o )
[3 of 3] Linking dist/build/cpsa4init/cpsa4init
Preprocessing executable 'cpsa4graph' for cpsa-4.4.6..
Building executable 'cpsa4graph' for cpsa-4.4.6..
[ 1 of 17] Compiling CPSA.Graph.Config ( src/CPSA/Graph/Config.hs, dist/build/cpsa4graph/cpsa4graph-tmp/CPSA/Graph/Config.o )
[ 2 of 17] Compiling CPSA.Lib.Pretty ( src/CPSA/Lib/Pretty.hs, dist/build/cpsa4graph/cpsa4graph-tmp/CPSA/Lib/Pretty.o )
[ 3 of 17] Compiling CPSA.Graph.XMLOutput ( src/CPSA/Graph/XMLOutput.hs, dist/build/cpsa4graph/cpsa4graph-tmp/CPSA/Graph/XMLOutput.o )
[ 4 of 17] Compiling CPSA.Graph.SVG ( src/CPSA/Graph/SVG.hs, dist/build/cpsa4graph/cpsa4graph-tmp/CPSA/Graph/SVG.o )
[ 5 of 17] Compiling CPSA.Lib.SExpr ( src/CPSA/Lib/SExpr.hs, dist/build/cpsa4graph/cpsa4graph-tmp/CPSA/Lib/SExpr.o )
[ 6 of 17] Compiling CPSA.Lib.Printer ( src/CPSA/Lib/Printer.hs, dist/build/cpsa4graph/cpsa4graph-tmp/CPSA/Lib/Printer.o )
[ 7 of 17] Compiling CPSA.Lib.Utilities ( src/CPSA/Lib/Utilities.hs, dist/build/cpsa4graph/cpsa4graph-tmp/CPSA/Lib/Utilities.o )
[ 8 of 17] Compiling Paths_cpsa ( dist/build/cpsa4graph/autogen/Paths_cpsa.hs, dist/build/cpsa4graph/cpsa4graph-tmp/Paths_cpsa.o )
[ 9 of 17] Compiling CPSA.Lib.Entry ( src/CPSA/Lib/Entry.hs, dist/build/cpsa4graph/cpsa4graph-tmp/CPSA/Lib/Entry.o )
[10 of 17] Compiling CPSA.Graph.Loader ( src/CPSA/Graph/Loader.hs, dist/build/cpsa4graph/cpsa4graph-tmp/CPSA/Graph/Loader.o )
src/CPSA/Graph/Loader.hs:304:29: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
304 | initial = map head nodes -- The first node in each strand
| ^^^^
src/CPSA/Graph/Loader.hs:419:38: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
419 | alist xs = fail (shows (annotation $ head xs) "Malformed association list")
| ^^^^
src/CPSA/Graph/Loader.hs:455:43: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
455 | Just [] -> fail (shows (annotation (head xs)) "Expecting one number")
| ^^^^
[11 of 17] Compiling CPSA.Graph.Tree ( src/CPSA/Graph/Tree.hs, dist/build/cpsa4graph/cpsa4graph-tmp/CPSA/Graph/Tree.o )
[12 of 17] Compiling CPSA.Graph.Layout ( src/CPSA/Graph/Layout.hs, dist/build/cpsa4graph/cpsa4graph-tmp/CPSA/Graph/Layout.o )
[13 of 17] Compiling CPSA.Graph.Preskeleton ( src/CPSA/Graph/Preskeleton.hs, dist/build/cpsa4graph/cpsa4graph-tmp/CPSA/Graph/Preskeleton.o )
[14 of 17] Compiling CPSA.Graph.LaTeXView ( src/CPSA/Graph/LaTeXView.hs, dist/build/cpsa4graph/cpsa4graph-tmp/CPSA/Graph/LaTeXView.o )
[15 of 17] Compiling CPSA.Graph.ExpandedView ( src/CPSA/Graph/ExpandedView.hs, dist/build/cpsa4graph/cpsa4graph-tmp/CPSA/Graph/ExpandedView.o )
[16 of 17] Compiling CPSA.Graph.CompactView ( src/CPSA/Graph/CompactView.hs, dist/build/cpsa4graph/cpsa4graph-tmp/CPSA/Graph/CompactView.o )
[17 of 17] Compiling Main ( src/CPSA/Graph/Main.hs, dist/build/cpsa4graph/cpsa4graph-tmp/Main.o )
[18 of 18] Linking dist/build/cpsa4graph/cpsa4graph
Preprocessing executable 'cpsa4goalsat' for cpsa-4.4.6..
Building executable 'cpsa4goalsat' for cpsa-4.4.6..
[1 of 6] Compiling CPSA.Lib.Pretty ( src/CPSA/Lib/Pretty.hs, dist/build/cpsa4goalsat/cpsa4goalsat-tmp/CPSA/Lib/Pretty.o )
[2 of 6] Compiling CPSA.Lib.SExpr ( src/CPSA/Lib/SExpr.hs, dist/build/cpsa4goalsat/cpsa4goalsat-tmp/CPSA/Lib/SExpr.o )
[3 of 6] Compiling CPSA.Lib.Printer ( src/CPSA/Lib/Printer.hs, dist/build/cpsa4goalsat/cpsa4goalsat-tmp/CPSA/Lib/Printer.o )
[4 of 6] Compiling Paths_cpsa ( dist/build/cpsa4goalsat/autogen/Paths_cpsa.hs, dist/build/cpsa4goalsat/cpsa4goalsat-tmp/Paths_cpsa.o )
[5 of 6] Compiling CPSA.Lib.Entry ( src/CPSA/Lib/Entry.hs, dist/build/cpsa4goalsat/cpsa4goalsat-tmp/CPSA/Lib/Entry.o )
[6 of 6] Compiling Main ( src/CPSA/GoalSat/Main.hs, dist/build/cpsa4goalsat/cpsa4goalsat-tmp/Main.o )
[7 of 7] Linking dist/build/cpsa4goalsat/cpsa4goalsat
Preprocessing executable 'cpsa4dl' for cpsa-4.4.6..
Building executable 'cpsa4dl' for cpsa-4.4.6..
[ 1 of 12] Compiling CPSA.DL.Structs ( src/CPSA/DL/Structs.hs, dist/build/cpsa4dl/cpsa4dl-tmp/CPSA/DL/Structs.o )
[ 2 of 12] Compiling CPSA.DL.Simplifier ( src/CPSA/DL/Simplifier.hs, dist/build/cpsa4dl/cpsa4dl-tmp/CPSA/DL/Simplifier.o )
[ 3 of 12] Compiling CPSA.Lib.Pretty ( src/CPSA/Lib/Pretty.hs, dist/build/cpsa4dl/cpsa4dl-tmp/CPSA/Lib/Pretty.o )
[ 4 of 12] Compiling CPSA.DL.Prolog ( src/CPSA/DL/Prolog.hs, dist/build/cpsa4dl/cpsa4dl-tmp/CPSA/DL/Prolog.o )
[ 5 of 12] Compiling CPSA.DL.Compiler ( src/CPSA/DL/Compiler.hs, dist/build/cpsa4dl/cpsa4dl-tmp/CPSA/DL/Compiler.o )
[ 6 of 12] Compiling CPSA.Lib.SExpr ( src/CPSA/Lib/SExpr.hs, dist/build/cpsa4dl/cpsa4dl-tmp/CPSA/Lib/SExpr.o )
[ 7 of 12] Compiling CPSA.Lib.Printer ( src/CPSA/Lib/Printer.hs, dist/build/cpsa4dl/cpsa4dl-tmp/CPSA/Lib/Printer.o )
[ 8 of 12] Compiling CPSA.DL.Loader ( src/CPSA/DL/Loader.hs, dist/build/cpsa4dl/cpsa4dl-tmp/CPSA/DL/Loader.o )
[ 9 of 12] Compiling CPSA.Lib.Utilities ( src/CPSA/Lib/Utilities.hs, dist/build/cpsa4dl/cpsa4dl-tmp/CPSA/Lib/Utilities.o )
[10 of 12] Compiling Paths_cpsa ( dist/build/cpsa4dl/autogen/Paths_cpsa.hs, dist/build/cpsa4dl/cpsa4dl-tmp/Paths_cpsa.o )
[11 of 12] Compiling CPSA.Lib.Entry ( src/CPSA/Lib/Entry.hs, dist/build/cpsa4dl/cpsa4dl-tmp/CPSA/Lib/Entry.o )
[12 of 12] Compiling Main ( src/CPSA/DL/Main.hs, dist/build/cpsa4dl/cpsa4dl-tmp/Main.o )
[13 of 13] Linking dist/build/cpsa4dl/cpsa4dl
Preprocessing executable 'cpsa4diff' for cpsa-4.4.6..
Building executable 'cpsa4diff' for cpsa-4.4.6..
[1 of 6] Compiling CPSA.Lib.Pretty ( src/CPSA/Lib/Pretty.hs, dist/build/cpsa4diff/cpsa4diff-tmp/CPSA/Lib/Pretty.o )
[2 of 6] Compiling CPSA.Lib.SExpr ( src/CPSA/Lib/SExpr.hs, dist/build/cpsa4diff/cpsa4diff-tmp/CPSA/Lib/SExpr.o )
[3 of 6] Compiling CPSA.Lib.Printer ( src/CPSA/Lib/Printer.hs, dist/build/cpsa4diff/cpsa4diff-tmp/CPSA/Lib/Printer.o )
[4 of 6] Compiling Paths_cpsa ( dist/build/cpsa4diff/autogen/Paths_cpsa.hs, dist/build/cpsa4diff/cpsa4diff-tmp/Paths_cpsa.o )
[5 of 6] Compiling CPSA.Lib.Entry ( src/CPSA/Lib/Entry.hs, dist/build/cpsa4diff/cpsa4diff-tmp/CPSA/Lib/Entry.o )
[6 of 6] Compiling Main ( src/CPSA/Diff/Main.hs, dist/build/cpsa4diff/cpsa4diff-tmp/Main.o )
[7 of 7] Linking dist/build/cpsa4diff/cpsa4diff
Preprocessing executable 'cpsa4debranch' for cpsa-4.4.6..
Building executable 'cpsa4debranch' for cpsa-4.4.6..
[1 of 7] Compiling CPSA.Lib.Pretty ( src/CPSA/Lib/Pretty.hs, dist/build/cpsa4debranch/cpsa4debranch-tmp/CPSA/Lib/Pretty.o )
[2 of 7] Compiling CPSA.Lib.SExpr ( src/CPSA/Lib/SExpr.hs, dist/build/cpsa4debranch/cpsa4debranch-tmp/CPSA/Lib/SExpr.o )
[3 of 7] Compiling CPSA.Lib.Printer ( src/CPSA/Lib/Printer.hs, dist/build/cpsa4debranch/cpsa4debranch-tmp/CPSA/Lib/Printer.o )
[4 of 7] Compiling Paths_cpsa ( dist/build/cpsa4debranch/autogen/Paths_cpsa.hs, dist/build/cpsa4debranch/cpsa4debranch-tmp/Paths_cpsa.o )
[5 of 7] Compiling CPSA.Lib.Entry ( src/CPSA/Lib/Entry.hs, dist/build/cpsa4debranch/cpsa4debranch-tmp/CPSA/Lib/Entry.o )
[6 of 7] Compiling CPSA.Lib.Expand ( src/CPSA/Lib/Expand.hs, dist/build/cpsa4debranch/cpsa4debranch-tmp/CPSA/Lib/Expand.o )
[7 of 7] Compiling Main ( src/CPSA/Debranch/Main.hs, dist/build/cpsa4debranch/cpsa4debranch-tmp/Main.o )
src/CPSA/Debranch/Main.hs:50:38: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
50 | [defrole pos name vars (fst (head traceEnvs)) alist]
| ^^^^
[8 of 8] Linking dist/build/cpsa4debranch/cpsa4debranch
Preprocessing executable 'cpsa4dbprolog' for cpsa-4.4.6..
Building executable 'cpsa4dbprolog' for cpsa-4.4.6..
[1 of 7] Compiling CPSA.Lib.Pretty ( src/CPSA/Lib/Pretty.hs, dist/build/cpsa4dbprolog/cpsa4dbprolog-tmp/CPSA/Lib/Pretty.o )
[2 of 7] Compiling CPSA.Lib.SExpr ( src/CPSA/Lib/SExpr.hs, dist/build/cpsa4dbprolog/cpsa4dbprolog-tmp/CPSA/Lib/SExpr.o )
[3 of 7] Compiling CPSA.Lib.Printer ( src/CPSA/Lib/Printer.hs, dist/build/cpsa4dbprolog/cpsa4dbprolog-tmp/CPSA/Lib/Printer.o )
[4 of 7] Compiling CPSA.Lib.Utilities ( src/CPSA/Lib/Utilities.hs, dist/build/cpsa4dbprolog/cpsa4dbprolog-tmp/CPSA/Lib/Utilities.o )
[5 of 7] Compiling Paths_cpsa ( dist/build/cpsa4dbprolog/autogen/Paths_cpsa.hs, dist/build/cpsa4dbprolog/cpsa4dbprolog-tmp/Paths_cpsa.o )
[6 of 7] Compiling CPSA.Lib.Entry ( src/CPSA/Lib/Entry.hs, dist/build/cpsa4dbprolog/cpsa4dbprolog-tmp/CPSA/Lib/Entry.o )
[7 of 7] Compiling Main ( src/CPSA/DbProlog/Main.hs, dist/build/cpsa4dbprolog/cpsa4dbprolog-tmp/Main.o )
[8 of 8] Linking dist/build/cpsa4dbprolog/cpsa4dbprolog
Preprocessing executable 'cpsa4db' for cpsa-4.4.6..
Building executable 'cpsa4db' for cpsa-4.4.6..
[ 1 of 16] Compiling CPSA.Lib.Pretty ( src/CPSA/Lib/Pretty.hs, dist/build/cpsa4db/cpsa4db-tmp/CPSA/Lib/Pretty.o )
[ 2 of 16] Compiling CPSA.Lib.SExpr ( src/CPSA/Lib/SExpr.hs, dist/build/cpsa4db/cpsa4db-tmp/CPSA/Lib/SExpr.o )
[ 3 of 16] Compiling CPSA.Lib.Printer ( src/CPSA/Lib/Printer.hs, dist/build/cpsa4db/cpsa4db-tmp/CPSA/Lib/Printer.o )
[ 4 of 16] Compiling CPSA.Lib.Utilities ( src/CPSA/Lib/Utilities.hs, dist/build/cpsa4db/cpsa4db-tmp/CPSA/Lib/Utilities.o )
[ 5 of 16] Compiling CPSA.Signature ( src/CPSA/Signature.hs, dist/build/cpsa4db/cpsa4db-tmp/CPSA/Signature.o )
[ 6 of 16] Compiling CPSA.Algebra ( src/CPSA/Algebra.hs, dist/build/cpsa4db/cpsa4db-tmp/CPSA/Algebra.o )
src/CPSA/Algebra.hs:260:25: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
260 | M.size t == 1 && snd (head (M.elems t)) == 1
| ^^^^
src/CPSA/Algebra.hs:264:20: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
264 | M.size t == 1 && head (M.elems t) == (Rndx, 1)
| ^^^^
src/CPSA/Algebra.hs:268:20: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
268 | M.size t == 1 && head (M.elems t) == (Expt, 1)
| ^^^^
src/CPSA/Algebra.hs:272:17: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
272 | getGroupVar x = head $ M.keys x
| ^^^^
src/CPSA/Algebra.hs:1676:30: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1676 | Just $ Subst (M.fromList [(head $ M.keys m, G M.empty)])
| ^^^^
[ 7 of 16] Compiling CPSA.Channel ( src/CPSA/Channel.hs, dist/build/cpsa4db/cpsa4db-tmp/CPSA/Channel.o )
[ 8 of 16] Compiling CPSA.Protocol ( src/CPSA/Protocol.hs, dist/build/cpsa4db/cpsa4db-tmp/CPSA/Protocol.o )
[ 9 of 16] Compiling CPSA.Db.Structs ( src/CPSA/Db/Structs.hs, dist/build/cpsa4db/cpsa4db-tmp/CPSA/Db/Structs.o )
[10 of 16] Compiling CPSA.Db.Tree ( src/CPSA/Db/Tree.hs, dist/build/cpsa4db/cpsa4db-tmp/CPSA/Db/Tree.o )
[11 of 16] Compiling CPSA.Db.Loader ( src/CPSA/Db/Loader.hs, dist/build/cpsa4db/cpsa4db-tmp/CPSA/Db/Loader.o )
src/CPSA/Db/Loader.hs:290:43: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
290 | checkAlist xs = fail (shows (annotation $ head xs) "Malformed association list")
| ^^^^
src/CPSA/Db/Loader.hs:325:43: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
325 | Just [] -> fail (shows (annotation (head xs)) "Expecting one number")
| ^^^^
[12 of 16] Compiling Paths_cpsa ( dist/build/cpsa4db/autogen/Paths_cpsa.hs, dist/build/cpsa4db/cpsa4db-tmp/Paths_cpsa.o )
[13 of 16] Compiling CPSA.Lib.Entry ( src/CPSA/Lib/Entry.hs, dist/build/cpsa4db/cpsa4db-tmp/CPSA/Lib/Entry.o )
[14 of 16] Compiling CPSA.Options ( src/CPSA/Options.hs, dist/build/cpsa4db/cpsa4db-tmp/CPSA/Options.o )
[15 of 16] Compiling CPSA.Db.Displayer ( src/CPSA/Db/Displayer.hs, dist/build/cpsa4db/cpsa4db-tmp/CPSA/Db/Displayer.o )
[16 of 16] Compiling Main ( src/CPSA/Db/Main.hs, dist/build/cpsa4db/cpsa4db-tmp/Main.o )
[17 of 17] Linking dist/build/cpsa4db/cpsa4db
Preprocessing executable 'cpsa4coq' for cpsa-4.4.6..
Building executable 'cpsa4coq' for cpsa-4.4.6..
[1 of 8] Compiling CPSA.Lib.Pretty ( src/CPSA/Lib/Pretty.hs, dist/build/cpsa4coq/cpsa4coq-tmp/CPSA/Lib/Pretty.o )
[2 of 8] Compiling CPSA.Lib.SExpr ( src/CPSA/Lib/SExpr.hs, dist/build/cpsa4coq/cpsa4coq-tmp/CPSA/Lib/SExpr.o )
[3 of 8] Compiling CPSA.Lib.Printer ( src/CPSA/Lib/Printer.hs, dist/build/cpsa4coq/cpsa4coq-tmp/CPSA/Lib/Printer.o )
[4 of 8] Compiling CPSA.Proc.Proc ( src/CPSA/Proc/Proc.hs, dist/build/cpsa4coq/cpsa4coq-tmp/CPSA/Proc/Proc.o )
[5 of 8] Compiling Paths_cpsa ( dist/build/cpsa4coq/autogen/Paths_cpsa.hs, dist/build/cpsa4coq/cpsa4coq-tmp/Paths_cpsa.o )
[6 of 8] Compiling CPSA.Lib.Entry ( src/CPSA/Lib/Entry.hs, dist/build/cpsa4coq/cpsa4coq-tmp/CPSA/Lib/Entry.o )
[7 of 8] Compiling CPSA.Lib.Expand ( src/CPSA/Lib/Expand.hs, dist/build/cpsa4coq/cpsa4coq-tmp/CPSA/Lib/Expand.o )
[8 of 8] Compiling Main ( src/CPSA/Coq/Main.hs, dist/build/cpsa4coq/cpsa4coq-tmp/Main.o )
[9 of 9] Linking dist/build/cpsa4coq/cpsa4coq
Preprocessing executable 'cpsa42latex' for cpsa-4.4.6..
Building executable 'cpsa42latex' for cpsa-4.4.6..
[1 of 7] Compiling CPSA.Lib.Pretty ( src/CPSA/Lib/Pretty.hs, dist/build/cpsa42latex/cpsa42latex-tmp/CPSA/Lib/Pretty.o )
[2 of 7] Compiling CPSA.Lib.SExpr ( src/CPSA/Lib/SExpr.hs, dist/build/cpsa42latex/cpsa42latex-tmp/CPSA/Lib/SExpr.o )
[3 of 7] Compiling CPSA.Lib.Printer ( src/CPSA/Lib/Printer.hs, dist/build/cpsa42latex/cpsa42latex-tmp/CPSA/Lib/Printer.o )
[4 of 7] Compiling Paths_cpsa ( dist/build/cpsa42latex/autogen/Paths_cpsa.hs, dist/build/cpsa42latex/cpsa42latex-tmp/Paths_cpsa.o )
[5 of 7] Compiling CPSA.Lib.Entry ( src/CPSA/Lib/Entry.hs, dist/build/cpsa42latex/cpsa42latex-tmp/CPSA/Lib/Entry.o )
[6 of 7] Compiling CPSA.Lib.Expand ( src/CPSA/Lib/Expand.hs, dist/build/cpsa42latex/cpsa42latex-tmp/CPSA/Lib/Expand.o )
[7 of 7] Compiling Main ( src/CPSA/Latex/Main.hs, dist/build/cpsa42latex/cpsa42latex-tmp/Main.o )
[8 of 8] Linking dist/build/cpsa42latex/cpsa42latex
Preprocessing executable 'cpsa4' for cpsa-4.4.6..
Building executable 'cpsa4' for cpsa-4.4.6..
[ 1 of 23] Compiling CPSA.Lib.Pretty ( src/CPSA/Lib/Pretty.hs, dist/build/cpsa4/cpsa4-tmp/CPSA/Lib/Pretty.o )
[ 2 of 23] Compiling CPSA.Lib.ReturnFail ( src/CPSA/Lib/ReturnFail.hs, dist/build/cpsa4/cpsa4-tmp/CPSA/Lib/ReturnFail.o )
[ 3 of 23] Compiling CPSA.Lib.SExpr ( src/CPSA/Lib/SExpr.hs, dist/build/cpsa4/cpsa4-tmp/CPSA/Lib/SExpr.o )
[ 4 of 23] Compiling CPSA.Lib.Printer ( src/CPSA/Lib/Printer.hs, dist/build/cpsa4/cpsa4-tmp/CPSA/Lib/Printer.o )
[ 5 of 23] Compiling CPSA.Lib.Utilities ( src/CPSA/Lib/Utilities.hs, dist/build/cpsa4/cpsa4-tmp/CPSA/Lib/Utilities.o )
[ 6 of 23] Compiling CPSA.Signature ( src/CPSA/Signature.hs, dist/build/cpsa4/cpsa4-tmp/CPSA/Signature.o )
[ 7 of 23] Compiling CPSA.Algebra ( src/CPSA/Algebra.hs, dist/build/cpsa4/cpsa4-tmp/CPSA/Algebra.o )
src/CPSA/Algebra.hs:260:25: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
260 | M.size t == 1 && snd (head (M.elems t)) == 1
| ^^^^
src/CPSA/Algebra.hs:264:20: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
264 | M.size t == 1 && head (M.elems t) == (Rndx, 1)
| ^^^^
src/CPSA/Algebra.hs:268:20: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
268 | M.size t == 1 && head (M.elems t) == (Expt, 1)
| ^^^^
src/CPSA/Algebra.hs:272:17: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
272 | getGroupVar x = head $ M.keys x
| ^^^^
src/CPSA/Algebra.hs:1676:30: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1676 | Just $ Subst (M.fromList [(head $ M.keys m, G M.empty)])
| ^^^^
[ 8 of 23] Compiling CPSA.Channel ( src/CPSA/Channel.hs, dist/build/cpsa4/cpsa4-tmp/CPSA/Channel.o )
[ 9 of 23] Compiling CPSA.Protocol ( src/CPSA/Protocol.hs, dist/build/cpsa4/cpsa4-tmp/CPSA/Protocol.o )
[10 of 23] Compiling CPSA.LoadFormulas ( src/CPSA/LoadFormulas.hs, dist/build/cpsa4/cpsa4-tmp/CPSA/LoadFormulas.o )
[11 of 23] Compiling CPSA.Operation ( src/CPSA/Operation.hs, dist/build/cpsa4/cpsa4-tmp/CPSA/Operation.o )
[12 of 23] Compiling CPSA.GenRules ( src/CPSA/GenRules.hs, dist/build/cpsa4/cpsa4-tmp/CPSA/GenRules.o )
[13 of 23] Compiling CPSA.Strand ( src/CPSA/Strand.hs, dist/build/cpsa4/cpsa4-tmp/CPSA/Strand.o )
[14 of 23] Compiling CPSA.Displayer ( src/CPSA/Displayer.hs, dist/build/cpsa4/cpsa4-tmp/CPSA/Displayer.o )
[15 of 23] Compiling CPSA.Cohort ( src/CPSA/Cohort.hs, dist/build/cpsa4/cpsa4-tmp/CPSA/Cohort.o )
[16 of 23] Compiling CPSA.Characteristic ( src/CPSA/Characteristic.hs, dist/build/cpsa4/cpsa4-tmp/CPSA/Characteristic.o )
[17 of 23] Compiling CPSA.Loader ( src/CPSA/Loader.hs, dist/build/cpsa4/cpsa4-tmp/CPSA/Loader.o )
src/CPSA/Loader.hs:775:40: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
775 | alist _ xs = fail (shows (annotation $ head xs) "Malformed association list")
| ^^^^
[18 of 23] Compiling Paths_cpsa ( dist/build/cpsa4/autogen/Paths_cpsa.hs, dist/build/cpsa4/cpsa4-tmp/Paths_cpsa.o )
[19 of 23] Compiling CPSA.Lib.Entry ( src/CPSA/Lib/Entry.hs, dist/build/cpsa4/cpsa4-tmp/CPSA/Lib/Entry.o )
[20 of 23] Compiling CPSA.Options ( src/CPSA/Options.hs, dist/build/cpsa4/cpsa4-tmp/CPSA/Options.o )
[21 of 23] Compiling CPSA.Reduction ( src/CPSA/Reduction.hs, dist/build/cpsa4/cpsa4-tmp/CPSA/Reduction.o )
[22 of 23] Compiling CPSA.Lib.Expand ( src/CPSA/Lib/Expand.hs, dist/build/cpsa4/cpsa4-tmp/CPSA/Lib/Expand.o )
[23 of 23] Compiling Main ( src/CPSA/Main.hs, dist/build/cpsa4/cpsa4-tmp/Main.o )
[24 of 24] Linking dist/build/cpsa4/cpsa4
Warning: No documentation was generated as this package does not contain a
library. Perhaps you want to use the --executables, --tests, --benchmarks or
--foreign-libraries flags.
Installing executable cpsa4shapes in /var/lib/hackage-doc-builder/build-cache/tmp-install/bin
Warning: The directory
/var/lib/hackage-doc-builder/build-cache/tmp-install/bin is not in the system
search path.
Warning: Unable to strip executable or library 'cpsa4shapes' (missing the
'strip' program)
Installing executable cpsa4sas in /var/lib/hackage-doc-builder/build-cache/tmp-install/bin
Warning: The directory
/var/lib/hackage-doc-builder/build-cache/tmp-install/bin is not in the system
search path.
Warning: Unable to strip executable or library 'cpsa4sas' (missing the 'strip'
program)
Installing executable cpsa4roletran in /var/lib/hackage-doc-builder/build-cache/tmp-install/bin
Warning: The directory
/var/lib/hackage-doc-builder/build-cache/tmp-install/bin is not in the system
search path.
Warning: Unable to strip executable or library 'cpsa4roletran' (missing the
'strip' program)
Installing executable cpsa4rolecoq in /var/lib/hackage-doc-builder/build-cache/tmp-install/bin
Warning: The directory
/var/lib/hackage-doc-builder/build-cache/tmp-install/bin is not in the system
search path.
Warning: Unable to strip executable or library 'cpsa4rolecoq' (missing the
'strip' program)
Installing executable cpsa4query in /var/lib/hackage-doc-builder/build-cache/tmp-install/bin
Warning: The directory
/var/lib/hackage-doc-builder/build-cache/tmp-install/bin is not in the system
search path.
Warning: Unable to strip executable or library 'cpsa4query' (missing the
'strip' program)
Installing executable cpsa4prot in /var/lib/hackage-doc-builder/build-cache/tmp-install/bin
Warning: The directory
/var/lib/hackage-doc-builder/build-cache/tmp-install/bin is not in the system
search path.
Warning: Unable to strip executable or library 'cpsa4prot' (missing the
'strip' program)
Installing executable cpsa4pp in /var/lib/hackage-doc-builder/build-cache/tmp-install/bin
Warning: The directory
/var/lib/hackage-doc-builder/build-cache/tmp-install/bin is not in the system
search path.
Warning: Unable to strip executable or library 'cpsa4pp' (missing the 'strip'
program)
Installing executable cpsa4json in /var/lib/hackage-doc-builder/build-cache/tmp-install/bin
Warning: The directory
/var/lib/hackage-doc-builder/build-cache/tmp-install/bin is not in the system
search path.
Warning: Unable to strip executable or library 'cpsa4json' (missing the
'strip' program)
Installing executable cpsa4init in /var/lib/hackage-doc-builder/build-cache/tmp-install/bin
Warning: The directory
/var/lib/hackage-doc-builder/build-cache/tmp-install/bin is not in the system
search path.
Warning: Unable to strip executable or library 'cpsa4init' (missing the
'strip' program)
Installing executable cpsa4graph in /var/lib/hackage-doc-builder/build-cache/tmp-install/bin
Warning: The directory
/var/lib/hackage-doc-builder/build-cache/tmp-install/bin is not in the system
search path.
Warning: Unable to strip executable or library 'cpsa4graph' (missing the
'strip' program)
Installing executable cpsa4goalsat in /var/lib/hackage-doc-builder/build-cache/tmp-install/bin
Warning: The directory
/var/lib/hackage-doc-builder/build-cache/tmp-install/bin is not in the system
search path.
Warning: Unable to strip executable or library 'cpsa4goalsat' (missing the
'strip' program)
Installing executable cpsa4dl in /var/lib/hackage-doc-builder/build-cache/tmp-install/bin
Warning: The directory
/var/lib/hackage-doc-builder/build-cache/tmp-install/bin is not in the system
search path.
Warning: Unable to strip executable or library 'cpsa4dl' (missing the 'strip'
program)
Installing executable cpsa4diff in /var/lib/hackage-doc-builder/build-cache/tmp-install/bin
Warning: The directory
/var/lib/hackage-doc-builder/build-cache/tmp-install/bin is not in the system
search path.
Warning: Unable to strip executable or library 'cpsa4diff' (missing the
'strip' program)
Installing executable cpsa4debranch in /var/lib/hackage-doc-builder/build-cache/tmp-install/bin
Warning: The directory
/var/lib/hackage-doc-builder/build-cache/tmp-install/bin is not in the system
search path.
Warning: Unable to strip executable or library 'cpsa4debranch' (missing the
'strip' program)
Installing executable cpsa4dbprolog in /var/lib/hackage-doc-builder/build-cache/tmp-install/bin
Warning: The directory
/var/lib/hackage-doc-builder/build-cache/tmp-install/bin is not in the system
search path.
Warning: Unable to strip executable or library 'cpsa4dbprolog' (missing the
'strip' program)
Installing executable cpsa4db in /var/lib/hackage-doc-builder/build-cache/tmp-install/bin
Warning: The directory
/var/lib/hackage-doc-builder/build-cache/tmp-install/bin is not in the system
search path.
Warning: Unable to strip executable or library 'cpsa4db' (missing the 'strip'
program)
Installing executable cpsa4coq in /var/lib/hackage-doc-builder/build-cache/tmp-install/bin
Warning: The directory
/var/lib/hackage-doc-builder/build-cache/tmp-install/bin is not in the system
search path.
Warning: Unable to strip executable or library 'cpsa4coq' (missing the 'strip'
program)
Installing executable cpsa42latex in /var/lib/hackage-doc-builder/build-cache/tmp-install/bin
Warning: The directory
/var/lib/hackage-doc-builder/build-cache/tmp-install/bin is not in the system
search path.
Warning: Unable to strip executable or library 'cpsa42latex' (missing the
'strip' program)
Installing executable cpsa4 in /var/lib/hackage-doc-builder/build-cache/tmp-install/bin
Warning: The directory
/var/lib/hackage-doc-builder/build-cache/tmp-install/bin is not in the system
search path.
Warning: Unable to strip executable or library 'cpsa4' (missing the 'strip'
program)
Completed cpsa-4.4.6
Test log
[view raw]
Resolving dependencies... No tests to run for all the packages in the project