[all reports]
| Package |
sop-satisfier-0.3.4.5 |
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
Ok |
| Time submitted |
2025-06-07 14:52:10.897362494 UTC
|
| Compiler |
ghc-9.8.4 |
| OS |
linux |
| Arch |
x86_64 |
| Dependencies |
base-4.19.2.0, containers-0.6.8, transformers-0.6.1.0 |
| Flags |
none
|
Code Coverage
| expressions | 62% (1311/2097) |
|---|
| boolean | guards | 18% (13/69) |
|---|
| conditions | 62% (5/8) |
|---|
| qualifiers | 100% (0/0) |
|---|
| alternatives | 53% (152/282) |
|---|
| local declarations | 70% (48/68) |
|---|
| top-level declarations | 49% (94/191) |
|---|
Build log
[view raw]
Resolving dependencies...
Downloading sop-satisfier-0.3.4.5
Downloaded sop-satisfier-0.3.4.5
Configuring sop-satisfier-0.3.4.5...
Preprocessing library for sop-satisfier-0.3.4.5..
Building library for sop-satisfier-0.3.4.5..
[1 of 7] Compiling SoPSat.Internal.SoP ( src/SoPSat/Internal/SoP.hs, dist/build/SoPSat/Internal/SoP.o, dist/build/SoPSat/Internal/SoP.dyn_o )
[2 of 7] Compiling SoPSat.SoP ( src/SoPSat/SoP.hs, dist/build/SoPSat/SoP.o, dist/build/SoPSat/SoP.dyn_o )
[3 of 7] Compiling SoPSat.Internal.Unify ( src/SoPSat/Internal/Unify.hs, dist/build/SoPSat/Internal/Unify.o, dist/build/SoPSat/Internal/Unify.dyn_o )
[4 of 7] Compiling SoPSat.Internal.Range ( src/SoPSat/Internal/Range.hs, dist/build/SoPSat/Internal/Range.o, dist/build/SoPSat/Internal/Range.dyn_o )
[5 of 7] Compiling SoPSat.Internal.SolverMonad ( src/SoPSat/Internal/SolverMonad.hs, dist/build/SoPSat/Internal/SolverMonad.o, dist/build/SoPSat/Internal/SolverMonad.dyn_o )
[6 of 7] Compiling SoPSat.Internal.NewtonsMethod ( src/SoPSat/Internal/NewtonsMethod.hs, dist/build/SoPSat/Internal/NewtonsMethod.o, dist/build/SoPSat/Internal/NewtonsMethod.dyn_o )
[7 of 7] Compiling SoPSat.Satisfier ( src/SoPSat/Satisfier.hs, dist/build/SoPSat/Satisfier.o, dist/build/SoPSat/Satisfier.dyn_o )
Preprocessing library for sop-satisfier-0.3.4.5..
Running Haddock on library for sop-satisfier-0.3.4.5..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 7] Compiling SoPSat.Internal.SoP ( src/SoPSat/Internal/SoP.hs, nothing )
[2 of 7] Compiling SoPSat.SoP ( src/SoPSat/SoP.hs, nothing )
[3 of 7] Compiling SoPSat.Internal.Unify ( src/SoPSat/Internal/Unify.hs, nothing )
[4 of 7] Compiling SoPSat.Internal.Range ( src/SoPSat/Internal/Range.hs, nothing )
[5 of 7] Compiling SoPSat.Internal.SolverMonad ( src/SoPSat/Internal/SolverMonad.hs, nothing )
[6 of 7] Compiling SoPSat.Internal.NewtonsMethod ( src/SoPSat/Internal/NewtonsMethod.hs, nothing )
[7 of 7] Compiling SoPSat.Satisfier ( src/SoPSat/Satisfier.hs, nothing )
Haddock coverage:
23% ( 4 / 17) in 'SoPSat.Internal.SoP'
Missing documentation for:
Module header
mergeWith (src/SoPSat/Internal/SoP.hs:69)
reduceExp (src/SoPSat/Internal/SoP.hs:75)
mergeS (src/SoPSat/Internal/SoP.hs:92)
mergeP (src/SoPSat/Internal/SoP.hs:135)
normaliseExp (src/SoPSat/Internal/SoP.hs:150)
zeroP (src/SoPSat/Internal/SoP.hs:171)
mkNonEmpty (src/SoPSat/Internal/SoP.hs:175)
simplifySoP (src/SoPSat/Internal/SoP.hs:179)
mergeSoPAdd (src/SoPSat/Internal/SoP.hs:198)
mergeSoPMul (src/SoPSat/Internal/SoP.hs:201)
mergeSoPSub (src/SoPSat/Internal/SoP.hs:206)
mergeSoPDiv (src/SoPSat/Internal/SoP.hs:209)
Warning: 'f' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'c' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
96% ( 25 / 26) in 'SoPSat.SoP'
Missing documentation for:
Module header
0% ( 0 / 15) in 'SoPSat.Internal.Unify'
Missing documentation for:
Module header
Unifier (src/SoPSat/Internal/Unify.hs:24)
substsSoP (src/SoPSat/Internal/Unify.hs:32)
substSoP (src/SoPSat/Internal/Unify.hs:36)
substProduct (src/SoPSat/Internal/Unify.hs:39)
substSymbol (src/SoPSat/Internal/Unify.hs:42)
substsSubst (src/SoPSat/Internal/Unify.hs:49)
unifiers (src/SoPSat/Internal/Unify.hs:54)
unifiers' (src/SoPSat/Internal/Unify.hs:169)
splitSoP (src/SoPSat/Internal/Unify.hs:176)
collectBases (src/SoPSat/Internal/Unify.hs:191)
safeDiv (src/SoPSat/Internal/Unify.hs:197)
integerLogBase (src/SoPSat/Internal/Unify.hs:204)
integerLogBase' (src/SoPSat/Internal/Unify.hs:214)
integerRt (src/SoPSat/Internal/Unify.hs:224)
0% ( 0 / 7) in 'SoPSat.Internal.Range'
Missing documentation for:
Module header
Range (src/SoPSat/Internal/Range.hs:22)
Bound (src/SoPSat/Internal/Range.hs:13)
boundSoP (src/SoPSat/Internal/Range.hs:19)
rangeAdd (src/SoPSat/Internal/Range.hs:46)
rangeMul (src/SoPSat/Internal/Range.hs:54)
rangeExp (src/SoPSat/Internal/Range.hs:91)
20% ( 3 / 15) in 'SoPSat.Internal.SolverMonad'
Missing documentation for:
Module header
State (src/SoPSat/Internal/SolverMonad.hs:27)
SolverState (src/SoPSat/Internal/SolverMonad.hs:38)
maybeFail (src/SoPSat/Internal/SolverMonad.hs:41)
getRanges (src/SoPSat/Internal/SolverMonad.hs:45)
getRange (src/SoPSat/Internal/SolverMonad.hs:48)
getRangeSymbol (src/SoPSat/Internal/SolverMonad.hs:51)
getRangeProduct (src/SoPSat/Internal/SolverMonad.hs:59)
getRangeSoP (src/SoPSat/Internal/SolverMonad.hs:67)
putRange (src/SoPSat/Internal/SolverMonad.hs:75)
getUnifiers (src/SoPSat/Internal/SolverMonad.hs:85)
putUnifiers (src/SoPSat/Internal/SolverMonad.hs:88)
87% ( 7 / 8) in 'SoPSat.Internal.NewtonsMethod'
Missing documentation for:
Module header
87% ( 14 / 16) in 'SoPSat.Satisfier'
Missing documentation for:
Module header
SolverState (src/SoPSat/Internal/SolverMonad.hs:38)
Documentation created: dist/doc/html/sop-satisfier/,
dist/doc/html/sop-satisfier/sop-satisfier.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/sop-satisfier-0.3.4.5-7fjxVcmzd5LJcvXkBVlzFa
Completed sop-satisfier-0.3.4.5
Test log
[view raw]
Resolving dependencies...
Build profile: -w ghc-9.8.4 -O0
In order, the following will be built (use -v for more details):
- colour-2.3.6 (lib:colour) (requires build)
- prettyprinter-1.7.1 (lib:prettyprinter) (requires build)
- tagged-0.8.9 (lib:tagged) (requires build)
- ansi-terminal-types-1.1 (lib:ansi-terminal-types) (requires build)
- ansi-terminal-1.1.2 (lib:ansi-terminal) (requires build)
- prettyprinter-ansi-terminal-1.1.3 (lib:prettyprinter-ansi-terminal) (requires build)
- optparse-applicative-0.19.0.0 (lib:optparse-applicative) (requires build)
- tasty-1.5.3 (lib:tasty) (requires build)
- tasty-hunit-0.9.2 (lib:tasty-hunit) (requires download & build)
- sop-satisfier-0.3.4.5 (first run)
Downloading tasty-hunit-0.9.2
Configuring colour-2.3.6...
Downloaded tasty-hunit-0.9.2
Preprocessing library for colour-2.3.6..
Building library for colour-2.3.6..
[ 1 of 14] Compiling Data.Colour.CIE.Chromaticity ( Data/Colour/CIE/Chromaticity.hs, dist/build/Data/Colour/CIE/Chromaticity.o, dist/build/Data/Colour/CIE/Chromaticity.dyn_o )
[ 2 of 14] Compiling Data.Colour.CIE.Illuminant ( Data/Colour/CIE/Illuminant.hs, dist/build/Data/Colour/CIE/Illuminant.o, dist/build/Data/Colour/CIE/Illuminant.dyn_o )
[ 3 of 14] Compiling Data.Colour.Chan ( Data/Colour/Chan.hs, dist/build/Data/Colour/Chan.o, dist/build/Data/Colour/Chan.dyn_o )
[ 4 of 14] Compiling Data.Colour.Internal ( Data/Colour/Internal.hs, dist/build/Data/Colour/Internal.o, dist/build/Data/Colour/Internal.dyn_o )
[ 5 of 14] Compiling Data.Colour.Matrix ( Data/Colour/Matrix.hs, dist/build/Data/Colour/Matrix.o, dist/build/Data/Colour/Matrix.dyn_o )
[ 6 of 14] Compiling Data.Colour.RGB ( Data/Colour/RGB.hs, dist/build/Data/Colour/RGB.o, dist/build/Data/Colour/RGB.dyn_o )
[ 7 of 14] Compiling Data.Colour.RGBSpace.HSL ( Data/Colour/RGBSpace/HSL.hs, dist/build/Data/Colour/RGBSpace/HSL.o, dist/build/Data/Colour/RGBSpace/HSL.dyn_o )
[ 8 of 14] Compiling Data.Colour.RGBSpace.HSV ( Data/Colour/RGBSpace/HSV.hs, dist/build/Data/Colour/RGBSpace/HSV.o, dist/build/Data/Colour/RGBSpace/HSV.dyn_o )
[ 9 of 14] Compiling Data.Colour.SRGB.Linear ( Data/Colour/SRGB/Linear.hs, dist/build/Data/Colour/SRGB/Linear.o, dist/build/Data/Colour/SRGB/Linear.dyn_o )
[10 of 14] Compiling Data.Colour.RGBSpace ( Data/Colour/RGBSpace.hs, dist/build/Data/Colour/RGBSpace.o, dist/build/Data/Colour/RGBSpace.dyn_o )
[11 of 14] Compiling Data.Colour.SRGB ( Data/Colour/SRGB.hs, dist/build/Data/Colour/SRGB.o, dist/build/Data/Colour/SRGB.dyn_o )
Data/Colour/SRGB.hs:117:8: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
117 | x' | head x == '#' = tail x
| ^^^^
Data/Colour/SRGB.hs:117:24: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
117 | x' | head x == '#' = tail x
| ^^^^
Data/Colour/SRGB.hs:127:50: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
127 | sRGB24read x | length rx /= 1 || not (null (snd (head rx))) =
| ^^^^
Data/Colour/SRGB.hs:129:33: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
129 | | otherwise = fst (head rx)
| ^^^^
[12 of 14] Compiling Data.Colour ( Data/Colour.hs, dist/build/Data/Colour.o, dist/build/Data/Colour.dyn_o )
[13 of 14] Compiling Data.Colour.Names ( Data/Colour/Names.hs, dist/build/Data/Colour/Names.o, dist/build/Data/Colour/Names.dyn_o )
[14 of 14] Compiling Data.Colour.CIE ( Data/Colour/CIE.hs, dist/build/Data/Colour/CIE.o, dist/build/Data/Colour/CIE.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1149011/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/colour-2.3.6-253cbe603d6176b2857f0dc52f7fcc24904af21685fe604e4b8a85488a2ca750/lib
Configuring prettyprinter-1.7.1...
Preprocessing library for prettyprinter-1.7.1..
Building library for prettyprinter-1.7.1..
[ 1 of 28] Compiling Prettyprinter.Render.Util.Panic ( src/Prettyprinter/Render/Util/Panic.hs, dist/build/Prettyprinter/Render/Util/Panic.o, dist/build/Prettyprinter/Render/Util/Panic.dyn_o )
[ 2 of 28] Compiling Prettyprinter.Internal ( src/Prettyprinter/Internal.hs, dist/build/Prettyprinter/Internal.o, dist/build/Prettyprinter/Internal.dyn_o )
[ 3 of 28] Compiling Prettyprinter.Render.String ( src/Prettyprinter/Render/String.hs, dist/build/Prettyprinter/Render/String.o, dist/build/Prettyprinter/Render/String.dyn_o )
[ 4 of 28] Compiling Data.Text.Prettyprint.Doc.Render.String ( src/Data/Text/Prettyprint/Doc/Render/String.hs, dist/build/Data/Text/Prettyprint/Doc/Render/String.o, dist/build/Data/Text/Prettyprint/Doc/Render/String.dyn_o )
[ 5 of 28] Compiling Prettyprinter.Internal.Type ( src/Prettyprinter/Internal/Type.hs, dist/build/Prettyprinter/Internal/Type.o, dist/build/Prettyprinter/Internal/Type.dyn_o )
[ 6 of 28] Compiling Data.Text.Prettyprint.Doc.Internal.Type ( src/Data/Text/Prettyprint/Doc/Internal/Type.hs, dist/build/Data/Text/Prettyprint/Doc/Internal/Type.o, dist/build/Data/Text/Prettyprint/Doc/Internal/Type.dyn_o )
[ 7 of 28] Compiling Prettyprinter.Internal.Debug ( src/Prettyprinter/Internal/Debug.hs, dist/build/Prettyprinter/Internal/Debug.o, dist/build/Prettyprinter/Internal/Debug.dyn_o )
[ 8 of 28] Compiling Data.Text.Prettyprint.Doc.Internal.Debug ( src/Data/Text/Prettyprint/Doc/Internal/Debug.hs, dist/build/Data/Text/Prettyprint/Doc/Internal/Debug.o, dist/build/Data/Text/Prettyprint/Doc/Internal/Debug.dyn_o )
[ 9 of 28] Compiling Data.Text.Prettyprint.Doc.Internal ( src/Data/Text/Prettyprint/Doc/Internal.hs, dist/build/Data/Text/Prettyprint/Doc/Internal.o, dist/build/Data/Text/Prettyprint/Doc/Internal.dyn_o )
[10 of 28] Compiling Data.Text.Prettyprint.Doc.Render.Util.Panic ( src/Data/Text/Prettyprint/Doc/Render/Util/Panic.hs, dist/build/Data/Text/Prettyprint/Doc/Render/Util/Panic.o, dist/build/Data/Text/Prettyprint/Doc/Render/Util/Panic.dyn_o )
[11 of 28] Compiling Prettyprinter.Render.Util.StackMachine ( src/Prettyprinter/Render/Util/StackMachine.hs, dist/build/Prettyprinter/Render/Util/StackMachine.o, dist/build/Prettyprinter/Render/Util/StackMachine.dyn_o )
src/Prettyprinter/Render/Util/StackMachine.hs:34:1: warning: [GHC-66111] [-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()
|
34 | import Control.Applicative
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[12 of 28] Compiling Data.Text.Prettyprint.Doc.Render.Util.StackMachine ( src/Data/Text/Prettyprint/Doc/Render/Util/StackMachine.hs, dist/build/Data/Text/Prettyprint/Doc/Render/Util/StackMachine.o, dist/build/Data/Text/Prettyprint/Doc/Render/Util/StackMachine.dyn_o )
[13 of 28] Compiling Prettyprinter.Symbols.Ascii ( src/Prettyprinter/Symbols/Ascii.hs, dist/build/Prettyprinter/Symbols/Ascii.o, dist/build/Prettyprinter/Symbols/Ascii.dyn_o )
[14 of 28] Compiling Prettyprinter ( src/Prettyprinter.hs, dist/build/Prettyprinter.o, dist/build/Prettyprinter.dyn_o )
[15 of 28] Compiling Prettyprinter.Render.Util.SimpleDocTree ( src/Prettyprinter/Render/Util/SimpleDocTree.hs, dist/build/Prettyprinter/Render/Util/SimpleDocTree.o, dist/build/Prettyprinter/Render/Util/SimpleDocTree.dyn_o )
[16 of 28] Compiling Data.Text.Prettyprint.Doc.Render.Util.SimpleDocTree ( src/Data/Text/Prettyprint/Doc/Render/Util/SimpleDocTree.hs, dist/build/Data/Text/Prettyprint/Doc/Render/Util/SimpleDocTree.o, dist/build/Data/Text/Prettyprint/Doc/Render/Util/SimpleDocTree.dyn_o )
[17 of 28] Compiling Prettyprinter.Render.Tutorials.TreeRenderingTutorial ( src/Prettyprinter/Render/Tutorials/TreeRenderingTutorial.hs, dist/build/Prettyprinter/Render/Tutorials/TreeRenderingTutorial.o, dist/build/Prettyprinter/Render/Tutorials/TreeRenderingTutorial.dyn_o )
[18 of 28] Compiling Data.Text.Prettyprint.Doc.Render.Tutorials.TreeRenderingTutorial ( src/Data/Text/Prettyprint/Doc/Render/Tutorials/TreeRenderingTutorial.hs, dist/build/Data/Text/Prettyprint/Doc/Render/Tutorials/TreeRenderingTutorial.o, dist/build/Data/Text/Prettyprint/Doc/Render/Tutorials/TreeRenderingTutorial.dyn_o )
[19 of 28] Compiling Prettyprinter.Render.Tutorials.StackMachineTutorial ( src/Prettyprinter/Render/Tutorials/StackMachineTutorial.hs, dist/build/Prettyprinter/Render/Tutorials/StackMachineTutorial.o, dist/build/Prettyprinter/Render/Tutorials/StackMachineTutorial.dyn_o )
[20 of 28] Compiling Data.Text.Prettyprint.Doc.Render.Tutorials.StackMachineTutorial ( src/Data/Text/Prettyprint/Doc/Render/Tutorials/StackMachineTutorial.hs, dist/build/Data/Text/Prettyprint/Doc/Render/Tutorials/StackMachineTutorial.o, dist/build/Data/Text/Prettyprint/Doc/Render/Tutorials/StackMachineTutorial.dyn_o )
src/Data/Text/Prettyprint/Doc/Render/Tutorials/StackMachineTutorial.hs:7:1: warning: [GHC-15328] [-Wdeprecations]
Module Prettyprinter.Render.Tutorials.StackMachineTutorial is deprecated:
"Writing your own stack machine is probably more efficient and customizable; also consider using �renderSimplyDecorated(A)� instead"
|
7 | import Prettyprinter.Render.Tutorials.StackMachineTutorial
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[21 of 28] Compiling Prettyprinter.Render.Text ( src/Prettyprinter/Render/Text.hs, dist/build/Prettyprinter/Render/Text.o, dist/build/Prettyprinter/Render/Text.dyn_o )
[22 of 28] Compiling Data.Text.Prettyprint.Doc.Render.Text ( src/Data/Text/Prettyprint/Doc/Render/Text.hs, dist/build/Data/Text/Prettyprint/Doc/Render/Text.o, dist/build/Data/Text/Prettyprint/Doc/Render/Text.dyn_o )
[23 of 28] Compiling Data.Text.Prettyprint.Doc ( src/Data/Text/Prettyprint/Doc.hs, dist/build/Data/Text/Prettyprint/Doc.o, dist/build/Data/Text/Prettyprint/Doc.dyn_o )
[24 of 28] Compiling Data.Text.Prettyprint.Doc.Symbols.Ascii ( src/Data/Text/Prettyprint/Doc/Symbols/Ascii.hs, dist/build/Data/Text/Prettyprint/Doc/Symbols/Ascii.o, dist/build/Data/Text/Prettyprint/Doc/Symbols/Ascii.dyn_o )
[25 of 28] Compiling Prettyprinter.Symbols.Unicode ( src/Prettyprinter/Symbols/Unicode.hs, dist/build/Prettyprinter/Symbols/Unicode.o, dist/build/Prettyprinter/Symbols/Unicode.dyn_o )
[26 of 28] Compiling Data.Text.Prettyprint.Doc.Symbols.Unicode ( src/Data/Text/Prettyprint/Doc/Symbols/Unicode.hs, dist/build/Data/Text/Prettyprint/Doc/Symbols/Unicode.o, dist/build/Data/Text/Prettyprint/Doc/Symbols/Unicode.dyn_o )
[27 of 28] Compiling Prettyprinter.Util ( src/Prettyprinter/Util.hs, dist/build/Prettyprinter/Util.o, dist/build/Prettyprinter/Util.dyn_o )
[28 of 28] Compiling Data.Text.Prettyprint.Doc.Util ( src/Data/Text/Prettyprint/Doc/Util.hs, dist/build/Data/Text/Prettyprint/Doc/Util.o, dist/build/Data/Text/Prettyprint/Doc/Util.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1149011/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/prettyprinter-1.7.1-29f29359090f62940bd7fa7962611aaf4db6ff89f46ca0fe301c41698bbae825/lib
Configuring tagged-0.8.9...
Preprocessing library for tagged-0.8.9..
Building library for tagged-0.8.9..
[1 of 2] Compiling Data.Proxy.TH ( src/Data/Proxy/TH.hs, dist/build/Data/Proxy/TH.o, dist/build/Data/Proxy/TH.dyn_o )
[2 of 2] Compiling Data.Tagged ( src/Data/Tagged.hs, dist/build/Data/Tagged.o, dist/build/Data/Tagged.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1149011/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/tagged-0.8.9-14a81a3367f1209cf3e57ae0127fc7a5ed92a3258845678b65a7e2ab7cdc7700/lib
Configuring ansi-terminal-types-1.1...
Preprocessing library for ansi-terminal-types-1.1..
Building library for ansi-terminal-types-1.1..
[1 of 1] Compiling System.Console.ANSI.Types ( src/System/Console/ANSI/Types.hs, dist/build/System/Console/ANSI/Types.o, dist/build/System/Console/ANSI/Types.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1149011/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/ansi-terminal-types-1.1-fd6c8ec093deffea382bd38bf68456cce835ee62ea4d8efdd7d014838359f260/lib
Configuring ansi-terminal-1.1.2...
Preprocessing library for ansi-terminal-1.1.2..
Building library for ansi-terminal-1.1.2..
[1 of 3] Compiling System.Console.ANSI.Codes ( src/System/Console/ANSI/Codes.hs, dist/build/System/Console/ANSI/Codes.o, dist/build/System/Console/ANSI/Codes.dyn_o )
[2 of 3] Compiling System.Console.ANSI.Internal ( unix/System/Console/ANSI/Internal.hs, dist/build/System/Console/ANSI/Internal.o, dist/build/System/Console/ANSI/Internal.dyn_o )
[3 of 3] Compiling System.Console.ANSI ( src/System/Console/ANSI.hs, dist/build/System/Console/ANSI.o, dist/build/System/Console/ANSI.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1149011/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/ansi-terminal-1.1.2-2165acdd7d95f578551f4f1f3ea8db4446151779246cd0ce4be079a4bcb1143e/lib
Configuring prettyprinter-ansi-terminal-1.1.3...
Preprocessing library for prettyprinter-ansi-terminal-1.1.3..
Building library for prettyprinter-ansi-terminal-1.1.3..
[1 of 4] Compiling Prettyprinter.Render.Terminal.Internal ( src/Prettyprinter/Render/Terminal/Internal.hs, dist/build/Prettyprinter/Render/Terminal/Internal.o, dist/build/Prettyprinter/Render/Terminal/Internal.dyn_o )
[2 of 4] Compiling Prettyprinter.Render.Terminal ( src/Prettyprinter/Render/Terminal.hs, dist/build/Prettyprinter/Render/Terminal.o, dist/build/Prettyprinter/Render/Terminal.dyn_o )
[3 of 4] Compiling Data.Text.Prettyprint.Doc.Render.Terminal ( src/Data/Text/Prettyprint/Doc/Render/Terminal.hs, dist/build/Data/Text/Prettyprint/Doc/Render/Terminal.o, dist/build/Data/Text/Prettyprint/Doc/Render/Terminal.dyn_o )
[4 of 4] Compiling Data.Text.Prettyprint.Doc.Render.Terminal.Internal ( src/Data/Text/Prettyprint/Doc/Render/Terminal/Internal.hs, dist/build/Data/Text/Prettyprint/Doc/Render/Terminal/Internal.o, dist/build/Data/Text/Prettyprint/Doc/Render/Terminal/Internal.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1149011/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/prettyprinter-ansi-terminal-1.1.3-afdcfc817c6c25e8e5dcb8fc93d7a510d5bde0af65c5f56d857f8f1938fc15f3/lib
Configuring optparse-applicative-0.19.0.0...
Preprocessing library for optparse-applicative-0.19.0.0..
Building library for optparse-applicative-0.19.0.0..
[ 1 of 17] Compiling Options.Applicative.Help.Levenshtein ( src/Options/Applicative/Help/Levenshtein.hs, dist/build/Options/Applicative/Help/Levenshtein.o, dist/build/Options/Applicative/Help/Levenshtein.dyn_o )
src/Options/Applicative/Help/Levenshtein.hs:24:20: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
24 | oneDiag a b (head uppers) (-1 : head lowers)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:24:39: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
24 | oneDiag a b (head uppers) (-1 : head lowers)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:40:53: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
40 | = nw : doDiag (ach' : as) (bch' : bs) nw (tail n) (tail w)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:40:62: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
40 | = nw : doDiag (ach' : as) (bch' : bs) nw (tail n) (tail w)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:48:27: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
48 | 1 + min3 (head w) nw (head n)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:48:39: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
48 | 1 + min3 (head w) nw (head n)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:50:35: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
50 | me : doDiag as bs me (tail n) (tail w)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:50:44: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
50 | me : doDiag as bs me (tail n) (tail w)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:52:24: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
52 | firstelt = 1 + head diagBelow
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:53:64: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
53 | thisdiag = firstelt : doDiag a' b' firstelt diagAbove (tail diagBelow)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:59:20: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
59 | nextDiag = head (tail diags)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:59:26: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
59 | nextDiag = head (tail diags)
| ^^^^
[ 2 of 17] Compiling Options.Applicative.Help.Pretty ( src/Options/Applicative/Help/Pretty.hs, dist/build/Options/Applicative/Help/Pretty.o, dist/build/Options/Applicative/Help/Pretty.dyn_o )
[ 3 of 17] Compiling Options.Applicative.Help.Chunk ( src/Options/Applicative/Help/Chunk.hs, dist/build/Options/Applicative/Help/Chunk.o, dist/build/Options/Applicative/Help/Chunk.dyn_o )
[ 4 of 17] Compiling Options.Applicative.Help.Types ( src/Options/Applicative/Help/Types.hs, dist/build/Options/Applicative/Help/Types.o, dist/build/Options/Applicative/Help/Types.dyn_o )
[ 5 of 17] Compiling Options.Applicative.Types ( src/Options/Applicative/Types.hs, dist/build/Options/Applicative/Types.o, dist/build/Options/Applicative/Types.dyn_o )
src/Options/Applicative/Types.hs:59:31: warning: [GHC-61689] [-Wdodgy-imports]
Module Data.Semigroup does not export Option.
|
59 | import Data.Semigroup hiding (Option)
| ^^^^^^
[ 6 of 17] Compiling Options.Applicative.NonEmpty ( src/Options/Applicative/NonEmpty.hs, dist/build/Options/Applicative/NonEmpty.o, dist/build/Options/Applicative/NonEmpty.dyn_o )
[ 7 of 17] Compiling Options.Applicative.Internal ( src/Options/Applicative/Internal.hs, dist/build/Options/Applicative/Internal.o, dist/build/Options/Applicative/Internal.dyn_o )
[ 8 of 17] Compiling Options.Applicative.Common ( src/Options/Applicative/Common.hs, dist/build/Options/Applicative/Common.o, dist/build/Options/Applicative/Common.dyn_o )
[ 9 of 17] Compiling Options.Applicative.Help.Core ( src/Options/Applicative/Help/Core.hs, dist/build/Options/Applicative/Help/Core.o, dist/build/Options/Applicative/Help/Core.dyn_o )
[10 of 17] Compiling Options.Applicative.Help ( src/Options/Applicative/Help.hs, dist/build/Options/Applicative/Help.o, dist/build/Options/Applicative/Help.dyn_o )
[11 of 17] Compiling Options.Applicative.Builder.Internal ( src/Options/Applicative/Builder/Internal.hs, dist/build/Options/Applicative/Builder/Internal.o, dist/build/Options/Applicative/Builder/Internal.dyn_o )
src/Options/Applicative/Builder/Internal.hs:29:31: warning: [GHC-61689] [-Wdodgy-imports]
Module Data.Semigroup does not export Option.
|
29 | import Data.Semigroup hiding (Option)
| ^^^^^^
[12 of 17] Compiling Options.Applicative.Builder.Completer ( src/Options/Applicative/Builder/Completer.hs, dist/build/Options/Applicative/Builder/Completer.o, dist/build/Options/Applicative/Builder/Completer.dyn_o )
[13 of 17] Compiling Options.Applicative.Builder ( src/Options/Applicative/Builder.hs, dist/build/Options/Applicative/Builder.o, dist/build/Options/Applicative/Builder.dyn_o )
[14 of 17] Compiling Options.Applicative.BashCompletion ( src/Options/Applicative/BashCompletion.hs, dist/build/Options/Applicative/BashCompletion.o, dist/build/Options/Applicative/BashCompletion.dyn_o )
src/Options/Applicative/BashCompletion.hs:16:1: warning: [GHC-66111] [-Wunused-imports]
The import of Data.Foldable is redundant
except perhaps to import instances from Data.Foldable
To import instances alone, use: import Data.Foldable()
|
16 | import Data.Foldable ( asum )
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[15 of 17] Compiling Options.Applicative.Extra ( src/Options/Applicative/Extra.hs, dist/build/Options/Applicative/Extra.o, dist/build/Options/Applicative/Extra.dyn_o )
[16 of 17] Compiling Options.Applicative ( src/Options/Applicative.hs, dist/build/Options/Applicative.o, dist/build/Options/Applicative.dyn_o )
[17 of 17] Compiling Options.Applicative.Arrows ( src/Options/Applicative/Arrows.hs, dist/build/Options/Applicative/Arrows.o, dist/build/Options/Applicative/Arrows.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1149011/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/optparse-applicative-0.19.0.0-9280141358684658ee4634d40e28dea2a60701c86f91aaf4fe75226073079c93/lib
Configuring tasty-1.5.3...
Preprocessing library for tasty-1.5.3..
Building library for tasty-1.5.3..
[ 1 of 25] Compiling Control.Concurrent.Async ( Control/Concurrent/Async.hs, dist/build/Control/Concurrent/Async.o, dist/build/Control/Concurrent/Async.dyn_o )
[ 2 of 25] Compiling Test.Tasty.Options ( Test/Tasty/Options.hs, dist/build/Test/Tasty/Options.o, dist/build/Test/Tasty/Options.dyn_o )
[ 3 of 25] Compiling Test.Tasty.Parallel ( Test/Tasty/Parallel.hs, dist/build/Test/Tasty/Parallel.o, dist/build/Test/Tasty/Parallel.dyn_o )
[ 4 of 25] Compiling Test.Tasty.Patterns.Expr ( Test/Tasty/Patterns/Expr.hs, dist/build/Test/Tasty/Patterns/Expr.o, dist/build/Test/Tasty/Patterns/Expr.dyn_o )
[ 5 of 25] Compiling Test.Tasty.Patterns.Types ( Test/Tasty/Patterns/Types.hs, dist/build/Test/Tasty/Patterns/Types.o, dist/build/Test/Tasty/Patterns/Types.dyn_o )
[ 6 of 25] Compiling Test.Tasty.Patterns.Printer ( Test/Tasty/Patterns/Printer.hs, dist/build/Test/Tasty/Patterns/Printer.o, dist/build/Test/Tasty/Patterns/Printer.dyn_o )
[ 7 of 25] Compiling Test.Tasty.Patterns.Parser ( Test/Tasty/Patterns/Parser.hs, dist/build/Test/Tasty/Patterns/Parser.o, dist/build/Test/Tasty/Patterns/Parser.dyn_o )
[ 8 of 25] Compiling Test.Tasty.Patterns.Eval ( Test/Tasty/Patterns/Eval.hs, dist/build/Test/Tasty/Patterns/Eval.o, dist/build/Test/Tasty/Patterns/Eval.dyn_o )
[ 9 of 25] Compiling Test.Tasty.Patterns ( Test/Tasty/Patterns.hs, dist/build/Test/Tasty/Patterns.o, dist/build/Test/Tasty/Patterns.dyn_o )
[10 of 25] Compiling Test.Tasty.Options.Core ( Test/Tasty/Options/Core.hs, dist/build/Test/Tasty/Options/Core.o, dist/build/Test/Tasty/Options/Core.dyn_o )
[11 of 25] Compiling Test.Tasty.Providers.ConsoleFormat ( Test/Tasty/Providers/ConsoleFormat.hs, dist/build/Test/Tasty/Providers/ConsoleFormat.o, dist/build/Test/Tasty/Providers/ConsoleFormat.dyn_o )
[12 of 25] Compiling Test.Tasty.Core ( Test/Tasty/Core.hs, dist/build/Test/Tasty/Core.o, dist/build/Test/Tasty/Core.dyn_o )
[13 of 25] Compiling Test.Tasty.Providers ( Test/Tasty/Providers.hs, dist/build/Test/Tasty/Providers.o, dist/build/Test/Tasty/Providers.dyn_o )
[14 of 25] Compiling Test.Tasty.Runners.Reducers ( Test/Tasty/Runners/Reducers.hs, dist/build/Test/Tasty/Runners/Reducers.o, dist/build/Test/Tasty/Runners/Reducers.dyn_o )
[15 of 25] Compiling Test.Tasty.Runners.Utils ( Test/Tasty/Runners/Utils.hs, dist/build/Test/Tasty/Runners/Utils.o, dist/build/Test/Tasty/Runners/Utils.dyn_o )
[16 of 25] Compiling Test.Tasty.Run ( Test/Tasty/Run.hs, dist/build/Test/Tasty/Run.o, dist/build/Test/Tasty/Run.dyn_o )
[17 of 25] Compiling Test.Tasty.Ingredients ( Test/Tasty/Ingredients.hs, dist/build/Test/Tasty/Ingredients.o, dist/build/Test/Tasty/Ingredients.dyn_o )
[18 of 25] Compiling Test.Tasty.Options.Env ( Test/Tasty/Options/Env.hs, dist/build/Test/Tasty/Options/Env.o, dist/build/Test/Tasty/Options/Env.dyn_o )
[19 of 25] Compiling Test.Tasty.Ingredients.ListTests ( Test/Tasty/Ingredients/ListTests.hs, dist/build/Test/Tasty/Ingredients/ListTests.o, dist/build/Test/Tasty/Ingredients/ListTests.dyn_o )
[20 of 25] Compiling Test.Tasty.Ingredients.IncludingOptions ( Test/Tasty/Ingredients/IncludingOptions.hs, dist/build/Test/Tasty/Ingredients/IncludingOptions.o, dist/build/Test/Tasty/Ingredients/IncludingOptions.dyn_o )
[21 of 25] Compiling Test.Tasty.Ingredients.ConsoleReporter ( Test/Tasty/Ingredients/ConsoleReporter.hs, dist/build/Test/Tasty/Ingredients/ConsoleReporter.o, dist/build/Test/Tasty/Ingredients/ConsoleReporter.dyn_o )
[22 of 25] Compiling Test.Tasty.Ingredients.Basic ( Test/Tasty/Ingredients/Basic.hs, dist/build/Test/Tasty/Ingredients/Basic.o, dist/build/Test/Tasty/Ingredients/Basic.dyn_o )
[23 of 25] Compiling Test.Tasty.CmdLine ( Test/Tasty/CmdLine.hs, dist/build/Test/Tasty/CmdLine.o, dist/build/Test/Tasty/CmdLine.dyn_o )
[24 of 25] Compiling Test.Tasty.Runners ( Test/Tasty/Runners.hs, dist/build/Test/Tasty/Runners.o, dist/build/Test/Tasty/Runners.dyn_o )
[25 of 25] Compiling Test.Tasty ( Test/Tasty.hs, dist/build/Test/Tasty.o, dist/build/Test/Tasty.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1149011/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/tasty-1.5.3-e904dc97c4bfbdf85384e96dd81b3b9a2437a185d6ea3ee4212d51d961431e1d/lib
Configuring tasty-hunit-0.9.2...
Preprocessing library for tasty-hunit-0.9.2..
Building library for tasty-hunit-0.9.2..
[1 of 3] Compiling Test.Tasty.HUnit.Orig ( Test/Tasty/HUnit/Orig.hs, dist/build/Test/Tasty/HUnit/Orig.o, dist/build/Test/Tasty/HUnit/Orig.dyn_o )
[2 of 3] Compiling Test.Tasty.HUnit.Steps ( Test/Tasty/HUnit/Steps.hs, dist/build/Test/Tasty/HUnit/Steps.o, dist/build/Test/Tasty/HUnit/Steps.dyn_o )
Test/Tasty/HUnit/Steps.hs:4:1: warning: [GHC-66111] [-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()
|
4 | import Control.Applicative
| ^^^^^^^^^^^^^^^^^^^^^^^^^^
[3 of 3] Compiling Test.Tasty.HUnit ( Test/Tasty/HUnit.hs, dist/build/Test/Tasty/HUnit.o, dist/build/Test/Tasty/HUnit.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1149011/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/tasty-hunit-0.9.2-e3187cee245700fbdbab1f27047889f090633b5a56425feb540fe91c19449a27/lib
Configuring sop-satisfier-0.3.4.5...
Preprocessing library for sop-satisfier-0.3.4.5..
Building library for sop-satisfier-0.3.4.5..
[1 of 7] Compiling SoPSat.Internal.SoP ( src/SoPSat/Internal/SoP.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/sop-satisfier-0.3.4.5/noopt/build/SoPSat/Internal/SoP.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/sop-satisfier-0.3.4.5/noopt/build/SoPSat/Internal/SoP.dyn_o )
[2 of 7] Compiling SoPSat.SoP ( src/SoPSat/SoP.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/sop-satisfier-0.3.4.5/noopt/build/SoPSat/SoP.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/sop-satisfier-0.3.4.5/noopt/build/SoPSat/SoP.dyn_o )
[3 of 7] Compiling SoPSat.Internal.Unify ( src/SoPSat/Internal/Unify.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/sop-satisfier-0.3.4.5/noopt/build/SoPSat/Internal/Unify.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/sop-satisfier-0.3.4.5/noopt/build/SoPSat/Internal/Unify.dyn_o )
[4 of 7] Compiling SoPSat.Internal.Range ( src/SoPSat/Internal/Range.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/sop-satisfier-0.3.4.5/noopt/build/SoPSat/Internal/Range.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/sop-satisfier-0.3.4.5/noopt/build/SoPSat/Internal/Range.dyn_o )
[5 of 7] Compiling SoPSat.Internal.SolverMonad ( src/SoPSat/Internal/SolverMonad.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/sop-satisfier-0.3.4.5/noopt/build/SoPSat/Internal/SolverMonad.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/sop-satisfier-0.3.4.5/noopt/build/SoPSat/Internal/SolverMonad.dyn_o )
[6 of 7] Compiling SoPSat.Internal.NewtonsMethod ( src/SoPSat/Internal/NewtonsMethod.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/sop-satisfier-0.3.4.5/noopt/build/SoPSat/Internal/NewtonsMethod.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/sop-satisfier-0.3.4.5/noopt/build/SoPSat/Internal/NewtonsMethod.dyn_o )
[7 of 7] Compiling SoPSat.Satisfier ( src/SoPSat/Satisfier.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/sop-satisfier-0.3.4.5/noopt/build/SoPSat/Satisfier.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/sop-satisfier-0.3.4.5/noopt/build/SoPSat/Satisfier.dyn_o )
Preprocessing test suite 'system-tests' for sop-satisfier-0.3.4.5..
Building test suite 'system-tests' for sop-satisfier-0.3.4.5..
[1 of 1] Compiling Main ( tests/SystemTests.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/sop-satisfier-0.3.4.5/noopt/build/system-tests/system-tests-tmp/Main.o )
[2 of 2] Linking /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/sop-satisfier-0.3.4.5/noopt/build/system-tests/system-tests
Running 1 test suites...
Test suite system-tests: RUNNING...
Test suite system-tests: PASS
Test suite logged to:
/var/lib/hackage-doc-builder/build-cache/tmp-install/reports/sop-satisfier-0.3.4.5.test
Writing: sop-satisfier-0.3.4.5-inplace/SoPSat.Internal.SolverMonad.hs.html
Writing: sop-satisfier-0.3.4.5-inplace/SoPSat.Internal.NewtonsMethod.hs.html
Writing: sop-satisfier-0.3.4.5-inplace/SoPSat.Internal.SoP.hs.html
Writing: sop-satisfier-0.3.4.5-inplace/SoPSat.Internal.Range.hs.html
Writing: sop-satisfier-0.3.4.5-inplace/SoPSat.Internal.Unify.hs.html
Writing: sop-satisfier-0.3.4.5-inplace/SoPSat.SoP.hs.html
Writing: sop-satisfier-0.3.4.5-inplace/SoPSat.Satisfier.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Test coverage report written to
/var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/sop-satisfier-0.3.4.5/noopt/hpc/vanilla/html/system-tests/hpc_index.html
1 of 1 test suites (1 of 1 test cases) passed.
Writing: sop-satisfier-0.3.4.5-inplace/SoPSat.Internal.SolverMonad.hs.html
Writing: sop-satisfier-0.3.4.5-inplace/SoPSat.Internal.NewtonsMethod.hs.html
Writing: sop-satisfier-0.3.4.5-inplace/SoPSat.Internal.SoP.hs.html
Writing: sop-satisfier-0.3.4.5-inplace/SoPSat.Internal.Range.hs.html
Writing: sop-satisfier-0.3.4.5-inplace/SoPSat.Internal.Unify.hs.html
Writing: sop-satisfier-0.3.4.5-inplace/SoPSat.SoP.hs.html
Writing: sop-satisfier-0.3.4.5-inplace/SoPSat.Satisfier.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Package coverage report written to
/var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/sop-satisfier-0.3.4.5/noopt/hpc/vanilla/html/sop-satisfier-0.3.4.5/hpc_index.html