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.