Resolving dependencies...
Configuring ghc-tcplugin-api-0.16.1.0...
Preprocessing library for ghc-tcplugin-api-0.16.1.0..
Building library for ghc-tcplugin-api-0.16.1.0..
[1 of 4] Compiling GHC.TcPlugin.API.Internal ( src/GHC/TcPlugin/API/Internal.hs, dist/build/GHC/TcPlugin/API/Internal.o, dist/build/GHC/TcPlugin/API/Internal.dyn_o )
[2 of 4] Compiling GHC.TcPlugin.API ( src/GHC/TcPlugin/API.hs, dist/build/GHC/TcPlugin/API.o, dist/build/GHC/TcPlugin/API.dyn_o )
[3 of 4] Compiling GHC.TcPlugin.API.Names ( src/GHC/TcPlugin/API/Names.hs, dist/build/GHC/TcPlugin/API/Names.o, dist/build/GHC/TcPlugin/API/Names.dyn_o )
[4 of 4] Compiling GHC.TcPlugin.API.TyConSubst ( src/GHC/TcPlugin/API/TyConSubst.hs, dist/build/GHC/TcPlugin/API/TyConSubst.o, dist/build/GHC/TcPlugin/API/TyConSubst.dyn_o )
Preprocessing library for ghc-tcplugin-api-0.16.1.0..
Running Haddock on library for ghc-tcplugin-api-0.16.1.0..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 4] Compiling GHC.TcPlugin.API.Internal ( src/GHC/TcPlugin/API/Internal.hs, nothing )
[2 of 4] Compiling GHC.TcPlugin.API ( src/GHC/TcPlugin/API.hs, nothing )
[3 of 4] Compiling GHC.TcPlugin.API.Names ( src/GHC/TcPlugin/API/Names.hs, nothing )
[4 of 4] Compiling GHC.TcPlugin.API.TyConSubst ( src/GHC/TcPlugin/API/TyConSubst.hs, nothing )
Haddock coverage:
 100% ( 18 / 18) in 'GHC.TcPlugin.API.Internal'
Warning: 'CtLoc' is ambiguous. It is defined
    * in GHC.Tc.Types.Constraint
    * in GHC.Tc.Types.Constraint
    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.Tc.Types.Constraint
Warning: 'Name' is ambiguous. It is defined
    * in GHC.Types.Name
    * in Language.Haskell.TH.Syntax
    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 Language.Haskell.TH.Syntax
Warning: 'TcPlugin' is ambiguous. It is defined
    * at src/GHC/TcPlugin/API/Internal.hs:201:17
    * at src/GHC/TcPlugin/API/Internal.hs:201: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 src/GHC/TcPlugin/API/Internal.hs:201:1
Warning: '($$)' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'mkCoreConApps' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
  70% (221 /314) in 'GHC.TcPlugin.API'
  Missing documentation for:
    fsLit
    mkModuleName
    stringToUnitId
    mkVarOcc
    mkDataOcc
    mkTyVarOcc
    mkTcOcc
    mkClsOcc
    promoteDataCon
    mkNonCanonical
    classifyPredType
    ctPred
    MetaDetails
    isSkolemTyVar
    isMetaTyVar
    isFilledMetaTyVar_maybe
    readTcRef
    writeTcRef
    nonDetCmpType
    ctLoc
    ctEvidence
    ctOrigin
    ctEvPred
    ctEvId
    ctEvExpr
    ctEvLoc
    className
    mkCoercionTy
    isCoercionTy
    isCoercionTy_maybe
    ctEvCoercion
    evCoercion
    lookupEvBind
    eb_lhs
    eb_rhs
    newName
    mkTyVar
    classDataCon
    mkClassPred
    bumpCtLocDepth
    TcPluginRewriteResult
    FamInstEnv
    mkTyVarTy
    mkTyVarTys
    isTyVarTy
    TcType
    mkNumLitTy
    mkStrLitTy
    natKind (src/GHC/TcPlugin/API.hs:1333)
    symbolKind (src/GHC/TcPlugin/API.hs:1339)
    charKind (src/GHC/TcPlugin/API.hs:1340)
    mkAppTys
    mkVisFunTysMany
    mkInvisFunTy
    mkInvisFunTys
    mkPiTy
    mkPiTys
    typeKind
    OneTy
    ManyTy
    lookupUDFM
    lookupUDFM_Directly
    elemUDFM
    emptyUFM
    listToUFM
    TcS
    InertSet
    getInertSet
    setInertSet (src/GHC/TcPlugin/API.hs:1266)
    getTcEvBindsMap
    setTcEvBindsMap
    Boxity
    isPromoted
    TupleSort
    Class
    FunDep
    CtFlavour
    Ct
    CtLoc
    CtEvidence
    CtOrigin
    QCInst
    Type
    TcLevel
    EvBind
    EvTerm
    EvExpr
    EvBindsVar
    TcLclEnv
    Located
    RealLocated
    unLoc
    getLoc
 100% ( 10 / 10) in 'GHC.TcPlugin.API.Names'
