Build #2 for cpsa-3.3.0
| Package | cpsa-3.3.0 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2016-11-27 19:41:46.233697 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
Downloading cpsa-3.3.0...
Configuring cpsa-3.3.0...
Building cpsa-3.3.0...
Failed to install cpsa-3.3.0
Build log ( /home/builder/.cabal/logs/cpsa-3.3.0.log ):
cabal: Entering directory '/tmp/cabal-tmp-30746/cpsa-3.3.0'
Configuring cpsa-3.3.0...
Building cpsa-3.3.0...
Preprocessing executable 'cpsa' for cpsa-3.3.0...
[ 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.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()
[ 3 of 24] Compiling CPSA.Lib.SExpr ( src/CPSA/Lib/SExpr.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/SExpr.o )
[ 4 of 24] Compiling CPSA.Lib.Pretty ( src/CPSA/Lib/Pretty.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Pretty.o )
[ 5 of 24] Compiling CPSA.Lib.Printer ( src/CPSA/Lib/Printer.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Printer.o )
[ 6 of 24] Compiling CPSA.Lib.Notation ( src/CPSA/Lib/Notation.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Notation.o )
[ 7 of 24] Compiling CPSA.Lib.Algebra ( src/CPSA/Lib/Algebra.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Algebra.o )
[ 8 of 24] Compiling CPSA.Lib.AlgebraLibrary ( src/CPSA/Lib/AlgebraLibrary.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/AlgebraLibrary.o )
[ 9 of 24] Compiling CPSA.Lib.CPSA ( src/CPSA/Lib/CPSA.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/CPSA.o )
[10 of 24] Compiling CPSA.Lib.Declaration ( src/CPSA/Lib/Declaration.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Declaration.o )
[11 of 24] Compiling CPSA.Lib.State ( src/CPSA/Lib/State.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/State.o )
[12 of 24] Compiling CPSA.Lib.Protocol ( src/CPSA/Lib/Protocol.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Protocol.o )
[13 of 24] Compiling CPSA.Lib.Goal ( src/CPSA/Lib/Goal.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Goal.o )
[14 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 p2 g2 s2 e2 c2)
from the context: (Algebra t1 p1 g2 s2 e2 c1,
Algebra t1 p2 g1 s1 e1 c2,
Monad m1)
bound by the inferred type for ‘origNonNullCheck’:
(Algebra t1 p1 g2 s2 e2 c1, Algebra t1 p2 g1 s1 e1 c2, 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 p c p1 g s e c1 e1 s1 g1 t (m :: *
-> *).
(Algebra t p g1 s1 e1 c, Algebra t p1 g s e c1, 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 p2 g2 s2 e2 c2)
from the context: (Algebra t1 p1 g2 s2 e2 c1,
Algebra t1 p2 g1 s1 e1 c2,
Monad m1)
bound by the inferred type for ‘uniqgenNonNullCheck’:
(Algebra t1 p1 g2 s2 e2 c1, Algebra t1 p2 g1 s1 e1 c2, 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 p c p1 g s e c1 e1 s1 g1 t (m :: *
-> *).
(Algebra t p g1 s1 e1 c, Algebra t p1 g s e c1, 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-30746/cpsa-3.3.0'
cabal: Error: some packages failed to install:
cpsa-3.3.0 failed during the building phase. The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.