Build #3 for minisat-solver-0.1
| Package | minisat-solver-0.1 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2025-11-30 13:31:17.89249892 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
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Downloading minisat-solver-0.1
Downloaded minisat-solver-0.1
Configuring minisat-solver-0.1...
Preprocessing library for minisat-solver-0.1..
Building library for minisat-solver-0.1..
[1 of 7] Compiling SAT.MiniSat.Literals ( SAT/MiniSat/Literals.hs, dist/build/SAT/MiniSat/Literals.o, dist/build/SAT/MiniSat/Literals.dyn_o )
[2 of 7] Compiling SAT.MiniSat.LowLevel ( SAT/MiniSat/LowLevel.hs, dist/build/SAT/MiniSat/LowLevel.o, dist/build/SAT/MiniSat/LowLevel.dyn_o )
[3 of 7] Compiling SAT.MiniSat.Monadic ( SAT/MiniSat/Monadic.hs, dist/build/SAT/MiniSat/Monadic.o, dist/build/SAT/MiniSat/Monadic.dyn_o )
[4 of 7] Compiling SAT.MiniSat.Functional ( SAT/MiniSat/Functional.hs, dist/build/SAT/MiniSat/Functional.o, dist/build/SAT/MiniSat/Functional.dyn_o )
[5 of 7] Compiling SAT.MiniSat.Variable ( SAT/MiniSat/Variable.hs, dist/build/SAT/MiniSat/Variable.o, dist/build/SAT/MiniSat/Variable.dyn_o )
[6 of 7] Compiling SAT.MiniSat.Formula ( SAT/MiniSat/Formula.hs, dist/build/SAT/MiniSat/Formula.o, dist/build/SAT/MiniSat/Formula.dyn_o )
SAT/MiniSat/Formula.hs:308:3: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad (Trans v).
return will eventually be removed in favour of pure
Suggested fix:
Either remove definition for return (recommended) or define as return = pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
308 | return a = Trans (\n -> (a, n, []))
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
SAT/MiniSat/Formula.hs:316:3: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for Applicative (Trans v).
Suggested fix:
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
316 | pure = return
| ^^^^^^^^^^^^^
[7 of 7] Compiling SAT.MiniSat ( SAT/MiniSat.hs, dist/build/SAT/MiniSat.o, dist/build/SAT/MiniSat.dyn_o )
Preprocessing library for minisat-solver-0.1..
Running Haddock on library for minisat-solver-0.1..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 7] Compiling SAT.MiniSat.Literals ( SAT/MiniSat/Literals.hs, nothing )
[2 of 7] Compiling SAT.MiniSat.LowLevel ( SAT/MiniSat/LowLevel.hs, nothing )
[3 of 7] Compiling SAT.MiniSat.Monadic ( SAT/MiniSat/Monadic.hs, nothing )
[4 of 7] Compiling SAT.MiniSat.Functional ( SAT/MiniSat/Functional.hs, nothing )
[5 of 7] Compiling SAT.MiniSat.Variable ( SAT/MiniSat/Variable.hs, nothing )
[6 of 7] Compiling SAT.MiniSat.Formula ( SAT/MiniSat/Formula.hs, nothing )
SAT/MiniSat/Formula.hs:308:3: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad (Trans v).
return will eventually be removed in favour of pure
Suggested fix:
Either remove definition for return (recommended) or define as return = pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
308 | return a = Trans (\n -> (a, n, []))
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
SAT/MiniSat/Formula.hs:316:3: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for Applicative (Trans v).
Suggested fix:
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
316 | pure = return
| ^^^^^^^^^^^^^
[7 of 7] Compiling SAT.MiniSat ( SAT/MiniSat.hs, nothing )
Haddock coverage:
Warning: 'Solver' is ambiguous. It is defined
* at SAT/MiniSat/Monadic.hs:67:18
* at SAT/MiniSat/Monadic.hs:67:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at SAT/MiniSat/Monadic.hs:67:1
Warning: 'C_Solver' is ambiguous. It is defined
* at SAT/MiniSat/LowLevel.hs:19:17
* at SAT/MiniSat/LowLevel.hs:19:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at SAT/MiniSat/LowLevel.hs:19:1
Warning: 'Trans' is ambiguous. It is defined
* at SAT/MiniSat/Formula.hs:305:18
* at SAT/MiniSat/Formula.hs:305:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at SAT/MiniSat/Formula.hs:305:1
100% ( 7 / 7) in 'SAT.MiniSat'
Documentation created: dist/doc/html/minisat-solver/,
dist/doc/html/minisat-solver/minisat-solver.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/minisat-solver-0.1-JDiiJyohyWQ4z4JA1iTOUI
Completed minisat-solver-0.1
Test log
[view raw]
Resolving dependencies... No tests to run for all the packages in the project