Build #1 for cpsa-3.3.1
Package | cpsa-3.3.1 |
---|
Install | BuildFailed |
---|---|
Docs | NotTried |
Tests | NotTried |
Time submitted | 2016-06-03 21:20:37.290578 UTC |
---|---|
Compiler | ghc-8.0.1.20160521 |
OS | linux |
Arch | x86_64 |
Dependencies | array-0.5.1.1, base-4.9.0.0, containers-0.5.7.1, parallel-3.2.1.0, base-4.9.0.0, containers-0.5.7.1, base-4.9.0.0, containers-0.5.7.1, base-4.9.0.0, containers-0.5.7.1, base-4.9.0.0, containers-0.5.7.1, base-4.9.0.0, containers-0.5.7.1, base-4.9.0.0, containers-0.5.7.1, base-4.9.0.0, containers-0.5.7.1 |
Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies... cabal: Entering directory '/tmp/cabal-tmp-941/parallel-3.2.1.0' Configuring parallel-3.2.1.0... Building parallel-3.2.1.0... Preprocessing library parallel-3.2.1.0... [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 ) Running Haddock for parallel-3.2.1.0... Running hscolour for parallel-3.2.1.0... Preprocessing library parallel-3.2.1.0... Preprocessing library parallel-3.2.1.0... Haddock coverage: 72% ( 21 / 29) in 'Control.Seq' Missing documentation for: seqTuple2 (Control/Seq.hs:174) seqTuple3 (Control/Seq.hs:178) seqTuple4 (Control/Seq.hs:182) seqTuple5 (Control/Seq.hs:186) seqTuple6 (Control/Seq.hs:190) seqTuple7 (Control/Seq.hs:194) seqTuple8 (Control/Seq.hs:198) seqTuple9 (Control/Seq.hs:202) 100% ( 3 / 3) in 'Control.Parallel' 81% ( 68 / 84) in 'Control.Parallel.Strategies' Missing documentation for: evalTuple2 (Control/Parallel/Strategies.hs:596) evalTuple3 (Control/Parallel/Strategies.hs:600) evalTuple4 (Control/Parallel/Strategies.hs:604) evalTuple5 (Control/Parallel/Strategies.hs:608) evalTuple6 (Control/Parallel/Strategies.hs:612) evalTuple7 (Control/Parallel/Strategies.hs:616) evalTuple8 (Control/Parallel/Strategies.hs:620) evalTuple9 (Control/Parallel/Strategies.hs:624) parTuple2 (Control/Parallel/Strategies.hs:628) parTuple3 (Control/Parallel/Strategies.hs:632) parTuple4 (Control/Parallel/Strategies.hs:636) parTuple5 (Control/Parallel/Strategies.hs:640) parTuple6 (Control/Parallel/Strategies.hs:644) parTuple7 (Control/Parallel/Strategies.hs:648) parTuple8 (Control/Parallel/Strategies.hs:652) parTuple9 (Control/Parallel/Strategies.hs:656) Documentation created: dist/doc/html/parallel/index.html, dist/doc/html/parallel/parallel.txt Creating package registration file: /tmp/pkgConf-parallel-3.2.12145174067468703135.0 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/parallel-3.2.1.0-6VcN0yUHtcs831TgbJiSSi Registering parallel-3.2.1.0... cabal: Leaving directory '/tmp/cabal-tmp-941/parallel-3.2.1.0' Installed parallel-3.2.1.0 Downloading cpsa-3.3.1... cabal: Entering directory '/tmp/cabal-tmp-941/cpsa-3.3.1' Configuring cpsa-3.3.1... Building cpsa-3.3.1... Preprocessing executable 'cpsa' for cpsa-3.3.1... [ 1 of 24] Compiling Paths_cpsa ( dist/build/autogen/Paths_cpsa.hs, dist/build/cpsa/cpsa-tmp/Paths_cpsa.o ) [ 2 of 24] Compiling CPSA.Lib.Pretty ( src/CPSA/Lib/Pretty.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Pretty.o ) [ 3 of 24] Compiling CPSA.Lib.Utilities ( src/CPSA/Lib/Utilities.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Utilities.o ) src/CPSA/Lib/Utilities.hs:12:1: warning: [-Wunused-imports] The import of ‘Control.Applicative’ is redundant except perhaps to import instances from ‘Control.Applicative’ To import instances alone, use: import Control.Applicative() [ 4 of 24] Compiling CPSA.Lib.SExpr ( src/CPSA/Lib/SExpr.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/SExpr.o ) [ 5 of 24] Compiling CPSA.Lib.Algebra ( src/CPSA/Lib/Algebra.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Algebra.o ) [ 6 of 24] Compiling CPSA.Lib.State ( src/CPSA/Lib/State.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/State.o ) src/CPSA/Lib/State.hs:20:1: warning: [-Wredundant-constraints] • Redundant constraint: Eq t • In the type signature for: observer :: Eq t => Tran t -> Bool src/CPSA/Lib/State.hs:27:1: warning: [-Wredundant-constraints] • Redundant constraint: Eq t • In the type signature for: transition :: Eq t => Tran t -> Bool [ 7 of 24] Compiling CPSA.Lib.AlgebraLibrary ( src/CPSA/Lib/AlgebraLibrary.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/AlgebraLibrary.o ) [ 8 of 24] Compiling CPSA.Lib.Declaration ( src/CPSA/Lib/Declaration.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Declaration.o ) src/CPSA/Lib/Declaration.hs:262:1: warning: [-Wredundant-constraints] • Redundant constraints: (Algebra t p g s e c, Loc l) • In the type signature for: declarationTagsCore :: (Algebra t p g s e c, Loc l) => Declarations t l -> [(String, (Int, Int))] -> [(String, (DeclOutFormat, Bool))] src/CPSA/Lib/Declaration.hs:283:1: warning: [-Wredundant-constraints] • Redundant constraints: (Algebra t p g s e c, Loc l) • In the type signature for: tagDecls :: (Algebra t p g s e c, Loc l) => String -> Declarations t l -> DeclInstList t l src/CPSA/Lib/Declaration.hs:328:1: warning: [-Wredundant-constraints] • Redundant constraint: Loc l • In the type signature for: declsMapLocations :: (Algebra t p g s e c, Loc l, Loc l') => (l -> l') -> Declarations t l -> Declarations t l' src/CPSA/Lib/Declaration.hs:380:1: warning: [-Wredundant-constraints] • Redundant constraints: (Algebra t p g s e c, Loc l) • In the type signature for: instlimitCheck :: (Algebra t p g s e c, Loc l) => Declarations t l -> Bool [ 9 of 24] Compiling CPSA.Lib.Printer ( src/CPSA/Lib/Printer.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Printer.o ) [10 of 24] Compiling CPSA.Lib.Notation ( src/CPSA/Lib/Notation.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Notation.o ) [11 of 24] Compiling CPSA.Lib.CPSA ( src/CPSA/Lib/CPSA.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/CPSA.o ) [12 of 24] Compiling CPSA.Basic.Algebra ( src/CPSA/Basic/Algebra.hs, dist/build/cpsa/cpsa-tmp/CPSA/Basic/Algebra.o ) [13 of 24] Compiling CPSA.Lib.Entry ( src/CPSA/Lib/Entry.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Entry.o ) [14 of 24] Compiling CPSA.Lib.Expand ( src/CPSA/Lib/Expand.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Expand.o ) [15 of 24] Compiling CPSA.DiffieHellman.Algebra ( src/CPSA/DiffieHellman/Algebra.hs, dist/build/cpsa/cpsa-tmp/CPSA/DiffieHellman/Algebra.o ) [16 of 24] Compiling CPSA.Lib.Protocol ( src/CPSA/Lib/Protocol.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Protocol.o ) [17 of 24] Compiling CPSA.Lib.Goal ( src/CPSA/Lib/Goal.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Goal.o ) [18 of 24] Compiling CPSA.Lib.Strand ( src/CPSA/Lib/Strand.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Strand.o ) src/CPSA/Lib/Strand.hs:2123:7: error: • Could not deduce (Algebra t1 p1 g2 s2 e2 c1) from the context: (Algebra t1 p2 g2 s2 e2 c2, Algebra t1 p1 g1 s1 e1 c1, Monad m1) bound by the inferred type for ‘origNonNullCheck’: (Algebra t1 p2 g2 s2 e2 c2, Algebra t1 p1 g1 s1 e1 c1, Monad m1) => Preskel t1 g2 s2 e2 -> m1 () at src/CPSA/Lib/Strand.hs:(2123,7)-(2127,19) • In the ambiguity check for the inferred type for ‘origNonNullCheck’ To defer the ambiguity check to use sites, enable AllowAmbiguousTypes When checking the inferred type origNonNullCheck :: forall (m :: * -> *) t p g s e c g1 s1 e1 p1 c1. (Algebra t p1 g1 s1 e1 c1, Algebra t p g s e c, Monad m) => Preskel t g1 s1 e1 -> m () In an equation for ‘verbosePreskelWellFormed’: verbosePreskelWellFormed k = do { failwith "a variable in non-orig is not in some trace" $ varSubset (knon k) terms; failwith "a variable in pen-non-orig is not in some trace" $ varSubset (kpnon k) terms; mapM_ nonCheck $ knon k; .... } where terms = kterms k mesgterms = kmesgterms k nonCheck t = failwith (showString "non-orig " $ showst t " carried") $ all (not . carriedBy t) mesgterms uniqueCheck t = failwith (showString "uniq-orig " $ showst t " not carried") $ any (carriedBy t) mesgterms .... src/CPSA/Lib/Strand.hs:2128:7: error: • Could not deduce (Algebra t1 p1 g2 s2 e2 c1) from the context: (Algebra t1 p2 g2 s2 e2 c2, Algebra t1 p1 g1 s1 e1 c1, Monad m1) bound by the inferred type for ‘uniqgenNonNullCheck’: (Algebra t1 p2 g2 s2 e2 c2, Algebra t1 p1 g1 s1 e1 c1, Monad m1) => Preskel t1 g2 s2 e2 -> m1 () at src/CPSA/Lib/Strand.hs:(2128,7)-(2133,19) • In the ambiguity check for the inferred type for ‘uniqgenNonNullCheck’ To defer the ambiguity check to use sites, enable AllowAmbiguousTypes When checking the inferred type uniqgenNonNullCheck :: forall (m :: * -> *) t p g s e c g1 s1 e1 p1 c1. (Algebra t p1 g1 s1 e1 c1, Algebra t p g s e c, Monad m) => Preskel t g1 s1 e1 -> m () In an equation for ‘verbosePreskelWellFormed’: verbosePreskelWellFormed k = do { failwith "a variable in non-orig is not in some trace" $ varSubset (knon k) terms; failwith "a variable in pen-non-orig is not in some trace" $ varSubset (kpnon k) terms; mapM_ nonCheck $ knon k; .... } where terms = kterms k mesgterms = kmesgterms k nonCheck t = failwith (showString "non-orig " $ showst t " carried") $ all (not . carriedBy t) mesgterms uniqueCheck t = failwith (showString "uniq-orig " $ showst t " not carried") $ any (carriedBy t) mesgterms .... cabal: Leaving directory '/tmp/cabal-tmp-941/cpsa-3.3.1' Failed to install cpsa-3.3.1 cabal: Error: some packages failed to install: cpsa-3.3.1 failed during the building phase. The exception was: ExitFailure 1
Test log
No test log was submitted for this report.