Build #1 for copilot-3.18
| Package | copilot-3.18 |
|---|
| Install | DependencyFailed copilot-3.18 |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2024-01-08 00:33:40.853583084 UTC |
|---|---|
| Compiler | ghc-9.6.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.18.1.0, copilot-c99-3.18, copilot-core-3.18, copilot-language-3.18, copilot-libraries-3.18, copilot-prettyprinter-3.18, copilot-theorem-3.18, directory-1.3.8.1, filepath-1.4.100.4, optparse-applicative-0.18.1.0 |
| Flags | -examples |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Starting BoundedChan-1.0.3.0
Starting StateVar-1.2.2
Starting base-orphans-0.9.1
Starting bimap-0.5.0
Starting bitwise-1.0.0.1
Starting call-stack-0.4.0
Starting colour-2.3.6
Downloading copilot-core-3.18
Starting config-value-0.8.3
Starting data-default-class-0.1.2.0
Starting dlist-1.0
Starting fingertree-0.1.5.0
Starting indexed-traversable-0.1.3
Starting ieee754-0.8.0
Starting language-c99-0.2.0
Starting integer-logarithms-1.0.3.1
Starting old-locale-1.0.0.7
Starting ordered-containers-0.2.3
Starting parallel-3.2.2.0
Starting parser-combinators-1.3.0
Starting primitive-0.9.0.0
Starting prettyprinter-1.7.1
Starting safe-exceptions-0.1.7.4
Starting s-cargot-0.1.6.0
Starting semigroups-0.20
Starting tagged-0.8.8
Starting th-abstraction-0.5.0.0
Starting type-equality-1
Starting unbounded-delays-0.1.1.1
Starting transformers-compat-0.7.2
Starting unliftio-core-0.2.1.0
Starting vector-stream-0.1.0.1
Starting void-0.7.3
Starting xml-1.3.14
Starting zenc-0.1.2
Starting OneTuple-0.4.1.1
Starting hashable-1.4.3.0
Starting reflection-2.1.7
Starting network-3.1.4.0
Starting utf8-string-1.0.2
Starting splitmix-0.1.0.5
Starting zlib-0.6.3.0
Starting base-compat-0.13.1
Downloaded copilot-core-3.18
Building BoundedChan-1.0.3.0
Building StateVar-1.2.2
Building call-stack-0.4.0
Building bimap-0.5.0
Building base-orphans-0.9.1
Building bitwise-1.0.0.1
Building data-default-class-0.1.2.0
Building fingertree-0.1.5.0
Building dlist-1.0
Building colour-2.3.6
Building config-value-0.8.3
Starting copilot-core-3.18
Building indexed-traversable-0.1.3
Building ieee754-0.8.0
Building old-locale-1.0.0.7
Building language-c99-0.2.0
Building ordered-containers-0.2.3
Building parallel-3.2.2.0
Building integer-logarithms-1.0.3.1
Building parser-combinators-1.3.0
Building primitive-0.9.0.0
Building prettyprinter-1.7.1
Building safe-exceptions-0.1.7.4
Building s-cargot-0.1.6.0
Building semigroups-0.20
Building th-abstraction-0.5.0.0
Building vector-stream-0.1.0.1
Building tagged-0.8.8
Building type-equality-1
Building transformers-compat-0.7.2
Building void-0.7.3
Building xml-1.3.14
Building unbounded-delays-0.1.1.1
Building unliftio-core-0.2.1.0
Building zenc-0.1.2
Building OneTuple-0.4.1.1
Building hashable-1.4.3.0
Building reflection-2.1.7
Building utf8-string-1.0.2
Building splitmix-0.1.0.5
Building zlib-0.6.3.0
Building base-compat-0.13.1
Building copilot-core-3.18
Building network-3.1.4.0
Completed BoundedChan-1.0.3.0
Completed data-default-class-0.1.2.0
Starting data-default-instances-containers-0.0.1
Completed call-stack-0.4.0
Completed void-0.7.3
Building data-default-instances-containers-0.0.1
Completed unbounded-delays-0.1.1.1
Starting concurrent-extra-0.7.0.12
Completed integer-logarithms-1.0.3.1
Completed old-locale-1.0.0.7
Starting data-default-instances-old-locale-0.0.1
Building concurrent-extra-0.7.0.12
Completed zenc-0.1.2
Completed semigroups-0.20
Building data-default-instances-old-locale-0.0.1
Completed OneTuple-0.4.1.1
Completed unliftio-core-0.2.1.0
Completed type-equality-1
Completed StateVar-1.2.2
Starting contravariant-1.5.5
Completed splitmix-0.1.0.5
Starting random-1.2.1.1
Completed copilot-core-3.18
Downloading copilot-interpreter-3.18
Downloading copilot-prettyprinter-3.18
Building contravariant-1.5.5
Downloaded copilot-prettyprinter-3.18
Starting copilot-prettyprinter-3.18
Completed ieee754-0.8.0
Downloaded copilot-interpreter-3.18
Starting copilot-interpreter-3.18
Building random-1.2.1.1
Completed parser-combinators-1.3.0
Completed dlist-1.0
Starting data-default-instances-dlist-0.0.1
Building copilot-prettyprinter-3.18
Building copilot-interpreter-3.18
Completed safe-exceptions-0.1.7.4
Completed base-orphans-0.9.1
Building data-default-instances-dlist-0.0.1
Completed tagged-0.8.8
Starting assoc-1.1
Starting distributive-0.6.2.1
Completed parallel-3.2.2.0
Completed language-c99-0.2.0
Starting language-c99-util-0.2.0
Completed bitwise-1.0.0.1
Building distributive-0.6.2.1
Building assoc-1.1
Completed bimap-0.5.0
Completed transformers-compat-0.7.2
Starting transformers-base-0.4.6
Building language-c99-util-0.2.0
Completed utf8-string-1.0.2
Completed ordered-containers-0.2.3
Building transformers-base-0.4.6
Completed colour-2.3.6
Starting ansi-terminal-types-0.11.5
Completed vector-stream-0.1.0.1
Completed reflection-2.1.7
Building ansi-terminal-types-0.11.5
Completed xml-1.3.14
Completed zlib-0.6.3.0
Starting zlib-bindings-0.1.1.5
Completed data-default-instances-old-locale-0.0.1
Completed data-default-instances-containers-0.0.1
Completed indexed-traversable-0.1.3
Building zlib-bindings-0.1.1.5
Completed hashable-1.4.3.0
Starting constraints-0.13.4
Starting unordered-containers-0.2.19.1
Starting async-2.2.5
Starting case-insensitive-1.2.1.0
Starting libBF-0.6.7
Completed fingertree-0.1.5.0
Completed th-abstraction-0.5.0.0
Starting th-lift-0.8.4
Starting deriving-compat-0.6.5
Completed concurrent-extra-0.7.0.12
Building constraints-0.13.4
Building libBF-0.6.7
Building case-insensitive-1.2.1.0
Building async-2.2.5
Building unordered-containers-0.2.19.1
Completed s-cargot-0.1.6.0
Building th-lift-0.8.4
Completed prettyprinter-1.7.1
Building deriving-compat-0.6.5
Completed config-value-0.8.3
Completed data-default-instances-dlist-0.0.1
Starting data-default-0.7.1.1
Completed contravariant-1.5.5
Completed copilot-interpreter-3.18
Building data-default-0.7.1.1
Completed base-compat-0.13.1
Starting gitrev-1.3.1
Completed copilot-prettyprinter-3.18
Completed assoc-1.1
Starting these-1.2
Completed language-c99-util-0.2.0
Starting language-c99-simple-0.3.0
Building gitrev-1.3.1
Completed distributive-0.6.2.1
Starting comonad-5.0.8
Completed transformers-base-0.4.6
Building these-1.2
Building language-c99-simple-0.3.0
Completed primitive-0.9.0.0
Starting scientific-0.3.7.0
Starting vector-0.13.1.0
Building comonad-5.0.8
Completed ansi-terminal-types-0.11.5
Starting ansi-terminal-1.0
Building vector-0.13.1.0
Building scientific-0.3.7.0
Completed network-3.1.4.0
Building ansi-terminal-1.0
Completed zlib-bindings-0.1.1.5
Completed case-insensitive-1.2.1.0
Completed th-lift-0.8.4
Completed data-default-0.7.1.1
Completed async-2.2.5
Starting unliftio-0.2.25.0
Building unliftio-0.2.25.0
Completed gitrev-1.3.1
Starting panic-0.4.0.1
Completed random-1.2.1.1
Starting temporary-1.3
Completed language-c99-simple-0.3.0
Downloading copilot-c99-3.18
Building panic-0.4.0.1
Downloaded copilot-c99-3.18
Starting copilot-c99-3.18
Completed ansi-terminal-1.0
Starting prettyprinter-ansi-terminal-1.1.3
Building temporary-1.3
Building copilot-c99-3.18
Building prettyprinter-ansi-terminal-1.1.3
Completed libBF-0.6.7
Completed these-1.2
Starting strict-0.5
Building strict-0.5
Completed comonad-5.0.8
Starting bifunctors-5.6.1
Completed constraints-0.13.4
Building bifunctors-5.6.1
Completed scientific-0.3.7.0
Starting megaparsec-9.6.1
Starting attoparsec-0.14.4
Completed deriving-compat-0.6.5
Building megaparsec-9.6.1
Building attoparsec-0.14.4
Completed panic-0.4.0.1
Completed temporary-1.3
Completed unordered-containers-0.2.19.1
Starting data-reify-0.6.3
Completed prettyprinter-ansi-terminal-1.1.3
Starting optparse-applicative-0.18.1.0
Building data-reify-0.6.3
Completed copilot-c99-3.18
Building optparse-applicative-0.18.1.0
Completed strict-0.5
Completed unliftio-0.2.25.0
Completed data-reify-0.6.3
Completed bifunctors-5.6.1
Starting profunctors-5.6.2
Starting semigroupoids-6.0.0.1
Building profunctors-5.6.2
Building semigroupoids-6.0.0.1
Completed optparse-applicative-0.18.1.0
Completed megaparsec-9.6.1
Starting versions-6.0.4
Completed attoparsec-0.14.4
Building versions-6.0.4
Completed vector-0.13.1.0
Starting th-lift-instances-0.1.20
Starting io-streams-1.5.2.2
Starting hashtables-1.3.1
Starting indexed-traversable-instances-0.1.1.2
Completed versions-6.0.4
Building th-lift-instances-0.1.20
Building hashtables-1.3.1
Building io-streams-1.5.2.2
Building indexed-traversable-instances-0.1.1.2
Completed profunctors-5.6.2
Starting invariant-0.6.2
Building invariant-0.6.2
Completed semigroupoids-6.0.0.1
Starting free-5.2
Building free-5.2
Completed th-lift-instances-0.1.20
Completed indexed-traversable-instances-0.1.1.2
Completed invariant-0.6.2
Completed io-streams-1.5.2.2
Completed hashtables-1.3.1
Completed free-5.2
Starting adjunctions-4.4.2
Building adjunctions-4.4.2
Completed adjunctions-4.4.2
Starting kan-extensions-5.2.5
Building kan-extensions-5.2.5
Completed kan-extensions-5.2.5
Starting lens-5.2.3
Building lens-5.2.3
Completed lens-5.2.3
Starting parameterized-utils-2.1.7.0
Building parameterized-utils-2.1.7.0
Completed parameterized-utils-2.1.7.0
Starting bv-sized-1.0.5
Building bv-sized-1.0.5
Completed bv-sized-1.0.5
Starting what4-1.5.1
Building what4-1.5.1
Completed what4-1.5.1
Downloading copilot-theorem-3.18
Downloaded copilot-theorem-3.18
Starting copilot-theorem-3.18
Building copilot-theorem-3.18
Failed to install copilot-theorem-3.18
Build log ( /home/builder/.cabal/logs/ghc-9.6.3/copilot-theorem-3.18-1asrxsXpO5qKiYWSYiVmI7.log ):
cabal: Entering directory '/tmp/cabal-tmp-1982174/copilot-theorem-3.18'
Configuring copilot-theorem-3.18...
Preprocessing library for copilot-theorem-3.18..
Building library for copilot-theorem-3.18..
on the commandline: warning: [-Wdeprecated-flags]
-fcontext-stack=100 is deprecated: use -freduction-depth=100 instead
[ 1 of 34] Compiling Copilot.Theorem.IL.Spec ( src/Copilot/Theorem/IL/Spec.hs, dist/build/Copilot/Theorem/IL/Spec.o, dist/build/Copilot/Theorem/IL/Spec.dyn_o )
[ 2 of 34] Compiling Copilot.Theorem.IL.PrettyPrint ( src/Copilot/Theorem/IL/PrettyPrint.hs, dist/build/Copilot/Theorem/IL/PrettyPrint.o, dist/build/Copilot/Theorem/IL/PrettyPrint.dyn_o )
[ 3 of 34] Compiling Copilot.Theorem.IL.Transform ( src/Copilot/Theorem/IL/Transform.hs, dist/build/Copilot/Theorem/IL/Transform.o, dist/build/Copilot/Theorem/IL/Transform.dyn_o )
[ 4 of 34] Compiling Copilot.Theorem.IL.Translate ( src/Copilot/Theorem/IL/Translate.hs, dist/build/Copilot/Theorem/IL/Translate.o, dist/build/Copilot/Theorem/IL/Translate.dyn_o )
src/Copilot/Theorem/IL/Translate.hs:64:5: error: [GHC-88464]
Variable not in scope:
forM
:: [C.Property]
-> (C.Property
-> StateT
TransST Data.Functor.Identity.Identity (C.Name, ([Expr], Expr)))
-> StateT
TransST Data.Functor.Identity.Identity [(PropId, ([Expr], Expr))]
|
64 | forM specProperties
| ^^^^
src/Copilot/Theorem/IL/Translate.hs:92:7: error: [GHC-88464]
Variable not in scope:
when
:: Bool
-> Trans () -> StateT TransST Data.Functor.Identity.Identity ()
|
92 | when b $ localConstraint (Op2 Bool And
| ^^^^
src/Copilot/Theorem/IL/Translate.hs:322:23: error: [GHC-88464]
Variable not in scope:
liftM2
:: ([a0] -> [a0] -> [a0])
-> f0 [Expr]
-> Trans [Expr]
-> StateT TransST Data.Functor.Identity.Identity [Expr]
Suggested fix:
Perhaps use one of these:
liftA2 (imported from Prelude),
lift (imported from Control.Monad.State),
liftIO (imported from Control.Monad.State)
|
322 | popLocalConstraints = liftM2 (++) (localConstraints <$> get) getMuxes
| ^^^^^^
[ 6 of 34] Compiling Copilot.Theorem.Kind2.AST ( src/Copilot/Theorem/Kind2/AST.hs, dist/build/Copilot/Theorem/Kind2/AST.o, dist/build/Copilot/Theorem/Kind2/AST.dyn_o )
[ 7 of 34] Compiling Copilot.Theorem.Misc.Error ( src/Copilot/Theorem/Misc/Error.hs, dist/build/Copilot/Theorem/Misc/Error.o, dist/build/Copilot/Theorem/Misc/Error.dyn_o )
[ 8 of 34] Compiling Copilot.Theorem.Misc.SExpr ( src/Copilot/Theorem/Misc/SExpr.hs, dist/build/Copilot/Theorem/Misc/SExpr.o, dist/build/Copilot/Theorem/Misc/SExpr.dyn_o )
[ 9 of 34] Compiling Copilot.Theorem.Kind2.PrettyPrint ( src/Copilot/Theorem/Kind2/PrettyPrint.hs, dist/build/Copilot/Theorem/Kind2/PrettyPrint.o, dist/build/Copilot/Theorem/Kind2/PrettyPrint.dyn_o )
[10 of 34] Compiling Copilot.Theorem.Misc.Utils ( src/Copilot/Theorem/Misc/Utils.hs, dist/build/Copilot/Theorem/Misc/Utils.o, dist/build/Copilot/Theorem/Misc/Utils.dyn_o )
src/Copilot/Theorem/Misc/Utils.hs:19:1: error: [GHC-44360]
System.Directory: Can't be safely imported!
The module itself isn't safe.
|
19 | import System.Directory
| ^^^^^^^^^^^^^^^^^^^^^^^
[11 of 34] Compiling Copilot.Theorem.Prove ( src/Copilot/Theorem/Prove.hs, dist/build/Copilot/Theorem/Prove.o, dist/build/Copilot/Theorem/Prove.dyn_o )
src/Copilot/Theorem/Prove.hs:78:10: error: [GHC-88464]
Variable not in scope:
liftM :: (a1 -> b) -> ProofScheme a a1 -> ProofScheme a b
Suggested fix:
Perhaps use lift (imported from Control.Monad.Writer)
|
78 | fmap = liftM
| ^^^^^
src/Copilot/Theorem/Prove.hs:82:11: error: [GHC-88464]
Variable not in scope:
ap
:: ProofScheme a (a1 -> b) -> ProofScheme a a1 -> ProofScheme a b
Suggested fix: Perhaps use map (imported from Prelude)
|
82 | (<*>) = ap
| ^^
[20 of 34] Compiling Copilot.Theorem.TransSys.Invariants ( src/Copilot/Theorem/TransSys/Invariants.hs, dist/build/Copilot/Theorem/TransSys/Invariants.o, dist/build/Copilot/Theorem/TransSys/Invariants.dyn_o )
[21 of 34] Compiling Copilot.Theorem.TransSys.Type ( src/Copilot/Theorem/TransSys/Type.hs, dist/build/Copilot/Theorem/TransSys/Type.o, dist/build/Copilot/Theorem/TransSys/Type.dyn_o )
[22 of 34] Compiling Copilot.Theorem.TransSys.Cast ( src/Copilot/Theorem/TransSys/Cast.hs, dist/build/Copilot/Theorem/TransSys/Cast.o, dist/build/Copilot/Theorem/TransSys/Cast.dyn_o )
src/Copilot/Theorem/TransSys/Cast.hs:30:16: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In a case alternative:
Patterns of type Type t not matched:
Array _
Struct _
|
30 | castedType t = case t of
| ^^^^^^^^^...
[23 of 34] Compiling Copilot.Theorem.TransSys.Operators ( src/Copilot/Theorem/TransSys/Operators.hs, dist/build/Copilot/Theorem/TransSys/Operators.o, dist/build/Copilot/Theorem/TransSys/Operators.dyn_o )
src/Copilot/Theorem/TransSys/Operators.hs:138:54: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In a case alternative:
Patterns of type C.Op1 _a _b not matched:
C.Ceiling _
C.Floor _
C.GetField _ _ _
|
138 | handleOp1 resT (op, e) handleExpr notHandledF mkOp = case op of
| ^^^^^^^^^^...
src/Copilot/Theorem/TransSys/Operators.hs:224:65: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In a case alternative:
Patterns of type C.Op2 _a _b _c not matched:
C.Atan2 _
C.Index _
|
224 | handleOp2 resT (op, e1, e2) handleExpr notHandledF mkOp notOp = case op of
| ^^^^^^^^^^...
[33 of 34] Compiling Copilot.Theorem.What4.Translate ( src/Copilot/Theorem/What4/Translate.hs, dist/build/Copilot/Theorem/What4/Translate.o, dist/build/Copilot/Theorem/What4/Translate.dyn_o )
src/Copilot/Theorem/What4/Translate.hs:373:13: warning: [GHC-62161] [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding:
Patterns of type Maybe (V.Vector x (XExpr sym)) not matched:
Nothing
|
373 | let Just v = V.fromList n elts
| ^^^^^^^^^^^^^^^^^^^^^^^^^^
[34 of 34] Compiling Copilot.Theorem.What4 ( src/Copilot/Theorem/What4.hs, dist/build/Copilot/Theorem/What4.o, dist/build/Copilot/Theorem/What4.dyn_o )
src/Copilot/Theorem/What4.hs:119:25: error: [GHC-88464]
Variable not in scope:
forM
:: [CS.Property]
-> (CS.Property
-> TransM
(WB.ExprBuilder
x BuilderState (WB.Flags What4.FloatMode.FloatIEEE))
(CE.Name, SatResult))
-> TransM sym0 [(CE.Name, SatResult)]
|
119 | let proveProperties = forM (CS.specProperties spec) $ \pr -> do
| ^^^^
src/Copilot/Theorem/What4.hs:121:23: error: [GHC-88464]
Variable not in scope:
forM
:: [Integer]
-> (Integer
-> TransM
(WB.ExprBuilder
x BuilderState (WB.Flags What4.FloatMode.FloatIEEE))
(WB.Expr x WI.BaseBoolType))
-> TransM
(WB.ExprBuilder
x BuilderState (WB.Flags What4.FloatMode.FloatIEEE))
(t2 (WB.Expr x WI.BaseBoolType))
|
121 | base_cases <- forM [0 .. maxBufLen - 1] $ \i -> do
| ^^^^
src/Copilot/Theorem/What4.hs:129:21: error: [GHC-88464]
Variable not in scope:
forM
:: [Integer]
-> (Integer
-> TransM
(WB.ExprBuilder
x BuilderState (WB.Flags What4.FloatMode.FloatIEEE))
(WB.Expr x WI.BaseBoolType))
-> TransM
(WB.ExprBuilder
x BuilderState (WB.Flags What4.FloatMode.FloatIEEE))
(t1 (WB.Expr x WI.BaseBoolType))
|
129 | ind_hyps <- forM [0 .. maxBufLen-1] $ \i -> do
| ^^^^
src/Copilot/Theorem/What4.hs:265:9: error: [GHC-88464]
Variable not in scope:
forM
:: [CS.Stream]
-> (CS.Stream -> IO (CE.Id, Some CT.Type, [XExpr sym]))
-> IO [(CE.Id, Some CT.Type, [XExpr sym])]
|
265 | xs <- forM (CS.specStreams spec) $
| ^^^^
src/Copilot/Theorem/What4.hs:281:9: error: [GHC-88464]
Variable not in scope:
forM
:: [CS.Stream]
-> (CS.Stream -> TransM sym (CE.Id, Some CT.Type, [XExpr sym]))
-> TransM sym [(CE.Id, Some CT.Type, [XExpr sym])]
|
281 | xs <- forM (CS.specStreams spec) $
| ^^^^
src/Copilot/Theorem/What4.hs:299:9: error: [GHC-88464]
Variable not in scope:
forM
:: [CS.Stream]
-> (CS.Stream -> TransM sym (CE.Id, Some CT.Type, [XExpr sym]))
-> TransM sym [(CE.Id, Some CT.Type, [XExpr sym])]
|
299 | xs <- forM (CS.specStreams spec) $
| ^^^^
src/Copilot/Theorem/What4.hs:315:32: error: [GHC-88464]
Variable not in scope:
forM
:: [CS.Trigger]
-> (CS.Trigger
-> TransM
sym
(CE.Name, WI.SymExpr sym WI.BaseBoolType,
[(Some CT.Type, XExpr sym)]))
-> TransM
sym
[(CE.Name, WI.SymExpr sym WI.BaseBoolType,
[(Some CT.Type, XExpr sym)])]
|
315 | computeTriggerState sym spec = forM (CS.specTriggers spec) $
| ^^^^
src/Copilot/Theorem/What4.hs:338:3: error: [GHC-88464]
Variable not in scope:
forM
:: [(CE.Name, Some CT.Type)]
-> ((CE.Name, Some CT.Type)
-> TransM sym (CE.Name, Some CT.Type, XExpr sym))
-> TransM sym [(CE.Name, Some CT.Type, XExpr sym)]
|
338 | forM exts $ \(nm, Some tp) -> do
| ^^^^
src/Copilot/Theorem/What4.hs:353:16: error: [GHC-88464]
Variable not in scope:
forM
:: [CE.Expr Bool]
-> (CE.Expr Bool -> TransM sym [WI.SymExpr sym WI.BaseBoolType])
-> TransM sym (t0 [WI.SymExpr sym WI.BaseBoolType])
|
353 | concat <$> forM specPropertyExprs computeAssumption
| ^^^^
src/Copilot/Theorem/What4.hs:370:27: error: [GHC-88464]
Variable not in scope:
forM
:: [a0]
-> (Integer -> TransM sym (WI.SymExpr sym WI.BaseBoolType))
-> TransM sym [WI.SymExpr sym WI.BaseBoolType]
|
370 | computeAssumption e = forM [0 .. maxBufLen] $ \i -> do
| ^^^^
cabal: Leaving directory '/tmp/cabal-tmp-1982174/copilot-theorem-3.18'
Error: cabal: Some packages failed to install:
copilot-3.18-Hy3Od74LpIfF5xRNTVzw7f depends on copilot-3.18 which failed to
install.
copilot-language-3.18-5eeJGIpSMHy2x36XyERaxx depends on copilot-language-3.18
which failed to install.
copilot-libraries-3.18-2UHZbtP8l1GIxXRHXhrQKT depends on
copilot-libraries-3.18 which failed to install.
copilot-theorem-3.18-1asrxsXpO5qKiYWSYiVmI7 failed during the building phase.
The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.