@nix { "action": "setPhase", "phase": "setupCompilerEnvironmentPhase" } setupCompilerEnvironmentPhase Build with /nix/store/kp4hnhfkd7c6gf3fnb8z897nwnpvg5w7-ghc-8.10.4. @nix { "action": "setPhase", "phase": "unpackPhase" } unpacking sources unpacking source archive /nix/store/k2gm7ilvilndak5in5b2plydankhrilv-adjunctions-4.4.tar.gz source root is adjunctions-4.4 setting SOURCE_DATE_EPOCH to timestamp 1517150941 of file adjunctions-4.4/.vim.custom @nix { "action": "setPhase", "phase": "patchPhase" } patching sources Replace Cabal file with edited version from mirror://hackage/adjunctions-4.4/revision/2.cabal. @nix { "action": "setPhase", "phase": "compileBuildDriverPhase" } compileBuildDriverPhase setupCompileFlags: -package-db=/build/setup-package.conf.d -j2 +RTS -A64M -RTS -threaded -rtsopts [1 of 1] Compiling Main ( Setup.lhs, /build/Main.o ) Linking Setup ... /nix/store/hy3lz2vfv9qq2v5jz9nzlx6mmiaq79rj-binutils-2.35.1/bin/ld.gold: warning: /nix/store/cvr0kjg2q7z2wwhjblx6c73rv422k8cm-glibc-2.33-47/lib/crt1.o: unknown program property type 0xc0008002 in .note.gnu.property section @nix { "action": "setPhase", "phase": "configurePhase" } configuring configureFlags: --verbose --prefix=/nix/store/rvb74944pjw10dmkgpg9h09w6lqvzcg2-adjunctions-4.4 --libdir=$prefix/lib/$compiler --libsubdir=$abi/$libname --docdir=/nix/store/akb2jrvfhhg8ayr5hn8agd2qhnrwzc30-adjunctions-4.4-doc/share/doc/adjunctions-4.4 --with-gcc=gcc --package-db=/build/package.conf.d --ghc-options=-j2 +RTS -A64M -RTS --disable-split-objs --enable-library-profiling --profiling-detail=exported-functions --disable-profiling --enable-shared --disable-coverage --enable-static --disable-executable-dynamic --enable-tests --disable-benchmarks --enable-library-vanilla --disable-library-for-ghci --ghc-option=-split-sections --extra-lib-dirs=/nix/store/yn7nd41grg2mzvzliphalk70hs0rfpdr-ncurses-6.2/lib --extra-lib-dirs=/nix/store/j74nwv61ghpv6zjzjvc14awggaahgm81-libffi-3.3/lib --extra-lib-dirs=/nix/store/fx58y0jdzd2xggdy0pqag2ffj72l7w33-gmp-6.2.1/lib Using Parsec parser Configuring adjunctions-4.4... Dependency array >=0.3.0.2 && <0.7: using array-0.5.4.0 Dependency base ==4.*: using base-4.14.1.0 Dependency comonad >=4 && <6: using comonad-5.0.8 Dependency containers >=0.3 && <0.7: using containers-0.6.2.1 Dependency contravariant ==1.*: using contravariant-1.5.3 Dependency distributive >=0.5.1 && <1: using distributive-0.6.2.1 Dependency free >=4 && <6: using free-5.1.7 Dependency mtl >=2.0.1 && <2.3: using mtl-2.2.2 Dependency profunctors >=4 && <6: using profunctors-5.6.2 Dependency semigroupoids >=4 && <6: using semigroupoids-5.3.5 Dependency semigroups >=0.11 && <1: using semigroups-0.19.1 Dependency tagged >=0.7 && <1: using tagged-0.8.6.1 Dependency transformers >=0.2 && <0.6: using transformers-0.5.6.2 Dependency transformers-compat >=0.3 && <1: using transformers-compat-0.6.6 Dependency void >=0.5.5.1 && <1: using void-0.7.3 Dependency adjunctions -any: using adjunctions-4.4 Dependency base ==4.*: using base-4.14.1.0 Dependency distributive >=0.5.1 && <1: using distributive-0.6.2.1 Dependency generic-deriving >=1.11 && <2: using generic-deriving-1.14 Dependency hspec ==2.*: using hspec-2.7.10 Source component graph: component lib component test:spec dependency lib Configured component graph: component adjunctions-4.4-Eu0yaZJBZH7IO6mt71H9df include array-0.5.4.0 include base-4.14.1.0 include comonad-5.0.8-K0w6kMM9w2iJiEl4e4ZhKg include containers-0.6.2.1 include contravariant-1.5.3-Ac4TAzGGDBLeGMWs4L1e include distributive-0.6.2.1-DvSiejt1glbLWlc97WlLEQ include free-5.1.7-8z2ZDy4JIio4x2AW3FLSsi include mtl-2.2.2 include profunctors-5.6.2-Ip4UHjG8nvaDHJe1NRXuvG include semigroupoids-5.3.5-9r9ELSzDM8qKC88fi0kvKR include semigroups-0.19.1-FzieqrLdZI71C64LnuY3Qi include tagged-0.8.6.1-HwwcL9gkCbnAPGOH1AhzJ5 include transformers-0.5.6.2 include transformers-compat-0.6.6-5ZJJ9POl5DGLIWTn4Z8HjM include void-0.7.3-1OlEP2jDqdyKnlVWzSlxMT component adjunctions-4.4-4aj1x7ZLdoUJggpvB2bmIc-spec include adjunctions-4.4-Eu0yaZJBZH7IO6mt71H9df include base-4.14.1.0 include distributive-0.6.2.1-DvSiejt1glbLWlc97WlLEQ include generic-deriving-1.14-8W0betiUbRGEhsFaCB6KXq include hspec-2.7.10-GrvUz5aO6cyEXSgE8bCuiw Linked component graph: unit adjunctions-4.4-Eu0yaZJBZH7IO6mt71H9df include array-0.5.4.0 include base-4.14.1.0 include comonad-5.0.8-K0w6kMM9w2iJiEl4e4ZhKg include containers-0.6.2.1 include contravariant-1.5.3-Ac4TAzGGDBLeGMWs4L1e include distributive-0.6.2.1-DvSiejt1glbLWlc97WlLEQ include free-5.1.7-8z2ZDy4JIio4x2AW3FLSsi include mtl-2.2.2 include profunctors-5.6.2-Ip4UHjG8nvaDHJe1NRXuvG include semigroupoids-5.3.5-9r9ELSzDM8qKC88fi0kvKR include semigroups-0.19.1-FzieqrLdZI71C64LnuY3Qi include tagged-0.8.6.1-HwwcL9gkCbnAPGOH1AhzJ5 include transformers-0.5.6.2 include transformers-compat-0.6.6-5ZJJ9POl5DGLIWTn4Z8HjM include void-0.7.3-1OlEP2jDqdyKnlVWzSlxMT Control.Comonad.Representable.Store=adjunctions-4.4-Eu0yaZJBZH7IO6mt71H9df:Control.Comonad.Representable.Store,Control.Comonad.Trans.Adjoint=adjunctions-4.4-Eu0yaZJBZH7IO6mt71H9df:Control.Comonad.Trans.Adjoint,Control.Monad.Representable.Reader=adjunctions-4.4-Eu0yaZJBZH7IO6mt71H9df:Control.Monad.Representable.Reader,Control.Monad.Representable.State=adjunctions-4.4-Eu0yaZJBZH7IO6mt71H9df:Control.Monad.Representable.State,Control.Monad.Trans.Adjoint=adjunctions-4.4-Eu0yaZJBZH7IO6mt71H9df:Control.Monad.Trans.Adjoint,Control.Monad.Trans.Contravariant.Adjoint=adjunctions-4.4-Eu0yaZJBZH7IO6mt71H9df:Control.Monad.Trans.Contravariant.Adjoint,Control.Monad.Trans.Conts=adjunctions-4.4-Eu0yaZJBZH7IO6mt71H9df:Control.Monad.Trans.Conts,Data.Functor.Adjunction=adjunctions-4.4-Eu0yaZJBZH7IO6mt71H9df:Data.Functor.Adjunction,Data.Functor.Contravariant.Adjunction=adjunctions-4.4-Eu0yaZJBZH7IO6mt71H9df:Data.Functor.Contravariant.Adjunction,Data.Functor.Contravariant.Rep=adjunctions-4.4-Eu0yaZJBZH7IO6mt71H9df:Data.Functor.Contravariant.Rep,Data.Functor.Rep=adjunctions-4.4-Eu0yaZJBZH7IO6mt71H9df:Data.Functor.Rep unit adjunctions-4.4-4aj1x7ZLdoUJggpvB2bmIc-spec include adjunctions-4.4-Eu0yaZJBZH7IO6mt71H9df include base-4.14.1.0 include distributive-0.6.2.1-DvSiejt1glbLWlc97WlLEQ include generic-deriving-1.14-8W0betiUbRGEhsFaCB6KXq include hspec-2.7.10-GrvUz5aO6cyEXSgE8bCuiw Ready component graph: definite adjunctions-4.4-Eu0yaZJBZH7IO6mt71H9df depends array-0.5.4.0 depends base-4.14.1.0 depends comonad-5.0.8-K0w6kMM9w2iJiEl4e4ZhKg depends containers-0.6.2.1 depends contravariant-1.5.3-Ac4TAzGGDBLeGMWs4L1e depends distributive-0.6.2.1-DvSiejt1glbLWlc97WlLEQ depends free-5.1.7-8z2ZDy4JIio4x2AW3FLSsi depends mtl-2.2.2 depends profunctors-5.6.2-Ip4UHjG8nvaDHJe1NRXuvG depends semigroupoids-5.3.5-9r9ELSzDM8qKC88fi0kvKR depends semigroups-0.19.1-FzieqrLdZI71C64LnuY3Qi depends tagged-0.8.6.1-HwwcL9gkCbnAPGOH1AhzJ5 depends transformers-0.5.6.2 depends transformers-compat-0.6.6-5ZJJ9POl5DGLIWTn4Z8HjM depends void-0.7.3-1OlEP2jDqdyKnlVWzSlxMT definite adjunctions-4.4-4aj1x7ZLdoUJggpvB2bmIc-spec depends adjunctions-4.4-Eu0yaZJBZH7IO6mt71H9df depends base-4.14.1.0 depends distributive-0.6.2.1-DvSiejt1glbLWlc97WlLEQ depends generic-deriving-1.14-8W0betiUbRGEhsFaCB6KXq depends hspec-2.7.10-GrvUz5aO6cyEXSgE8bCuiw Using Cabal-3.2.1.0 compiled by ghc-8.10 Using compiler: ghc-8.10.4 Using install prefix: /nix/store/rvb74944pjw10dmkgpg9h09w6lqvzcg2-adjunctions-4.4 Executables installed in: /nix/store/rvb74944pjw10dmkgpg9h09w6lqvzcg2-adjunctions-4.4/bin Libraries installed in: /nix/store/rvb74944pjw10dmkgpg9h09w6lqvzcg2-adjunctions-4.4/lib/ghc-8.10.4/x86_64-linux-ghc-8.10.4/adjunctions-4.4-Eu0yaZJBZH7IO6mt71H9df Dynamic Libraries installed in: /nix/store/rvb74944pjw10dmkgpg9h09w6lqvzcg2-adjunctions-4.4/lib/ghc-8.10.4/x86_64-linux-ghc-8.10.4 Private executables installed in: /nix/store/rvb74944pjw10dmkgpg9h09w6lqvzcg2-adjunctions-4.4/libexec/x86_64-linux-ghc-8.10.4/adjunctions-4.4 Data files installed in: /nix/store/rvb74944pjw10dmkgpg9h09w6lqvzcg2-adjunctions-4.4/share/x86_64-linux-ghc-8.10.4/adjunctions-4.4 Documentation installed in: /nix/store/akb2jrvfhhg8ayr5hn8agd2qhnrwzc30-adjunctions-4.4-doc/share/doc/adjunctions-4.4 Configuration files installed in: /nix/store/rvb74944pjw10dmkgpg9h09w6lqvzcg2-adjunctions-4.4/etc No alex found Using ar found on system at: /nix/store/hy3lz2vfv9qq2v5jz9nzlx6mmiaq79rj-binutils-2.35.1/bin/ar No c2hs found No cpphs found No doctest found Using gcc version 10.3.0 given by user at: /nix/store/qvv5y4fx4x879rbsbs4g27mypl9wxbb9-gcc-wrapper-10.3.0/bin/gcc Using ghc version 8.10.4 found on system at: /nix/store/kp4hnhfkd7c6gf3fnb8z897nwnpvg5w7-ghc-8.10.4/bin/ghc Using ghc-pkg version 8.10.4 found on system at: /nix/store/kp4hnhfkd7c6gf3fnb8z897nwnpvg5w7-ghc-8.10.4/bin/ghc-pkg No ghcjs found No ghcjs-pkg found No greencard found Using haddock version 2.24.0 found on system at: /nix/store/kp4hnhfkd7c6gf3fnb8z897nwnpvg5w7-ghc-8.10.4/bin/haddock No happy found Using haskell-suite found on system at: haskell-suite-dummy-location Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location No hmake found Using hpc version 0.68 found on system at: /nix/store/kp4hnhfkd7c6gf3fnb8z897nwnpvg5w7-ghc-8.10.4/bin/hpc Using hsc2hs version 0.68.7 found on system at: /nix/store/kp4hnhfkd7c6gf3fnb8z897nwnpvg5w7-ghc-8.10.4/bin/hsc2hs Using hscolour version 1.24 found on system at: /nix/store/8ifzq6lqf63gzg70pbgbgs6sbccdam6k-hscolour-1.24.4/bin/HsColour No jhc found Using ld found on system at: /nix/store/rs4jynk5rpvag2b2f8m7nrzsypjss4w1-binutils-wrapper-2.35.1/bin/ld.gold No pkg-config found Using runghc version 8.10.4 found on system at: /nix/store/kp4hnhfkd7c6gf3fnb8z897nwnpvg5w7-ghc-8.10.4/bin/runghc Using strip version 2.35 found on system at: /nix/store/hy3lz2vfv9qq2v5jz9nzlx6mmiaq79rj-binutils-2.35.1/bin/strip Using tar found on system at: /nix/store/87l7j4jcsl6x50nzpii751cdbsa26b0f-gnutar-1.34/bin/tar No uhc found @nix { "action": "setPhase", "phase": "buildPhase" } building Preprocessing library for adjunctions-4.4.. Building library for adjunctions-4.4.. on the commandline: warning: -Wnoncanonical-monadfail-instances is deprecated: fail is no longer a method of Monad [ 1 of 11] Compiling Control.Monad.Trans.Conts ( src/Control/Monad/Trans/Conts.hs, dist/build/Control/Monad/Trans/Conts.o, dist/build/Control/Monad/Trans/Conts.dyn_o ) [ 2 of 11] Compiling Data.Functor.Contravariant.Rep ( src/Data/Functor/Contravariant/Rep.hs, dist/build/Data/Functor/Contravariant/Rep.o, dist/build/Data/Functor/Contravariant/Rep.dyn_o ) src/Data/Functor/Contravariant/Rep.hs:42:17: warning: [-Wstar-is-type] Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’ relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: use ‘Type’ from ‘Data.Kind’ instead.  | 42 | type Rep f :: *  | ^  src/Data/Functor/Contravariant/Rep.hs:59:1: warning: [-Winline-rule-shadowing] Rule "tabulate/index" may never fire because rule "Class op index" for ‘index’ might fire first Probable fix: add phase [n] or [~n] to the competing rule  | 59 | "tabulate/index" forall t. tabulate (index t) = t #-}  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [ 3 of 11] Compiling Data.Functor.Contravariant.Adjunction ( src/Data/Functor/Contravariant/Adjunction.hs, dist/build/Data/Functor/Contravariant/Adjunction.o, dist/build/Data/Functor/Contravariant/Adjunction.dyn_o ) [ 4 of 11] Compiling Control.Monad.Trans.Contravariant.Adjoint ( src/Control/Monad/Trans/Contravariant/Adjoint.hs, dist/build/Control/Monad/Trans/Contravariant/Adjoint.o, dist/build/Control/Monad/Trans/Contravariant/Adjoint.dyn_o ) [ 5 of 11] Compiling Data.Functor.Rep ( src/Data/Functor/Rep.hs, dist/build/Data/Functor/Rep.o, dist/build/Data/Functor/Rep.dyn_o ) src/Data/Functor/Rep.hs:109:1: warning: [-Wunused-imports] The import of ‘Data.Traversable’ is redundant except perhaps to import instances from ‘Data.Traversable’ To import instances alone, use: import Data.Traversable()  | 109 | import Data.Traversable (Traversable(sequenceA))  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^  src/Data/Functor/Rep.hs:128:17: warning: [-Wstar-is-type] Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’ relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: use ‘Type’ from ‘Data.Kind’ instead.  | 128 | type Rep f :: *  | ^  src/Data/Functor/Rep.hs:176:25: warning: [-Wstar-is-type] Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’ relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: use ‘Type’ from ‘Data.Kind’ instead.  | 176 | type family GRep' (f :: * -> *) :: *  | ^  src/Data/Functor/Rep.hs:176:30: warning: [-Wstar-is-type] Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’ relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: use ‘Type’ from ‘Data.Kind’ instead.  | 176 | type family GRep' (f :: * -> *) :: *  | ^  src/Data/Functor/Rep.hs:176:36: warning: [-Wstar-is-type] Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’ relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: use ‘Type’ from ‘Data.Kind’ instead.  | 176 | type family GRep' (f :: * -> *) :: *  | ^  src/Data/Functor/Rep.hs:250:1: warning: [-Winline-rule-shadowing] Rule "tabulate/index" may never fire because rule "Class op index" for ‘index’ might fire first Probable fix: add phase [n] or [~n] to the competing rule  | 250 | "tabulate/index" forall t. tabulate (index t) = t #-}  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [ 6 of 11] Compiling Data.Functor.Adjunction ( src/Data/Functor/Adjunction.hs, dist/build/Data/Functor/Adjunction.o, dist/build/Data/Functor/Adjunction.dyn_o ) src/Data/Functor/Adjunction.hs:9:14: warning: [-Wtrustworthy-safe] ‘Data.Functor.Adjunction’ is marked as Trustworthy but has been inferred as safe!  | 9 | {-# LANGUAGE Trustworthy #-}  | ^^^^^^^^^^^ [ 7 of 11] Compiling Control.Monad.Trans.Adjoint ( src/Control/Monad/Trans/Adjoint.hs, dist/build/Control/Monad/Trans/Adjoint.o, dist/build/Control/Monad/Trans/Adjoint.dyn_o ) [ 8 of 11] Compiling Control.Comonad.Trans.Adjoint ( src/Control/Comonad/Trans/Adjoint.hs, dist/build/Control/Comonad/Trans/Adjoint.o, dist/build/Control/Comonad/Trans/Adjoint.dyn_o ) [ 9 of 11] Compiling Control.Monad.Representable.State ( src/Control/Monad/Representable/State.hs, dist/build/Control/Monad/Representable/State.o, dist/build/Control/Monad/Representable/State.dyn_o ) [10 of 11] Compiling Control.Monad.Representable.Reader ( src/Control/Monad/Representable/Reader.hs, dist/build/Control/Monad/Representable/Reader.o, dist/build/Control/Monad/Representable/Reader.dyn_o ) [11 of 11] Compiling Control.Comonad.Representable.Store ( src/Control/Comonad/Representable/Store.hs, dist/build/Control/Comonad/Representable/Store.o, dist/build/Control/Comonad/Representable/Store.dyn_o ) src/Control/Comonad/Representable/Store.hs:46:1: warning: [-Wunused-imports] The import of ‘Data.Semigroup’ is redundant except perhaps to import instances from ‘Data.Semigroup’ To import instances alone, use: import Data.Semigroup()  | 46 | import Data.Semigroup  | ^^^^^^^^^^^^^^^^^^^^^  on the commandline: warning: -Wnoncanonical-monadfail-instances is deprecated: fail is no longer a method of Monad [ 1 of 11] Compiling Control.Monad.Trans.Conts ( src/Control/Monad/Trans/Conts.hs, dist/build/Control/Monad/Trans/Conts.p_o ) [ 2 of 11] Compiling Data.Functor.Contravariant.Rep ( src/Data/Functor/Contravariant/Rep.hs, dist/build/Data/Functor/Contravariant/Rep.p_o ) src/Data/Functor/Contravariant/Rep.hs:42:17: warning: [-Wstar-is-type] Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’ relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: use ‘Type’ from ‘Data.Kind’ instead.  | 42 | type Rep f :: *  | ^  src/Data/Functor/Contravariant/Rep.hs:59:1: warning: [-Winline-rule-shadowing] Rule "tabulate/index" may never fire because rule "Class op index" for ‘index’ might fire first Probable fix: add phase [n] or [~n] to the competing rule  | 59 | "tabulate/index" forall t. tabulate (index t) = t #-}  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [ 3 of 11] Compiling Data.Functor.Contravariant.Adjunction ( src/Data/Functor/Contravariant/Adjunction.hs, dist/build/Data/Functor/Contravariant/Adjunction.p_o ) [ 4 of 11] Compiling Control.Monad.Trans.Contravariant.Adjoint ( src/Control/Monad/Trans/Contravariant/Adjoint.hs, dist/build/Control/Monad/Trans/Contravariant/Adjoint.p_o ) [ 5 of 11] Compiling Data.Functor.Rep ( src/Data/Functor/Rep.hs, dist/build/Data/Functor/Rep.p_o ) src/Data/Functor/Rep.hs:109:1: warning: [-Wunused-imports] The import of ‘Data.Traversable’ is redundant except perhaps to import instances from ‘Data.Traversable’ To import instances alone, use: import Data.Traversable()  | 109 | import Data.Traversable (Traversable(sequenceA))  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^  src/Data/Functor/Rep.hs:128:17: warning: [-Wstar-is-type] Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’ relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: use ‘Type’ from ‘Data.Kind’ instead.  | 128 | type Rep f :: *  | ^  src/Data/Functor/Rep.hs:176:25: warning: [-Wstar-is-type] Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’ relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: use ‘Type’ from ‘Data.Kind’ instead.  | 176 | type family GRep' (f :: * -> *) :: *  | ^  src/Data/Functor/Rep.hs:176:30: warning: [-Wstar-is-type] Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’ relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: use ‘Type’ from ‘Data.Kind’ instead.  | 176 | type family GRep' (f :: * -> *) :: *  | ^  src/Data/Functor/Rep.hs:176:36: warning: [-Wstar-is-type] Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’ relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: use ‘Type’ from ‘Data.Kind’ instead.  | 176 | type family GRep' (f :: * -> *) :: *  | ^  src/Data/Functor/Rep.hs:250:1: warning: [-Winline-rule-shadowing] Rule "tabulate/index" may never fire because rule "Class op index" for ‘index’ might fire first Probable fix: add phase [n] or [~n] to the competing rule  | 250 | "tabulate/index" forall t. tabulate (index t) = t #-}  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [ 6 of 11] Compiling Data.Functor.Adjunction ( src/Data/Functor/Adjunction.hs, dist/build/Data/Functor/Adjunction.p_o ) src/Data/Functor/Adjunction.hs:9:14: warning: [-Wtrustworthy-safe] ‘Data.Functor.Adjunction’ is marked as Trustworthy but has been inferred as safe!  | 9 | {-# LANGUAGE Trustworthy #-}  | ^^^^^^^^^^^ [ 7 of 11] Compiling Control.Monad.Trans.Adjoint ( src/Control/Monad/Trans/Adjoint.hs, dist/build/Control/Monad/Trans/Adjoint.p_o ) [ 8 of 11] Compiling Control.Comonad.Trans.Adjoint ( src/Control/Comonad/Trans/Adjoint.hs, dist/build/Control/Comonad/Trans/Adjoint.p_o ) [ 9 of 11] Compiling Control.Monad.Representable.State ( src/Control/Monad/Representable/State.hs, dist/build/Control/Monad/Representable/State.p_o ) [10 of 11] Compiling Control.Monad.Representable.Reader ( src/Control/Monad/Representable/Reader.hs, dist/build/Control/Monad/Representable/Reader.p_o ) [11 of 11] Compiling Control.Comonad.Representable.Store ( src/Control/Comonad/Representable/Store.hs, dist/build/Control/Comonad/Representable/Store.p_o ) src/Control/Comonad/Representable/Store.hs:46:1: warning: [-Wunused-imports] The import of ‘Data.Semigroup’ is redundant except perhaps to import instances from ‘Data.Semigroup’ To import instances alone, use: import Data.Semigroup()  | 46 | import Data.Semigroup  | ^^^^^^^^^^^^^^^^^^^^^ Preprocessing test suite 'spec' for adjunctions-4.4.. Building test suite 'spec' for adjunctions-4.4.. [1 of 2] Compiling GenericsSpec ( tests/GenericsSpec.hs, dist/build/spec/spec-tmp/GenericsSpec.o, dist/build/spec/spec-tmp/GenericsSpec.dyn_o ) [2 of 2] Compiling Main ( tests/Spec.hs, dist/build/spec/spec-tmp/Main.o, dist/build/spec/spec-tmp/Main.dyn_o ) Linking dist/build/spec/spec ... /nix/store/hy3lz2vfv9qq2v5jz9nzlx6mmiaq79rj-binutils-2.35.1/bin/ld.gold: warning: /nix/store/cvr0kjg2q7z2wwhjblx6c73rv422k8cm-glibc-2.33-47/lib/crt1.o: unknown program property type 0xc0008002 in .note.gnu.property section @nix { "action": "setPhase", "phase": "checkPhase" } running tests Running 1 test suites... Test suite spec: RUNNING... Test suite spec: PASS Test suite logged to: dist/test/adjunctions-4.4-spec.log 1 of 1 test suites (1 of 1 test cases) passed. @nix { "action": "setPhase", "phase": "haddockPhase" } haddockPhase Preprocessing library for adjunctions-4.4.. Running Haddock on library for adjunctions-4.4.. Warning: --source-* options are ignored when --hyperlinked-source is enabled. Haddock coverage: 33% ( 4 / 12) in 'Control.Monad.Trans.Conts' Missing documentation for: Cont (src/Control/Monad/Trans/Conts.hs:45) cont (src/Control/Monad/Trans/Conts.hs:47) runCont (src/Control/Monad/Trans/Conts.hs:50) Conts (src/Control/Monad/Trans/Conts.hs:53) runConts (src/Control/Monad/Trans/Conts.hs:58) conts (src/Control/Monad/Trans/Conts.hs:55) ContsT (src/Control/Monad/Trans/Conts.hs:61) callCC (src/Control/Monad/Trans/Conts.hs:77) src/Data/Functor/Contravariant/Rep.hs:42:17: warning: [-Wstar-is-type] Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’ relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: use ‘Type’ from ‘Data.Kind’ instead.  | 42 | type Rep f :: *  | ^  src/Data/Functor/Contravariant/Rep.hs:59:1: warning: [-Winline-rule-shadowing] Rule "tabulate/index" may never fire because rule "Class op index" for ‘index’ might fire first Probable fix: add phase [n] or [~n] to the competing rule  | 59 | "tabulate/index" forall t. tabulate (index t) = t #-}  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning: 'Iso'' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 83% ( 5 / 6) in 'Data.Functor.Contravariant.Rep' Missing documentation for: contramapRep (src/Data/Functor/Contravariant/Rep.hs:71) Warning: 'Hask' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'Iso'' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 80% ( 4 / 5) in 'Data.Functor.Contravariant.Adjunction' Missing documentation for: coindexAdjunction (src/Data/Functor/Contravariant/Adjunction.hs:81) 20% ( 1 / 5) in 'Control.Monad.Trans.Contravariant.Adjoint' Missing documentation for: Adjoint (src/Control/Monad/Trans/Contravariant/Adjoint.hs:47) runAdjoint (src/Control/Monad/Trans/Contravariant/Adjoint.hs:54) adjoint (src/Control/Monad/Trans/Contravariant/Adjoint.hs:51) AdjointT (src/Control/Monad/Trans/Contravariant/Adjoint.hs:49) src/Data/Functor/Rep.hs:128:17: warning: [-Wstar-is-type] Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’ relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: use ‘Type’ from ‘Data.Kind’ instead.  | 128 | type Rep f :: *  | ^  src/Data/Functor/Rep.hs:176:25: warning: [-Wstar-is-type] Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’ relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: use ‘Type’ from ‘Data.Kind’ instead.  | 176 | type family GRep' (f :: * -> *) :: *  | ^  src/Data/Functor/Rep.hs:176:30: warning: [-Wstar-is-type] Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’ relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: use ‘Type’ from ‘Data.Kind’ instead.  | 176 | type family GRep' (f :: * -> *) :: *  | ^  src/Data/Functor/Rep.hs:176:36: warning: [-Wstar-is-type] Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’ relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: use ‘Type’ from ‘Data.Kind’ instead.  | 176 | type family GRep' (f :: * -> *) :: *  | ^  src/Data/Functor/Rep.hs:109:1: warning: [-Wunused-imports] The import of ‘Data.Traversable’ is redundant except perhaps to import instances from ‘Data.Traversable’ To import instances alone, use: import Data.Traversable()  | 109 | import Data.Traversable (Traversable(sequenceA))  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^  src/Data/Functor/Rep.hs:250:1: warning: [-Winline-rule-shadowing] Rule "tabulate/index" may never fire because rule "Class op index" for ‘index’ might fire first Probable fix: add phase [n] or [~n] to the competing rule  | 250 | "tabulate/index" forall t. tabulate (index t) = t #-}  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning: 'WrappedRec' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'Iso'' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 46% ( 22 / 47) in 'Data.Functor.Rep' Missing documentation for: Co (src/Data/Functor/Rep.hs:450) fmapRep (src/Data/Functor/Rep.hs:264) distributeRep (src/Data/Functor/Rep.hs:291) collectRep (src/Data/Functor/Rep.hs:294) apRep (src/Data/Functor/Rep.hs:288) pureRep (src/Data/Functor/Rep.hs:267) liftR2 (src/Data/Functor/Rep.hs:491) liftR3 (src/Data/Functor/Rep.hs:494) bindRep (src/Data/Functor/Rep.hs:270) mfixRep (src/Data/Functor/Rep.hs:273) mzipRep (src/Data/Functor/Rep.hs:279) mzipWithRep (src/Data/Functor/Rep.hs:276) askRep (src/Data/Functor/Rep.hs:282) localRep (src/Data/Functor/Rep.hs:285) duplicatedRep (src/Data/Functor/Rep.hs:306) extendedRep (src/Data/Functor/Rep.hs:309) duplicateRep (src/Data/Functor/Rep.hs:312) extendRep (src/Data/Functor/Rep.hs:315) extractRep (src/Data/Functor/Rep.hs:318) duplicateRepBy (src/Data/Functor/Rep.hs:297) extendRepBy (src/Data/Functor/Rep.hs:300) extractRepBy (src/Data/Functor/Rep.hs:303) imapRep (src/Data/Functor/Rep.hs:321) ifoldMapRep (src/Data/Functor/Rep.hs:324) itraverseRep (src/Data/Functor/Rep.hs:328) src/Data/Functor/Adjunction.hs:9:14: warning: [-Wtrustworthy-safe] ‘Data.Functor.Adjunction’ is marked as Trustworthy but has been inferred as safe!  | 9 | {-# LANGUAGE Trustworthy #-}  | ^^^^^^^^^^^ Warning: 'Iso'' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'uncozipping' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 62% ( 10 / 16) in 'Data.Functor.Adjunction' Missing documentation for: zapWithAdjunction (src/Data/Functor/Adjunction.hs:120) absurdL (src/Data/Functor/Adjunction.hs:144) extractL (src/Data/Functor/Adjunction.hs:129) duplicateL (src/Data/Functor/Adjunction.hs:132) splitL (src/Data/Functor/Adjunction.hs:123) unsplitL (src/Data/Functor/Adjunction.hs:126) 20% ( 1 / 5) in 'Control.Monad.Trans.Adjoint' Missing documentation for: Adjoint (src/Control/Monad/Trans/Adjoint.hs:34) runAdjoint (src/Control/Monad/Trans/Adjoint.hs:41) adjoint (src/Control/Monad/Trans/Adjoint.hs:38) AdjointT (src/Control/Monad/Trans/Adjoint.hs:36) 20% ( 1 / 5) in 'Control.Comonad.Trans.Adjoint' Missing documentation for: Adjoint (src/Control/Comonad/Trans/Adjoint.hs:35) runAdjoint (src/Control/Comonad/Trans/Adjoint.hs:42) adjoint (src/Control/Comonad/Trans/Adjoint.hs:39) AdjointT (src/Control/Comonad/Trans/Adjoint.hs:37) 80% ( 12 / 15) in 'Control.Monad.Representable.State' Missing documentation for: stateT (src/Control/Monad/Representable/State.hs:109) runStateT (src/Control/Monad/Representable/State.hs:112) mapStateT (src/Control/Monad/Representable/State.hs:115) 50% ( 5 / 10) in 'Control.Monad.Representable.Reader' Missing documentation for: Reader (src/Control/Monad/Representable/Reader.hs:46) runReader (src/Control/Monad/Representable/Reader.hs:48) ReaderT (src/Control/Monad/Representable/Reader.hs:53) readerT (src/Control/Monad/Representable/Reader.hs:55) runReaderT (src/Control/Monad/Representable/Reader.hs:58) src/Control/Comonad/Representable/Store.hs:46:1: warning: [-Wunused-imports] The import of ‘Data.Semigroup’ is redundant except perhaps to import instances from ‘Data.Semigroup’ To import instances alone, use: import Data.Semigroup()  | 46 | import Data.Semigroup  | ^^^^^^^^^^^^^^^^^^^^^ Warning: 'state' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 62% ( 5 / 8) in 'Control.Comonad.Representable.Store' Missing documentation for: storeT (src/Control/Comonad/Representable/Store.hs:76) runStoreT (src/Control/Comonad/Representable/Store.hs:79) ComonadStore Warning: Data.Functor.Rep: could not find link destinations for: GTabulate GIndex GRep' Documentation created: dist/doc/html/adjunctions/index.html, dist/doc/html/adjunctions/adjunctions.txt Preprocessing test suite 'spec' for adjunctions-4.4.. @nix { "action": "setPhase", "phase": "installPhase" } installing Installing library in /nix/store/rvb74944pjw10dmkgpg9h09w6lqvzcg2-adjunctions-4.4/lib/ghc-8.10.4/x86_64-linux-ghc-8.10.4/adjunctions-4.4-Eu0yaZJBZH7IO6mt71H9df @nix { "action": "setPhase", "phase": "fixupPhase" } post-installation fixup shrinking RPATHs of ELF executables and libraries in /nix/store/rvb74944pjw10dmkgpg9h09w6lqvzcg2-adjunctions-4.4 shrinking /nix/store/rvb74944pjw10dmkgpg9h09w6lqvzcg2-adjunctions-4.4/lib/ghc-8.10.4/x86_64-linux-ghc-8.10.4/libHSadjunctions-4.4-Eu0yaZJBZH7IO6mt71H9df-ghc8.10.4.so strip is /nix/store/hy3lz2vfv9qq2v5jz9nzlx6mmiaq79rj-binutils-2.35.1/bin/strip stripping (with command strip and flags -S) in /nix/store/rvb74944pjw10dmkgpg9h09w6lqvzcg2-adjunctions-4.4/lib patching script interpreter paths in /nix/store/rvb74944pjw10dmkgpg9h09w6lqvzcg2-adjunctions-4.4 checking for references to /build/ in /nix/store/rvb74944pjw10dmkgpg9h09w6lqvzcg2-adjunctions-4.4... shrinking RPATHs of ELF executables and libraries in /nix/store/akb2jrvfhhg8ayr5hn8agd2qhnrwzc30-adjunctions-4.4-doc strip is /nix/store/hy3lz2vfv9qq2v5jz9nzlx6mmiaq79rj-binutils-2.35.1/bin/strip patching script interpreter paths in /nix/store/akb2jrvfhhg8ayr5hn8agd2qhnrwzc30-adjunctions-4.4-doc checking for references to /build/ in /nix/store/akb2jrvfhhg8ayr5hn8agd2qhnrwzc30-adjunctions-4.4-doc...