Resolving dependencies...
Starting     data-array-byte-0.1.0.1
Starting     splitmix-0.1.0.4
Starting     syb-0.7.2.3
Building     data-array-byte-0.1.0.1
Building     splitmix-0.1.0.4
Building     syb-0.7.2.3
Completed    splitmix-0.1.0.4
Starting     random-1.2.1.1
Completed    data-array-byte-0.1.0.1
Starting     hashable-1.4.2.0
Building     random-1.2.1.1
Building     hashable-1.4.2.0
Completed    syb-0.7.2.3
Completed    hashable-1.4.2.0
Starting     async-2.2.4
Starting     libBF-0.6.5.1
Starting     unordered-containers-0.2.19.1
Building     async-2.2.4
Building     libBF-0.6.5.1
Building     unordered-containers-0.2.19.1
Completed    random-1.2.1.1
Starting     QuickCheck-2.14.2
Building     QuickCheck-2.14.2
Completed    async-2.2.4
Completed    libBF-0.6.5.1
Completed    unordered-containers-0.2.19.1
Starting     uniplate-1.6.13
Building     uniplate-1.6.13
Completed    QuickCheck-2.14.2
Completed    uniplate-1.6.13
Starting     sbv-10.0
Building     sbv-10.0
Failed to install sbv-10.0
Build log ( /home/builder/.cabal/logs/ghc-9.2.4/sbv-10.0-4jWeBip8Rl6FH5uaxR9TN8.log ):
cabal: Entering directory '/tmp/cabal-tmp-4010863/sbv-10.0'
Configuring sbv-10.0...
Preprocessing library for sbv-10.0..
Building library for sbv-10.0..
[  1 of 161] Compiling Data.SBV.Control.Types ( Data/SBV/Control/Types.hs, dist/build/Data/SBV/Control/Types.o, dist/build/Data/SBV/Control/Types.dyn_o )
[  2 of 161] Compiling Data.SBV.Core.AlgReals ( Data/SBV/Core/AlgReals.hs, dist/build/Data/SBV/Core/AlgReals.o, dist/build/Data/SBV/Core/AlgReals.dyn_o )
[  3 of 161] Compiling Data.SBV.SMT.SMTLibNames ( Data/SBV/SMT/SMTLibNames.hs, dist/build/Data/SBV/SMT/SMTLibNames.o, dist/build/Data/SBV/SMT/SMTLibNames.dyn_o )
[  4 of 161] Compiling Data.SBV.Utils.ExtractIO ( Data/SBV/Utils/ExtractIO.hs, dist/build/Data/SBV/Utils/ExtractIO.o, dist/build/Data/SBV/Utils/ExtractIO.dyn_o )
[  5 of 161] Compiling Data.SBV.Utils.Lib ( Data/SBV/Utils/Lib.hs, dist/build/Data/SBV/Utils/Lib.o, dist/build/Data/SBV/Utils/Lib.dyn_o )
[  6 of 161] Compiling Data.SBV.Core.Kind ( Data/SBV/Core/Kind.hs, dist/build/Data/SBV/Core/Kind.o, dist/build/Data/SBV/Core/Kind.dyn_o )
[  7 of 161] Compiling Data.SBV.Utils.Numeric ( Data/SBV/Utils/Numeric.hs, dist/build/Data/SBV/Utils/Numeric.o, dist/build/Data/SBV/Utils/Numeric.dyn_o )
[  8 of 161] Compiling Data.SBV.Core.SizedFloats ( Data/SBV/Core/SizedFloats.hs, dist/build/Data/SBV/Core/SizedFloats.o, dist/build/Data/SBV/Core/SizedFloats.dyn_o )
[  9 of 161] Compiling Data.SBV.Float   ( Data/SBV/Float.hs, dist/build/Data/SBV/Float.o, dist/build/Data/SBV/Float.dyn_o )
[ 10 of 161] Compiling Data.SBV.Core.Concrete ( Data/SBV/Core/Concrete.hs, dist/build/Data/SBV/Core/Concrete.o, dist/build/Data/SBV/Core/Concrete.dyn_o )
[ 11 of 161] Compiling Data.SBV.Utils.TDiff ( Data/SBV/Utils/TDiff.hs, dist/build/Data/SBV/Utils/TDiff.o, dist/build/Data/SBV/Utils/TDiff.dyn_o )
[ 12 of 161] Compiling Data.SBV.Core.Symbolic ( Data/SBV/Core/Symbolic.hs, dist/build/Data/SBV/Core/Symbolic.o, dist/build/Data/SBV/Core/Symbolic.dyn_o )
[ 13 of 161] Compiling Data.SBV.Core.Operations ( Data/SBV/Core/Operations.hs, dist/build/Data/SBV/Core/Operations.o, dist/build/Data/SBV/Core/Operations.dyn_o )
[ 14 of 161] Compiling Data.SBV.Core.Data ( Data/SBV/Core/Data.hs, dist/build/Data/SBV/Core/Data.o, dist/build/Data/SBV/Core/Data.dyn_o )
[ 15 of 161] Compiling Data.SBV.Utils.SExpr ( Data/SBV/Utils/SExpr.hs, dist/build/Data/SBV/Utils/SExpr.o, dist/build/Data/SBV/Utils/SExpr.dyn_o )
[ 16 of 161] Compiling Data.SBV.Utils.PrettyNum ( Data/SBV/Utils/PrettyNum.hs, dist/build/Data/SBV/Utils/PrettyNum.o, dist/build/Data/SBV/Utils/PrettyNum.dyn_o )
[ 17 of 161] Compiling Data.SBV.Utils.CrackNum ( Data/SBV/Utils/CrackNum.hs, dist/build/Data/SBV/Utils/CrackNum.o, dist/build/Data/SBV/Utils/CrackNum.dyn_o )
[ 18 of 161] Compiling Data.SBV.SMT.Utils ( Data/SBV/SMT/Utils.hs, dist/build/Data/SBV/SMT/Utils.o, dist/build/Data/SBV/SMT/Utils.dyn_o )
[ 19 of 161] Compiling Data.SBV.SMT.SMTLib2 ( Data/SBV/SMT/SMTLib2.hs, dist/build/Data/SBV/SMT/SMTLib2.o, dist/build/Data/SBV/SMT/SMTLib2.dyn_o )
[ 20 of 161] Compiling Data.SBV.SMT.SMTLib ( Data/SBV/SMT/SMTLib.hs, dist/build/Data/SBV/SMT/SMTLib.o, dist/build/Data/SBV/SMT/SMTLib.dyn_o )
[ 21 of 161] Compiling Data.SBV.SMT.SMT ( Data/SBV/SMT/SMT.hs, dist/build/Data/SBV/SMT/SMT.o, dist/build/Data/SBV/SMT/SMT.dyn_o )
[ 22 of 161] Compiling Data.SBV.Provers.Z3 ( Data/SBV/Provers/Z3.hs, dist/build/Data/SBV/Provers/Z3.o, dist/build/Data/SBV/Provers/Z3.dyn_o )
[ 23 of 161] Compiling Data.SBV.Provers.Yices ( Data/SBV/Provers/Yices.hs, dist/build/Data/SBV/Provers/Yices.o, dist/build/Data/SBV/Provers/Yices.dyn_o )
[ 24 of 161] Compiling Data.SBV.Provers.MathSAT ( Data/SBV/Provers/MathSAT.hs, dist/build/Data/SBV/Provers/MathSAT.o, dist/build/Data/SBV/Provers/MathSAT.dyn_o )
[ 25 of 161] Compiling Data.SBV.Provers.DReal ( Data/SBV/Provers/DReal.hs, dist/build/Data/SBV/Provers/DReal.o, dist/build/Data/SBV/Provers/DReal.dyn_o )
[ 26 of 161] Compiling Data.SBV.Provers.CVC5 ( Data/SBV/Provers/CVC5.hs, dist/build/Data/SBV/Provers/CVC5.o, dist/build/Data/SBV/Provers/CVC5.dyn_o )
[ 27 of 161] Compiling Data.SBV.Provers.CVC4 ( Data/SBV/Provers/CVC4.hs, dist/build/Data/SBV/Provers/CVC4.o, dist/build/Data/SBV/Provers/CVC4.dyn_o )
[ 28 of 161] Compiling Data.SBV.Provers.Boolector ( Data/SBV/Provers/Boolector.hs, dist/build/Data/SBV/Provers/Boolector.o, dist/build/Data/SBV/Provers/Boolector.dyn_o )
[ 29 of 161] Compiling Data.SBV.Provers.Bitwuzla ( Data/SBV/Provers/Bitwuzla.hs, dist/build/Data/SBV/Provers/Bitwuzla.o, dist/build/Data/SBV/Provers/Bitwuzla.dyn_o )
[ 30 of 161] Compiling Data.SBV.Provers.ABC ( Data/SBV/Provers/ABC.hs, dist/build/Data/SBV/Provers/ABC.o, dist/build/Data/SBV/Provers/ABC.dyn_o )
[ 31 of 161] Compiling Data.SBV.Lambda  ( Data/SBV/Lambda.hs, dist/build/Data/SBV/Lambda.o, dist/build/Data/SBV/Lambda.dyn_o )
[ 32 of 161] Compiling Data.SBV.Control.Utils ( Data/SBV/Control/Utils.hs, dist/build/Data/SBV/Control/Utils.o, dist/build/Data/SBV/Control/Utils.dyn_o )
[ 33 of 161] Compiling Data.SBV.Control.Query ( Data/SBV/Control/Query.hs, dist/build/Data/SBV/Control/Query.o, dist/build/Data/SBV/Control/Query.dyn_o )
[ 34 of 161] Compiling Data.SBV.Trans.Control ( Data/SBV/Trans/Control.hs, dist/build/Data/SBV/Trans/Control.o, dist/build/Data/SBV/Trans/Control.dyn_o )
[ 35 of 161] Compiling Data.SBV.Provers.Prover ( Data/SBV/Provers/Prover.hs, dist/build/Data/SBV/Provers/Prover.o, dist/build/Data/SBV/Provers/Prover.dyn_o )
[ 36 of 161] Compiling Data.SBV.Tools.GenTest ( Data/SBV/Tools/GenTest.hs, dist/build/Data/SBV/Tools/GenTest.o, dist/build/Data/SBV/Tools/GenTest.dyn_o )
[ 37 of 161] Compiling Data.SBV.Core.Model ( Data/SBV/Core/Model.hs, dist/build/Data/SBV/Core/Model.o, dist/build/Data/SBV/Core/Model.dyn_o )
[ 38 of 161] Compiling Data.SBV.Tuple   ( Data/SBV/Tuple.hs, dist/build/Data/SBV/Tuple.o, dist/build/Data/SBV/Tuple.dyn_o )
[ 39 of 161] Compiling Data.SBV.Tools.STree ( Data/SBV/Tools/STree.hs, dist/build/Data/SBV/Tools/STree.o, dist/build/Data/SBV/Tools/STree.dyn_o )
[ 40 of 161] Compiling Data.SBV.String  ( Data/SBV/String.hs, dist/build/Data/SBV/String.o, dist/build/Data/SBV/String.dyn_o )
[ 41 of 161] Compiling Data.SBV.Set     ( Data/SBV/Set.hs, dist/build/Data/SBV/Set.o, dist/build/Data/SBV/Set.dyn_o )
[ 42 of 161] Compiling Data.SBV.Rational ( Data/SBV/Rational.hs, dist/build/Data/SBV/Rational.o, dist/build/Data/SBV/Rational.dyn_o )
[ 43 of 161] Compiling Data.SBV.Maybe   ( Data/SBV/Maybe.hs, dist/build/Data/SBV/Maybe.o, dist/build/Data/SBV/Maybe.dyn_o )
[ 44 of 161] Compiling Data.SBV.List    ( Data/SBV/List.hs, dist/build/Data/SBV/List.o, dist/build/Data/SBV/List.dyn_o )
[ 45 of 161] Compiling Data.SBV.Either  ( Data/SBV/Either.hs, dist/build/Data/SBV/Either.o, dist/build/Data/SBV/Either.dyn_o )
[ 46 of 161] Compiling Data.SBV.Core.Sized ( Data/SBV/Core/Sized.hs, dist/build/Data/SBV/Core/Sized.o, dist/build/Data/SBV/Core/Sized.dyn_o )
[ 47 of 161] Compiling Data.SBV.Tools.Polynomial ( Data/SBV/Tools/Polynomial.hs, dist/build/Data/SBV/Tools/Polynomial.o, dist/build/Data/SBV/Tools/Polynomial.dyn_o )
[ 48 of 161] Compiling Data.SBV.Tools.Overflow ( Data/SBV/Tools/Overflow.hs, dist/build/Data/SBV/Tools/Overflow.o, dist/build/Data/SBV/Tools/Overflow.dyn_o )
[ 49 of 161] Compiling Data.SBV.Core.Floating ( Data/SBV/Core/Floating.hs, dist/build/Data/SBV/Core/Floating.o, dist/build/Data/SBV/Core/Floating.dyn_o )
[ 50 of 161] Compiling Data.SBV.Char    ( Data/SBV/Char.hs, dist/build/Data/SBV/Char.o, dist/build/Data/SBV/Char.dyn_o )
[ 51 of 161] Compiling Data.SBV.RegExp  ( Data/SBV/RegExp.hs, dist/build/Data/SBV/RegExp.o, dist/build/Data/SBV/RegExp.dyn_o )
[ 52 of 161] Compiling Data.SBV.Client  ( Data/SBV/Client.hs, dist/build/Data/SBV/Client.o, dist/build/Data/SBV/Client.dyn_o )
[ 53 of 161] Compiling Data.SBV.Control.BaseIO ( Data/SBV/Control/BaseIO.hs, dist/build/Data/SBV/Control/BaseIO.o, dist/build/Data/SBV/Control/BaseIO.dyn_o )
[ 54 of 161] Compiling Data.SBV.Control ( Data/SBV/Control.hs, dist/build/Data/SBV/Control.o, dist/build/Data/SBV/Control.dyn_o )
[ 55 of 161] Compiling Data.SBV.Compilers.CodeGen ( Data/SBV/Compilers/CodeGen.hs, dist/build/Data/SBV/Compilers/CodeGen.o, dist/build/Data/SBV/Compilers/CodeGen.dyn_o )
[ 56 of 161] Compiling Data.SBV.Compilers.C ( Data/SBV/Compilers/C.hs, dist/build/Data/SBV/Compilers/C.o, dist/build/Data/SBV/Compilers/C.dyn_o )
[ 57 of 161] Compiling Data.SBV.Tools.CodeGen ( Data/SBV/Tools/CodeGen.hs, dist/build/Data/SBV/Tools/CodeGen.o, dist/build/Data/SBV/Tools/CodeGen.dyn_o )
[ 58 of 161] Compiling Data.SBV.Internals ( Data/SBV/Internals.hs, dist/build/Data/SBV/Internals.o, dist/build/Data/SBV/Internals.dyn_o )
[ 59 of 161] Compiling Data.SBV.Client.BaseIO ( Data/SBV/Client/BaseIO.hs, dist/build/Data/SBV/Client/BaseIO.o, dist/build/Data/SBV/Client/BaseIO.dyn_o )
[ 60 of 161] Compiling Data.SBV.Trans   ( Data/SBV/Trans.hs, dist/build/Data/SBV/Trans.o, dist/build/Data/SBV/Trans.dyn_o )
[ 61 of 161] Compiling Data.SBV         ( Data/SBV.hs, dist/build/Data/SBV.o, dist/build/Data/SBV.dyn_o )
[ 62 of 161] Compiling Data.SBV.Tools.WeakestPreconditions ( Data/SBV/Tools/WeakestPreconditions.hs, dist/build/Data/SBV/Tools/WeakestPreconditions.o, dist/build/Data/SBV/Tools/WeakestPreconditions.dyn_o )
[ 63 of 161] Compiling Data.SBV.Tools.Range ( Data/SBV/Tools/Range.hs, dist/build/Data/SBV/Tools/Range.o, dist/build/Data/SBV/Tools/Range.dyn_o )
[ 64 of 161] Compiling Data.SBV.Tools.Induction ( Data/SBV/Tools/Induction.hs, dist/build/Data/SBV/Tools/Induction.o, dist/build/Data/SBV/Tools/Induction.dyn_o )
[ 65 of 161] Compiling Data.SBV.Tools.BoundedList ( Data/SBV/Tools/BoundedList.hs, dist/build/Data/SBV/Tools/BoundedList.o, dist/build/Data/SBV/Tools/BoundedList.dyn_o )
[ 66 of 161] Compiling Data.SBV.Tools.BoundedFix ( Data/SBV/Tools/BoundedFix.hs, dist/build/Data/SBV/Tools/BoundedFix.o, dist/build/Data/SBV/Tools/BoundedFix.dyn_o )
[ 67 of 161] Compiling Data.SBV.Tools.BMC ( Data/SBV/Tools/BMC.hs, dist/build/Data/SBV/Tools/BMC.o, dist/build/Data/SBV/Tools/BMC.dyn_o )
[ 68 of 161] Compiling Data.SBV.Dynamic ( Data/SBV/Dynamic.hs, dist/build/Data/SBV/Dynamic.o, dist/build/Data/SBV/Dynamic.dyn_o )
[ 69 of 161] Compiling Documentation.SBV.Examples.BitPrecise.BitTricks ( Documentation/SBV/Examples/BitPrecise/BitTricks.hs, dist/build/Documentation/SBV/Examples/BitPrecise/BitTricks.o, dist/build/Documentation/SBV/Examples/BitPrecise/BitTricks.dyn_o )
[ 70 of 161] Compiling Documentation.SBV.Examples.BitPrecise.BrokenSearch ( Documentation/SBV/Examples/BitPrecise/BrokenSearch.hs, dist/build/Documentation/SBV/Examples/BitPrecise/BrokenSearch.o, dist/build/Documentation/SBV/Examples/BitPrecise/BrokenSearch.dyn_o )
[ 71 of 161] Compiling Documentation.SBV.Examples.BitPrecise.Legato ( Documentation/SBV/Examples/BitPrecise/Legato.hs, dist/build/Documentation/SBV/Examples/BitPrecise/Legato.o, dist/build/Documentation/SBV/Examples/BitPrecise/Legato.dyn_o )
[ 72 of 161] Compiling Documentation.SBV.Examples.BitPrecise.MergeSort ( Documentation/SBV/Examples/BitPrecise/MergeSort.hs, dist/build/Documentation/SBV/Examples/BitPrecise/MergeSort.o, dist/build/Documentation/SBV/Examples/BitPrecise/MergeSort.dyn_o )
[ 73 of 161] Compiling Documentation.SBV.Examples.BitPrecise.MultMask ( Documentation/SBV/Examples/BitPrecise/MultMask.hs, dist/build/Documentation/SBV/Examples/BitPrecise/MultMask.o, dist/build/Documentation/SBV/Examples/BitPrecise/MultMask.dyn_o )
[ 74 of 161] Compiling Documentation.SBV.Examples.BitPrecise.PrefixSum ( Documentation/SBV/Examples/BitPrecise/PrefixSum.hs, dist/build/Documentation/SBV/Examples/BitPrecise/PrefixSum.o, dist/build/Documentation/SBV/Examples/BitPrecise/PrefixSum.dyn_o )
[ 75 of 161] Compiling Documentation.SBV.Examples.CodeGeneration.AddSub ( Documentation/SBV/Examples/CodeGeneration/AddSub.hs, dist/build/Documentation/SBV/Examples/CodeGeneration/AddSub.o, dist/build/Documentation/SBV/Examples/CodeGeneration/AddSub.dyn_o )
[ 76 of 161] Compiling Documentation.SBV.Examples.CodeGeneration.CRC_USB5 ( Documentation/SBV/Examples/CodeGeneration/CRC_USB5.hs, dist/build/Documentation/SBV/Examples/CodeGeneration/CRC_USB5.o, dist/build/Documentation/SBV/Examples/CodeGeneration/CRC_USB5.dyn_o )
[ 77 of 161] Compiling Documentation.SBV.Examples.CodeGeneration.Fibonacci ( Documentation/SBV/Examples/CodeGeneration/Fibonacci.hs, dist/build/Documentation/SBV/Examples/CodeGeneration/Fibonacci.o, dist/build/Documentation/SBV/Examples/CodeGeneration/Fibonacci.dyn_o )
[ 78 of 161] Compiling Documentation.SBV.Examples.CodeGeneration.GCD ( Documentation/SBV/Examples/CodeGeneration/GCD.hs, dist/build/Documentation/SBV/Examples/CodeGeneration/GCD.o, dist/build/Documentation/SBV/Examples/CodeGeneration/GCD.dyn_o )
[ 79 of 161] Compiling Documentation.SBV.Examples.CodeGeneration.PopulationCount ( Documentation/SBV/Examples/CodeGeneration/PopulationCount.hs, dist/build/Documentation/SBV/Examples/CodeGeneration/PopulationCount.o, dist/build/Documentation/SBV/Examples/CodeGeneration/PopulationCount.dyn_o )
[ 80 of 161] Compiling Documentation.SBV.Examples.CodeGeneration.Uninterpreted ( Documentation/SBV/Examples/CodeGeneration/Uninterpreted.hs, dist/build/Documentation/SBV/Examples/CodeGeneration/Uninterpreted.o, dist/build/Documentation/SBV/Examples/CodeGeneration/Uninterpreted.dyn_o )
[ 81 of 161] Compiling Documentation.SBV.Examples.Crypto.AES ( Documentation/SBV/Examples/Crypto/AES.hs, dist/build/Documentation/SBV/Examples/Crypto/AES.o, dist/build/Documentation/SBV/Examples/Crypto/AES.dyn_o )
[ 82 of 161] Compiling Documentation.SBV.Examples.Crypto.RC4 ( Documentation/SBV/Examples/Crypto/RC4.hs, dist/build/Documentation/SBV/Examples/Crypto/RC4.o, dist/build/Documentation/SBV/Examples/Crypto/RC4.dyn_o )
[ 83 of 161] Compiling Documentation.SBV.Examples.Crypto.SHA ( Documentation/SBV/Examples/Crypto/SHA.hs, dist/build/Documentation/SBV/Examples/Crypto/SHA.o, dist/build/Documentation/SBV/Examples/Crypto/SHA.dyn_o )
[ 84 of 161] Compiling Documentation.SBV.Examples.DeltaSat.DeltaSat ( Documentation/SBV/Examples/DeltaSat/DeltaSat.hs, dist/build/Documentation/SBV/Examples/DeltaSat/DeltaSat.o, dist/build/Documentation/SBV/Examples/DeltaSat/DeltaSat.dyn_o )
[ 85 of 161] Compiling Documentation.SBV.Examples.Existentials.CRCPolynomial ( Documentation/SBV/Examples/Existentials/CRCPolynomial.hs, dist/build/Documentation/SBV/Examples/Existentials/CRCPolynomial.o, dist/build/Documentation/SBV/Examples/Existentials/CRCPolynomial.dyn_o )
[ 86 of 161] Compiling Documentation.SBV.Examples.Existentials.Diophantine ( Documentation/SBV/Examples/Existentials/Diophantine.hs, dist/build/Documentation/SBV/Examples/Existentials/Diophantine.o, dist/build/Documentation/SBV/Examples/Existentials/Diophantine.dyn_o )
[ 87 of 161] Compiling Documentation.SBV.Examples.Lists.BoundedMutex ( Documentation/SBV/Examples/Lists/BoundedMutex.hs, dist/build/Documentation/SBV/Examples/Lists/BoundedMutex.o, dist/build/Documentation/SBV/Examples/Lists/BoundedMutex.dyn_o )
[ 88 of 161] Compiling Documentation.SBV.Examples.Lists.CountOutAndTransfer ( Documentation/SBV/Examples/Lists/CountOutAndTransfer.hs, dist/build/Documentation/SBV/Examples/Lists/CountOutAndTransfer.o, dist/build/Documentation/SBV/Examples/Lists/CountOutAndTransfer.dyn_o )
[ 89 of 161] Compiling Documentation.SBV.Examples.Lists.Fibonacci ( Documentation/SBV/Examples/Lists/Fibonacci.hs, dist/build/Documentation/SBV/Examples/Lists/Fibonacci.o, dist/build/Documentation/SBV/Examples/Lists/Fibonacci.dyn_o )
[ 90 of 161] Compiling Documentation.SBV.Examples.Lists.Nested ( Documentation/SBV/Examples/Lists/Nested.hs, dist/build/Documentation/SBV/Examples/Lists/Nested.o, dist/build/Documentation/SBV/Examples/Lists/Nested.dyn_o )
[ 91 of 161] Compiling Documentation.SBV.Examples.Misc.Auxiliary ( Documentation/SBV/Examples/Misc/Auxiliary.hs, dist/build/Documentation/SBV/Examples/Misc/Auxiliary.o, dist/build/Documentation/SBV/Examples/Misc/Auxiliary.dyn_o )
[ 92 of 161] Compiling Documentation.SBV.Examples.Misc.Definitions ( Documentation/SBV/Examples/Misc/Definitions.hs, dist/build/Documentation/SBV/Examples/Misc/Definitions.o, dist/build/Documentation/SBV/Examples/Misc/Definitions.dyn_o )
[ 93 of 161] Compiling Documentation.SBV.Examples.Misc.Enumerate ( Documentation/SBV/Examples/Misc/Enumerate.hs, dist/build/Documentation/SBV/Examples/Misc/Enumerate.o, dist/build/Documentation/SBV/Examples/Misc/Enumerate.dyn_o )
[ 94 of 161] Compiling Documentation.SBV.Examples.Misc.FirstOrderLogic ( Documentation/SBV/Examples/Misc/FirstOrderLogic.hs, dist/build/Documentation/SBV/Examples/Misc/FirstOrderLogic.o, dist/build/Documentation/SBV/Examples/Misc/FirstOrderLogic.dyn_o )
[ 95 of 161] Compiling Documentation.SBV.Examples.Misc.Floating ( Documentation/SBV/Examples/Misc/Floating.hs, dist/build/Documentation/SBV/Examples/Misc/Floating.o, dist/build/Documentation/SBV/Examples/Misc/Floating.dyn_o )
[ 96 of 161] Compiling Documentation.SBV.Examples.Misc.LambdaArray ( Documentation/SBV/Examples/Misc/LambdaArray.hs, dist/build/Documentation/SBV/Examples/Misc/LambdaArray.o, dist/build/Documentation/SBV/Examples/Misc/LambdaArray.dyn_o )
[ 97 of 161] Compiling Documentation.SBV.Examples.Misc.ModelExtract ( Documentation/SBV/Examples/Misc/ModelExtract.hs, dist/build/Documentation/SBV/Examples/Misc/ModelExtract.o, dist/build/Documentation/SBV/Examples/Misc/ModelExtract.dyn_o )
[ 98 of 161] Compiling Documentation.SBV.Examples.Misc.NestedArray ( Documentation/SBV/Examples/Misc/NestedArray.hs, dist/build/Documentation/SBV/Examples/Misc/NestedArray.o, dist/build/Documentation/SBV/Examples/Misc/NestedArray.dyn_o )
[ 99 of 161] Compiling Documentation.SBV.Examples.Misc.Newtypes ( Documentation/SBV/Examples/Misc/Newtypes.hs, dist/build/Documentation/SBV/Examples/Misc/Newtypes.o, dist/build/Documentation/SBV/Examples/Misc/Newtypes.dyn_o )
[100 of 161] Compiling Documentation.SBV.Examples.Misc.NoDiv0 ( Documentation/SBV/Examples/Misc/NoDiv0.hs, dist/build/Documentation/SBV/Examples/Misc/NoDiv0.o, dist/build/Documentation/SBV/Examples/Misc/NoDiv0.dyn_o )
[101 of 161] Compiling Documentation.SBV.Examples.Misc.Polynomials ( Documentation/SBV/Examples/Misc/Polynomials.hs, dist/build/Documentation/SBV/Examples/Misc/Polynomials.o, dist/build/Documentation/SBV/Examples/Misc/Polynomials.dyn_o )
[102 of 161] Compiling Documentation.SBV.Examples.Misc.SetAlgebra ( Documentation/SBV/Examples/Misc/SetAlgebra.hs, dist/build/Documentation/SBV/Examples/Misc/SetAlgebra.o, dist/build/Documentation/SBV/Examples/Misc/SetAlgebra.dyn_o )
[103 of 161] Compiling Documentation.SBV.Examples.Misc.SoftConstrain ( Documentation/SBV/Examples/Misc/SoftConstrain.hs, dist/build/Documentation/SBV/Examples/Misc/SoftConstrain.o, dist/build/Documentation/SBV/Examples/Misc/SoftConstrain.dyn_o )
[104 of 161] Compiling Documentation.SBV.Examples.Misc.Tuple ( Documentation/SBV/Examples/Misc/Tuple.hs, dist/build/Documentation/SBV/Examples/Misc/Tuple.o, dist/build/Documentation/SBV/Examples/Misc/Tuple.dyn_o )
[105 of 161] Compiling Documentation.SBV.Examples.Optimization.Enumerate ( Documentation/SBV/Examples/Optimization/Enumerate.hs, dist/build/Documentation/SBV/Examples/Optimization/Enumerate.o, dist/build/Documentation/SBV/Examples/Optimization/Enumerate.dyn_o )
[106 of 161] Compiling Documentation.SBV.Examples.Optimization.ExtField ( Documentation/SBV/Examples/Optimization/ExtField.hs, dist/build/Documentation/SBV/Examples/Optimization/ExtField.o, dist/build/Documentation/SBV/Examples/Optimization/ExtField.dyn_o )
[107 of 161] Compiling Documentation.SBV.Examples.Optimization.LinearOpt ( Documentation/SBV/Examples/Optimization/LinearOpt.hs, dist/build/Documentation/SBV/Examples/Optimization/LinearOpt.o, dist/build/Documentation/SBV/Examples/Optimization/LinearOpt.dyn_o )
[108 of 161] Compiling Documentation.SBV.Examples.Optimization.Production ( Documentation/SBV/Examples/Optimization/Production.hs, dist/build/Documentation/SBV/Examples/Optimization/Production.o, dist/build/Documentation/SBV/Examples/Optimization/Production.dyn_o )
[109 of 161] Compiling Documentation.SBV.Examples.Optimization.VM ( Documentation/SBV/Examples/Optimization/VM.hs, dist/build/Documentation/SBV/Examples/Optimization/VM.o, dist/build/Documentation/SBV/Examples/Optimization/VM.dyn_o )
[110 of 161] Compiling Documentation.SBV.Examples.ProofTools.BMC ( Documentation/SBV/Examples/ProofTools/BMC.hs, dist/build/Documentation/SBV/Examples/ProofTools/BMC.o, dist/build/Documentation/SBV/Examples/ProofTools/BMC.dyn_o )
[111 of 161] Compiling Documentation.SBV.Examples.ProofTools.Fibonacci ( Documentation/SBV/Examples/ProofTools/Fibonacci.hs, dist/build/Documentation/SBV/Examples/ProofTools/Fibonacci.o, dist/build/Documentation/SBV/Examples/ProofTools/Fibonacci.dyn_o )
[112 of 161] Compiling Documentation.SBV.Examples.ProofTools.Strengthen ( Documentation/SBV/Examples/ProofTools/Strengthen.hs, dist/build/Documentation/SBV/Examples/ProofTools/Strengthen.o, dist/build/Documentation/SBV/Examples/ProofTools/Strengthen.dyn_o )
[113 of 161] Compiling Documentation.SBV.Examples.ProofTools.Sum ( Documentation/SBV/Examples/ProofTools/Sum.hs, dist/build/Documentation/SBV/Examples/ProofTools/Sum.o, dist/build/Documentation/SBV/Examples/ProofTools/Sum.dyn_o )
[114 of 161] Compiling Documentation.SBV.Examples.Puzzles.AOC_2021_24 ( Documentation/SBV/Examples/Puzzles/AOC_2021_24.hs, dist/build/Documentation/SBV/Examples/Puzzles/AOC_2021_24.o, dist/build/Documentation/SBV/Examples/Puzzles/AOC_2021_24.dyn_o )
[115 of 161] Compiling Documentation.SBV.Examples.Puzzles.Birthday ( Documentation/SBV/Examples/Puzzles/Birthday.hs, dist/build/Documentation/SBV/Examples/Puzzles/Birthday.o, dist/build/Documentation/SBV/Examples/Puzzles/Birthday.dyn_o )
[116 of 161] Compiling Documentation.SBV.Examples.Puzzles.Coins ( Documentation/SBV/Examples/Puzzles/Coins.hs, dist/build/Documentation/SBV/Examples/Puzzles/Coins.o, dist/build/Documentation/SBV/Examples/Puzzles/Coins.dyn_o )
[117 of 161] Compiling Documentation.SBV.Examples.Puzzles.Counts ( Documentation/SBV/Examples/Puzzles/Counts.hs, dist/build/Documentation/SBV/Examples/Puzzles/Counts.o, dist/build/Documentation/SBV/Examples/Puzzles/Counts.dyn_o )
[118 of 161] Compiling Documentation.SBV.Examples.Puzzles.DogCatMouse ( Documentation/SBV/Examples/Puzzles/DogCatMouse.hs, dist/build/Documentation/SBV/Examples/Puzzles/DogCatMouse.o, dist/build/Documentation/SBV/Examples/Puzzles/DogCatMouse.dyn_o )
[119 of 161] Compiling Documentation.SBV.Examples.Puzzles.Drinker ( Documentation/SBV/Examples/Puzzles/Drinker.hs, dist/build/Documentation/SBV/Examples/Puzzles/Drinker.o, dist/build/Documentation/SBV/Examples/Puzzles/Drinker.dyn_o )
[120 of 161] Compiling Documentation.SBV.Examples.Puzzles.Euler185 ( Documentation/SBV/Examples/Puzzles/Euler185.hs, dist/build/Documentation/SBV/Examples/Puzzles/Euler185.o, dist/build/Documentation/SBV/Examples/Puzzles/Euler185.dyn_o )
[121 of 161] Compiling Documentation.SBV.Examples.Puzzles.Fish ( Documentation/SBV/Examples/Puzzles/Fish.hs, dist/build/Documentation/SBV/Examples/Puzzles/Fish.o, dist/build/Documentation/SBV/Examples/Puzzles/Fish.dyn_o )
[122 of 161] Compiling Documentation.SBV.Examples.Puzzles.Garden ( Documentation/SBV/Examples/Puzzles/Garden.hs, dist/build/Documentation/SBV/Examples/Puzzles/Garden.o, dist/build/Documentation/SBV/Examples/Puzzles/Garden.dyn_o )
[123 of 161] Compiling Documentation.SBV.Examples.Puzzles.HexPuzzle ( Documentation/SBV/Examples/Puzzles/HexPuzzle.hs, dist/build/Documentation/SBV/Examples/Puzzles/HexPuzzle.o, dist/build/Documentation/SBV/Examples/Puzzles/HexPuzzle.dyn_o )
[124 of 161] Compiling Documentation.SBV.Examples.Puzzles.Jugs ( Documentation/SBV/Examples/Puzzles/Jugs.hs, dist/build/Documentation/SBV/Examples/Puzzles/Jugs.o, dist/build/Documentation/SBV/Examples/Puzzles/Jugs.dyn_o )
[125 of 161] Compiling Documentation.SBV.Examples.Puzzles.KnightsAndKnaves ( Documentation/SBV/Examples/Puzzles/KnightsAndKnaves.hs, dist/build/Documentation/SBV/Examples/Puzzles/KnightsAndKnaves.o, dist/build/Documentation/SBV/Examples/Puzzles/KnightsAndKnaves.dyn_o )
[126 of 161] Compiling Documentation.SBV.Examples.Puzzles.LadyAndTigers ( Documentation/SBV/Examples/Puzzles/LadyAndTigers.hs, dist/build/Documentation/SBV/Examples/Puzzles/LadyAndTigers.o, dist/build/Documentation/SBV/Examples/Puzzles/LadyAndTigers.dyn_o )
[127 of 161] Compiling Documentation.SBV.Examples.Puzzles.MagicSquare ( Documentation/SBV/Examples/Puzzles/MagicSquare.hs, dist/build/Documentation/SBV/Examples/Puzzles/MagicSquare.o, dist/build/Documentation/SBV/Examples/Puzzles/MagicSquare.dyn_o )
[128 of 161] Compiling Documentation.SBV.Examples.Puzzles.Murder ( Documentation/SBV/Examples/Puzzles/Murder.hs, dist/build/Documentation/SBV/Examples/Puzzles/Murder.o, dist/build/Documentation/SBV/Examples/Puzzles/Murder.dyn_o )
[129 of 161] Compiling Documentation.SBV.Examples.Puzzles.NQueens ( Documentation/SBV/Examples/Puzzles/NQueens.hs, dist/build/Documentation/SBV/Examples/Puzzles/NQueens.o, dist/build/Documentation/SBV/Examples/Puzzles/NQueens.dyn_o )
[130 of 161] Compiling Documentation.SBV.Examples.Puzzles.Orangutans ( Documentation/SBV/Examples/Puzzles/Orangutans.hs, dist/build/Documentation/SBV/Examples/Puzzles/Orangutans.o, dist/build/Documentation/SBV/Examples/Puzzles/Orangutans.dyn_o )
[131 of 161] Compiling Documentation.SBV.Examples.Puzzles.Rabbits ( Documentation/SBV/Examples/Puzzles/Rabbits.hs, dist/build/Documentation/SBV/Examples/Puzzles/Rabbits.o, dist/build/Documentation/SBV/Examples/Puzzles/Rabbits.dyn_o )
[132 of 161] Compiling Documentation.SBV.Examples.Puzzles.SendMoreMoney ( Documentation/SBV/Examples/Puzzles/SendMoreMoney.hs, dist/build/Documentation/SBV/Examples/Puzzles/SendMoreMoney.o, dist/build/Documentation/SBV/Examples/Puzzles/SendMoreMoney.dyn_o )
[133 of 161] Compiling Documentation.SBV.Examples.Puzzles.Sudoku ( Documentation/SBV/Examples/Puzzles/Sudoku.hs, dist/build/Documentation/SBV/Examples/Puzzles/Sudoku.o, dist/build/Documentation/SBV/Examples/Puzzles/Sudoku.dyn_o )

Documentation/SBV/Examples/Puzzles/Sudoku.hs:18:1: error: [-Wunused-imports, -Werror=unused-imports]
    The import of Control.Monad is redundant
      except perhaps to import instances from Control.Monad
    To import instances alone, use: import Control.Monad()
   |
18 | import Control.Monad (when)
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^
cabal: Leaving directory '/tmp/cabal-tmp-4010863/sbv-10.0'
Error: cabal: Some packages failed to install:
sbv-10.0-4jWeBip8Rl6FH5uaxR9TN8 failed during the building phase. The
exception was:
ExitFailure 1