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