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