Resolving dependencies...
Configuring parallel-3.2.1.0...
Building parallel-3.2.1.0...
Installed parallel-3.2.1.0
Configuring cpsa-3.3.1...
Building cpsa-3.3.1...
Failed to install cpsa-3.3.1
Build log ( /home/builder/.cabal/logs/cpsa-3.3.1.log ):
cabal: Entering directory '/tmp/cabal-tmp-6481/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.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-6481/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