Build #8 for cpsa-2.3.4
| Package | cpsa-2.3.4 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2016-12-14 23:22:09.350695 UTC |
|---|---|
| Compiler | ghc-8.0.1.20161018 |
| 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...
Configuring parallel-3.2.1.0...
Building parallel-3.2.1.0...
Installed parallel-3.2.1.0
Configuring cpsa-2.3.4...
Building cpsa-2.3.4...
Failed to install cpsa-2.3.4
Build log ( /home/builder/.cabal/logs/cpsa-2.3.4.log ):
cabal: Entering directory '/tmp/cabal-tmp-8184/cpsa-2.3.4'
Configuring cpsa-2.3.4...
Building cpsa-2.3.4...
Preprocessing executable 'cpsa' for cpsa-2.3.4...
[ 1 of 19] Compiling Paths_cpsa ( dist/build/autogen/Paths_cpsa.hs, dist/build/cpsa/cpsa-tmp/Paths_cpsa.o )
[ 2 of 19] Compiling CPSA.Lib.Utilities ( src/CPSA/Lib/Utilities.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Utilities.o )
[ 3 of 19] Compiling CPSA.Lib.SExpr ( src/CPSA/Lib/SExpr.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/SExpr.o )
[ 4 of 19] Compiling CPSA.Lib.Pretty ( src/CPSA/Lib/Pretty.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Pretty.o )
[ 5 of 19] Compiling CPSA.Lib.Printer ( src/CPSA/Lib/Printer.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Printer.o )
[ 6 of 19] Compiling CPSA.Lib.Notation ( src/CPSA/Lib/Notation.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Notation.o )
[ 7 of 19] Compiling CPSA.Lib.Algebra ( src/CPSA/Lib/Algebra.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Algebra.o )
[ 8 of 19] Compiling CPSA.Lib.Protocol ( src/CPSA/Lib/Protocol.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Protocol.o )
[ 9 of 19] Compiling CPSA.Lib.CPSA ( src/CPSA/Lib/CPSA.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/CPSA.o )
[10 of 19] Compiling CPSA.Lib.Strand ( src/CPSA/Lib/Strand.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Strand.o )
[11 of 19] Compiling CPSA.Lib.Cohort ( src/CPSA/Lib/Cohort.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Cohort.o )
src/CPSA/Lib/Cohort.hs:92:7: error:
• Could not deduce (Algebra t p2 g2 s2 e2 c2)
from the context: (Algebra t p1 g1 s1 e2 c1,
Algebra t p2 g2 s2 e1 c2)
bound by the inferred type for ‘unrealizedInNode’:
(Algebra t p1 g1 s1 e2 c1, Algebra t p2 g2 s2 e1 c2) =>
([Node], Set (Vertex t e2))
-> CPSA.Lib.Strand.GraphNode (Event t) (Instance t e2)
-> ([Node], Set (Vertex t e2))
at src/CPSA/Lib/Cohort.hs:(92,7)-(100,51)
• In the ambiguity check for the inferred type for ‘unrealizedInNode’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
When checking the inferred type
unrealizedInNode :: forall p g s c p1 g1 s1 e c1 e1.
(Algebra t p g s e1 c, Algebra t p1 g1 s1 e c1) =>
([Node], Set (Vertex t e1))
-> CPSA.Lib.Strand.GraphNode (Event t) (Instance t e1)
-> ([Node], Set (Vertex t e1))
In an equation for ‘unrealized’:
unrealized k
= foldl unrealizedInStrand [] (strands k)
where
(a, _) = avoid k
unrealizedInStrand acc s
= fst $ foldl unrealizedInNode (acc, S.empty) (nodes s)
unrealizedInNode (acc, ns) n
= case inbnd $ event n of {
Nothing -> ...
Just t -> ... }
src/CPSA/Lib/Cohort.hs:241:7: error:
• Could not deduce (Algebra t p3 g s e2 c3)
from the context: (Algebra t p1 g1 s1 e1 c1,
Algebra t p2 g2 s2 e2 c2,
Algebra t p3 g s e c3)
bound by the inferred type for ‘loop’:
(Algebra t p1 g1 s1 e1 c1, Algebra t p2 g2 s2 e2 c2,
Algebra t p3 g s e c3) =>
[CPSA.Lib.Strand.GraphNode (Event t) (Instance t e2)]
-> Maybe [Preskel t g s e]
at src/CPSA/Lib/Cohort.hs:(241,7)-(252,67)
• In the ambiguity check for the inferred type for ‘loop’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
When checking the inferred type
loop :: forall p g1 s1 e1 c p1 g2 s2 c1 p2 c2 e2.
(Algebra t p g1 s1 e1 c, Algebra t p1 g2 s2 e2 c1,
Algebra t p2 g s e c2) =>
[CPSA.Lib.Strand.GraphNode (Event t) (Instance t e2)]
-> Maybe [Preskel t g s e]
In an equation for ‘findTest’:
findTest mode k u a
= loop (prioritizeVertices k $ nodeOrder mode k)
where
loop [] = Nothing
loop (n : nodes)
= case inbnd $ event n of {
Nothing -> loop nodes
Just t -> ... }
src/CPSA/Lib/Cohort.hs:445:7: error:
• Could not deduce (Algebra t p3 g s e3 c3)
from the context: (Algebra t p1 g s e3 c1,
Algebra t p2 g s e1 c2,
Algebra t p3 g s e2 c3)
bound by the inferred type for ‘loop’:
(Algebra t p1 g s e3 c1, Algebra t p2 g s e1 c2,
Algebra t p3 g s e2 c3) =>
Int
-> [Event t]
-> [((g, s), Instance t e3)]
-> [Event t]
-> [((g, s), Instance t e3)]
at src/CPSA/Lib/Cohort.hs:(445,7)-(453,59)
• In the ambiguity check for the inferred type for ‘loop’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
When checking the inferred type
loop :: forall p c p1 e c1 p2 e1 c2 e2.
(Algebra t p g s e2 c, Algebra t p1 g s e c1,
Algebra t p2 g s e1 c2) =>
Int
-> [Event t]
-> [((g, s), Instance t e2)]
-> [Event t]
-> [((g, s), Instance t e2)]
In an equation for ‘transformingNode’:
transformingNode ct escape targets role subst
= loop 1 [] [] (rtrace role)
where
loop _ _ acc [] = acc
loop ht past acc (In t : c) = loop (ht + 1) (In t : past) acc c
loop ht past acc (Out t : c)
= loop (ht + 1) (Out t : past) acc' c
where
substs = carriedBindings targets t subst
substs' = cowt ct escape past substs
....
src/CPSA/Lib/Cohort.hs:523:7: error:
• Could not deduce (Subst t t2 t1)
from the context: (Subst t g1 t1, Algebra t p1 t2 s1 e1 c1)
bound by the inferred type for ‘f’:
(Subst t g1 t1, Algebra t p1 t2 s1 e1 c1) =>
[((t2, t1), Instance t e1)]
-> (t2, t1) -> [((t2, t1), Instance t e1)]
at src/CPSA/Lib/Cohort.hs:(523,7)-(528,76)
• In the ambiguity check for the inferred type for ‘f’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
When checking the inferred type
f :: forall e t1 t2 g p s c.
(Subst t g t1, Algebra t p t2 s e c) =>
[((t2, t1), Instance t e)]
-> (t2, t1) -> [((t2, t1), Instance t e)]
In an equation for ‘maybeAug’:
maybeAug ct escape role ht substs acc t
= foldl f acc $ filter testNotSolved substs
where
testNotSolved (_, subst)
= not
$ carriedOnlyWithin
(substitute subst ct)
(S.map (substitute subst) escape)
(substitute subst t)
f acc (gen, subst)
= case bldInstance role itrace gen of {
(gen, inst) : _ -> ... : acc
[] -> acc }
where
itrace = map (evtMap $ substitute subst) (take ht (rtrace role))
cabal: Leaving directory '/tmp/cabal-tmp-8184/cpsa-2.3.4'
cabal: Error: some packages failed to install:
cpsa-2.3.4 failed during the building phase. The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.