Warning: 'TyConApp' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'TyConSubst' is ambiguous. It is defined
    * at src/GHC/TcPlugin/API/TyConSubst.hs:78:19
    * at src/GHC/TcPlugin/API/TyConSubst.hs:78: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 src/GHC/TcPlugin/API/TyConSubst.hs:78:1
Warning: 'Classified' is ambiguous. It is defined
    * at src/GHC/TcPlugin/API/TyConSubst.hs:176:19
    * at src/GHC/TcPlugin/API/TyConSubst.hs:176: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 src/GHC/TcPlugin/API/TyConSubst.hs:176:1
 100% (  4 /  4) in 'GHC.TcPlugin.API.TyConSubst'
Warning: GHC.TcPlugin.API.Internal: could not find link destinations for: 
	- GHC.TcPlugin.API.Internal.BuiltinDefs
	- GHC.TcPlugin.API.Internal.askBuiltins
	- GHC.TcPlugin.API.Internal.D:R:TcPluginMStopa0
	- GHC.TcPlugin.API.Internal.D:R:TcPluginMInita0
	- GHC.TcPlugin.API.Internal.D:R:TcPluginMRewritea0
	- GHC.TcPlugin.API.Internal.D:R:TcPluginMSolvea0
Warning: GHC.TcPlugin.API: could not find link destinations for: 
	- GHC.Driver.MakeSem.JobResources
	- GHC.Types.Unique.SDFM.Shared
	- GHC.Core.InstEnv.InstMatches
	- GHC.Core.Opt.Arity.EtaInfo
	- GHC.Core.Opt.OccurAnal.TailUsageDetails
	- GHC.Core.Opt.OccurAnal.SimpleNodeDetails
	- GHC.Core.Opt.OccurAnal.NodeDetails
	- GHC.Unit.State.UnitVisibility
	- GHC.Core.Opt.CprAnal.SigEnv
	- GHC.Core.Opt.DmdAnal.AnalEnv
	- GHC.CmmToAsm.BlockLayout.BlockChain
	- GHC.Wasm.ControlFlow.FromCmm.ContainingSyntax
	- GHC.Core.Opt.Specialise.DictBind
	- GHC.Core.Opt.Specialise.SpecArg
	- GHC.CoreToStg.Prep.Floats
	- GHC.Rename.Env.DisambigInfo
	- GHC.Tc.Validity.ValidityEnv
	- GHC.Tc.Validity.ExpandMode
	- GHC.Tc.Validity.TypeOrKindCtxt
	- GHC.Rename.Names.ImpOccItem
	- GHC.Rename.Expr.StmtTree
	- GHC.Rename.Expr.MonadNames
	- GHC.Tc.Gen.HsType.TcTyMode
	- GHC.HsToCore.Pmc.Solver.TopNormaliseTypeResult
	- GHC.Iface.Ext.Ast.HasType
	- GHC.Iface.Ext.Ast.ToHie
	- GHC.Iface.Ext.Ast.loc
	- GHC.Iface.Ext.Ast.TVScoped
	- GHC.Iface.Ext.Ast.PScoped
	- GHC.Iface.Ext.Ast.RScoped
	- GHC.Iface.Ext.Ast.SigContext
	- GHC.Iface.Ext.Ast.BindContext
	- GHC.Iface.Ext.Ast.IEContext
	- GHC.Iface.Ext.Ast.RFContext
	- GHC.Driver.Make.BuildPlan
	- GHC.Driver.Make.ModuleGraphNodeWithBootFile
	- GHC.Types.Name.NameSort
	- GHC.Unit.Module.Env.NDModule
	- GHC.TcPlugin.API.Internal.BuiltinDefs
	- GHC.TcPlugin.API.Internal.askBuiltins
	- GHC.TcPlugin.API.Internal.D:R:TcPluginMStopa0
	- GHC.TcPlugin.API.Internal.D:R:TcPluginMInita0
	- GHC.TcPlugin.API.Internal.D:R:TcPluginMRewritea0
	- GHC.TcPlugin.API.Internal.D:R:TcPluginMSolvea0
	- GHC.Utils.Outputable.D:R:LineSDoc
	- GHC.Data.TrieMap.D:R:KeyUniqDFM
	- GHC.Cmm.CLabel.IdLabelInfo
	- GHC.Cmm.CLabel.TickyIdInfo
	- GHC.Cmm.Type.CmmCat
	- GHC.Cmm.LayoutStack.StackMap
	- GHC.Cmm.LayoutStack.StackSlot
	- GHC.CmmToAsm.CFG.BranchInfo
	- GHC.CmmToAsm.CFG.LoopInfo
	- GHC.CmmToAsm.Reg.Graph.SpillClean.Store
	- GHC.Core.Opt.Arity.ArityEnv
	- GHC.Core.Opt.CprAnal.AnalEnv
	- GHC.Core.Opt.FloatIn.FloatInBind
	- GHC.Core.Opt.FloatOut.FloatBinds
	- GHC.Core.Opt.OccurAnal.OccEncl
	- GHC.Core.Opt.OccurAnal.UsageDetails
	- GHC.Core.Opt.Simplify.Env.FloatFlag
	- GHC.Core.Opt.SpecConstr.ArgOcc
	- GHC.Core.Opt.SpecConstr.Call
	- GHC.Core.Opt.SpecConstr.CallPat
	- GHC.Core.Opt.SpecConstr.HowBound
	- GHC.Core.Opt.SpecConstr.ScUsage
	- GHC.Core.Opt.SpecConstr.Value
	- GHC.Core.Opt.Specialise.CallInfo
	- GHC.Core.Opt.Specialise.CallInfoSet
	- GHC.Core.Opt.Specialise.FloatedDictBinds
	- GHC.Core.Opt.Specialise.SpecEnv
	- GHC.Core.Opt.Specialise.UsageDetails
	- GHC.Core.SimpleOpt.SimpleOptEnv
	- GHC.CoreToStg.Prep.ArgInfo
	- GHC.CoreToStg.Prep.FloatingBind
	- GHC.CoreToStg.Prep.OkToSpec
	- GHC.Data.Graph.Directed.Time
	- GHC.Data.Graph.Directed.Edge
	- GHC.Driver.Make.CodeGenEnable
	- GHC.Driver.Make.CachedIface
	- GHC.Iface.Ext.Ast.HasLoc
	- GHC.Iface.Ext.Ast.HiePass
	- GHC.Iface.Ext.Ast.HieM
	- GHC.Iface.Ext.Ast.HieState
	- GHC.Iface.Ext.Ast.Context
	- GHC.Iface.Ext.Ast.ModifyState
	- GHC.Iface.Ext.Ast.RContext
	- GHC.Iface.Ext.Ast.TScoped
	- GHC.Iface.Ext.Ast.EvBindContext
	- GHC.Iface.Ext.Ast.AnnoBody
	- GHC.Iface.Ext.Ast.getTypeNode
	- GHC.Iface.Ext.Ast.addSubstitution
	- GHC.Iface.Ext.Ast.toHie
	- GHC.Iface.Recomp.IfaceDeclExtras
	- GHC.Parser.PostProcess.Haddock.HdkA
	- GHC.Parser.PostProcess.Haddock.HasHaddock
	- GHC.Parser.PostProcess.Haddock.addHaddock
	- GHC.Rename.HsType.RnTyKiEnv
	- GHC.Rename.HsType.RnTyKiWhat
	- GHC.Stg.Unarise.UnariseVal
	- GHC.StgToByteCode.Discr
	- GHC.Tc.Deriv.EarlyDerivSpec
	- GHC.Tc.Gen.Bind.GeneralisationPlan
	- GHC.Tc.Gen.Head.XPass
	- GHC.Tc.Gen.Head.EWrap
	- GHC.Wasm.ControlFlow.FromCmm.Context
