=> Bootstrap dependency digest>=20211023: found digest-20220214 ===> Skipping vulnerability checks. WARNING: No /usr/pkg/pkgdb/pkg-vulnerabilities file found. WARNING: To fix run: `/usr/sbin/pkg_admin -K /usr/pkg/pkgdb fetch-pkg-vulnerabilities'. ===> Building for hs-constraints-0.13.4nb2 Preprocessing library for constraints-0.13.4.. Building library for constraints-0.13.4.. src/Data/Constraint.hs:24:14: warning: [-Wdeprecated-flags] -XTypeInType is deprecated: use -XDataKinds and -XPolyKinds instead | 24 | {-# LANGUAGE TypeInType #-} | ^^^^^^^^^^ src/Data/Constraint/Deferrable.hs:14:14: warning: [-Wdeprecated-flags] -XTypeInType is deprecated: use -XDataKinds and -XPolyKinds instead | 14 | {-# LANGUAGE TypeInType #-} | ^^^^^^^^^^ [1 of 7] Compiling Data.Constraint ( src/Data/Constraint.hs, dist/build/Data/Constraint.o, dist/build/Data/Constraint.dyn_o ) [2 of 7] Compiling Data.Constraint.Deferrable ( src/Data/Constraint/Deferrable.hs, dist/build/Data/Constraint/Deferrable.o, dist/build/Data/Constraint/Deferrable.dyn_o ) [3 of 7] Compiling Data.Constraint.Forall ( src/Data/Constraint/Forall.hs, dist/build/Data/Constraint/Forall.o, dist/build/Data/Constraint/Forall.dyn_o ) src/Data/Constraint/Forall.hs:197:1: warning: [GHC-64088] [-Wforall-identifier] The use of `forall' as an identifier will become an error in a future GHC release. Suggested fix: Consider using another name, such as `forAll', `for_all', or `forall_'. | 197 | forall d = case d :: Dict (p (Skolem p)) of Dict -> Dict | ^^^^^^ [4 of 7] Compiling Data.Constraint.Lifting ( src/Data/Constraint/Lifting.hs, dist/build/Data/Constraint/Lifting.o, dist/build/Data/Constraint/Lifting.dyn_o ) [5 of 7] Compiling Data.Constraint.Nat ( src/Data/Constraint/Nat.hs, dist/build/Data/Constraint/Nat.o, dist/build/Data/Constraint/Nat.dyn_o ) [6 of 7] Compiling Data.Constraint.Symbol ( src/Data/Constraint/Symbol.hs, dist/build/Data/Constraint/Symbol.o, dist/build/Data/Constraint/Symbol.dyn_o ) [7 of 7] Compiling Data.Constraint.Unsafe ( src/Data/Constraint/Unsafe.hs, dist/build/Data/Constraint/Unsafe.o, dist/build/Data/Constraint/Unsafe.dyn_o ) src/Data/Constraint.hs:24:14: warning: [-Wdeprecated-flags] -XTypeInType is deprecated: use -XDataKinds and -XPolyKinds instead | 24 | {-# LANGUAGE TypeInType #-} | ^^^^^^^^^^ src/Data/Constraint/Deferrable.hs:14:14: warning: [-Wdeprecated-flags] -XTypeInType is deprecated: use -XDataKinds and -XPolyKinds instead | 14 | {-# LANGUAGE TypeInType #-} | ^^^^^^^^^^ [1 of 7] Compiling Data.Constraint ( src/Data/Constraint.hs, dist/build/Data/Constraint.p_o ) [2 of 7] Compiling Data.Constraint.Deferrable ( src/Data/Constraint/Deferrable.hs, dist/build/Data/Constraint/Deferrable.p_o ) [3 of 7] Compiling Data.Constraint.Forall ( src/Data/Constraint/Forall.hs, dist/build/Data/Constraint/Forall.p_o ) src/Data/Constraint/Forall.hs:197:1: warning: [GHC-64088] [-Wforall-identifier] The use of `forall' as an identifier will become an error in a future GHC release. Suggested fix: Consider using another name, such as `forAll', `for_all', or `forall_'. | 197 | forall d = case d :: Dict (p (Skolem p)) of Dict -> Dict | ^^^^^^ [4 of 7] Compiling Data.Constraint.Lifting ( src/Data/Constraint/Lifting.hs, dist/build/Data/Constraint/Lifting.p_o ) [5 of 7] Compiling Data.Constraint.Nat ( src/Data/Constraint/Nat.hs, dist/build/Data/Constraint/Nat.p_o ) [6 of 7] Compiling Data.Constraint.Symbol ( src/Data/Constraint/Symbol.hs, dist/build/Data/Constraint/Symbol.p_o ) [7 of 7] Compiling Data.Constraint.Unsafe ( src/Data/Constraint/Unsafe.hs, dist/build/Data/Constraint/Unsafe.p_o ) Preprocessing library for constraints-0.13.4.. Running Haddock on library for constraints-0.13.4.. Warning: The documentation for the following packages are not installed. No links will be generated to these packages: array-0.5.5.0, base-4.18.1.0, binary-0.8.9.1, bytestring-0.11.5.2, containers-0.6.7, deepseq-1.4.8.1, exceptions-0.10.7, filepath-1.4.100.4, ghc-bignum-1.3, ghc-boot-th-9.6.3, ghc-prim-0.10.0, mtl-2.3.1, pretty-1.1.3.6, stm-2.5.1.0, template-haskell-2.20.0.0, text-2.0.2, transformers-0.6.1.0 src/Data/Constraint.hs:24:14: warning: [-Wdeprecated-flags] -XTypeInType is deprecated: use -XDataKinds and -XPolyKinds instead | 24 | {-# LANGUAGE TypeInType #-} | ^^^^^^^^^^ src/Data/Constraint/Deferrable.hs:14:14: warning: [-Wdeprecated-flags] -XTypeInType is deprecated: use -XDataKinds and -XPolyKinds instead | 14 | {-# LANGUAGE TypeInType #-} | ^^^^^^^^^^ src/Data/Constraint/Forall.hs:197:1: warning: [GHC-64088] [-Wforall-identifier] The use of `forall' as an identifier will become an error in a future GHC release. Suggested fix: Consider using another name, such as `forAll', `for_all', or `forall_'. | 197 | forall d = case d :: Dict (p (Skolem p)) of Dict -> Dict | ^^^^^^ Warning: 'Sat' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'IncoherentInstances' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: '.' is ambiguous. It is defined * in `GHC.Base' * in `Control.Category' 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 `Control.Category' Warning: 'id' is ambiguous. It is defined * in `GHC.Base' * in `Control.Category' 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 `Control.Category' Warning: 'Any' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: Couldn't find .haddock for export Constraint 90% ( 27 / 30) in 'Data.Constraint' Missing documentation for: Constraint strengthen1 (src/Data/Constraint.hs:371) strengthen2 (src/Data/Constraint.hs:374) Warning: Couldn't find .haddock for export :~~: Warning: Couldn't find .haddock for export :~: 55% ( 5 / 9) in 'Data.Constraint.Deferrable' Missing documentation for: UnsatisfiedConstraint (src/Data/Constraint/Deferrable.hs:55) deferred (src/Data/Constraint/Deferrable.hs:69) :~~: :~: 83% ( 10 / 12) in 'Data.Constraint.Forall' Missing documentation for: Forall1 (src/Data/Constraint/Forall.hs:158) forall (src/Data/Constraint/Forall.hs:196) 0% ( 0 / 3) in 'Data.Constraint.Lifting' Missing documentation for: Module header Lifting (src/Data/Constraint/Lifting.hs:69) Lifting2 (src/Data/Constraint/Lifting.hs:434) Warning: Couldn't find .haddock for export Div Warning: Couldn't find .haddock for export Mod 1% ( 1 / 98) in 'Data.Constraint.Nat' Missing documentation for: Min (src/Data/Constraint/Nat.hs:55) Max (src/Data/Constraint/Nat.hs:57) Lcm (src/Data/Constraint/Nat.hs:67) Gcd (src/Data/Constraint/Nat.hs:65) Divides (src/Data/Constraint/Nat.hs:70) Div Mod plusNat (src/Data/Constraint/Nat.hs:116) minusNat (src/Data/Constraint/Nat.hs:119) timesNat (src/Data/Constraint/Nat.hs:128) powNat (src/Data/Constraint/Nat.hs:131) minNat (src/Data/Constraint/Nat.hs:122) maxNat (src/Data/Constraint/Nat.hs:125) gcdNat (src/Data/Constraint/Nat.hs:110) lcmNat (src/Data/Constraint/Nat.hs:113) divNat (src/Data/Constraint/Nat.hs:134) modNat (src/Data/Constraint/Nat.hs:137) plusZero (src/Data/Constraint/Nat.hs:140) minusZero (src/Data/Constraint/Nat.hs:143) timesZero (src/Data/Constraint/Nat.hs:146) timesOne (src/Data/Constraint/Nat.hs:149) powZero (src/Data/Constraint/Nat.hs:166) powOne (src/Data/Constraint/Nat.hs:224) maxZero (src/Data/Constraint/Nat.hs:159) minZero (src/Data/Constraint/Nat.hs:152) gcdZero (src/Data/Constraint/Nat.hs:98) gcdOne (src/Data/Constraint/Nat.hs:101) lcmZero (src/Data/Constraint/Nat.hs:104) lcmOne (src/Data/Constraint/Nat.hs:107) plusAssociates (src/Data/Constraint/Nat.hs:251) timesAssociates (src/Data/Constraint/Nat.hs:254) minAssociates (src/Data/Constraint/Nat.hs:257) maxAssociates (src/Data/Constraint/Nat.hs:260) gcdAssociates (src/Data/Constraint/Nat.hs:263) lcmAssociates (src/Data/Constraint/Nat.hs:266) plusCommutes (src/Data/Constraint/Nat.hs:239) timesCommutes (src/Data/Constraint/Nat.hs:242) minCommutes (src/Data/Constraint/Nat.hs:245) maxCommutes (src/Data/Constraint/Nat.hs:248) gcdCommutes (src/Data/Constraint/Nat.hs:92) lcmCommutes (src/Data/Constraint/Nat.hs:95) plusDistributesOverTimes (src/Data/Constraint/Nat.hs:311) timesDistributesOverPow (src/Data/Constraint/Nat.hs:314) timesDistributesOverGcd (src/Data/Constraint/Nat.hs:317) timesDistributesOverLcm (src/Data/Constraint/Nat.hs:320) minDistributesOverPlus (src/Data/Constraint/Nat.hs:281) minDistributesOverTimes (src/Data/Constraint/Nat.hs:284) minDistributesOverPow1 (src/Data/Constraint/Nat.hs:287) minDistributesOverPow2 (src/Data/Constraint/Nat.hs:290) minDistributesOverMax (src/Data/Constraint/Nat.hs:293) maxDistributesOverPlus (src/Data/Constraint/Nat.hs:296) maxDistributesOverTimes (src/Data/Constraint/Nat.hs:299) maxDistributesOverPow1 (src/Data/Constraint/Nat.hs:302) maxDistributesOverPow2 (src/Data/Constraint/Nat.hs:305) maxDistributesOverMin (src/Data/Constraint/Nat.hs:308) gcdDistributesOverLcm (src/Data/Constraint/Nat.hs:329) lcmDistributesOverGcd (src/Data/Constraint/Nat.hs:332) minIsIdempotent (src/Data/Constraint/Nat.hs:269) maxIsIdempotent (src/Data/Constraint/Nat.hs:272) lcmIsIdempotent (src/Data/Constraint/Nat.hs:278) gcdIsIdempotent (src/Data/Constraint/Nat.hs:275) plusIsCancellative (src/Data/Constraint/Nat.hs:323) timesIsCancellative (src/Data/Constraint/Nat.hs:326) dividesPlus (src/Data/Constraint/Nat.hs:335) dividesTimes (src/Data/Constraint/Nat.hs:338) dividesMin (src/Data/Constraint/Nat.hs:341) dividesMax (src/Data/Constraint/Nat.hs:344) dividesPow (src/Data/Constraint/Nat.hs:353) dividesGcd (src/Data/Constraint/Nat.hs:86) dividesLcm (src/Data/Constraint/Nat.hs:89) plusMonotone1 (src/Data/Constraint/Nat.hs:188) plusMonotone2 (src/Data/Constraint/Nat.hs:191) timesMonotone1 (src/Data/Constraint/Nat.hs:206) timesMonotone2 (src/Data/Constraint/Nat.hs:209) powMonotone1 (src/Data/Constraint/Nat.hs:194) powMonotone2 (src/Data/Constraint/Nat.hs:197) minMonotone1 (src/Data/Constraint/Nat.hs:212) minMonotone2 (src/Data/Constraint/Nat.hs:215) maxMonotone1 (src/Data/Constraint/Nat.hs:218) maxMonotone2 (src/Data/Constraint/Nat.hs:221) divMonotone1 (src/Data/Constraint/Nat.hs:200) divMonotone2 (src/Data/Constraint/Nat.hs:203) euclideanNat (src/Data/Constraint/Nat.hs:236) plusMod (src/Data/Constraint/Nat.hs:227) timesMod (src/Data/Constraint/Nat.hs:230) modBound (src/Data/Constraint/Nat.hs:233) dividesDef (src/Data/Constraint/Nat.hs:350) timesDiv (src/Data/Constraint/Nat.hs:356) eqLe (src/Data/Constraint/Nat.hs:83) leEq (src/Data/Constraint/Nat.hs:364) leId (src/Data/Constraint/Nat.hs:361) leTrans (src/Data/Constraint/Nat.hs:367) leZero (src/Data/Constraint/Nat.hs:169) zeroLe (src/Data/Constraint/Nat.hs:172) plusMinusInverse1 (src/Data/Constraint/Nat.hs:179) plusMinusInverse2 (src/Data/Constraint/Nat.hs:182) plusMinusInverse3 (src/Data/Constraint/Nat.hs:185) Warning: Couldn't find .haddock for export AppendSymbol 8% ( 2 / 24) in 'Data.Constraint.Symbol' Missing documentation for: AppendSymbol Take (src/Data/Constraint/Symbol.hs:54) Drop (src/Data/Constraint/Symbol.hs:55) Length (src/Data/Constraint/Symbol.hs:56) appendSymbol (src/Data/Constraint/Symbol.hs:76) appendUnit1 (src/Data/Constraint/Symbol.hs:79) appendUnit2 (src/Data/Constraint/Symbol.hs:87) appendAssociates (src/Data/Constraint/Symbol.hs:95) takeSymbol (src/Data/Constraint/Symbol.hs:98) dropSymbol (src/Data/Constraint/Symbol.hs:101) takeAppendDrop (src/Data/Constraint/Symbol.hs:104) lengthSymbol (src/Data/Constraint/Symbol.hs:107) takeLength (src/Data/Constraint/Symbol.hs:110) take0 (src/Data/Constraint/Symbol.hs:113) takeEmpty (src/Data/Constraint/Symbol.hs:116) dropLength (src/Data/Constraint/Symbol.hs:119) drop0 (src/Data/Constraint/Symbol.hs:122) dropEmpty (src/Data/Constraint/Symbol.hs:125) lengthTake (src/Data/Constraint/Symbol.hs:128) lengthDrop (src/Data/Constraint/Symbol.hs:131) dropDrop (src/Data/Constraint/Symbol.hs:134) takeTake (src/Data/Constraint/Symbol.hs:137) Warning: Couldn't find .haddock for export Coercible 87% ( 7 / 8) in 'Data.Constraint.Unsafe' Missing documentation for: Coercible Warning: Data.Constraint: could not find link destinations for: - GHC.Enum.enumFrom - GHC.Enum.enumFromThen - GHC.Enum.enumFromTo - GHC.Enum.enumFromThenTo - GHC.Classes.== - GHC.Classes.>= - GHC.Base.<> - GHC.Base.mempty - GHC.Base.mappend - GHC.Base.mconcat - GHC.Enum.Bounded - GHC.Enum.Enum - GHC.Classes.Eq - GHC.Float.Floating - GHC.Real.Fractional - GHC.Real.Integral - GHC.Base.Monad - Data.Data.Data - GHC.Base.Functor - GHC.Num.Num - GHC.Classes.Ord - GHC.Read.Read - GHC.Real.Real - GHC.Float.RealFloat - GHC.Real.RealFrac - GHC.Show.Show - Data.Typeable.Internal.Typeable - GHC.Base.Applicative - GHC.Base.Semigroup - GHC.Base.Monoid - GHC.Types.Bool - GHC.Base.String - GHC.Types.Char - GHC.Types.Double - GHC.Types.Float - GHC.Types.Int - GHC.Num.Integer.Integer - GHC.Num.Natural.Natural - GHC.Types.List - GHC.Maybe.Maybe - GHC.Types.Ordering - GHC.Real.Ratio - GHC.Types.~~ - GHC.Types.IO - GHC.Types.Word - Data.Either.Either - GHC.Base.NonEmpty - GHC.Types.Type - GHC.Prim.CONSTRAINT - GHC.Types.LiftedRep - GHC.Types.Any - Data.Typeable.Internal.TypeRep - GHC.Classes.compare - GHC.Read.readsPrec - GHC.Show.showsPrec - GHC.Enum.maxBound - GHC.Enum.minBound - GHC.Enum.fromEnum - GHC.Enum.pred - GHC.Enum.succ - GHC.Enum.toEnum - GHC.Read.readList - GHC.Show.show - GHC.Show.showList - GHC.Show.ShowS - Text.ParserCombinators.ReadP.ReadS - GHC.Classes./= - GHC.Classes.< - GHC.Classes.<= - GHC.Classes.> - GHC.Classes.max - GHC.Classes.min - Control.Applicative.WrappedMonad - Data.Functor.Const.Const - GHC.Base.Alternative - Control.Category.. - GHC.Base.MonadPlus - Text.ParserCombinators.ReadPrec.ReadPrec - Control.Category.Category - Control.Category.id - Data.Type.Coercion.Coercion - Control.DeepSeq.NFData - Control.DeepSeq.rnf - Data.Functor.Identity.Identity - Data.Complex.Complex - Data.Data.Constr - Data.Data.DataType - GHC.Read.readPrec - Data.Data.dataCast1 - Data.Data.dataCast2 - Data.Data.dataTypeOf - Data.Data.gfoldl - Data.Data.gmapM - Data.Data.gmapMo - Data.Data.gmapMp - Data.Data.gmapQ - Data.Data.gmapQi - Data.Data.gmapQl - Data.Data.gmapQr - Data.Data.gmapT - Data.Data.gunfold - Data.Data.toConstr - GHC.Bits.Bits - GHC.Base.sconcat - GHC.Base.stimes - GHC.Read.readListPrec Warning: Data.Constraint.Deferrable: could not find link destinations for: - GHC.Enum.enumFrom - GHC.Enum.enumFromThen - GHC.Enum.enumFromTo - GHC.Enum.enumFromThenTo - GHC.Classes.== - GHC.Classes.>= - GHC.Enum.Bounded - GHC.Enum.Enum - GHC.Classes.Eq - GHC.Base.Monad - Data.Data.Data - GHC.Classes.Ord - GHC.Read.Read - GHC.Show.Show - Data.Typeable.Internal.Typeable - GHC.Types.Bool - GHC.Base.String - GHC.Types.Int - GHC.Maybe.Maybe - GHC.Types.Ordering - GHC.Types.~~ - Data.Either.Either - GHC.Types.Type - GHC.Classes.compare - GHC.Read.readsPrec - GHC.Show.showsPrec - GHC.Enum.maxBound - GHC.Enum.minBound - GHC.Enum.fromEnum - GHC.Enum.pred - GHC.Enum.succ - GHC.Enum.toEnum - GHC.Read.readList - GHC.Show.show - GHC.Show.showList - GHC.Show.ShowS - Text.ParserCombinators.ReadP.ReadS - GHC.Classes./= - GHC.Classes.< - GHC.Classes.<= - GHC.Classes.> - GHC.Classes.max - GHC.Classes.min - Control.Category.. - GHC.Base.MonadPlus - Text.ParserCombinators.ReadPrec.ReadPrec - Control.Category.Category - Control.Category.id - Data.Type.Coercion.Coercion - Control.DeepSeq.NFData - Control.DeepSeq.rnf - Control.DeepSeq.NFData1 - Control.DeepSeq.liftRnf - Control.DeepSeq.NFData2 - Control.DeepSeq.liftRnf2 - Data.Proxy.Proxy - Data.Data.Constr - Data.Data.DataType - GHC.Read.readPrec - Data.Data.dataCast1 - Data.Data.dataCast2 - Data.Data.dataTypeOf - Data.Data.gfoldl - Data.Data.gmapM - Data.Data.gmapMo - Data.Data.gmapMp - Data.Data.gmapQ - Data.Data.gmapQi - Data.Data.gmapQl - Data.Data.gmapQr - Data.Data.gmapT - Data.Data.gunfold - Data.Data.toConstr - Data.Type.Coercion.TestCoercion - Data.Type.Coercion.testCoercion - Data.Type.Equality.TestEquality - Data.Type.Equality.testEquality - GHC.Exception.Type.SomeException - GHC.Read.readListPrec - GHC.Exception.Type.Exception - GHC.Exception.Type.displayException - GHC.Exception.Type.fromException - GHC.Exception.Type.toException Warning: Data.Constraint.Forall: could not find link destinations for: - Data.Constraint.Forall.ForallV' - Data.Constraint.Forall.Q - Data.Constraint.Forall.ComposeC Warning: Data.Constraint.Lifting: could not find link destinations for: - GHC.Enum.Bounded - GHC.Classes.Eq - GHC.Base.Monad - GHC.Base.Functor - GHC.Classes.Ord - GHC.Read.Read - GHC.Show.Show - GHC.Ix.Ix - Control.Monad.Fix.MonadFix - GHC.Base.Applicative - Data.Foldable.Foldable - Data.Traversable.Traversable - GHC.Base.Semigroup - GHC.Base.Monoid - GHC.Types.List - GHC.Maybe.Maybe - GHC.Real.Ratio - Data.Either.Either - GHC.Types.Type - Data.Functor.Classes.Eq1 - Data.Functor.Classes.Ord1 - Data.Functor.Classes.Read1 - Data.Functor.Classes.Show1 - GHC.Base.Alternative - GHC.Base.MonadPlus - Control.DeepSeq.NFData - Data.Functor.Compose.Compose - Data.Functor.Identity.Identity - Data.Functor.Product.Product - Data.Functor.Sum.Sum - Data.Complex.Complex - Control.Applicative.Backwards.Backwards - Control.Applicative.Lift.Lift - Control.Monad.Cont.Class.MonadCont - Control.Monad.Trans.Cont.ContT - Control.Monad.Trans.Except.ExceptT - Control.Monad.Trans.Identity.IdentityT - Control.Monad.Trans.Maybe.MaybeT - Control.Monad.Trans.RWS.Strict.RWST - Control.Monad.Trans.RWS.Lazy.RWST - Control.Monad.Trans.Reader.ReaderT - Control.Monad.Trans.State.Strict.StateT - Control.Monad.Trans.State.Lazy.StateT - Control.Monad.Trans.Writer.Strict.WriterT - Control.Monad.Trans.Writer.Lazy.WriterT - Control.Monad.Error.Class.MonadError - Control.Monad.IO.Class.MonadIO - Control.Monad.RWS.Class.MonadRWS - Control.Monad.Reader.Class.MonadReader - Control.Monad.State.Class.MonadState - Data.Binary.Class.Binary - Data.Functor.Reverse.Reverse Warning: Data.Constraint.Nat: could not find link destinations for: - GHC.TypeNats.KnownNat - GHC.Num.Natural.Natural - GHC.TypeNats.+ - GHC.TypeNats.* - GHC.TypeNats.^ - GHC.TypeNats.- - GHC.TypeNats.Nat - Data.Type.Bool.If - Data.Type.Ord.<= - Data.Type.Ord.<=? Warning: Data.Constraint.Symbol: could not find link destinations for: - GHC.TypeNats.KnownNat - GHC.TypeLits.KnownSymbol - GHC.Types.Symbol - GHC.TypeNats.+ - GHC.TypeNats.Nat - Data.Type.Ord.<= Warning: Data.Constraint.Unsafe: could not find link destinations for: - GHC.Base.Monad - GHC.Base.Applicative - GHC.Base.Alternative - GHC.Base.MonadPlus - Data.Type.Coercion.Coercion Documentation created: dist/doc/html/constraints/index.html