Build #1 for nominal-0.3.0.0
| Package | nominal-0.3.0.0 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2025-12-01 21:20:33.290644424 UTC |
|---|---|
| Compiler | ghc-9.8.4 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.19.2.0, containers-0.6.8 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
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
Test log
[view raw]
Resolving dependencies... No tests to run for all the packages in the project