[all reports]
| Package |
ghc-typelits-extra-0.5.0 |
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
Ok |
| Time submitted |
2025-10-17 13:50:25.167276896 UTC
|
| Compiler |
ghc-9.8.4 |
| OS |
linux |
| Arch |
x86_64 |
| Dependencies |
base-4.19.2.0, containers-0.6.8, ghc-9.8.4, ghc-bignum-1.3, ghc-prim-0.11.0, ghc-tcplugin-api-0.18.1.0, ghc-typelits-knownnat-0.8.2, ghc-typelits-natnormalise-0.9.0, template-haskell-2.21.0.0, transformers-0.6.1.0 |
| Flags |
-deverror
|
Code Coverage
| expressions | 51% (37/72) |
|---|
| boolean | guards | 50% (1/2) |
|---|
| conditions | 100% (0/0) |
|---|
| qualifiers | 100% (0/0) |
|---|
| alternatives | 66% (2/3) |
|---|
| local declarations | 100% (4/4) |
|---|
| top-level declarations | 50% (4/8) |
|---|
Build log
[view raw]
Resolving dependencies...
Configuring ghc-tcplugin-api-0.18.1.0...
Preprocessing library for ghc-tcplugin-api-0.18.1.0..
Building library for ghc-tcplugin-api-0.18.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.18.1.0..
Running Haddock on library for ghc-tcplugin-api-0.18.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:214:17
* at src/GHC/TcPlugin/API/Internal.hs:214: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:214: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:105:19
* at src/GHC/TcPlugin/API/TyConSubst.hs:105: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:105:1
Warning: 'Classified' is ambiguous. It is defined
* at src/GHC/TcPlugin/API/TyConSubst.hs:208:19
* at src/GHC/TcPlugin/API/TyConSubst.hs:208: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:208: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.18.1.0-1k19hBZR5l07cTHtOxt350
Completed ghc-tcplugin-api-0.18.1.0
Configuring ghc-typelits-natnormalise-0.9.0...
Preprocessing library for ghc-typelits-natnormalise-0.9.0..
Building library for ghc-typelits-natnormalise-0.9.0..
[1 of 4] Compiling GHC.TypeLits.Normalise.Compat ( src/GHC/TypeLits/Normalise/Compat.hs, dist/build/GHC/TypeLits/Normalise/Compat.o, dist/build/GHC/TypeLits/Normalise/Compat.dyn_o )
[2 of 4] 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 )
[3 of 4] 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 )
[4 of 4] Compiling GHC.TypeLits.Normalise ( src/GHC/TypeLits/Normalise.hs, dist/build/GHC/TypeLits/Normalise.o, dist/build/GHC/TypeLits/Normalise.dyn_o )
Preprocessing library for ghc-typelits-natnormalise-0.9.0..
Running Haddock on library for ghc-typelits-natnormalise-0.9.0..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 4] Compiling GHC.TypeLits.Normalise.Compat ( src/GHC/TypeLits/Normalise/Compat.hs, nothing )
[2 of 4] Compiling GHC.TypeLits.Normalise.SOP ( src/GHC/TypeLits/Normalise/SOP.hs, nothing )
[3 of 4] Compiling GHC.TypeLits.Normalise.Unify ( src/GHC/TypeLits/Normalise/Unify.hs, nothing )
[4 of 4] Compiling GHC.TypeLits.Normalise ( src/GHC/TypeLits/Normalise.hs, nothing )
Haddock coverage:
41% ( 5 / 12) in 'GHC.TypeLits.Normalise.Compat'
Missing documentation for:
Module header
LookedUpTyCons (src/GHC/TypeLits/Normalise/Compat.hs:82)
lookupTyCons (src/GHC/TypeLits/Normalise/Compat.hs:104)
upToGivens (src/GHC/TypeLits/Normalise/Compat.hs:363)
listToUniqMap
nonDetUniqMapToList
mkTcPluginSolveResult (src/GHC/TypeLits/Normalise/Compat.hs:394)
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.
Warning: 'Nat' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
82% ( 23 / 28) in 'GHC.TypeLits.Normalise.Unify'
Missing documentation for:
CType (src/GHC/TypeLits/Normalise/Unify.hs:94)
normaliseSimplifyNat (src/GHC/TypeLits/Normalise/Unify.hs:209)
UnifyItem (src/GHC/TypeLits/Normalise/Unify.hs:365)
solvedInEqSmallestConstraint (src/GHC/TypeLits/Normalise/Unify.hs:838)
negateProd (src/GHC/TypeLits/Normalise/Unify.hs:322)
100% ( 2 / 2) in 'GHC.TypeLits.Normalise'
Warning: GHC.TypeLits.Normalise.Unify: could not find link destinations for:
- GHC.TypeLits.Normalise.Unify.Ineq
- GHC.TypeLits.Normalise.Unify.CoreProduct
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.9.0-CzCuE1v5DVa9BEj6x4hUz1
Completed ghc-typelits-natnormalise-0.9.0
Configuring ghc-typelits-knownnat-0.8.2...
Preprocessing library for ghc-typelits-knownnat-0.8.2..
Building library for ghc-typelits-knownnat-0.8.2..
[1 of 4] Compiling GHC.TypeLits.KnownNat.TH ( src/GHC/TypeLits/KnownNat/TH.hs, dist/build/GHC/TypeLits/KnownNat/TH.o, dist/build/GHC/TypeLits/KnownNat/TH.dyn_o )
[2 of 4] Compiling GHC.TypeLits.KnownNat ( src/GHC/TypeLits/KnownNat.hs, dist/build/GHC/TypeLits/KnownNat.o, dist/build/GHC/TypeLits/KnownNat.dyn_o )
[3 of 4] Compiling GHC.TypeLits.KnownNat.Compat ( src/GHC/TypeLits/KnownNat/Compat.hs, dist/build/GHC/TypeLits/KnownNat/Compat.o, dist/build/GHC/TypeLits/KnownNat/Compat.dyn_o )
[4 of 4] Compiling GHC.TypeLits.KnownNat.Solver ( src/GHC/TypeLits/KnownNat/Solver.hs, dist/build/GHC/TypeLits/KnownNat/Solver.o, dist/build/GHC/TypeLits/KnownNat/Solver.dyn_o )
Preprocessing library for ghc-typelits-knownnat-0.8.2..
Running Haddock on library for ghc-typelits-knownnat-0.8.2..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 4] Compiling GHC.TypeLits.KnownNat.TH ( src/GHC/TypeLits/KnownNat/TH.hs, /tmp/ghc400761_0/ghc_8.o, /tmp/ghc400761_0/ghc_8.dyn_o )
[2 of 4] Compiling GHC.TypeLits.KnownNat ( src/GHC/TypeLits/KnownNat.hs, nothing )
[3 of 4] Compiling GHC.TypeLits.KnownNat.Compat ( src/GHC/TypeLits/KnownNat/Compat.hs, nothing )
[4 of 4] Compiling GHC.TypeLits.KnownNat.Solver ( src/GHC/TypeLits/KnownNat/Solver.hs, nothing )
Haddock coverage:
Warning: 'SNatKn' is ambiguous. It is defined
* at src/GHC/TypeLits/KnownNat.hs:166:32
* at src/GHC/TypeLits/KnownNat.hs:166: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/TypeLits/KnownNat.hs:166:1
94% ( 17 / 18) in 'GHC.TypeLits.KnownNat'
Missing documentation for:
KnownBool (src/GHC/TypeLits/KnownNat.hs:234)
Warning: 'MaxSym0' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'UnivCo' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
100% ( 2 / 2) in 'GHC.TypeLits.KnownNat.Solver'
Documentation created: dist/doc/html/ghc-typelits-knownnat/,
dist/doc/html/ghc-typelits-knownnat/ghc-typelits-knownnat.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/ghc-typelits-knownnat-0.8.2-JGNtYhdcOgSE4teXL65DBS
Completed ghc-typelits-knownnat-0.8.2
Downloading ghc-typelits-extra-0.5.0
Downloaded ghc-typelits-extra-0.5.0
Configuring ghc-typelits-extra-0.5.0...
Preprocessing library for ghc-typelits-extra-0.5.0..
Building library for ghc-typelits-extra-0.5.0..
[1 of 5] Compiling GHC.TypeLits.Extra ( src/GHC/TypeLits/Extra.hs, dist/build/GHC/TypeLits/Extra.o, dist/build/GHC/TypeLits/Extra.dyn_o )
[2 of 5] Compiling GHC.TypeLits.Extra.Solver.Compat ( src/GHC/TypeLits/Extra/Solver/Compat.hs, dist/build/GHC/TypeLits/Extra/Solver/Compat.o, dist/build/GHC/TypeLits/Extra/Solver/Compat.dyn_o )
[3 of 5] Compiling GHC.TypeLits.Extra.Solver.Operations ( src/GHC/TypeLits/Extra/Solver/Operations.hs, dist/build/GHC/TypeLits/Extra/Solver/Operations.o, dist/build/GHC/TypeLits/Extra/Solver/Operations.dyn_o )
[4 of 5] Compiling GHC.TypeLits.Extra.Solver.Unify ( src/GHC/TypeLits/Extra/Solver/Unify.hs, dist/build/GHC/TypeLits/Extra/Solver/Unify.o, dist/build/GHC/TypeLits/Extra/Solver/Unify.dyn_o )
[5 of 5] Compiling GHC.TypeLits.Extra.Solver ( src/GHC/TypeLits/Extra/Solver.hs, dist/build/GHC/TypeLits/Extra/Solver.o, dist/build/GHC/TypeLits/Extra/Solver.dyn_o )
Preprocessing library for ghc-typelits-extra-0.5.0..
Running Haddock on library for ghc-typelits-extra-0.5.0..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 5] Compiling GHC.TypeLits.Extra ( src/GHC/TypeLits/Extra.hs, nothing )
[2 of 5] Compiling GHC.TypeLits.Extra.Solver.Compat ( src/GHC/TypeLits/Extra/Solver/Compat.hs, nothing )
[3 of 5] Compiling GHC.TypeLits.Extra.Solver.Operations ( src/GHC/TypeLits/Extra/Solver/Operations.hs, nothing )
[4 of 5] Compiling GHC.TypeLits.Extra.Solver.Unify ( src/GHC/TypeLits/Extra/Solver/Unify.hs, nothing )
[5 of 5] Compiling GHC.TypeLits.Extra.Solver ( src/GHC/TypeLits/Extra/Solver.hs, nothing )
Haddock coverage:
100% ( 18 / 18) in 'GHC.TypeLits.Extra'
Warning: 'SOP' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
100% ( 2 / 2) in 'GHC.TypeLits.Extra.Solver'
Warning: GHC.TypeLits.Extra.Solver: could not find link destinations for:
- GHC.TypeLits.Extra.Solver.Operations.Div
- GHC.TypeLits.Extra.Solver.Operations.Mod
- GHC.TypeLits.Extra.Solver.Operations.FLog
- GHC.TypeLits.Extra.Solver.Operations.CLog
- GHC.TypeLits.Extra.Solver.Operations.Log
- GHC.TypeLits.Extra.Solver.Operations.GCD
- GHC.TypeLits.Extra.Solver.Operations.LCM
Documentation created: dist/doc/html/ghc-typelits-extra/,
dist/doc/html/ghc-typelits-extra/ghc-typelits-extra.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/ghc-typelits-extra-0.5.0-CESIGKqpWcn8fSPeW6iXpj
Completed ghc-typelits-extra-0.5.0
Test log
[view raw]
Resolving dependencies...
Build profile: -w ghc-9.8.4 -O0
In order, the following will be built (use -v for more details):
- call-stack-0.4.0 (lib:call-stack) (requires build)
- colour-2.3.6 (lib:colour) (requires build)
- ghc-tcplugin-api-0.18.1.0 (lib:ghc-tcplugin-api) (requires build)
- prettyprinter-1.7.1 (lib:prettyprinter) (requires build)
- tagged-0.8.9 (lib:tagged) (requires build)
- ansi-terminal-types-1.1.3 (lib:ansi-terminal-types) (requires build)
- ghc-typelits-natnormalise-0.9.0 (lib:ghc-typelits-natnormalise) (requires build)
- ansi-terminal-1.1.3 (lib:ansi-terminal) (requires build)
- ghc-typelits-knownnat-0.8.2 (lib:ghc-typelits-knownnat) (requires build)
- prettyprinter-ansi-terminal-1.1.3 (lib:prettyprinter-ansi-terminal) (requires build)
- optparse-applicative-0.19.0.0 (lib:optparse-applicative) (requires build)
- tasty-1.5.3 (lib:tasty) (requires build)
- tasty-hunit-0.10.2 (lib:tasty-hunit) (requires build)
- ghc-typelits-extra-0.5.0 (first run)
Configuring call-stack-0.4.0...
Preprocessing library for call-stack-0.4.0..
Building library for call-stack-0.4.0..
[1 of 3] Compiling Data.SrcLoc ( src/Data/SrcLoc.hs, dist/build/Data/SrcLoc.o, dist/build/Data/SrcLoc.dyn_o )
[2 of 3] Compiling Data.CallStack ( src/Data/CallStack.hs, dist/build/Data/CallStack.o, dist/build/Data/CallStack.dyn_o )
[3 of 3] Compiling Paths_call_stack ( dist/build/autogen/Paths_call_stack.hs, dist/build/Paths_call_stack.o, dist/build/Paths_call_stack.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-430644/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/call-stack-0.4.0-31951dc4e9db177e2ea89098d1122ced7b6da41fd279273945130bdfc91e7098/lib
Configuring colour-2.3.6...
Preprocessing library for colour-2.3.6..
Building library for colour-2.3.6..
[ 1 of 14] Compiling Data.Colour.CIE.Chromaticity ( Data/Colour/CIE/Chromaticity.hs, dist/build/Data/Colour/CIE/Chromaticity.o, dist/build/Data/Colour/CIE/Chromaticity.dyn_o )
[ 2 of 14] Compiling Data.Colour.CIE.Illuminant ( Data/Colour/CIE/Illuminant.hs, dist/build/Data/Colour/CIE/Illuminant.o, dist/build/Data/Colour/CIE/Illuminant.dyn_o )
[ 3 of 14] Compiling Data.Colour.Chan ( Data/Colour/Chan.hs, dist/build/Data/Colour/Chan.o, dist/build/Data/Colour/Chan.dyn_o )
[ 4 of 14] Compiling Data.Colour.Internal ( Data/Colour/Internal.hs, dist/build/Data/Colour/Internal.o, dist/build/Data/Colour/Internal.dyn_o )
[ 5 of 14] Compiling Data.Colour.Matrix ( Data/Colour/Matrix.hs, dist/build/Data/Colour/Matrix.o, dist/build/Data/Colour/Matrix.dyn_o )
[ 6 of 14] Compiling Data.Colour.RGB ( Data/Colour/RGB.hs, dist/build/Data/Colour/RGB.o, dist/build/Data/Colour/RGB.dyn_o )
[ 7 of 14] Compiling Data.Colour.RGBSpace.HSL ( Data/Colour/RGBSpace/HSL.hs, dist/build/Data/Colour/RGBSpace/HSL.o, dist/build/Data/Colour/RGBSpace/HSL.dyn_o )
[ 8 of 14] Compiling Data.Colour.RGBSpace.HSV ( Data/Colour/RGBSpace/HSV.hs, dist/build/Data/Colour/RGBSpace/HSV.o, dist/build/Data/Colour/RGBSpace/HSV.dyn_o )
[ 9 of 14] Compiling Data.Colour.SRGB.Linear ( Data/Colour/SRGB/Linear.hs, dist/build/Data/Colour/SRGB/Linear.o, dist/build/Data/Colour/SRGB/Linear.dyn_o )
[10 of 14] Compiling Data.Colour.RGBSpace ( Data/Colour/RGBSpace.hs, dist/build/Data/Colour/RGBSpace.o, dist/build/Data/Colour/RGBSpace.dyn_o )
[11 of 14] Compiling Data.Colour.SRGB ( Data/Colour/SRGB.hs, dist/build/Data/Colour/SRGB.o, dist/build/Data/Colour/SRGB.dyn_o )
Data/Colour/SRGB.hs:117:8: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
117 | x' | head x == '#' = tail x
| ^^^^
Data/Colour/SRGB.hs:117:24: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
117 | x' | head x == '#' = tail x
| ^^^^
Data/Colour/SRGB.hs:127:50: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
127 | sRGB24read x | length rx /= 1 || not (null (snd (head rx))) =
| ^^^^
Data/Colour/SRGB.hs:129:33: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
129 | | otherwise = fst (head rx)
| ^^^^
[12 of 14] Compiling Data.Colour ( Data/Colour.hs, dist/build/Data/Colour.o, dist/build/Data/Colour.dyn_o )
[13 of 14] Compiling Data.Colour.Names ( Data/Colour/Names.hs, dist/build/Data/Colour/Names.o, dist/build/Data/Colour/Names.dyn_o )
[14 of 14] Compiling Data.Colour.CIE ( Data/Colour/CIE.hs, dist/build/Data/Colour/CIE.o, dist/build/Data/Colour/CIE.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-430644/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/colour-2.3.6-1bc3273789052b388bc71f53ac10a073cc4a30f03a6584dc6f830ef26e23fa37/lib
Configuring ghc-tcplugin-api-0.18.1.0...
Preprocessing library for ghc-tcplugin-api-0.18.1.0..
Building library for ghc-tcplugin-api-0.18.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 )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-430644/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/ghc-tcplugin-api-0.18.1.0-b9f20c9ce738cc2df467993f4c94f769b103d33f9b4797122d5f835dd9df7697/lib
Configuring prettyprinter-1.7.1...
Preprocessing library for prettyprinter-1.7.1..
Building library for prettyprinter-1.7.1..
[ 1 of 28] Compiling Prettyprinter.Render.Util.Panic ( src/Prettyprinter/Render/Util/Panic.hs, dist/build/Prettyprinter/Render/Util/Panic.o, dist/build/Prettyprinter/Render/Util/Panic.dyn_o )
[ 2 of 28] Compiling Prettyprinter.Internal ( src/Prettyprinter/Internal.hs, dist/build/Prettyprinter/Internal.o, dist/build/Prettyprinter/Internal.dyn_o )
[ 3 of 28] Compiling Prettyprinter.Render.String ( src/Prettyprinter/Render/String.hs, dist/build/Prettyprinter/Render/String.o, dist/build/Prettyprinter/Render/String.dyn_o )
[ 4 of 28] Compiling Data.Text.Prettyprint.Doc.Render.String ( src/Data/Text/Prettyprint/Doc/Render/String.hs, dist/build/Data/Text/Prettyprint/Doc/Render/String.o, dist/build/Data/Text/Prettyprint/Doc/Render/String.dyn_o )
[ 5 of 28] Compiling Prettyprinter.Internal.Type ( src/Prettyprinter/Internal/Type.hs, dist/build/Prettyprinter/Internal/Type.o, dist/build/Prettyprinter/Internal/Type.dyn_o )
[ 6 of 28] Compiling Data.Text.Prettyprint.Doc.Internal.Type ( src/Data/Text/Prettyprint/Doc/Internal/Type.hs, dist/build/Data/Text/Prettyprint/Doc/Internal/Type.o, dist/build/Data/Text/Prettyprint/Doc/Internal/Type.dyn_o )
[ 7 of 28] Compiling Prettyprinter.Internal.Debug ( src/Prettyprinter/Internal/Debug.hs, dist/build/Prettyprinter/Internal/Debug.o, dist/build/Prettyprinter/Internal/Debug.dyn_o )
[ 8 of 28] Compiling Data.Text.Prettyprint.Doc.Internal.Debug ( src/Data/Text/Prettyprint/Doc/Internal/Debug.hs, dist/build/Data/Text/Prettyprint/Doc/Internal/Debug.o, dist/build/Data/Text/Prettyprint/Doc/Internal/Debug.dyn_o )
[ 9 of 28] Compiling Data.Text.Prettyprint.Doc.Internal ( src/Data/Text/Prettyprint/Doc/Internal.hs, dist/build/Data/Text/Prettyprint/Doc/Internal.o, dist/build/Data/Text/Prettyprint/Doc/Internal.dyn_o )
[10 of 28] Compiling Data.Text.Prettyprint.Doc.Render.Util.Panic ( src/Data/Text/Prettyprint/Doc/Render/Util/Panic.hs, dist/build/Data/Text/Prettyprint/Doc/Render/Util/Panic.o, dist/build/Data/Text/Prettyprint/Doc/Render/Util/Panic.dyn_o )
[11 of 28] Compiling Prettyprinter.Render.Util.StackMachine ( src/Prettyprinter/Render/Util/StackMachine.hs, dist/build/Prettyprinter/Render/Util/StackMachine.o, dist/build/Prettyprinter/Render/Util/StackMachine.dyn_o )
src/Prettyprinter/Render/Util/StackMachine.hs:34:1: warning: [GHC-66111] [-Wunused-imports]
The import of Control.Applicative is redundant
except perhaps to import instances from Control.Applicative
To import instances alone, use: import Control.Applicative()
|
34 | import Control.Applicative
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[12 of 28] Compiling Data.Text.Prettyprint.Doc.Render.Util.StackMachine ( src/Data/Text/Prettyprint/Doc/Render/Util/StackMachine.hs, dist/build/Data/Text/Prettyprint/Doc/Render/Util/StackMachine.o, dist/build/Data/Text/Prettyprint/Doc/Render/Util/StackMachine.dyn_o )
[13 of 28] Compiling Prettyprinter.Symbols.Ascii ( src/Prettyprinter/Symbols/Ascii.hs, dist/build/Prettyprinter/Symbols/Ascii.o, dist/build/Prettyprinter/Symbols/Ascii.dyn_o )
[14 of 28] Compiling Prettyprinter ( src/Prettyprinter.hs, dist/build/Prettyprinter.o, dist/build/Prettyprinter.dyn_o )
[15 of 28] Compiling Prettyprinter.Render.Util.SimpleDocTree ( src/Prettyprinter/Render/Util/SimpleDocTree.hs, dist/build/Prettyprinter/Render/Util/SimpleDocTree.o, dist/build/Prettyprinter/Render/Util/SimpleDocTree.dyn_o )
[16 of 28] Compiling Data.Text.Prettyprint.Doc.Render.Util.SimpleDocTree ( src/Data/Text/Prettyprint/Doc/Render/Util/SimpleDocTree.hs, dist/build/Data/Text/Prettyprint/Doc/Render/Util/SimpleDocTree.o, dist/build/Data/Text/Prettyprint/Doc/Render/Util/SimpleDocTree.dyn_o )
[17 of 28] Compiling Prettyprinter.Render.Tutorials.TreeRenderingTutorial ( src/Prettyprinter/Render/Tutorials/TreeRenderingTutorial.hs, dist/build/Prettyprinter/Render/Tutorials/TreeRenderingTutorial.o, dist/build/Prettyprinter/Render/Tutorials/TreeRenderingTutorial.dyn_o )
[18 of 28] Compiling Data.Text.Prettyprint.Doc.Render.Tutorials.TreeRenderingTutorial ( src/Data/Text/Prettyprint/Doc/Render/Tutorials/TreeRenderingTutorial.hs, dist/build/Data/Text/Prettyprint/Doc/Render/Tutorials/TreeRenderingTutorial.o, dist/build/Data/Text/Prettyprint/Doc/Render/Tutorials/TreeRenderingTutorial.dyn_o )
[19 of 28] Compiling Prettyprinter.Render.Tutorials.StackMachineTutorial ( src/Prettyprinter/Render/Tutorials/StackMachineTutorial.hs, dist/build/Prettyprinter/Render/Tutorials/StackMachineTutorial.o, dist/build/Prettyprinter/Render/Tutorials/StackMachineTutorial.dyn_o )
[20 of 28] Compiling Data.Text.Prettyprint.Doc.Render.Tutorials.StackMachineTutorial ( src/Data/Text/Prettyprint/Doc/Render/Tutorials/StackMachineTutorial.hs, dist/build/Data/Text/Prettyprint/Doc/Render/Tutorials/StackMachineTutorial.o, dist/build/Data/Text/Prettyprint/Doc/Render/Tutorials/StackMachineTutorial.dyn_o )
src/Data/Text/Prettyprint/Doc/Render/Tutorials/StackMachineTutorial.hs:7:1: warning: [GHC-15328] [-Wdeprecations]
Module Prettyprinter.Render.Tutorials.StackMachineTutorial is deprecated:
"Writing your own stack machine is probably more efficient and customizable; also consider using �renderSimplyDecorated(A)� instead"
|
7 | import Prettyprinter.Render.Tutorials.StackMachineTutorial
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[21 of 28] Compiling Prettyprinter.Render.Text ( src/Prettyprinter/Render/Text.hs, dist/build/Prettyprinter/Render/Text.o, dist/build/Prettyprinter/Render/Text.dyn_o )
[22 of 28] Compiling Data.Text.Prettyprint.Doc.Render.Text ( src/Data/Text/Prettyprint/Doc/Render/Text.hs, dist/build/Data/Text/Prettyprint/Doc/Render/Text.o, dist/build/Data/Text/Prettyprint/Doc/Render/Text.dyn_o )
[23 of 28] Compiling Data.Text.Prettyprint.Doc ( src/Data/Text/Prettyprint/Doc.hs, dist/build/Data/Text/Prettyprint/Doc.o, dist/build/Data/Text/Prettyprint/Doc.dyn_o )
[24 of 28] Compiling Data.Text.Prettyprint.Doc.Symbols.Ascii ( src/Data/Text/Prettyprint/Doc/Symbols/Ascii.hs, dist/build/Data/Text/Prettyprint/Doc/Symbols/Ascii.o, dist/build/Data/Text/Prettyprint/Doc/Symbols/Ascii.dyn_o )
[25 of 28] Compiling Prettyprinter.Symbols.Unicode ( src/Prettyprinter/Symbols/Unicode.hs, dist/build/Prettyprinter/Symbols/Unicode.o, dist/build/Prettyprinter/Symbols/Unicode.dyn_o )
[26 of 28] Compiling Data.Text.Prettyprint.Doc.Symbols.Unicode ( src/Data/Text/Prettyprint/Doc/Symbols/Unicode.hs, dist/build/Data/Text/Prettyprint/Doc/Symbols/Unicode.o, dist/build/Data/Text/Prettyprint/Doc/Symbols/Unicode.dyn_o )
[27 of 28] Compiling Prettyprinter.Util ( src/Prettyprinter/Util.hs, dist/build/Prettyprinter/Util.o, dist/build/Prettyprinter/Util.dyn_o )
[28 of 28] Compiling Data.Text.Prettyprint.Doc.Util ( src/Data/Text/Prettyprint/Doc/Util.hs, dist/build/Data/Text/Prettyprint/Doc/Util.o, dist/build/Data/Text/Prettyprint/Doc/Util.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-430644/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/prettyprinter-1.7.1-698f6d27ba9dc4afb698ee24b5b7298b328c15147c4c3170a4fd72165e2b9672/lib
Configuring tagged-0.8.9...
Preprocessing library for tagged-0.8.9..
Building library for tagged-0.8.9..
[1 of 2] Compiling Data.Proxy.TH ( src/Data/Proxy/TH.hs, dist/build/Data/Proxy/TH.o, dist/build/Data/Proxy/TH.dyn_o )
[2 of 2] Compiling Data.Tagged ( src/Data/Tagged.hs, dist/build/Data/Tagged.o, dist/build/Data/Tagged.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-430644/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/tagged-0.8.9-7bf04732d97f4bf5340c0e45b3bc6b1c39f9910c71a0e6a1205150fdfbcfdf08/lib
Configuring ansi-terminal-types-1.1.3...
Preprocessing library for ansi-terminal-types-1.1.3..
Building library for ansi-terminal-types-1.1.3..
[1 of 2] Compiling System.Console.ANSI.Types ( src/System/Console/ANSI/Types.hs, dist/build/System/Console/ANSI/Types.o, dist/build/System/Console/ANSI/Types.dyn_o )
[2 of 2] Compiling System.Console.ANSI.Codes ( src/System/Console/ANSI/Codes.hs, dist/build/System/Console/ANSI/Codes.o, dist/build/System/Console/ANSI/Codes.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-430644/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/ansi-terminal-types-1.1.3-c12c865b524456654e5c4f96ba48bd4de2b3c32e05f6a73c62f9e7fb6779ef8a/lib
Configuring ghc-typelits-natnormalise-0.9.0...
Preprocessing library for ghc-typelits-natnormalise-0.9.0..
Building library for ghc-typelits-natnormalise-0.9.0..
[1 of 4] Compiling GHC.TypeLits.Normalise.Compat ( src/GHC/TypeLits/Normalise/Compat.hs, dist/build/GHC/TypeLits/Normalise/Compat.o, dist/build/GHC/TypeLits/Normalise/Compat.dyn_o )
[2 of 4] 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 )
[3 of 4] 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 )
[4 of 4] Compiling GHC.TypeLits.Normalise ( src/GHC/TypeLits/Normalise.hs, dist/build/GHC/TypeLits/Normalise.o, dist/build/GHC/TypeLits/Normalise.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-430644/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/ghc-typelits-natnormalise-0.9.0-d2e9a10280a808617c21c366b487e50aa008b1f9be2d9bcc2386d7c9da741ca9/lib
Configuring ansi-terminal-1.1.3...
Preprocessing library for ansi-terminal-1.1.3..
Building library for ansi-terminal-1.1.3..
[1 of 2] Compiling System.Console.ANSI.Internal ( unix/System/Console/ANSI/Internal.hs, dist/build/System/Console/ANSI/Internal.o, dist/build/System/Console/ANSI/Internal.dyn_o )
[2 of 2] Compiling System.Console.ANSI ( src/System/Console/ANSI.hs, dist/build/System/Console/ANSI.o, dist/build/System/Console/ANSI.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-430644/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/ansi-terminal-1.1.3-14b2658f53d58bdc6b1e220208a01ef343967e3559df1bab546e449015575dfa/lib
Configuring ghc-typelits-knownnat-0.8.2...
Preprocessing library for ghc-typelits-knownnat-0.8.2..
Building library for ghc-typelits-knownnat-0.8.2..
[1 of 4] Compiling GHC.TypeLits.KnownNat.TH ( src/GHC/TypeLits/KnownNat/TH.hs, dist/build/GHC/TypeLits/KnownNat/TH.o, dist/build/GHC/TypeLits/KnownNat/TH.dyn_o )
[2 of 4] Compiling GHC.TypeLits.KnownNat ( src/GHC/TypeLits/KnownNat.hs, dist/build/GHC/TypeLits/KnownNat.o, dist/build/GHC/TypeLits/KnownNat.dyn_o )
[3 of 4] Compiling GHC.TypeLits.KnownNat.Compat ( src/GHC/TypeLits/KnownNat/Compat.hs, dist/build/GHC/TypeLits/KnownNat/Compat.o, dist/build/GHC/TypeLits/KnownNat/Compat.dyn_o )
[4 of 4] Compiling GHC.TypeLits.KnownNat.Solver ( src/GHC/TypeLits/KnownNat/Solver.hs, dist/build/GHC/TypeLits/KnownNat/Solver.o, dist/build/GHC/TypeLits/KnownNat/Solver.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-430644/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/ghc-typelits-knownnat-0.8.2-abfe701056fc8e13604bfe37f37071e0db833767370b6cef396f52375fdea4cd/lib
Configuring prettyprinter-ansi-terminal-1.1.3...
Preprocessing library for prettyprinter-ansi-terminal-1.1.3..
Building library for prettyprinter-ansi-terminal-1.1.3..
[1 of 4] Compiling Prettyprinter.Render.Terminal.Internal ( src/Prettyprinter/Render/Terminal/Internal.hs, dist/build/Prettyprinter/Render/Terminal/Internal.o, dist/build/Prettyprinter/Render/Terminal/Internal.dyn_o )
[2 of 4] Compiling Prettyprinter.Render.Terminal ( src/Prettyprinter/Render/Terminal.hs, dist/build/Prettyprinter/Render/Terminal.o, dist/build/Prettyprinter/Render/Terminal.dyn_o )
[3 of 4] Compiling Data.Text.Prettyprint.Doc.Render.Terminal ( src/Data/Text/Prettyprint/Doc/Render/Terminal.hs, dist/build/Data/Text/Prettyprint/Doc/Render/Terminal.o, dist/build/Data/Text/Prettyprint/Doc/Render/Terminal.dyn_o )
[4 of 4] Compiling Data.Text.Prettyprint.Doc.Render.Terminal.Internal ( src/Data/Text/Prettyprint/Doc/Render/Terminal/Internal.hs, dist/build/Data/Text/Prettyprint/Doc/Render/Terminal/Internal.o, dist/build/Data/Text/Prettyprint/Doc/Render/Terminal/Internal.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-430644/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/prettyprinter-ansi-terminal-1.1.3-01540a51e8a8aa8c5a6b1ac67f23916984b5a09c8a144aa6d471451eafceaef3/lib
Configuring optparse-applicative-0.19.0.0...
Preprocessing library for optparse-applicative-0.19.0.0..
Building library for optparse-applicative-0.19.0.0..
[ 1 of 17] Compiling Options.Applicative.Help.Levenshtein ( src/Options/Applicative/Help/Levenshtein.hs, dist/build/Options/Applicative/Help/Levenshtein.o, dist/build/Options/Applicative/Help/Levenshtein.dyn_o )
src/Options/Applicative/Help/Levenshtein.hs:24:20: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
24 | oneDiag a b (head uppers) (-1 : head lowers)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:24:39: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
24 | oneDiag a b (head uppers) (-1 : head lowers)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:40:53: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
40 | = nw : doDiag (ach' : as) (bch' : bs) nw (tail n) (tail w)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:40:62: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
40 | = nw : doDiag (ach' : as) (bch' : bs) nw (tail n) (tail w)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:48:27: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
48 | 1 + min3 (head w) nw (head n)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:48:39: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
48 | 1 + min3 (head w) nw (head n)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:50:35: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
50 | me : doDiag as bs me (tail n) (tail w)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:50:44: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
50 | me : doDiag as bs me (tail n) (tail w)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:52:24: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
52 | firstelt = 1 + head diagBelow
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:53:64: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
53 | thisdiag = firstelt : doDiag a' b' firstelt diagAbove (tail diagBelow)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:59:20: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
59 | nextDiag = head (tail diags)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:59:26: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
59 | nextDiag = head (tail diags)
| ^^^^
[ 2 of 17] Compiling Options.Applicative.Help.Pretty ( src/Options/Applicative/Help/Pretty.hs, dist/build/Options/Applicative/Help/Pretty.o, dist/build/Options/Applicative/Help/Pretty.dyn_o )
[ 3 of 17] Compiling Options.Applicative.Help.Chunk ( src/Options/Applicative/Help/Chunk.hs, dist/build/Options/Applicative/Help/Chunk.o, dist/build/Options/Applicative/Help/Chunk.dyn_o )
[ 4 of 17] Compiling Options.Applicative.Help.Types ( src/Options/Applicative/Help/Types.hs, dist/build/Options/Applicative/Help/Types.o, dist/build/Options/Applicative/Help/Types.dyn_o )
[ 5 of 17] Compiling Options.Applicative.Types ( src/Options/Applicative/Types.hs, dist/build/Options/Applicative/Types.o, dist/build/Options/Applicative/Types.dyn_o )
src/Options/Applicative/Types.hs:59:31: warning: [GHC-61689] [-Wdodgy-imports]
Module Data.Semigroup does not export Option.
|
59 | import Data.Semigroup hiding (Option)
| ^^^^^^
[ 6 of 17] Compiling Options.Applicative.NonEmpty ( src/Options/Applicative/NonEmpty.hs, dist/build/Options/Applicative/NonEmpty.o, dist/build/Options/Applicative/NonEmpty.dyn_o )
[ 7 of 17] Compiling Options.Applicative.Internal ( src/Options/Applicative/Internal.hs, dist/build/Options/Applicative/Internal.o, dist/build/Options/Applicative/Internal.dyn_o )
[ 8 of 17] Compiling Options.Applicative.Common ( src/Options/Applicative/Common.hs, dist/build/Options/Applicative/Common.o, dist/build/Options/Applicative/Common.dyn_o )
[ 9 of 17] Compiling Options.Applicative.Help.Core ( src/Options/Applicative/Help/Core.hs, dist/build/Options/Applicative/Help/Core.o, dist/build/Options/Applicative/Help/Core.dyn_o )
[10 of 17] Compiling Options.Applicative.Help ( src/Options/Applicative/Help.hs, dist/build/Options/Applicative/Help.o, dist/build/Options/Applicative/Help.dyn_o )
[11 of 17] Compiling Options.Applicative.Builder.Internal ( src/Options/Applicative/Builder/Internal.hs, dist/build/Options/Applicative/Builder/Internal.o, dist/build/Options/Applicative/Builder/Internal.dyn_o )
src/Options/Applicative/Builder/Internal.hs:29:31: warning: [GHC-61689] [-Wdodgy-imports]
Module Data.Semigroup does not export Option.
|
29 | import Data.Semigroup hiding (Option)
| ^^^^^^
[12 of 17] Compiling Options.Applicative.Builder.Completer ( src/Options/Applicative/Builder/Completer.hs, dist/build/Options/Applicative/Builder/Completer.o, dist/build/Options/Applicative/Builder/Completer.dyn_o )
[13 of 17] Compiling Options.Applicative.Builder ( src/Options/Applicative/Builder.hs, dist/build/Options/Applicative/Builder.o, dist/build/Options/Applicative/Builder.dyn_o )
[14 of 17] Compiling Options.Applicative.BashCompletion ( src/Options/Applicative/BashCompletion.hs, dist/build/Options/Applicative/BashCompletion.o, dist/build/Options/Applicative/BashCompletion.dyn_o )
src/Options/Applicative/BashCompletion.hs:16:1: warning: [GHC-66111] [-Wunused-imports]
The import of Data.Foldable is redundant
except perhaps to import instances from Data.Foldable
To import instances alone, use: import Data.Foldable()
|
16 | import Data.Foldable ( asum )
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[15 of 17] Compiling Options.Applicative.Extra ( src/Options/Applicative/Extra.hs, dist/build/Options/Applicative/Extra.o, dist/build/Options/Applicative/Extra.dyn_o )
[16 of 17] Compiling Options.Applicative ( src/Options/Applicative.hs, dist/build/Options/Applicative.o, dist/build/Options/Applicative.dyn_o )
[17 of 17] Compiling Options.Applicative.Arrows ( src/Options/Applicative/Arrows.hs, dist/build/Options/Applicative/Arrows.o, dist/build/Options/Applicative/Arrows.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-430644/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/optparse-applicative-0.19.0.0-823a74f1e68cb17f12b84de1378c1d30e0d720149ea58c5dffff82fd8500244a/lib
Configuring tasty-1.5.3...
Preprocessing library for tasty-1.5.3..
Building library for tasty-1.5.3..
[ 1 of 25] Compiling Control.Concurrent.Async ( Control/Concurrent/Async.hs, dist/build/Control/Concurrent/Async.o, dist/build/Control/Concurrent/Async.dyn_o )
[ 2 of 25] Compiling Test.Tasty.Options ( Test/Tasty/Options.hs, dist/build/Test/Tasty/Options.o, dist/build/Test/Tasty/Options.dyn_o )
[ 3 of 25] Compiling Test.Tasty.Parallel ( Test/Tasty/Parallel.hs, dist/build/Test/Tasty/Parallel.o, dist/build/Test/Tasty/Parallel.dyn_o )
[ 4 of 25] Compiling Test.Tasty.Patterns.Expr ( Test/Tasty/Patterns/Expr.hs, dist/build/Test/Tasty/Patterns/Expr.o, dist/build/Test/Tasty/Patterns/Expr.dyn_o )
[ 5 of 25] Compiling Test.Tasty.Patterns.Types ( Test/Tasty/Patterns/Types.hs, dist/build/Test/Tasty/Patterns/Types.o, dist/build/Test/Tasty/Patterns/Types.dyn_o )
[ 6 of 25] Compiling Test.Tasty.Patterns.Printer ( Test/Tasty/Patterns/Printer.hs, dist/build/Test/Tasty/Patterns/Printer.o, dist/build/Test/Tasty/Patterns/Printer.dyn_o )
[ 7 of 25] Compiling Test.Tasty.Patterns.Parser ( Test/Tasty/Patterns/Parser.hs, dist/build/Test/Tasty/Patterns/Parser.o, dist/build/Test/Tasty/Patterns/Parser.dyn_o )
[ 8 of 25] Compiling Test.Tasty.Patterns.Eval ( Test/Tasty/Patterns/Eval.hs, dist/build/Test/Tasty/Patterns/Eval.o, dist/build/Test/Tasty/Patterns/Eval.dyn_o )
[ 9 of 25] Compiling Test.Tasty.Patterns ( Test/Tasty/Patterns.hs, dist/build/Test/Tasty/Patterns.o, dist/build/Test/Tasty/Patterns.dyn_o )
[10 of 25] Compiling Test.Tasty.Options.Core ( Test/Tasty/Options/Core.hs, dist/build/Test/Tasty/Options/Core.o, dist/build/Test/Tasty/Options/Core.dyn_o )
[11 of 25] Compiling Test.Tasty.Providers.ConsoleFormat ( Test/Tasty/Providers/ConsoleFormat.hs, dist/build/Test/Tasty/Providers/ConsoleFormat.o, dist/build/Test/Tasty/Providers/ConsoleFormat.dyn_o )
[12 of 25] Compiling Test.Tasty.Core ( Test/Tasty/Core.hs, dist/build/Test/Tasty/Core.o, dist/build/Test/Tasty/Core.dyn_o )
[13 of 25] Compiling Test.Tasty.Providers ( Test/Tasty/Providers.hs, dist/build/Test/Tasty/Providers.o, dist/build/Test/Tasty/Providers.dyn_o )
[14 of 25] Compiling Test.Tasty.Runners.Reducers ( Test/Tasty/Runners/Reducers.hs, dist/build/Test/Tasty/Runners/Reducers.o, dist/build/Test/Tasty/Runners/Reducers.dyn_o )
[15 of 25] Compiling Test.Tasty.Runners.Utils ( Test/Tasty/Runners/Utils.hs, dist/build/Test/Tasty/Runners/Utils.o, dist/build/Test/Tasty/Runners/Utils.dyn_o )
[16 of 25] Compiling Test.Tasty.Run ( Test/Tasty/Run.hs, dist/build/Test/Tasty/Run.o, dist/build/Test/Tasty/Run.dyn_o )
[17 of 25] Compiling Test.Tasty.Ingredients ( Test/Tasty/Ingredients.hs, dist/build/Test/Tasty/Ingredients.o, dist/build/Test/Tasty/Ingredients.dyn_o )
[18 of 25] Compiling Test.Tasty.Options.Env ( Test/Tasty/Options/Env.hs, dist/build/Test/Tasty/Options/Env.o, dist/build/Test/Tasty/Options/Env.dyn_o )
[19 of 25] Compiling Test.Tasty.Ingredients.ListTests ( Test/Tasty/Ingredients/ListTests.hs, dist/build/Test/Tasty/Ingredients/ListTests.o, dist/build/Test/Tasty/Ingredients/ListTests.dyn_o )
[20 of 25] Compiling Test.Tasty.Ingredients.IncludingOptions ( Test/Tasty/Ingredients/IncludingOptions.hs, dist/build/Test/Tasty/Ingredients/IncludingOptions.o, dist/build/Test/Tasty/Ingredients/IncludingOptions.dyn_o )
[21 of 25] Compiling Test.Tasty.Ingredients.ConsoleReporter ( Test/Tasty/Ingredients/ConsoleReporter.hs, dist/build/Test/Tasty/Ingredients/ConsoleReporter.o, dist/build/Test/Tasty/Ingredients/ConsoleReporter.dyn_o )
[22 of 25] Compiling Test.Tasty.Ingredients.Basic ( Test/Tasty/Ingredients/Basic.hs, dist/build/Test/Tasty/Ingredients/Basic.o, dist/build/Test/Tasty/Ingredients/Basic.dyn_o )
[23 of 25] Compiling Test.Tasty.CmdLine ( Test/Tasty/CmdLine.hs, dist/build/Test/Tasty/CmdLine.o, dist/build/Test/Tasty/CmdLine.dyn_o )
[24 of 25] Compiling Test.Tasty.Runners ( Test/Tasty/Runners.hs, dist/build/Test/Tasty/Runners.o, dist/build/Test/Tasty/Runners.dyn_o )
[25 of 25] Compiling Test.Tasty ( Test/Tasty.hs, dist/build/Test/Tasty.o, dist/build/Test/Tasty.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-430644/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/tasty-1.5.3-6d6256628aef3db6d34ac66079203261272f165e678b4329157903de2d40faf6/lib
Configuring tasty-hunit-0.10.2...
Preprocessing library for tasty-hunit-0.10.2..
Building library for tasty-hunit-0.10.2..
[1 of 3] Compiling Test.Tasty.HUnit.Orig ( Test/Tasty/HUnit/Orig.hs, dist/build/Test/Tasty/HUnit/Orig.o, dist/build/Test/Tasty/HUnit/Orig.dyn_o )
[2 of 3] Compiling Test.Tasty.HUnit.Steps ( Test/Tasty/HUnit/Steps.hs, dist/build/Test/Tasty/HUnit/Steps.o, dist/build/Test/Tasty/HUnit/Steps.dyn_o )
[3 of 3] Compiling Test.Tasty.HUnit ( Test/Tasty/HUnit.hs, dist/build/Test/Tasty/HUnit.o, dist/build/Test/Tasty/HUnit.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-430644/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/tasty-hunit-0.10.2-2d3a9e07773bbd6d7a92338540c11605f7cb1a0fa57d77d402ebb4966b46ef21/lib
Configuring ghc-typelits-extra-0.5.0...
Preprocessing library for ghc-typelits-extra-0.5.0..
Building library for ghc-typelits-extra-0.5.0..
[1 of 5] Compiling GHC.TypeLits.Extra ( src/GHC/TypeLits/Extra.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-extra-0.5.0/noopt/build/GHC/TypeLits/Extra.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-extra-0.5.0/noopt/build/GHC/TypeLits/Extra.dyn_o )
[2 of 5] Compiling GHC.TypeLits.Extra.Solver.Compat ( src/GHC/TypeLits/Extra/Solver/Compat.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-extra-0.5.0/noopt/build/GHC/TypeLits/Extra/Solver/Compat.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-extra-0.5.0/noopt/build/GHC/TypeLits/Extra/Solver/Compat.dyn_o )
[3 of 5] Compiling GHC.TypeLits.Extra.Solver.Operations ( src/GHC/TypeLits/Extra/Solver/Operations.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-extra-0.5.0/noopt/build/GHC/TypeLits/Extra/Solver/Operations.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-extra-0.5.0/noopt/build/GHC/TypeLits/Extra/Solver/Operations.dyn_o )
[4 of 5] Compiling GHC.TypeLits.Extra.Solver.Unify ( src/GHC/TypeLits/Extra/Solver/Unify.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-extra-0.5.0/noopt/build/GHC/TypeLits/Extra/Solver/Unify.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-extra-0.5.0/noopt/build/GHC/TypeLits/Extra/Solver/Unify.dyn_o )
[5 of 5] Compiling GHC.TypeLits.Extra.Solver ( src/GHC/TypeLits/Extra/Solver.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-extra-0.5.0/noopt/build/GHC/TypeLits/Extra/Solver.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-extra-0.5.0/noopt/build/GHC/TypeLits/Extra/Solver.dyn_o )
Preprocessing test suite 'test-ghc-typelits-extra' for ghc-typelits-extra-0.5.0..
Building test suite 'test-ghc-typelits-extra' for ghc-typelits-extra-0.5.0..
[1 of 2] Compiling ErrorTests ( tests/ErrorTests.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-extra-0.5.0/noopt/build/test-ghc-typelits-extra/test-ghc-typelits-extra-tmp/ErrorTests.o )
tests/ErrorTests.hs:20:13: warning: [GHC-83865] [-Wdeferred-type-errors]
" Couldn't match type 1 with 0
Expected: Proxy (GCD 6 8) -> Proxy 4
Actual: Proxy 4 -> Proxy 4
" In the expression: id
In an equation for testFail1: testFail1 = id
|
20 | testFail1 = id
| ^^
tests/ErrorTests.hs:23:13: warning: [GHC-83865] [-Wdeferred-type-errors]
" Couldn't match type 1 with 0
Expected: Proxy (GCD 6 8 + x) -> Proxy (x + GCD 6 9)
Actual: Proxy (2 + x) -> Proxy (2 + x)
" In the expression: id
In an equation for testFail2: testFail2 = id
|
23 | testFail2 = id
| ^^
tests/ErrorTests.hs:26:13: warning: [GHC-83865] [-Wdeferred-type-errors]
" Couldn't match type CLog 3 10 with 2
Expected: Proxy (CLog 3 10) -> Proxy 2
Actual: Proxy 2 -> Proxy 2
" In the expression: id
In an equation for testFail3: testFail3 = id
|
26 | testFail3 = id
| ^^
tests/ErrorTests.hs:29:13: warning: [GHC-83865] [-Wdeferred-type-errors]
" Couldn't match type: CLog 3 10
with: CLog 2 9
Expected: Proxy (CLog 3 10 + x) -> Proxy (x + CLog 2 9)
Actual: Proxy (CLog 3 10 + x) -> Proxy (CLog 3 10 + x)
NB: CLog is a non-injective type family
" In the expression: id
In an equation for testFail4: testFail4 = id
|
29 | testFail4 = id
| ^^
tests/ErrorTests.hs:32:13: warning: [GHC-83865] [-Wdeferred-type-errors]
" Couldn't match type CLog 0 4 with 100
Expected: Proxy (CLog 0 4) -> Proxy 100
Actual: Proxy 100 -> Proxy 100
" In the expression: id
In an equation for testFail5: testFail5 = id
|
32 | testFail5 = id
| ^^
tests/ErrorTests.hs:35:13: warning: [GHC-83865] [-Wdeferred-type-errors]
" Couldn't match type CLog 1 4 with 100
Expected: Proxy (CLog 1 4) -> Proxy 100
Actual: Proxy 100 -> Proxy 100
" In the expression: id
In an equation for testFail6: testFail6 = id
|
35 | testFail6 = id
| ^^
tests/ErrorTests.hs:38:13: warning: [GHC-83865] [-Wdeferred-type-errors]
" Couldn't match type CLog 4 0 with 0
Expected: Proxy (CLog 4 0) -> Proxy 0
Actual: Proxy 0 -> Proxy 0
" In the expression: id
In an equation for testFail7: testFail7 = id
|
38 | testFail7 = id
| ^^
tests/ErrorTests.hs:41:13: warning: [GHC-25897] [-Wdeferred-type-errors]
" Couldn't match type y with CLog 1 1
Expected: Proxy (CLog 1 (1 ^ y)) -> Proxy y
Actual: Proxy y -> Proxy y
y is a rigid type variable bound by
the type signature for:
testFail8 :: forall (y :: Natural).
Proxy (CLog 1 (1 ^ y)) -> Proxy y
at tests/ErrorTests.hs:40:1-44
" In the expression: id
In an equation for testFail8: testFail8 = id
" Relevant bindings include
testFail8 :: Proxy (CLog 1 (1 ^ y)) -> Proxy y
(bound at tests/ErrorTests.hs:41:1)
|
41 | testFail8 = id
| ^^
tests/ErrorTests.hs:44:13: warning: [GHC-25897] [-Wdeferred-type-errors]
" Couldn't match type y with CLog 0 (0 ^ y)
Expected: Proxy (CLog 0 (0 ^ y)) -> Proxy y
Actual: Proxy y -> Proxy y
y is a rigid type variable bound by
the type signature for:
testFail9 :: forall (y :: Natural).
Proxy (CLog 0 (0 ^ y)) -> Proxy y
at tests/ErrorTests.hs:43:1-44
" In the expression: id
In an equation for testFail9: testFail9 = id
" Relevant bindings include
testFail9 :: Proxy (CLog 0 (0 ^ y)) -> Proxy y
(bound at tests/ErrorTests.hs:44:1)
|
44 | testFail9 = id
| ^^
tests/ErrorTests.hs:47:14: warning: [GHC-64725] [-Wdeferred-type-errors]
" Cannot satisfy: 2 <= 1
" In the expression: natVal (Proxy :: Proxy (CLog 1 4))
In an equation for testFail10:
testFail10 = natVal (Proxy :: Proxy (CLog 1 4))
|
47 | testFail10 = natVal (Proxy :: Proxy (CLog 1 4))
| ^^^^^^
tests/ErrorTests.hs:50:14: warning: [GHC-64725] [-Wdeferred-type-errors]
" Cannot satisfy: CLog 2 4 <= CLog 4 4
" In the expression:
natVal (Proxy :: Proxy ((CLog 4 4) - (CLog 2 4)))
In an equation for testFail11:
testFail11 = natVal (Proxy :: Proxy ((CLog 4 4) - (CLog 2 4)))
|
50 | testFail11 = natVal (Proxy :: Proxy ((CLog 4 4) - (CLog 2 4)))
| ^^^^^^
tests/ErrorTests.hs:53:14: warning: [GHC-83865] [-Wdeferred-type-errors]
" Couldn't match type Div 4 0 with 4
Expected: Proxy (Div 4 0) -> Proxy 4
Actual: Proxy 4 -> Proxy 4
" In the expression: id
In an equation for testFail12: testFail12 = id
|
53 | testFail12 = id
| ^^
tests/ErrorTests.hs:56:14: warning: [GHC-83865] [-Wdeferred-type-errors]
" Couldn't match type Mod 4 0 with 4
Expected: Proxy (Mod 4 0) -> Proxy 4
Actual: Proxy 4 -> Proxy 4
" In the expression: id
In an equation for testFail13: testFail13 = id
|
56 | testFail13 = id
| ^^
tests/ErrorTests.hs:59:14: warning: [GHC-83865] [-Wdeferred-type-errors]
" Couldn't match type FLog 0 4 with 100
Expected: Proxy (FLog 0 4) -> Proxy 100
Actual: Proxy 100 -> Proxy 100
" In the expression: id
In an equation for testFail14: testFail14 = id
|
59 | testFail14 = id
| ^^
tests/ErrorTests.hs:62:14: warning: [GHC-83865] [-Wdeferred-type-errors]
" Couldn't match type FLog 1 4 with 100
Expected: Proxy (FLog 1 4) -> Proxy 100
Actual: Proxy 100 -> Proxy 100
" In the expression: id
In an equation for testFail15: testFail15 = id
|
62 | testFail15 = id
| ^^
tests/ErrorTests.hs:65:14: warning: [GHC-83865] [-Wdeferred-type-errors]
" Couldn't match type FLog 4 0 with 0
Expected: Proxy (FLog 4 0) -> Proxy 0
Actual: Proxy 0 -> Proxy 0
" In the expression: id
In an equation for testFail16: testFail16 = id
|
65 | testFail16 = id
| ^^
tests/ErrorTests.hs:68:14: warning: [GHC-83865] [-Wdeferred-type-errors]
" Couldn't match type 1 with 0
Expected: Proxy (LCM 6 8) -> Proxy 48
Actual: Proxy 48 -> Proxy 48
" In the expression: id
In an equation for testFail17: testFail17 = id
|
68 | testFail17 = id
| ^^
tests/ErrorTests.hs:71:14: warning: [GHC-83865] [-Wdeferred-type-errors]
" Couldn't match type 1 with 0
Expected: Proxy (LCM 6 8 + x) -> Proxy (x + LCM 6 9)
Actual: Proxy (24 + x) -> Proxy (24 + x)
" In the expression: id
In an equation for testFail18: testFail18 = id
|
71 | testFail18 = id
| ^^
tests/ErrorTests.hs:74:14: warning: [GHC-18872] [-Wdeferred-type-errors]
" Couldn't match type: FLog 3 0
with: CLog 3 0
arising from a use of natVal
" In the expression: natVal (Proxy :: Proxy (Log 3 0))
In an equation for testFail19:
testFail19 = natVal (Proxy :: Proxy (Log 3 0))
|
74 | testFail19 = natVal (Proxy :: Proxy (Log 3 0))
| ^^^^^^
tests/ErrorTests.hs:77:14: warning: [GHC-18872] [-Wdeferred-type-errors]
" Couldn't match type: FLog 3 10
with: CLog 3 10
arising from a use of natVal
" In the expression: natVal (Proxy :: Proxy (Log 3 10))
In an equation for testFail20:
testFail20 = natVal (Proxy :: Proxy (Log 3 10))
|
77 | testFail20 = natVal (Proxy :: Proxy (Log 3 10))
| ^^^^^^
tests/ErrorTests.hs:80:18: warning: [GHC-25897] [-Wdeferred-type-errors]
" Couldn't match type a with Min a (a * b)
Expected: Proxy (Min a (a * b)) -> Proxy a
Actual: Proxy a -> Proxy a
a is a rigid type variable bound by
the type signature for:
testFail21 :: forall (a :: Nat) (b :: Natural).
Proxy a -> Proxy b -> Proxy (Min a (a * b)) -> Proxy a
at tests/ErrorTests.hs:79:1-66
" In the expression: id
In an equation for testFail21: testFail21 _ _ = id
" Relevant bindings include
testFail21 :: Proxy a
-> Proxy b -> Proxy (Min a (a * b)) -> Proxy a
(bound at tests/ErrorTests.hs:80:1)
|
80 | testFail21 _ _ = id
| ^^
tests/ErrorTests.hs:83:18: warning: [GHC-83865] [-Wdeferred-type-errors]
" Couldn't match type: Max a (a * b)
with: a * b
Expected: Proxy (Max a (a * b)) -> Proxy (a * b)
Actual: Proxy (Max a (a * b)) -> Proxy (Max a (a * b))
" In the expression: id
In an equation for testFail22: testFail22 _ _ = id
" Relevant bindings include
testFail22 :: Proxy a
-> Proxy b -> Proxy (Max a (a * b)) -> Proxy (a * b)
(bound at tests/ErrorTests.hs:83:1)
|
83 | testFail22 _ _ = id
| ^^
tests/ErrorTests.hs:89:14: warning: [GHC-18872] [-Wdeferred-type-errors]
" Couldn't match type True with False
arising from a use of testFail23'
" In the expression: testFail23' (Proxy @18) (Proxy @3)
In an equation for testFail23:
testFail23 = testFail23' (Proxy @18) (Proxy @3)
|
89 | testFail23 = testFail23' (Proxy @18) (Proxy @3)
| ^^^^^^^^^^^
tests/ErrorTests.hs:92:20: warning: [GHC-83865] [-Wdeferred-type-errors]
" Couldn't match type Data.Type.Ord.OrdCond
(CmpNat z (Max x y)) True True False
with True
Expected: Proxy (z <=? Max x y) -> Proxy True
Actual: Proxy True -> Proxy True
" In the expression: id
In an equation for testFail24: testFail24 _ _ _ = id
" Relevant bindings include
testFail24 :: Proxy x
-> Proxy y -> Proxy z -> Proxy (z <=? Max x y) -> Proxy True
(bound at tests/ErrorTests.hs:92:1)
|
92 | testFail24 _ _ _ = id
| ^^
tests/ErrorTests.hs:95:18: warning: [GHC-83865] [-Wdeferred-type-errors]
" Couldn't match type Data.Type.Ord.OrdCond
(CmpNat (x + 1) (Max x y)) True True False
with True
Expected: Proxy ((x + 1) <=? Max x y) -> Proxy True
Actual: Proxy True -> Proxy True
" In the expression: id
In an equation for testFail25: testFail25 _ _ = id
" Relevant bindings include
testFail25 :: Proxy x
-> Proxy y -> Proxy ((x + 1) <=? Max x y) -> Proxy True
(bound at tests/ErrorTests.hs:95:1)
|
95 | testFail25 _ _ = id
| ^^
tests/ErrorTests.hs:99:21: warning: [GHC-25897] [-Wdeferred-type-errors]
" Could not deduce Max x y ~ n
from the context: (x <=? n) ~ True
bound by the type signature for:
testFail26' :: forall (x :: Nat) (n :: Nat) (y :: Nat).
((x <=? n) ~ True) =>
Proxy x -> Proxy y -> Proxy n -> Proxy (Max x y) -> Proxy n
at tests/ErrorTests.hs:98:1-99
Expected: Proxy (Max x y) -> Proxy n
Actual: Proxy n -> Proxy n
n is a rigid type variable bound by
the type signature for:
testFail26' :: forall (x :: Nat) (n :: Nat) (y :: Nat).
((x <=? n) ~ True) =>
Proxy x -> Proxy y -> Proxy n -> Proxy (Max x y) -> Proxy n
at tests/ErrorTests.hs:98:1-99
" In the expression: id
In an equation for testFail26': testFail26' _ _ _ = id
" Relevant bindings include
testFail26' :: Proxy x
-> Proxy y -> Proxy n -> Proxy (Max x y) -> Proxy n
(bound at tests/ErrorTests.hs:99:1)
|
99 | testFail26' _ _ _ = id
| ^^
tests/ErrorTests.hs:104:16: warning: [GHC-83865] [-Wdeferred-type-errors]
" Couldn't match type Data.Type.Ord.OrdCond
(CmpNat (n + 2) (n + 1)) True True False
with True
Expected: Proxy ((n + 2) <=? Max (n + 1) 1) -> Proxy True
Actual: Proxy True -> Proxy True
" In the expression: id
In an equation for testFail27: testFail27 _ = id
" Relevant bindings include
testFail27 :: Proxy n
-> Proxy ((n + 2) <=? Max (n + 1) 1) -> Proxy True
(bound at tests/ErrorTests.hs:104:1)
|
104 | testFail27 _ = id
| ^^
[2 of 2] Compiling Main ( tests/Main.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-extra-0.5.0/noopt/build/test-ghc-typelits-extra/test-ghc-typelits-extra-tmp/Main.o )
[3 of 3] Linking /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-extra-0.5.0/noopt/build/test-ghc-typelits-extra/test-ghc-typelits-extra
Running 1 test suites...
Test suite test-ghc-typelits-extra: RUNNING...
Test suite test-ghc-typelits-extra: PASS
Test suite logged to:
/var/lib/hackage-doc-builder/build-cache/tmp-install/reports/ghc-typelits-extra-0.5.0.test
Writing: ghc-typelits-extra-0.5.0-inplace/GHC.TypeLits.Extra.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Test coverage report written to
/var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-extra-0.5.0/noopt/hpc/vanilla/html/test-ghc-typelits-extra/hpc_index.html
1 of 1 test suites (1 of 1 test cases) passed.
Writing: ghc-typelits-extra-0.5.0-inplace/GHC.TypeLits.Extra.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Package coverage report written to
/var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-extra-0.5.0/noopt/hpc/vanilla/html/ghc-typelits-extra-0.5.0/hpc_index.html