Resolving dependencies... Downloading nominal-0.3.0.0 Downloaded nominal-0.3.0.0 Configuring nominal-0.3.0.0... Preprocessing library for nominal-0.3.0.0.. Building library for nominal-0.3.0.0.. [ 1 of 11] Compiling Nominal.ConcreteNames ( Nominal/ConcreteNames.hs, dist/build/Nominal/ConcreteNames.o, dist/build/Nominal/ConcreteNames.dyn_o ) Nominal/ConcreteNames.hs:87:10: warning: [GHC-63394] [-Wx-partial] In the use of head (imported from Data.List, 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." | 87 | n' = head [ x | x <- expand_default (ns' ++ expander ns'), not (used x) ] | ^^^^ [ 2 of 11] Compiling Nominal.Generic ( Nominal/Generic.hs, dist/build/Nominal/Generic.o, dist/build/Nominal/Generic.dyn_o ) [ 3 of 11] Compiling Nominal.Unsafe ( Nominal/Unsafe.hs, dist/build/Nominal/Unsafe.o, dist/build/Nominal/Unsafe.dyn_o ) [ 4 of 11] Compiling Nominal.Atom ( Nominal/Atom.hs, dist/build/Nominal/Atom.o, dist/build/Nominal/Atom.dyn_o ) [ 5 of 11] Compiling Nominal.Permutation ( Nominal/Permutation.hs, dist/build/Nominal/Permutation.o, dist/build/Nominal/Permutation.dyn_o ) [ 6 of 11] Compiling Nominal.Nominal ( Nominal/Nominal.hs, dist/build/Nominal/Nominal.o, dist/build/Nominal/Nominal.dyn_o ) [ 7 of 11] Compiling Nominal.NominalSupport ( Nominal/NominalSupport.hs, dist/build/Nominal/NominalSupport.o, dist/build/Nominal/NominalSupport.dyn_o ) [ 8 of 11] Compiling Nominal.NominalShow ( Nominal/NominalShow.hs, dist/build/Nominal/NominalShow.o, dist/build/Nominal/NominalShow.dyn_o ) [ 9 of 11] Compiling Nominal.Bindable ( Nominal/Bindable.hs, dist/build/Nominal/Bindable.o, dist/build/Nominal/Bindable.dyn_o ) [10 of 11] Compiling Nominal.Atomic ( Nominal/Atomic.hs, dist/build/Nominal/Atomic.o, dist/build/Nominal/Atomic.dyn_o ) [11 of 11] Compiling Nominal ( Nominal.hs, dist/build/Nominal.o, dist/build/Nominal.dyn_o ) Preprocessing library for nominal-0.3.0.0.. Running Haddock on library for nominal-0.3.0.0.. Warning: --source-* options are ignored when --hyperlinked-source is enabled. [ 1 of 11] Compiling Nominal.ConcreteNames ( Nominal/ConcreteNames.hs, nothing ) Nominal/ConcreteNames.hs:87:10: warning: [GHC-63394] [-Wx-partial] In the use of head (imported from Data.List, 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." | 87 | n' = head [ x | x <- expand_default (ns' ++ expander ns'), not (used x) ] | ^^^^ [ 2 of 11] Compiling Nominal.Generic ( Nominal/Generic.hs, nothing ) [ 3 of 11] Compiling Nominal.Unsafe ( Nominal/Unsafe.hs, nothing ) [ 4 of 11] Compiling Nominal.Atom ( Nominal/Atom.hs, nothing ) [ 5 of 11] Compiling Nominal.Permutation ( Nominal/Permutation.hs, nothing ) [ 6 of 11] Compiling Nominal.Nominal ( Nominal/Nominal.hs, nothing ) [ 7 of 11] Compiling Nominal.NominalSupport ( Nominal/NominalSupport.hs, nothing ) [ 8 of 11] Compiling Nominal.NominalShow ( Nominal/NominalShow.hs, nothing ) [ 9 of 11] Compiling Nominal.Bindable ( Nominal/Bindable.hs, nothing ) [10 of 11] Compiling Nominal.Atomic ( Nominal/Atomic.hs, nothing ) [11 of 11] Compiling Nominal ( Nominal.hs, nothing ) Haddock coverage: Warning: 'AtomKind' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 100% ( 10 / 10) in 'Nominal.ConcreteNames' 100% ( 2 / 2) in 'Nominal.Generic' 100% ( 6 / 6) in 'Nominal.Unsafe' Warning: 'Set' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'Map' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 100% ( 12 / 12) in 'Nominal.Atom' Warning: 'Perm' is ambiguous. It is defined * at Nominal/Permutation.hs:21:16 * at Nominal/Permutation.hs:21: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 Nominal/Permutation.hs:21:1 100% ( 22 / 22) in 'Nominal.Permutation' Warning: 'Basic' is ambiguous. It is defined * at Nominal/Nominal.hs:135:19 * at Nominal/Nominal.hs:135: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 Nominal/Nominal.hs:135:1 Warning: 'NominalSupport' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'NominalShow' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'Bindable' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'BindAtom' is ambiguous. It is defined * at Nominal/Nominal.hs:76:19 * at Nominal/Nominal.hs:76: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 Nominal/Nominal.hs:76:1 Warning: 'Defer' is ambiguous. It is defined * at Nominal/Nominal.hs:52:16 * at Nominal/Nominal.hs:52: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 Nominal/Nominal.hs:52:1 Warning: 'Atom' is ambiguous. It is defined * at Nominal/Atom.hs:23:3 * at Nominal/Atom.hs:20: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 Nominal/Atom.hs:20:1 Warning: 'Atomic' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 100% ( 18 / 18) in 'Nominal.Nominal' Warning: 'Support' is ambiguous. It is defined * at Nominal/NominalSupport.hs:63:19 * at Nominal/NominalSupport.hs:63: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 Nominal/NominalSupport.hs:63:1 Warning: 'Literal' is ambiguous. It is defined * at Nominal/NominalSupport.hs:45:19 * at Nominal/NominalSupport.hs:45: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 Nominal/NominalSupport.hs:45:1 Warning: 'open' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'open_for_printing' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 100% ( 24 / 24) in 'Nominal.NominalSupport' 100% ( 11 / 11) in 'Nominal.NominalShow' Warning: 'Bind' is ambiguous. It is defined * at Nominal/Bindable.hs:168:3 * at Nominal/Bindable.hs:167: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 Nominal/Bindable.hs:167:1 Warning: 'Atom' is ambiguous. It is defined * at Nominal/Atom.hs:23:3 * at Nominal/Atom.hs:20: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 Nominal/Atom.hs:20:1 Warning: 'NoBind' is ambiguous. It is defined * at Nominal/Bindable.hs:367:20 * at Nominal/Bindable.hs:367: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 Nominal/Bindable.hs:367:1 Warning: 'NominalBinder' is ambiguous. It is defined * at Nominal/Bindable.hs:100:3 * at Nominal/Bindable.hs:99: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 Nominal/Bindable.hs:99:1 100% ( 29 / 29) in 'Nominal.Bindable' Warning: 'Atom' is ambiguous. It is defined * at Nominal/Atom.hs:23:3 * at Nominal/Atom.hs:20: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 Nominal/Atom.hs:20:1 Warning: 'AtomOfKind' is ambiguous. It is defined * at Nominal/Atomic.hs:277:24 * at Nominal/Atomic.hs:277: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 Nominal/Atomic.hs:277:1 100% ( 26 / 26) in 'Nominal.Atomic' Warning: 'Atom' is ambiguous. It is defined * at Nominal/Atom.hs:23:3 * at Nominal/Atom.hs:20: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 Nominal/Atom.hs:20:1 Warning: 'Bind' is ambiguous. It is defined * at Nominal/Bindable.hs:168:3 * at Nominal/Bindable.hs:167: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 Nominal/Bindable.hs:167:1 Warning: 'AtomOfKind' is ambiguous. It is defined * at Nominal/Atomic.hs:277:24 * at Nominal/Atomic.hs:277: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 Nominal/Atomic.hs:277:1 Warning: 'Set' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'Basic' is ambiguous. It is defined * at Nominal/Nominal.hs:135:19 * at Nominal/Nominal.hs:135: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 Nominal/Nominal.hs:135:1 Warning: 'Literal' is ambiguous. It is defined * at Nominal/NominalSupport.hs:45:19 * at Nominal/NominalSupport.hs:45: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 Nominal/NominalSupport.hs:45:1 Warning: 'NominalBinder' is ambiguous. It is defined * at Nominal/Bindable.hs:100:3 * at Nominal/Bindable.hs:99: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 Nominal/Bindable.hs:99:1 Warning: 'NoBind' is ambiguous. It is defined * at Nominal/Bindable.hs:367:20 * at Nominal/Bindable.hs:367: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 Nominal/Bindable.hs:367:1 100% ( 88 / 88) in 'Nominal' Warning: Nominal.Generic: could not find link destinations for: - GHC.Generics.Rep_Fingerprint - GHC.Generics.Rep_GeneralCategory - GHC.Generics.Rep_SrcLoc - GHC.Generics.Rep_Down - GHC.Generics.Rep_Tuple15 - GHC.Generics.Rep_Tuple14 - GHC.Generics.Rep_Tuple13 - GHC.Generics.Rep_Tuple12 - GHC.Generics.Rep_Tuple11 - GHC.Generics.Rep_Tuple10 - GHC.Generics.Rep_Tuple9 - GHC.Generics.Rep_Tuple8 - GHC.Generics.Rep_Tuple7 - GHC.Generics.Rep_Tuple6 - GHC.Generics.Rep_Tuple5 - GHC.Generics.Rep_Tuple4 - GHC.Generics.Rep_Tuple3 - GHC.Generics.Rep_Tuple2 - GHC.Generics.Rep_Solo - GHC.Generics.Rep_Unit - GHC.Generics.Rep_Proxy - GHC.Generics.Rep_Ordering - GHC.Generics.Rep_Bool - GHC.Generics.Rep_Either - GHC.Generics.Rep_Maybe - GHC.Generics.Rep_NonEmpty - GHC.Generics.Rep_List - GHC.Generics.Rep_Void - GHC.Generics.Rep_M1 - GHC.Generics.Rep_V1 - GHC.Generics.Rep_U1 - GHC.Generics.Rep_Par1 - GHC.Generics.Rep_Rec1 - GHC.Generics.Rep_K1 - GHC.Generics.Rep_:+: - GHC.Generics.Rep_:*: - GHC.Generics.Rep_:.: - GHC.Generics.Rep_R:UReckWordp - GHC.Generics.Rep_R:UReckIntp - GHC.Generics.Rep_R:UReckDoublep - GHC.Generics.Rep_R:UReckCharp - GHC.Generics.Rep_R:UReckPtrp - GHC.Generics.Rep_Fixity - GHC.Generics.Rep_Associativity - GHC.Generics.Rep_SourceUnpackedness - GHC.Generics.Rep_SourceStrictness - GHC.Generics.Rep_DecidedStrictness - Data.Semigroup.Internal.Rep_Alt - Data.Semigroup.Internal.Rep_Product - Data.Semigroup.Internal.Rep_Sum - Data.Semigroup.Internal.Rep_Any - Data.Semigroup.Internal.Rep_All - Data.Semigroup.Internal.Rep_Endo - Data.Semigroup.Internal.Rep_Dual - Data.Monoid.Rep_Ap - Data.Monoid.Rep_Last - Data.Monoid.Rep_First - Data.Functor.Const.Rep_Const - GHC.RTS.Flags.Rep_RTSFlags - GHC.RTS.Flags.Rep_ParFlags - GHC.RTS.Flags.Rep_TickyFlags - GHC.RTS.Flags.Rep_TraceFlags - GHC.RTS.Flags.Rep_DoTrace - GHC.RTS.Flags.Rep_ProfFlags - GHC.RTS.Flags.Rep_DoHeapProfile - GHC.RTS.Flags.Rep_CCFlags - GHC.RTS.Flags.Rep_DoCostCentres - GHC.RTS.Flags.Rep_DebugFlags - GHC.RTS.Flags.Rep_MiscFlags - GHC.RTS.Flags.Rep_ConcFlags - GHC.RTS.Flags.Rep_GCFlags - GHC.RTS.Flags.Rep_GiveGCStats - Data.Functor.Identity.Rep_Identity - Control.Arrow.Rep_Kleisli - Control.Applicative.Rep_ZipList - Control.Applicative.Rep_WrappedArrow - Control.Applicative.Rep_WrappedMonad - Data.Version.Rep_Version - GHC.ByteOrder.Rep_ByteOrder - GHC.Stats.Rep_RTSStats - GHC.Stats.Rep_GCDetails - Data.Semigroup.Rep_WrappedMonoid - Data.Semigroup.Rep_Last - Data.Semigroup.Rep_First - Data.Semigroup.Rep_Arg - Data.Semigroup.Rep_Max - Data.Semigroup.Rep_Min - Data.Complex.Rep_Complex - Data.Functor.Sum.Rep_Sum - Data.Functor.Product.Rep_Product - Data.Functor.Compose.Rep_Compose - Data.Sequence.Internal.Rep_ViewR - Data.Sequence.Internal.Rep_ViewL - Data.Sequence.Internal.Rep_Elem - Data.Sequence.Internal.Rep_Node - Data.Sequence.Internal.Rep_Digit - Data.Sequence.Internal.Rep_FingerTree - Data.Tree.Rep_Tree - Data.Graph.Rep_SCC - GHC.Generics.Rep_R:UReckFloatp - Nominal.Bindable.Rep_NoBind - Nominal.Bindable.Rep_BindAtomList - GHC.IO.Exception.Rep_ExitCode - GHC.ForeignSrcLang.Type.Rep_ForeignSrcLang - GHC.LanguageExtensions.Type.Rep_Extension - Text.PrettyPrint.Annotated.HughesPJ.Rep_Doc - Text.PrettyPrint.Annotated.HughesPJ.Rep_Mode - Text.PrettyPrint.Annotated.HughesPJ.Rep_Style - Text.PrettyPrint.Annotated.HughesPJ.Rep_TextDetails - Text.PrettyPrint.HughesPJ.Rep_Doc - Language.Haskell.TH.Syntax.Rep_AnnLookup - Language.Haskell.TH.Syntax.Rep_AnnTarget - Language.Haskell.TH.Syntax.Rep_Bang - Language.Haskell.TH.Syntax.Rep_BndrVis - Language.Haskell.TH.Syntax.Rep_Body - Language.Haskell.TH.Syntax.Rep_Bytes - Language.Haskell.TH.Syntax.Rep_Callconv - Language.Haskell.TH.Syntax.Rep_Clause - Language.Haskell.TH.Syntax.Rep_Con - Language.Haskell.TH.Syntax.Rep_Dec - Language.Haskell.TH.Syntax.Rep_DecidedStrictness - Language.Haskell.TH.Syntax.Rep_DerivClause - Language.Haskell.TH.Syntax.Rep_DerivStrategy - Language.Haskell.TH.Syntax.Rep_DocLoc - Language.Haskell.TH.Syntax.Rep_Exp - Language.Haskell.TH.Syntax.Rep_FamilyResultSig - Language.Haskell.TH.Syntax.Rep_FixityDirection - Language.Haskell.TH.Syntax.Rep_Fixity - Language.Haskell.TH.Syntax.Rep_Foreign - Language.Haskell.TH.Syntax.Rep_FunDep - Language.Haskell.TH.Syntax.Rep_Guard - Language.Haskell.TH.Syntax.Rep_Info - Language.Haskell.TH.Syntax.Rep_InjectivityAnn - Language.Haskell.TH.Syntax.Rep_Inline - Language.Haskell.TH.Syntax.Rep_Lit - Language.Haskell.TH.Syntax.Rep_Loc - Language.Haskell.TH.Syntax.Rep_Match - Language.Haskell.TH.Syntax.Rep_ModName - Language.Haskell.TH.Syntax.Rep_ModuleInfo - Language.Haskell.TH.Syntax.Rep_Module - Language.Haskell.TH.Syntax.Rep_NameFlavour - Language.Haskell.TH.Syntax.Rep_NameSpace - Language.Haskell.TH.Syntax.Rep_Name - Language.Haskell.TH.Syntax.Rep_OccName - Language.Haskell.TH.Syntax.Rep_Overlap - Language.Haskell.TH.Syntax.Rep_Pat - Language.Haskell.TH.Syntax.Rep_PatSynArgs - Language.Haskell.TH.Syntax.Rep_PatSynDir - Language.Haskell.TH.Syntax.Rep_Phases - Language.Haskell.TH.Syntax.Rep_PkgName - Language.Haskell.TH.Syntax.Rep_Pragma - Language.Haskell.TH.Syntax.Rep_Range - Language.Haskell.TH.Syntax.Rep_Role - Language.Haskell.TH.Syntax.Rep_RuleBndr - Language.Haskell.TH.Syntax.Rep_RuleMatch - Language.Haskell.TH.Syntax.Rep_Safety - Language.Haskell.TH.Syntax.Rep_SourceStrictness - Language.Haskell.TH.Syntax.Rep_SourceUnpackedness - Language.Haskell.TH.Syntax.Rep_Specificity - Language.Haskell.TH.Syntax.Rep_Stmt - Language.Haskell.TH.Syntax.Rep_TyLit - Language.Haskell.TH.Syntax.Rep_TySynEqn - Language.Haskell.TH.Syntax.Rep_TyVarBndr - Language.Haskell.TH.Syntax.Rep_Type - Language.Haskell.TH.Syntax.Rep_TypeFamilyHead - Nominal.Atomic.Rep_AtomOfKind Warning: Nominal.Bindable: could not find link destinations for: - Nominal.Bindable.Rep_NoBind - Nominal.Bindable.Rep_BindAtomList Warning: Nominal.Atomic: could not find link destinations for: - Nominal.Atomic.Rep_AtomOfKind Warning: Nominal: could not find link destinations for: - Nominal.Bindable.Rep_NoBind - Nominal.Atomic.Rep_AtomOfKind Documentation created: dist/doc/html/nominal/, dist/doc/html/nominal/nominal.txt Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/nominal-0.3.0.0-CEx4lFqvSIEBBDfaySvf3w Completed nominal-0.3.0.0