Resolving dependencies... Configuring parallel-3.2.0.6... Building parallel-3.2.0.6... Preprocessing library parallel-3.2.0.6... [1 of 3] Compiling Control.Parallel ( Control/Parallel.hs, dist/build/Control/Parallel.o ) [2 of 3] Compiling Control.Seq ( Control/Seq.hs, dist/build/Control/Seq.o ) [3 of 3] Compiling Control.Parallel.Strategies ( Control/Parallel/Strategies.hs, dist/build/Control/Parallel/Strategies.o ) In-place registering parallel-3.2.0.6... Running Haddock for parallel-3.2.0.6... Running hscolour for parallel-3.2.0.6... Preprocessing library parallel-3.2.0.6... Preprocessing library parallel-3.2.0.6... Haddock coverage: 72% ( 21 / 29) in 'Control.Seq' Missing documentation for: seqTuple2 (Control/Seq.hs:164) seqTuple3 (Control/Seq.hs:168) seqTuple4 (Control/Seq.hs:172) seqTuple5 (Control/Seq.hs:176) seqTuple6 (Control/Seq.hs:180) seqTuple7 (Control/Seq.hs:184) seqTuple8 (Control/Seq.hs:188) seqTuple9 (Control/Seq.hs:192) 100% ( 3 / 3) in 'Control.Parallel' 81% ( 68 / 84) in 'Control.Parallel.Strategies' Missing documentation for: evalTuple2 (Control/Parallel/Strategies.hs:589) evalTuple3 (Control/Parallel/Strategies.hs:593) evalTuple4 (Control/Parallel/Strategies.hs:597) evalTuple5 (Control/Parallel/Strategies.hs:601) evalTuple6 (Control/Parallel/Strategies.hs:605) evalTuple7 (Control/Parallel/Strategies.hs:609) evalTuple8 (Control/Parallel/Strategies.hs:613) evalTuple9 (Control/Parallel/Strategies.hs:617) parTuple2 (Control/Parallel/Strategies.hs:621) parTuple3 (Control/Parallel/Strategies.hs:625) parTuple4 (Control/Parallel/Strategies.hs:629) parTuple5 (Control/Parallel/Strategies.hs:633) parTuple6 (Control/Parallel/Strategies.hs:637) parTuple7 (Control/Parallel/Strategies.hs:641) parTuple8 (Control/Parallel/Strategies.hs:645) parTuple9 (Control/Parallel/Strategies.hs:649) Documentation created: dist/doc/html/parallel/index.html, dist/doc/html/parallel/parallel.txt Creating package registration file: /tmp/pkgConf-parallel-3.2.0278722862233665123.6 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/parallel-3.2.0.6-6L9FbzO2lwB9ZhSC6B30xj Registering parallel-3.2.0.6... Installed parallel-3.2.0.6 Configuring cpsa-2.5.0... Building cpsa-2.5.0... Preprocessing executable 'cpsa' for cpsa-2.5.0... [ 1 of 21] Compiling Paths_cpsa ( dist/build/autogen/Paths_cpsa.hs, dist/build/cpsa/cpsa-tmp/Paths_cpsa.o ) [ 2 of 21] Compiling CPSA.Lib.Pretty ( src/CPSA/Lib/Pretty.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Pretty.o ) [ 3 of 21] Compiling CPSA.Lib.Utilities ( src/CPSA/Lib/Utilities.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Utilities.o ) [ 4 of 21] Compiling CPSA.Lib.SExpr ( src/CPSA/Lib/SExpr.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/SExpr.o ) [ 5 of 21] Compiling CPSA.Lib.Algebra ( src/CPSA/Lib/Algebra.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Algebra.o ) [ 6 of 21] Compiling CPSA.Lib.Printer ( src/CPSA/Lib/Printer.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Printer.o ) [ 7 of 21] Compiling CPSA.Lib.Notation ( src/CPSA/Lib/Notation.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Notation.o ) [ 8 of 21] Compiling CPSA.Lib.Protocol ( src/CPSA/Lib/Protocol.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Protocol.o ) [ 9 of 21] Compiling CPSA.Lib.CPSA ( src/CPSA/Lib/CPSA.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/CPSA.o ) [10 of 21] Compiling CPSA.Basic.Algebra ( src/CPSA/Basic/Algebra.hs, dist/build/cpsa/cpsa-tmp/CPSA/Basic/Algebra.o ) [11 of 21] Compiling CPSA.Lib.Entry ( src/CPSA/Lib/Entry.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Entry.o ) [12 of 21] Compiling CPSA.Lib.Expand ( src/CPSA/Lib/Expand.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Expand.o ) [13 of 21] Compiling CPSA.DiffieHellman.Algebra ( src/CPSA/DiffieHellman/Algebra.hs, dist/build/cpsa/cpsa-tmp/CPSA/DiffieHellman/Algebra.o ) [14 of 21] Compiling CPSA.Lib.Goal ( src/CPSA/Lib/Goal.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Goal.o ) [15 of 21] Compiling CPSA.Lib.Strand ( src/CPSA/Lib/Strand.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Strand.o ) [16 of 21] Compiling CPSA.Lib.Cohort ( src/CPSA/Lib/Cohort.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Cohort.o ) [17 of 21] Compiling CPSA.Lib.Displayer ( src/CPSA/Lib/Displayer.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Displayer.o ) src/CPSA/Lib/Displayer.hs:144:1: Warning: Tab character src/CPSA/Lib/Displayer.hs:148:1: Warning: Tab character [18 of 21] Compiling CPSA.Lib.Reduction ( src/CPSA/Lib/Reduction.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Reduction.o ) [19 of 21] Compiling CPSA.Lib.Characteristic ( src/CPSA/Lib/Characteristic.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Characteristic.o ) [20 of 21] Compiling CPSA.Lib.Loader ( src/CPSA/Lib/Loader.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Loader.o ) src/CPSA/Lib/Loader.hs:12:1: Warning: The import of ‘Control.Applicative’ is redundant except perhaps to import instances from ‘Control.Applicative’ To import instances alone, use: import Control.Applicative() src/CPSA/Lib/Loader.hs:100:1: Warning: Tab character [21 of 21] Compiling Main ( src/CPSA/Lib/Main.hs, dist/build/cpsa/cpsa-tmp/Main.o ) Linking dist/build/cpsa/cpsa ... Preprocessing executable 'cpsagraph' for cpsa-2.5.0... [ 1 of 22] Compiling CPSA.Lib.Utilities ( src/CPSA/Lib/Utilities.hs, dist/build/cpsagraph/cpsagraph-tmp/CPSA/Lib/Utilities.o ) [ 2 of 22] Compiling CPSA.Lib.Pretty ( src/CPSA/Lib/Pretty.hs, dist/build/cpsagraph/cpsagraph-tmp/CPSA/Lib/Pretty.o ) [ 3 of 22] Compiling CPSA.Lib.SExpr ( src/CPSA/Lib/SExpr.hs, dist/build/cpsagraph/cpsagraph-tmp/CPSA/Lib/SExpr.o ) [ 4 of 22] Compiling CPSA.Lib.Printer ( src/CPSA/Lib/Printer.hs, dist/build/cpsagraph/cpsagraph-tmp/CPSA/Lib/Printer.o ) [ 5 of 22] Compiling CPSA.Lib.Notation ( src/CPSA/Lib/Notation.hs, dist/build/cpsagraph/cpsagraph-tmp/CPSA/Lib/Notation.o ) [ 6 of 22] Compiling CPSA.Lib.Algebra ( src/CPSA/Lib/Algebra.hs, dist/build/cpsagraph/cpsagraph-tmp/CPSA/Lib/Algebra.o ) [ 7 of 22] Compiling CPSA.Lib.Protocol ( src/CPSA/Lib/Protocol.hs, dist/build/cpsagraph/cpsagraph-tmp/CPSA/Lib/Protocol.o ) [ 8 of 22] Compiling Paths_cpsa ( dist/build/autogen/Paths_cpsa.hs, dist/build/cpsagraph/cpsagraph-tmp/Paths_cpsa.o ) [ 9 of 22] Compiling CPSA.Lib.CPSA ( src/CPSA/Lib/CPSA.hs, dist/build/cpsagraph/cpsagraph-tmp/CPSA/Lib/CPSA.o ) [10 of 22] Compiling CPSA.Graph.Config ( src/CPSA/Graph/Config.hs, dist/build/cpsagraph/cpsagraph-tmp/CPSA/Graph/Config.o ) [11 of 22] Compiling CPSA.Basic.Algebra ( src/CPSA/Basic/Algebra.hs, dist/build/cpsagraph/cpsagraph-tmp/CPSA/Basic/Algebra.o ) [12 of 22] Compiling CPSA.Lib.Entry ( src/CPSA/Lib/Entry.hs, dist/build/cpsagraph/cpsagraph-tmp/CPSA/Lib/Entry.o ) [13 of 22] Compiling CPSA.Graph.Loader ( src/CPSA/Graph/Loader.hs, dist/build/cpsagraph/cpsagraph-tmp/CPSA/Graph/Loader.o ) src/CPSA/Graph/Loader.hs:203:1: Warning: Tab character [14 of 22] Compiling CPSA.Graph.Layout ( src/CPSA/Graph/Layout.hs, dist/build/cpsagraph/cpsagraph-tmp/CPSA/Graph/Layout.o ) [15 of 22] Compiling CPSA.Graph.LaTeXView ( src/CPSA/Graph/LaTeXView.hs, dist/build/cpsagraph/cpsagraph-tmp/CPSA/Graph/LaTeXView.o ) [16 of 22] Compiling CPSA.Graph.XMLOutput ( src/CPSA/Graph/XMLOutput.hs, dist/build/cpsagraph/cpsagraph-tmp/CPSA/Graph/XMLOutput.o ) [17 of 22] Compiling CPSA.Graph.SVG ( src/CPSA/Graph/SVG.hs, dist/build/cpsagraph/cpsagraph-tmp/CPSA/Graph/SVG.o ) [18 of 22] Compiling CPSA.Graph.Preskeleton ( src/CPSA/Graph/Preskeleton.hs, dist/build/cpsagraph/cpsagraph-tmp/CPSA/Graph/Preskeleton.o ) [19 of 22] Compiling CPSA.Graph.Tree ( src/CPSA/Graph/Tree.hs, dist/build/cpsagraph/cpsagraph-tmp/CPSA/Graph/Tree.o ) [20 of 22] Compiling CPSA.Graph.CompactView ( src/CPSA/Graph/CompactView.hs, dist/build/cpsagraph/cpsagraph-tmp/CPSA/Graph/CompactView.o ) [21 of 22] Compiling CPSA.Graph.ExpandedView ( src/CPSA/Graph/ExpandedView.hs, dist/build/cpsagraph/cpsagraph-tmp/CPSA/Graph/ExpandedView.o ) [22 of 22] Compiling Main ( src/CPSA/Graph/Main.hs, dist/build/cpsagraph/cpsagraph-tmp/Main.o ) Linking dist/build/cpsagraph/cpsagraph ... Preprocessing executable 'cpsashapes' for cpsa-2.5.0... [ 1 of 13] Compiling Paths_cpsa ( dist/build/autogen/Paths_cpsa.hs, dist/build/cpsashapes/cpsashapes-tmp/Paths_cpsa.o ) [ 2 of 13] Compiling CPSA.Lib.Pretty ( src/CPSA/Lib/Pretty.hs, dist/build/cpsashapes/cpsashapes-tmp/CPSA/Lib/Pretty.o ) [ 3 of 13] Compiling CPSA.Lib.SExpr ( src/CPSA/Lib/SExpr.hs, dist/build/cpsashapes/cpsashapes-tmp/CPSA/Lib/SExpr.o ) [ 4 of 13] Compiling CPSA.Lib.Printer ( src/CPSA/Lib/Printer.hs, dist/build/cpsashapes/cpsashapes-tmp/CPSA/Lib/Printer.o ) [ 5 of 13] Compiling CPSA.Lib.Notation ( src/CPSA/Lib/Notation.hs, dist/build/cpsashapes/cpsashapes-tmp/CPSA/Lib/Notation.o ) [ 6 of 13] Compiling CPSA.Lib.Algebra ( src/CPSA/Lib/Algebra.hs, dist/build/cpsashapes/cpsashapes-tmp/CPSA/Lib/Algebra.o ) [ 7 of 13] Compiling CPSA.Lib.Utilities ( src/CPSA/Lib/Utilities.hs, dist/build/cpsashapes/cpsashapes-tmp/CPSA/Lib/Utilities.o ) [ 8 of 13] Compiling CPSA.Lib.Protocol ( src/CPSA/Lib/Protocol.hs, dist/build/cpsashapes/cpsashapes-tmp/CPSA/Lib/Protocol.o ) [ 9 of 13] Compiling CPSA.Lib.CPSA ( src/CPSA/Lib/CPSA.hs, dist/build/cpsashapes/cpsashapes-tmp/CPSA/Lib/CPSA.o ) [10 of 13] Compiling CPSA.Shapes.Shapes ( src/CPSA/Shapes/Shapes.hs, dist/build/cpsashapes/cpsashapes-tmp/CPSA/Shapes/Shapes.o ) [11 of 13] Compiling CPSA.Basic.Algebra ( src/CPSA/Basic/Algebra.hs, dist/build/cpsashapes/cpsashapes-tmp/CPSA/Basic/Algebra.o ) [12 of 13] Compiling CPSA.Lib.Entry ( src/CPSA/Lib/Entry.hs, dist/build/cpsashapes/cpsashapes-tmp/CPSA/Lib/Entry.o ) [13 of 13] Compiling Main ( src/CPSA/Shapes/Main.hs, dist/build/cpsashapes/cpsashapes-tmp/Main.o ) Linking dist/build/cpsashapes/cpsashapes ... Preprocessing executable 'cpsaannotations' for cpsa-2.5.0... [ 1 of 15] Compiling Paths_cpsa ( dist/build/autogen/Paths_cpsa.hs, dist/build/cpsaannotations/cpsaannotations-tmp/Paths_cpsa.o ) [ 2 of 15] Compiling CPSA.Lib.Pretty ( src/CPSA/Lib/Pretty.hs, dist/build/cpsaannotations/cpsaannotations-tmp/CPSA/Lib/Pretty.o ) [ 3 of 15] Compiling CPSA.Lib.SExpr ( src/CPSA/Lib/SExpr.hs, dist/build/cpsaannotations/cpsaannotations-tmp/CPSA/Lib/SExpr.o ) [ 4 of 15] Compiling CPSA.Lib.Printer ( src/CPSA/Lib/Printer.hs, dist/build/cpsaannotations/cpsaannotations-tmp/CPSA/Lib/Printer.o ) [ 5 of 15] Compiling CPSA.Lib.Notation ( src/CPSA/Lib/Notation.hs, dist/build/cpsaannotations/cpsaannotations-tmp/CPSA/Lib/Notation.o ) [ 6 of 15] Compiling CPSA.Lib.Algebra ( src/CPSA/Lib/Algebra.hs, dist/build/cpsaannotations/cpsaannotations-tmp/CPSA/Lib/Algebra.o ) [ 7 of 15] Compiling CPSA.Lib.Utilities ( src/CPSA/Lib/Utilities.hs, dist/build/cpsaannotations/cpsaannotations-tmp/CPSA/Lib/Utilities.o ) [ 8 of 15] Compiling CPSA.Lib.Protocol ( src/CPSA/Lib/Protocol.hs, dist/build/cpsaannotations/cpsaannotations-tmp/CPSA/Lib/Protocol.o ) [ 9 of 15] Compiling CPSA.Lib.CPSA ( src/CPSA/Lib/CPSA.hs, dist/build/cpsaannotations/cpsaannotations-tmp/CPSA/Lib/CPSA.o ) [10 of 15] Compiling CPSA.Basic.Algebra ( src/CPSA/Basic/Algebra.hs, dist/build/cpsaannotations/cpsaannotations-tmp/CPSA/Basic/Algebra.o ) [11 of 15] Compiling CPSA.Lib.Entry ( src/CPSA/Lib/Entry.hs, dist/build/cpsaannotations/cpsaannotations-tmp/CPSA/Lib/Entry.o ) [12 of 15] Compiling CPSA.DiffieHellman.Algebra ( src/CPSA/DiffieHellman/Algebra.hs, dist/build/cpsaannotations/cpsaannotations-tmp/CPSA/DiffieHellman/Algebra.o ) [13 of 15] Compiling CPSA.Annotations.Formulas ( src/CPSA/Annotations/Formulas.hs, dist/build/cpsaannotations/cpsaannotations-tmp/CPSA/Annotations/Formulas.o ) src/CPSA/Annotations/Formulas.hs:181:10: No instance for (Applicative EitherS) arising from the superclasses of an instance declaration In the instance declaration for ‘Monad EitherS’ Failed to install cpsa-2.5.0 cabal: Error: some packages failed to install: cpsa-2.5.0 failed during the building phase. The exception was: ExitFailure 1