Resolving dependencies...
Configuring ghc-tcplugins-extra-0.5...
Preprocessing library for ghc-tcplugins-extra-0.5..
Building library for ghc-tcplugins-extra-0.5..
[1 of 8] Compiling GhcApi.Constraint
[2 of 8] Compiling GhcApi.GhcPlugins
[3 of 8] Compiling GhcApi.Predicate
[4 of 8] Compiling Internal.Constraint
[5 of 8] Compiling Internal.Evidence
[6 of 8] Compiling Internal.Type
[7 of 8] Compiling Internal
[8 of 8] Compiling GHC.TcPluginM.Extra
Preprocessing library for ghc-tcplugins-extra-0.5..
Running Haddock on library for ghc-tcplugins-extra-0.5..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 8] Compiling GhcApi.Constraint
[2 of 8] Compiling GhcApi.GhcPlugins
[3 of 8] Compiling GhcApi.Predicate
[4 of 8] Compiling Internal.Constraint
[5 of 8] Compiling Internal.Evidence
[6 of 8] Compiling Internal.Type
[7 of 8] Compiling Internal
[8 of 8] Compiling GHC.TcPluginM.Extra
Haddock coverage:
Warning: 'tcPluginInit' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'tcPluginStop' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'Module' is ambiguous. It is defined
    * in GHC.Unit.Types
    * in GHC.Unit.Types
    You may be able to disambiguate the identifier by qualifying it or
    by specifying the type/value namespace explicitly.
    Defaulting to the one defined in GHC.Unit.Types
 100% ( 18 / 18) in 'GHC.TcPluginM.Extra'
Documentation created: dist/doc/html/ghc-tcplugins-extra/,
dist/doc/html/ghc-tcplugins-extra/ghc-tcplugins-extra.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/ghc-tcplugins-extra-0.5-CBl5wTkzAV73I6RhV28rpX
Completed    ghc-tcplugins-extra-0.5
Downloading  ghc-typelits-natnormalise-0.7.12
Downloaded   ghc-typelits-natnormalise-0.7.12
Configuring ghc-typelits-natnormalise-0.7.12...
Preprocessing library for ghc-typelits-natnormalise-0.7.12..
Building library for ghc-typelits-natnormalise-0.7.12..
[1 of 3] Compiling GHC.TypeLits.Normalise.SOP ( src/GHC/TypeLits/Normalise/SOP.hs, dist/build/GHC/TypeLits/Normalise/SOP.o, dist/build/GHC/TypeLits/Normalise/SOP.dyn_o )
[2 of 3] Compiling GHC.TypeLits.Normalise.Unify ( src/GHC/TypeLits/Normalise/Unify.hs, dist/build/GHC/TypeLits/Normalise/Unify.o, dist/build/GHC/TypeLits/Normalise/Unify.dyn_o )
[3 of 3] Compiling GHC.TypeLits.Normalise ( src-ghc-9.4/GHC/TypeLits/Normalise.hs, dist/build/GHC/TypeLits/Normalise.o, dist/build/GHC/TypeLits/Normalise.dyn_o )
Preprocessing library for ghc-typelits-natnormalise-0.7.12..
Running Haddock on library for ghc-typelits-natnormalise-0.7.12..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 3] Compiling GHC.TypeLits.Normalise.SOP ( src/GHC/TypeLits/Normalise/SOP.hs, nothing )
[2 of 3] Compiling GHC.TypeLits.Normalise.Unify ( src/GHC/TypeLits/Normalise/Unify.hs, nothing )
[3 of 3] Compiling GHC.TypeLits.Normalise ( src-ghc-9.4/GHC/TypeLits/Normalise.hs, nothing )
Haddock coverage:
Warning: 'complex' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
  76% ( 10 / 13) in 'GHC.TypeLits.Normalise.SOP'
  Missing documentation for:
    Symbol (src/GHC/TypeLits/Normalise/SOP.hs:106)
    Product (src/GHC/TypeLits/Normalise/SOP.hs:113)
    SOP (src/GHC/TypeLits/Normalise/SOP.hs:122)
Warning: 'CoreSubst' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'x' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'y' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'a' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'b' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
  78% ( 22 / 28) in 'GHC.TypeLits.Normalise.Unify'
  Missing documentation for:
    CType (src/GHC/TypeLits/Normalise/Unify.hs:126)
    normaliseSimplifyNat (src/GHC/TypeLits/Normalise/Unify.hs:206)
    UnifyItem (src/GHC/TypeLits/Normalise/Unify.hs:349)
    subtractionToPred (src/GHC/TypeLits/Normalise/Unify.hs:329)
    solvedInEqSmallestConstraint (src/GHC/TypeLits/Normalise/Unify.hs:726)
    isNatural (src/GHC/TypeLits/Normalise/Unify.hs:654)
 100% (  2 /  2) in 'GHC.TypeLits.Normalise'
Warning: GHC.TypeLits.Normalise.Unify: could not find link destinations for: 
	- GHC.TypeLits.Normalise.Unify.Ineq
Documentation created: dist/doc/html/ghc-typelits-natnormalise/,
dist/doc/html/ghc-typelits-natnormalise/ghc-typelits-natnormalise.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/ghc-typelits-natnormalise-0.7.12-Io7HKNORxnJXHW8dV3m7V
Completed    ghc-typelits-natnormalise-0.7.12