Warning: GHC.TcPlugin.API.Names: could not find link destinations for: 
	- GHC.TcPlugin.API.Names.GTraversableC
	- GHC.TcPlugin.API.Names.ResolveName
	- GHC.TcPlugin.API.Names.resolve_names
Documentation created: dist/doc/html/ghc-tcplugin-api/,
dist/doc/html/ghc-tcplugin-api/ghc-tcplugin-api.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/ghc-tcplugin-api-0.16.1.0-686AMAiy1va5pk78Gih3LA
Completed    ghc-tcplugin-api-0.16.1.0
Configuring typelet-0.1.6...
Preprocessing library for typelet-0.1.6..
Building library for typelet-0.1.6..
[1 of 7] Compiling TypeLet.Plugin.GhcTcPluginAPI ( src/TypeLet/Plugin/GhcTcPluginAPI.hs, dist/build/TypeLet/Plugin/GhcTcPluginAPI.o, dist/build/TypeLet/Plugin/GhcTcPluginAPI.dyn_o )
[2 of 7] Compiling TypeLet.Plugin.NameResolution ( src/TypeLet/Plugin/NameResolution.hs, dist/build/TypeLet/Plugin/NameResolution.o, dist/build/TypeLet/Plugin/NameResolution.dyn_o )
[3 of 7] Compiling TypeLet.Plugin.Constraints ( src/TypeLet/Plugin/Constraints.hs, dist/build/TypeLet/Plugin/Constraints.o, dist/build/TypeLet/Plugin/Constraints.dyn_o )
[4 of 7] Compiling TypeLet.Plugin.Substitution ( src/TypeLet/Plugin/Substitution.hs, dist/build/TypeLet/Plugin/Substitution.o, dist/build/TypeLet/Plugin/Substitution.dyn_o )
[5 of 7] Compiling TypeLet.Plugin   ( src/TypeLet/Plugin.hs, dist/build/TypeLet/Plugin.o, dist/build/TypeLet/Plugin.dyn_o )
[6 of 7] Compiling TypeLet.UserAPI  ( src/TypeLet/UserAPI.hs, dist/build/TypeLet/UserAPI.o, dist/build/TypeLet/UserAPI.dyn_o )
[7 of 7] Compiling TypeLet          ( src/TypeLet.hs, dist/build/TypeLet.o, dist/build/TypeLet.dyn_o )
Preprocessing library for typelet-0.1.6..
Running Haddock on library for typelet-0.1.6..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 7] Compiling TypeLet.Plugin.GhcTcPluginAPI ( src/TypeLet/Plugin/GhcTcPluginAPI.hs, nothing )
[2 of 7] Compiling TypeLet.Plugin.NameResolution ( src/TypeLet/Plugin/NameResolution.hs, nothing )
[3 of 7] Compiling TypeLet.Plugin.Constraints ( src/TypeLet/Plugin/Constraints.hs, nothing )
[4 of 7] Compiling TypeLet.Plugin.Substitution ( src/TypeLet/Plugin/Substitution.hs, nothing )
[5 of 7] Compiling TypeLet.Plugin   ( src/TypeLet/Plugin.hs, nothing )
[6 of 7] Compiling TypeLet.UserAPI  ( src/TypeLet/UserAPI.hs, nothing )
[7 of 7] Compiling TypeLet          ( src/TypeLet.hs, nothing )
Haddock coverage:
Warning: 'Equal' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'CLet' is ambiguous. It is defined
    * at src/TypeLet/Plugin/Constraints.hs:32:13
    * at src/TypeLet/Plugin/Constraints.hs:32: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 src/TypeLet/Plugin/Constraints.hs:32:1
Warning: 'Equal' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'cast' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'coerce' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
   0% (  0 /  2) in 'TypeLet.Plugin'
  Missing documentation for:
    Module header
    plugin (src/TypeLet/Plugin.hs:19)
Warning: 'LetT' is ambiguous. It is defined
    * at src/TypeLet/UserAPI.hs:129:3
    * at src/TypeLet/UserAPI.hs:128: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 src/TypeLet/UserAPI.hs:128:1
  93% ( 14 / 15) in 'TypeLet.UserAPI'
  Missing documentation for:
    Module header
  66% (  2 /  3) in 'TypeLet'
  Missing documentation for:
    Module header
Warning: TypeLet.UserAPI: could not find link destinations for: 
	- GHC.Generics.Rep1_Proxy
	- GHC.Generics.Rep_Proxy
Documentation created: dist/doc/html/typelet/,
dist/doc/html/typelet/typelet.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/typelet-0.1.6-CxScGc6yoUz4w0qO8HZ3Ge
Completed    typelet-0.1.6