Build #1 for type-natural-0.2.3.2
| Package | type-natural-0.2.3.2 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2015-02-04 06:45:10.450029 UTC |
|---|---|
| Compiler | ghc-7.8.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | template-haskell-2.9.0.0, singletons-1.1, monomorphic-0.0.3.2, equational-reasoning-0.2.0.5, constraints-0.4.1.3, base-4.7.0.1 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Downloading monomorphic-0.0.3.2...
Configuring monomorphic-0.0.3.2...
Building monomorphic-0.0.3.2...
Preprocessing library monomorphic-0.0.3.2...
[1 of 1] Compiling Data.Type.Monomorphic ( Data/Type/Monomorphic.hs, dist/build/Data/Type/Monomorphic.o )
In-place registering monomorphic-0.0.3.2...
Running Haddock for monomorphic-0.0.3.2...
Running hscolour for monomorphic-0.0.3.2...
Preprocessing library monomorphic-0.0.3.2...
Preprocessing library monomorphic-0.0.3.2...
Haddock coverage:
70% ( 7 / 10) in 'Data.Type.Monomorphic'
Documentation created: dist/doc/html/monomorphic/index.html,
dist/doc/html/monomorphic/monomorphic.txt
Creating package registration file: /tmp/pkgConf-monomorphic-0.0.327223.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/monomorphic-0.0.3.2
Registering monomorphic-0.0.3.2...
Installed monomorphic-0.0.3.2
Configuring newtype-0.2...
Building newtype-0.2...
Preprocessing library newtype-0.2...
[1 of 1] Compiling Control.Newtype ( Control/Newtype.hs, dist/build/Control/Newtype.o )
In-place registering newtype-0.2...
Running Haddock for newtype-0.2...
Running hscolour for newtype-0.2...
Preprocessing library newtype-0.2...
Preprocessing library newtype-0.2...
Haddock coverage:
100% ( 9 / 9) in 'Control.Newtype'
Documentation created: dist/doc/html/newtype/index.html,
dist/doc/html/newtype/newtype.txt
Creating package registration file: /tmp/pkgConf-newtype-027223.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/newtype-0.2
Registering newtype-0.2...
Installed newtype-0.2
Configuring syb-0.4.4...
Building syb-0.4.4...
Preprocessing library syb-0.4.4...
[ 1 of 16] Compiling Data.Generics.Basics ( src/Data/Generics/Basics.hs, dist/build/Data/Generics/Basics.o )
[ 2 of 16] Compiling Generics.SYB.Basics ( src/Generics/SYB/Basics.hs, dist/build/Generics/SYB/Basics.o )
[ 3 of 16] Compiling Data.Generics.Instances ( src/Data/Generics/Instances.hs, dist/build/Data/Generics/Instances.o )
[ 4 of 16] Compiling Generics.SYB.Instances ( src/Generics/SYB/Instances.hs, dist/build/Generics/SYB/Instances.o )
[ 5 of 16] Compiling Data.Generics.Aliases ( src/Data/Generics/Aliases.hs, dist/build/Data/Generics/Aliases.o )
[ 6 of 16] Compiling Data.Generics.Schemes ( src/Data/Generics/Schemes.hs, dist/build/Data/Generics/Schemes.o )
[ 7 of 16] Compiling Generics.SYB.Schemes ( src/Generics/SYB/Schemes.hs, dist/build/Generics/SYB/Schemes.o )
[ 8 of 16] Compiling Data.Generics.Text ( src/Data/Generics/Text.hs, dist/build/Data/Generics/Text.o )
[ 9 of 16] Compiling Generics.SYB.Text ( src/Generics/SYB/Text.hs, dist/build/Generics/SYB/Text.o )
[10 of 16] Compiling Data.Generics.Twins ( src/Data/Generics/Twins.hs, dist/build/Data/Generics/Twins.o )
[11 of 16] Compiling Generics.SYB.Twins ( src/Generics/SYB/Twins.hs, dist/build/Generics/SYB/Twins.o )
[12 of 16] Compiling Data.Generics.Builders ( src/Data/Generics/Builders.hs, dist/build/Data/Generics/Builders.o )
[13 of 16] Compiling Generics.SYB.Builders ( src/Generics/SYB/Builders.hs, dist/build/Generics/SYB/Builders.o )
[14 of 16] Compiling Generics.SYB.Aliases ( src/Generics/SYB/Aliases.hs, dist/build/Generics/SYB/Aliases.o )
[15 of 16] Compiling Data.Generics ( src/Data/Generics.hs, dist/build/Data/Generics.o )
[16 of 16] Compiling Generics.SYB ( src/Generics/SYB.hs, dist/build/Generics/SYB.o )
In-place registering syb-0.4.4...
Running Haddock for syb-0.4.4...
Running hscolour for syb-0.4.4...
Preprocessing library syb-0.4.4...
Preprocessing library syb-0.4.4...
Haddock coverage:
100% ( 2 / 2) in 'Data.Generics.Basics'
100% ( 2 / 2) in 'Generics.SYB.Basics'
100% ( 1 / 1) in 'Data.Generics.Instances'
100% ( 1 / 1) in 'Generics.SYB.Instances'
96% ( 43 / 45) in 'Data.Generics.Aliases'
100% ( 19 / 19) in 'Data.Generics.Schemes'
100% ( 2 / 2) in 'Generics.SYB.Schemes'
100% ( 6 / 6) in 'Data.Generics.Text'
100% ( 2 / 2) in 'Generics.SYB.Text'
100% ( 16 / 16) in 'Data.Generics.Twins'
100% ( 2 / 2) in 'Generics.SYB.Twins'
100% ( 3 / 3) in 'Data.Generics.Builders'
100% ( 2 / 2) in 'Generics.SYB.Builders'
100% ( 2 / 2) in 'Generics.SYB.Aliases'
100% ( 8 / 8) in 'Data.Generics'
100% ( 2 / 2) in 'Generics.SYB'
Documentation created: dist/doc/html/syb/index.html, dist/doc/html/syb/syb.txt
Creating package registration file: /tmp/pkgConf-syb-0.427223.4
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/syb-0.4.4
Registering syb-0.4.4...
Installed syb-0.4.4
Configuring text-1.2.0.4...
Building text-1.2.0.4...
Preprocessing library text-1.2.0.4...
[ 1 of 43] Compiling Data.Text.Internal.Read ( Data/Text/Internal/Read.hs, dist/build/Data/Text/Internal/Read.o )
[ 2 of 43] Compiling Data.Text.Internal.Encoding.Utf32 ( Data/Text/Internal/Encoding/Utf32.hs, dist/build/Data/Text/Internal/Encoding/Utf32.o )
[ 3 of 43] Compiling Data.Text.Internal.Builder.RealFloat.Functions ( Data/Text/Internal/Builder/RealFloat/Functions.hs, dist/build/Data/Text/Internal/Builder/RealFloat/Functions.o )
[ 4 of 43] Compiling Data.Text.Internal.Builder.Int.Digits ( Data/Text/Internal/Builder/Int/Digits.hs, dist/build/Data/Text/Internal/Builder/Int/Digits.o )
[ 5 of 43] Compiling Data.Text.Encoding.Error ( Data/Text/Encoding/Error.hs, dist/build/Data/Text/Encoding/Error.o )
[ 6 of 43] Compiling Data.Text.Internal.Unsafe.Shift ( Data/Text/Internal/Unsafe/Shift.hs, dist/build/Data/Text/Internal/Unsafe/Shift.o )
[ 7 of 43] Compiling Data.Text.Internal.Encoding.Utf16 ( Data/Text/Internal/Encoding/Utf16.hs, dist/build/Data/Text/Internal/Encoding/Utf16.o )
[ 8 of 43] Compiling Data.Text.Internal.Functions ( Data/Text/Internal/Functions.hs, dist/build/Data/Text/Internal/Functions.o )
[ 9 of 43] Compiling Data.Text.Internal.Unsafe ( Data/Text/Internal/Unsafe.hs, dist/build/Data/Text/Internal/Unsafe.o )
[10 of 43] Compiling Data.Text.Array ( Data/Text/Array.hs, dist/build/Data/Text/Array.o )
[11 of 43] Compiling Data.Text.Internal.Unsafe.Char ( Data/Text/Internal/Unsafe/Char.hs, dist/build/Data/Text/Internal/Unsafe/Char.o )
[12 of 43] Compiling Data.Text.Internal ( Data/Text/Internal.hs, dist/build/Data/Text/Internal.o )
[13 of 43] Compiling Data.Text.Internal.Fusion.Size ( Data/Text/Internal/Fusion/Size.hs, dist/build/Data/Text/Internal/Fusion/Size.o )
[14 of 43] Compiling Data.Text.Internal.Fusion.Types ( Data/Text/Internal/Fusion/Types.hs, dist/build/Data/Text/Internal/Fusion/Types.o )
[15 of 43] Compiling Data.Text.Internal.Fusion.CaseMapping ( Data/Text/Internal/Fusion/CaseMapping.hs, dist/build/Data/Text/Internal/Fusion/CaseMapping.o )
[16 of 43] Compiling Data.Text.Internal.Fusion.Common ( Data/Text/Internal/Fusion/Common.hs, dist/build/Data/Text/Internal/Fusion/Common.o )
[17 of 43] Compiling Data.Text.Unsafe ( Data/Text/Unsafe.hs, dist/build/Data/Text/Unsafe.o )
[18 of 43] Compiling Data.Text.Internal.Private ( Data/Text/Internal/Private.hs, dist/build/Data/Text/Internal/Private.o )
[19 of 43] Compiling Data.Text.Internal.Fusion ( Data/Text/Internal/Fusion.hs, dist/build/Data/Text/Internal/Fusion.o )
[20 of 43] Compiling Data.Text.Internal.Encoding.Fusion.Common ( Data/Text/Internal/Encoding/Fusion/Common.hs, dist/build/Data/Text/Internal/Encoding/Fusion/Common.o )
[21 of 43] Compiling Data.Text.Internal.Encoding.Utf8 ( Data/Text/Internal/Encoding/Utf8.hs, dist/build/Data/Text/Internal/Encoding/Utf8.o )
[22 of 43] Compiling Data.Text.Internal.Encoding.Fusion ( Data/Text/Internal/Encoding/Fusion.hs, dist/build/Data/Text/Internal/Encoding/Fusion.o )
[23 of 43] Compiling Data.Text.Internal.Lazy.Encoding.Fusion ( Data/Text/Internal/Lazy/Encoding/Fusion.hs, dist/build/Data/Text/Internal/Lazy/Encoding/Fusion.o )
[24 of 43] Compiling Data.Text.Internal.Search ( Data/Text/Internal/Search.hs, dist/build/Data/Text/Internal/Search.o )
[25 of 43] Compiling Data.Text ( Data/Text.hs, dist/build/Data/Text.o )
[26 of 43] Compiling Data.Text.Encoding ( Data/Text/Encoding.hs, dist/build/Data/Text/Encoding.o )
[27 of 43] Compiling Data.Text.Foreign ( Data/Text/Foreign.hs, dist/build/Data/Text/Foreign.o )
[28 of 43] Compiling Data.Text.Internal.IO ( Data/Text/Internal/IO.hs, dist/build/Data/Text/Internal/IO.o )
[29 of 43] Compiling Data.Text.IO ( Data/Text/IO.hs, dist/build/Data/Text/IO.o )
[30 of 43] Compiling Data.Text.Internal.Lazy ( Data/Text/Internal/Lazy.hs, dist/build/Data/Text/Internal/Lazy.o )
[31 of 43] Compiling Data.Text.Internal.Lazy.Fusion ( Data/Text/Internal/Lazy/Fusion.hs, dist/build/Data/Text/Internal/Lazy/Fusion.o )
[32 of 43] Compiling Data.Text.Internal.Lazy.Search ( Data/Text/Internal/Lazy/Search.hs, dist/build/Data/Text/Internal/Lazy/Search.o )
[33 of 43] Compiling Data.Text.Lazy.Internal ( Data/Text/Lazy/Internal.hs, dist/build/Data/Text/Lazy/Internal.o )
[34 of 43] Compiling Data.Text.Lazy ( Data/Text/Lazy.hs, dist/build/Data/Text/Lazy.o )
[35 of 43] Compiling Data.Text.Internal.Builder ( Data/Text/Internal/Builder.hs, dist/build/Data/Text/Internal/Builder.o )
[36 of 43] Compiling Data.Text.Lazy.Builder ( Data/Text/Lazy/Builder.hs, dist/build/Data/Text/Lazy/Builder.o )
[37 of 43] Compiling Data.Text.Internal.Builder.Functions ( Data/Text/Internal/Builder/Functions.hs, dist/build/Data/Text/Internal/Builder/Functions.o )
[38 of 43] Compiling Data.Text.Lazy.Builder.Int ( Data/Text/Lazy/Builder/Int.hs, dist/build/Data/Text/Lazy/Builder/Int.o )
[39 of 43] Compiling Data.Text.Lazy.IO ( Data/Text/Lazy/IO.hs, dist/build/Data/Text/Lazy/IO.o )
[40 of 43] Compiling Data.Text.Lazy.Read ( Data/Text/Lazy/Read.hs, dist/build/Data/Text/Lazy/Read.o )
[41 of 43] Compiling Data.Text.Lazy.Builder.RealFloat ( Data/Text/Lazy/Builder/RealFloat.hs, dist/build/Data/Text/Lazy/Builder/RealFloat.o )
[42 of 43] Compiling Data.Text.Lazy.Encoding ( Data/Text/Lazy/Encoding.hs, dist/build/Data/Text/Lazy/Encoding.o )
[43 of 43] Compiling Data.Text.Read ( Data/Text/Read.hs, dist/build/Data/Text/Read.o )
In-place registering text-1.2.0.4...
Running Haddock for text-1.2.0.4...
Running hscolour for text-1.2.0.4...
Preprocessing library text-1.2.0.4...
Preprocessing library text-1.2.0.4...
Haddock coverage:
14% ( 1 / 7) in 'Data.Text.Internal.Read'
50% ( 1 / 2) in 'Data.Text.Internal.Encoding.Utf32'
50% ( 1 / 2) in 'Data.Text.Internal.Builder.RealFloat.Functions'
0% ( 0 / 2) in 'Data.Text.Internal.Builder.Int.Digits'
100% ( 12 / 12) in 'Data.Text.Encoding.Error'
100% ( 2 / 2) in 'Data.Text.Internal.Unsafe.Shift'
25% ( 1 / 4) in 'Data.Text.Internal.Encoding.Utf16'
100% ( 2 / 2) in 'Data.Text.Internal.Functions'
100% ( 3 / 3) in 'Data.Text.Internal.Unsafe'
100% ( 16 / 16) in 'Data.Text.Array'
33% ( 2 / 6) in 'Data.Text.Internal.Unsafe.Char'
95% ( 19 / 20) in 'Data.Text.Internal'
38% ( 5 / 13) in 'Data.Text.Internal.Fusion.Size'
50% ( 5 / 10) in 'Data.Text.Internal.Fusion.Types'
0% ( 0 / 5) in 'Data.Text.Internal.Fusion.CaseMapping'
89% ( 64 / 72) in 'Data.Text.Internal.Fusion.Common'
93% ( 13 / 14) in 'Data.Text.Unsafe'
33% ( 1 / 3) in 'Data.Text.Internal.Private'
86% ( 19 / 22) in 'Data.Text.Internal.Fusion'
33% ( 2 / 6) in 'Data.Text.Internal.Encoding.Fusion.Common'
17% ( 2 / 12) in 'Data.Text.Internal.Encoding.Utf8'
91% ( 10 / 11) in 'Data.Text.Internal.Encoding.Fusion'
100% ( 10 / 10) in 'Data.Text.Internal.Lazy.Encoding.Fusion'
100% ( 2 / 2) in 'Data.Text.Internal.Search'
100% (125 /125) in 'Data.Text'
100% ( 33 / 33) in 'Data.Text.Encoding'
100% ( 18 / 18) in 'Data.Text.Foreign'
100% ( 3 / 3) in 'Data.Text.Internal.IO'
100% ( 20 / 20) in 'Data.Text.IO'
93% ( 14 / 15) in 'Data.Text.Internal.Lazy'
100% ( 8 / 8) in 'Data.Text.Internal.Lazy.Fusion'
100% ( 2 / 2) in 'Data.Text.Internal.Lazy.Search'
100% ( 2 / 2) in 'Data.Text.Lazy.Internal'
99% (124 /125) in 'Data.Text.Lazy'
94% ( 16 / 17) in 'Data.Text.Internal.Builder'
100% ( 12 / 12) in 'Data.Text.Lazy.Builder'
100% ( 3 / 3) in 'Data.Text.Internal.Builder.Functions'
0% ( 0 / 3) in 'Data.Text.Lazy.Builder.Int'
100% ( 19 / 19) in 'Data.Text.Lazy.IO'
100% ( 7 / 7) in 'Data.Text.Lazy.Read'
75% ( 3 / 4) in 'Data.Text.Lazy.Builder.RealFloat'
89% ( 24 / 27) in 'Data.Text.Lazy.Encoding'
100% ( 7 / 7) in 'Data.Text.Read'
Warning: Data.Text.Internal.Fusion.Common: could not find link destinations for:
Data.Text.Internal.Fusion.Common.findIndicesI
Warning: Data.Text.Unsafe: could not find link destinations for:
GHC.IO.bracket
Warning: Data.Text: could not find link destinations for:
Data.Text.replicateChar Data.Text.countChar
Warning: Data.Text.Internal.IO: could not find link destinations for:
GHC.IO.Handle.Types.Handle__
Warning: Data.Text.Lazy: could not find link destinations for:
Data.Text.Lazy.replicateChar Data.Text.Lazy.dropWords Data.Text.Lazy.splitAtWord Data.Text.Lazy.countChar
Warning: Data.Text.Internal.Builder: could not find link destinations for:
Data.Text.Internal.Builder.empty Data.Text.Internal.Builder.append
Warning: Data.Text.Lazy.Builder.RealFloat: could not find link destinations for:
Data.Text.Lazy.Builder.RealFloat.floatToDigits
Documentation created: dist/doc/html/text/index.html,
dist/doc/html/text/text.txt
Creating package registration file: /tmp/pkgConf-text-1.2.027223.4
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/text-1.2.0.4
Registering text-1.2.0.4...
Installed text-1.2.0.4
Configuring th-lift-0.7...
Building th-lift-0.7...
Preprocessing library th-lift-0.7...
[1 of 1] Compiling Language.Haskell.TH.Lift ( src/Language/Haskell/TH/Lift.hs, dist/build/Language/Haskell/TH/Lift.o )
In-place registering th-lift-0.7...
Running Haddock for th-lift-0.7...
Running hscolour for th-lift-0.7...
Preprocessing library th-lift-0.7...
Preprocessing library th-lift-0.7...
Haddock coverage:
50% ( 3 / 6) in 'Language.Haskell.TH.Lift'
Documentation created: dist/doc/html/th-lift/index.html,
dist/doc/html/th-lift/th-lift.txt
Creating package registration file: /tmp/pkgConf-th-lift-027223.7
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/th-lift-0.7
Registering th-lift-0.7...
Installed th-lift-0.7
Configuring transformers-0.4.2.0...
Building transformers-0.4.2.0...
Preprocessing library transformers-0.4.2.0...
[ 1 of 28] Compiling Data.Functor.Identity ( oldsrc/Data/Functor/Identity.hs, dist/build/Data/Functor/Identity.o )
[ 2 of 28] Compiling Control.Monad.Trans.Class ( Control/Monad/Trans/Class.hs, dist/build/Control/Monad/Trans/Class.o )
[ 3 of 28] Compiling Control.Monad.Signatures ( Control/Monad/Signatures.hs, dist/build/Control/Monad/Signatures.o )
[ 4 of 28] Compiling Control.Monad.IO.Class ( Control/Monad/IO/Class.hs, dist/build/Control/Monad/IO/Class.o )
[ 5 of 28] Compiling Control.Monad.Trans.Cont ( Control/Monad/Trans/Cont.hs, dist/build/Control/Monad/Trans/Cont.o )
[ 6 of 28] Compiling Control.Monad.Trans.Reader ( Control/Monad/Trans/Reader.hs, dist/build/Control/Monad/Trans/Reader.o )
[ 7 of 28] Compiling Control.Monad.Trans.RWS.Lazy ( Control/Monad/Trans/RWS/Lazy.hs, dist/build/Control/Monad/Trans/RWS/Lazy.o )
[ 8 of 28] Compiling Control.Monad.Trans.RWS ( Control/Monad/Trans/RWS.hs, dist/build/Control/Monad/Trans/RWS.o )
[ 9 of 28] Compiling Control.Monad.Trans.RWS.Strict ( Control/Monad/Trans/RWS/Strict.hs, dist/build/Control/Monad/Trans/RWS/Strict.o )
[10 of 28] Compiling Control.Monad.Trans.State.Lazy ( Control/Monad/Trans/State/Lazy.hs, dist/build/Control/Monad/Trans/State/Lazy.o )
[11 of 28] Compiling Control.Monad.Trans.State ( Control/Monad/Trans/State.hs, dist/build/Control/Monad/Trans/State.o )
[12 of 28] Compiling Control.Monad.Trans.State.Strict ( Control/Monad/Trans/State/Strict.hs, dist/build/Control/Monad/Trans/State/Strict.o )
[13 of 28] Compiling Data.Functor.Classes ( Data/Functor/Classes.hs, dist/build/Data/Functor/Classes.o )
[14 of 28] Compiling Data.Functor.Constant ( Data/Functor/Constant.hs, dist/build/Data/Functor/Constant.o )
[15 of 28] Compiling Control.Applicative.Lift ( Control/Applicative/Lift.hs, dist/build/Control/Applicative/Lift.o )
[16 of 28] Compiling Control.Monad.Trans.Except ( Control/Monad/Trans/Except.hs, dist/build/Control/Monad/Trans/Except.o )
[17 of 28] Compiling Control.Monad.Trans.Error ( Control/Monad/Trans/Error.hs, dist/build/Control/Monad/Trans/Error.o )
[18 of 28] Compiling Control.Monad.Trans.Identity ( Control/Monad/Trans/Identity.hs, dist/build/Control/Monad/Trans/Identity.o )
[19 of 28] Compiling Control.Monad.Trans.List ( Control/Monad/Trans/List.hs, dist/build/Control/Monad/Trans/List.o )
[20 of 28] Compiling Control.Monad.Trans.Maybe ( Control/Monad/Trans/Maybe.hs, dist/build/Control/Monad/Trans/Maybe.o )
[21 of 28] Compiling Control.Monad.Trans.Writer.Lazy ( Control/Monad/Trans/Writer/Lazy.hs, dist/build/Control/Monad/Trans/Writer/Lazy.o )
[22 of 28] Compiling Control.Monad.Trans.Writer ( Control/Monad/Trans/Writer.hs, dist/build/Control/Monad/Trans/Writer.o )
[23 of 28] Compiling Control.Monad.Trans.Writer.Strict ( Control/Monad/Trans/Writer/Strict.hs, dist/build/Control/Monad/Trans/Writer/Strict.o )
[24 of 28] Compiling Data.Functor.Compose ( Data/Functor/Compose.hs, dist/build/Data/Functor/Compose.o )
[25 of 28] Compiling Data.Functor.Product ( Data/Functor/Product.hs, dist/build/Data/Functor/Product.o )
[26 of 28] Compiling Data.Functor.Sum ( Data/Functor/Sum.hs, dist/build/Data/Functor/Sum.o )
[27 of 28] Compiling Control.Applicative.Backwards ( Control/Applicative/Backwards.hs, dist/build/Control/Applicative/Backwards.o )
[28 of 28] Compiling Data.Functor.Reverse ( Data/Functor/Reverse.hs, dist/build/Data/Functor/Reverse.o )
In-place registering transformers-0.4.2.0...
Running Haddock for transformers-0.4.2.0...
Running hscolour for transformers-0.4.2.0...
Preprocessing library transformers-0.4.2.0...
Preprocessing library transformers-0.4.2.0...
Haddock coverage:
100% ( 2 / 2) in 'Data.Functor.Identity'
100% ( 14 / 14) in 'Control.Monad.Trans.Class'
100% ( 5 / 5) in 'Control.Monad.Signatures'
100% ( 2 / 2) in 'Control.Monad.IO.Class'
100% ( 22 / 22) in 'Control.Monad.Trans.Cont'
100% ( 18 / 18) in 'Control.Monad.Trans.Reader'
100% ( 37 / 37) in 'Control.Monad.Trans.RWS.Lazy'
100% ( 2 / 2) in 'Control.Monad.Trans.RWS'
100% ( 37 / 37) in 'Control.Monad.Trans.RWS.Strict'
100% ( 34 / 34) in 'Control.Monad.Trans.State.Lazy'
100% ( 2 / 2) in 'Control.Monad.Trans.State'
100% ( 34 / 34) in 'Control.Monad.Trans.State.Strict'
100% ( 14 / 14) in 'Data.Functor.Classes'
100% ( 2 / 2) in 'Data.Functor.Constant'
100% ( 9 / 9) in 'Control.Applicative.Lift'
100% ( 19 / 19) in 'Control.Monad.Trans.Except'
100% ( 15 / 15) in 'Control.Monad.Trans.Error'
100% ( 7 / 7) in 'Control.Monad.Trans.Identity'
100% ( 7 / 7) in 'Control.Monad.Trans.List'
100% ( 12 / 12) in 'Control.Monad.Trans.Maybe'
100% ( 20 / 20) in 'Control.Monad.Trans.Writer.Lazy'
100% ( 2 / 2) in 'Control.Monad.Trans.Writer'
100% ( 20 / 20) in 'Control.Monad.Trans.Writer.Strict'
100% ( 2 / 2) in 'Data.Functor.Compose'
100% ( 2 / 2) in 'Data.Functor.Product'
100% ( 2 / 2) in 'Data.Functor.Sum'
100% ( 2 / 2) in 'Control.Applicative.Backwards'
100% ( 2 / 2) in 'Data.Functor.Reverse'
Documentation created: dist/doc/html/transformers/index.html,
dist/doc/html/transformers/transformers.txt
Creating package registration file: /tmp/pkgConf-transformers-0.4.227223.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/transformers-0.4.2.0
Registering transformers-0.4.2.0...
Installed transformers-0.4.2.0
Configuring constraints-0.4.1.3...
Building constraints-0.4.1.3...
Preprocessing library constraints-0.4.1.3...
[1 of 3] Compiling Data.Constraint ( Data/Constraint.hs, dist/build/Data/Constraint.o )
[2 of 3] Compiling Data.Constraint.Unsafe ( Data/Constraint/Unsafe.hs, dist/build/Data/Constraint/Unsafe.o )
[3 of 3] Compiling Data.Constraint.Forall ( Data/Constraint/Forall.hs, dist/build/Data/Constraint/Forall.o )
In-place registering constraints-0.4.1.3...
Running Haddock for constraints-0.4.1.3...
Running hscolour for constraints-0.4.1.3...
Preprocessing library constraints-0.4.1.3...
Preprocessing library constraints-0.4.1.3...
Haddock coverage:
96% ( 22 / 23) in 'Data.Constraint'
100% ( 7 / 7) in 'Data.Constraint.Unsafe'
44% ( 4 / 9) in 'Data.Constraint.Forall'
Warning: Data.Constraint.Forall: could not find link destinations for:
Data.Constraint.Forall.A Data.Constraint.Forall.B Data.Constraint.Forall.F Data.Constraint.Forall.M
Documentation created: dist/doc/html/constraints/index.html,
dist/doc/html/constraints/constraints.txt
Creating package registration file: /tmp/pkgConf-constraints-0.4.127223.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/constraints-0.4.1.3
Registering constraints-0.4.1.3...
Installed constraints-0.4.1.3
Configuring hashable-1.2.3.1...
Building hashable-1.2.3.1...
Preprocessing library hashable-1.2.3.1...
[1 of 3] Compiling Data.Hashable.Class ( Data/Hashable/Class.hs, dist/build/Data/Hashable/Class.o )
Data/Hashable/Class.hs:211:11: Warning:
In the use of ‘bitSize’ (imported from Data.Bits):
Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"
Data/Hashable/Class.hs:234:11: Warning:
In the use of ‘bitSize’ (imported from Data.Bits):
Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"
[2 of 3] Compiling Data.Hashable.Generic ( Data/Hashable/Generic.hs, dist/build/Data/Hashable/Generic.o )
Data/Hashable/Generic.hs:20:1: Warning:
The import of ‘Bits’ from module ‘Data.Bits’ is redundant
[3 of 3] Compiling Data.Hashable ( Data/Hashable.hs, dist/build/Data/Hashable.o )
In-place registering hashable-1.2.3.1...
Running Haddock for hashable-1.2.3.1...
Running hscolour for hashable-1.2.3.1...
Preprocessing library hashable-1.2.3.1...
Preprocessing library hashable-1.2.3.1...
Data/Hashable/Class.hs:211:11: Warning:
In the use of ‘bitSize’ (imported from Data.Bits):
Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"
Data/Hashable/Class.hs:234:11: Warning:
In the use of ‘bitSize’ (imported from Data.Bits):
Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"
Data/Hashable/Generic.hs:20:1: Warning:
The import of ‘Bits’ from module ‘Data.Bits’ is redundant
Haddock coverage:
100% ( 11 / 11) in 'Data.Hashable.Class'
100% ( 1 / 1) in 'Data.Hashable.Generic'
100% ( 22 / 22) in 'Data.Hashable'
Warning: Data.Hashable: could not find link destinations for:
Data.Hashable.Class.GHashable
Documentation created: dist/doc/html/hashable/index.html,
dist/doc/html/hashable/hashable.txt
Creating package registration file: /tmp/pkgConf-hashable-1.2.327223.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/hashable-1.2.3.1
Registering hashable-1.2.3.1...
Installed hashable-1.2.3.1
Configuring mtl-2.2.1...
Building mtl-2.2.1...
Preprocessing library mtl-2.2.1...
[ 1 of 22] Compiling Control.Monad.Writer.Class ( Control/Monad/Writer/Class.hs, dist/build/Control/Monad/Writer/Class.o )
[ 2 of 22] Compiling Control.Monad.State.Class ( Control/Monad/State/Class.hs, dist/build/Control/Monad/State/Class.o )
[ 3 of 22] Compiling Control.Monad.Reader.Class ( Control/Monad/Reader/Class.hs, dist/build/Control/Monad/Reader/Class.o )
[ 4 of 22] Compiling Control.Monad.RWS.Class ( Control/Monad/RWS/Class.hs, dist/build/Control/Monad/RWS/Class.o )
[ 5 of 22] Compiling Control.Monad.Identity ( Control/Monad/Identity.hs, dist/build/Control/Monad/Identity.o )
[ 6 of 22] Compiling Control.Monad.Error.Class ( Control/Monad/Error/Class.hs, dist/build/Control/Monad/Error/Class.o )
[ 7 of 22] Compiling Control.Monad.Cont.Class ( Control/Monad/Cont/Class.hs, dist/build/Control/Monad/Cont/Class.o )
[ 8 of 22] Compiling Control.Monad.Trans ( Control/Monad/Trans.hs, dist/build/Control/Monad/Trans.o )
[ 9 of 22] Compiling Control.Monad.Error ( Control/Monad/Error.hs, dist/build/Control/Monad/Error.o )
[10 of 22] Compiling Control.Monad.Except ( Control/Monad/Except.hs, dist/build/Control/Monad/Except.o )
[11 of 22] Compiling Control.Monad.List ( Control/Monad/List.hs, dist/build/Control/Monad/List.o )
[12 of 22] Compiling Control.Monad.RWS.Lazy ( Control/Monad/RWS/Lazy.hs, dist/build/Control/Monad/RWS/Lazy.o )
[13 of 22] Compiling Control.Monad.RWS ( Control/Monad/RWS.hs, dist/build/Control/Monad/RWS.o )
[14 of 22] Compiling Control.Monad.Reader ( Control/Monad/Reader.hs, dist/build/Control/Monad/Reader.o )
[15 of 22] Compiling Control.Monad.RWS.Strict ( Control/Monad/RWS/Strict.hs, dist/build/Control/Monad/RWS/Strict.o )
[16 of 22] Compiling Control.Monad.State.Lazy ( Control/Monad/State/Lazy.hs, dist/build/Control/Monad/State/Lazy.o )
[17 of 22] Compiling Control.Monad.State ( Control/Monad/State.hs, dist/build/Control/Monad/State.o )
[18 of 22] Compiling Control.Monad.State.Strict ( Control/Monad/State/Strict.hs, dist/build/Control/Monad/State/Strict.o )
[19 of 22] Compiling Control.Monad.Writer.Lazy ( Control/Monad/Writer/Lazy.hs, dist/build/Control/Monad/Writer/Lazy.o )
[20 of 22] Compiling Control.Monad.Writer ( Control/Monad/Writer.hs, dist/build/Control/Monad/Writer.o )
[21 of 22] Compiling Control.Monad.Writer.Strict ( Control/Monad/Writer/Strict.hs, dist/build/Control/Monad/Writer/Strict.o )
[22 of 22] Compiling Control.Monad.Cont ( Control/Monad/Cont.hs, dist/build/Control/Monad/Cont.o )
In-place registering mtl-2.2.1...
Running Haddock for mtl-2.2.1...
Running hscolour for mtl-2.2.1...
Preprocessing library mtl-2.2.1...
Preprocessing library mtl-2.2.1...
Haddock coverage:
75% ( 3 / 4) in 'Control.Monad.Writer.Class'
100% ( 5 / 5) in 'Control.Monad.State.Class'
100% ( 3 / 3) in 'Control.Monad.Reader.Class'
80% ( 4 / 5) in 'Control.Monad.RWS.Class'
100% ( 4 / 4) in 'Control.Monad.Identity'
100% ( 3 / 3) in 'Control.Monad.Error.Class'
50% ( 1 / 2) in 'Control.Monad.Cont.Class'
100% ( 3 / 3) in 'Control.Monad.Trans'
93% ( 14 / 15) in 'Control.Monad.Error'
100% ( 19 / 19) in 'Control.Monad.Except'
100% ( 5 / 5) in 'Control.Monad.List'
95% ( 21 / 22) in 'Control.Monad.RWS.Lazy'
100% ( 2 / 2) in 'Control.Monad.RWS'
96% ( 22 / 23) in 'Control.Monad.Reader'
95% ( 21 / 22) in 'Control.Monad.RWS.Strict'
96% ( 24 / 25) in 'Control.Monad.State.Lazy'
100% ( 2 / 2) in 'Control.Monad.State'
96% ( 24 / 25) in 'Control.Monad.State.Strict'
89% ( 17 / 19) in 'Control.Monad.Writer.Lazy'
100% ( 2 / 2) in 'Control.Monad.Writer'
94% ( 17 / 18) in 'Control.Monad.Writer.Strict'
91% ( 20 / 22) in 'Control.Monad.Cont'
Documentation created: dist/doc/html/mtl/index.html, dist/doc/html/mtl/mtl.txt
Creating package registration file: /tmp/pkgConf-mtl-2.227223.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/mtl-2.2.1
Registering mtl-2.2.1...
Installed mtl-2.2.1
Configuring nats-1...
Building nats-1...
Preprocessing library nats-1...
[1 of 1] Compiling Numeric.Natural ( src/Numeric/Natural.hs, dist/build/Numeric/Natural.o )
In-place registering nats-1...
Running Haddock for nats-1...
Running hscolour for nats-1...
Preprocessing library nats-1...
Preprocessing library nats-1...
Haddock coverage:
100% ( 2 / 2) in 'Numeric.Natural'
Documentation created: dist/doc/html/nats/index.html,
dist/doc/html/nats/nats.txt
Creating package registration file: /tmp/pkgConf-nats-127223
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/nats-1
Registering nats-1...
Installed nats-1
Configuring unordered-containers-0.2.5.1...
Building unordered-containers-0.2.5.1...
Preprocessing library unordered-containers-0.2.5.1...
[1 of 8] Compiling Data.HashMap.UnsafeShift ( Data/HashMap/UnsafeShift.hs, dist/build/Data/HashMap/UnsafeShift.o )
[2 of 8] Compiling Data.HashMap.PopCount ( Data/HashMap/PopCount.hs, dist/build/Data/HashMap/PopCount.o )
[3 of 8] Compiling Data.HashMap.Unsafe ( Data/HashMap/Unsafe.hs, dist/build/Data/HashMap/Unsafe.o )
[4 of 8] Compiling Data.HashMap.Array ( Data/HashMap/Array.hs, dist/build/Data/HashMap/Array.o )
[5 of 8] Compiling Data.HashMap.Base ( Data/HashMap/Base.hs, dist/build/Data/HashMap/Base.o )
[6 of 8] Compiling Data.HashMap.Strict ( Data/HashMap/Strict.hs, dist/build/Data/HashMap/Strict.o )
[7 of 8] Compiling Data.HashMap.Lazy ( Data/HashMap/Lazy.hs, dist/build/Data/HashMap/Lazy.o )
[8 of 8] Compiling Data.HashSet ( Data/HashSet.hs, dist/build/Data/HashSet.o )
In-place registering unordered-containers-0.2.5.1...
Running Haddock for unordered-containers-0.2.5.1...
Running hscolour for unordered-containers-0.2.5.1...
Preprocessing library unordered-containers-0.2.5.1...
Preprocessing library unordered-containers-0.2.5.1...
Haddock coverage:
0% ( 0 / 3) in 'Data.HashMap.UnsafeShift'
50% ( 1 / 2) in 'Data.HashMap.PopCount'
100% ( 2 / 2) in 'Data.HashMap.Unsafe'
38% ( 14 / 37) in 'Data.HashMap.Array'
87% ( 54 / 62) in 'Data.HashMap.Base'
100% ( 46 / 46) in 'Data.HashMap.Strict'
100% ( 46 / 46) in 'Data.HashMap.Lazy'
100% ( 27 / 27) in 'Data.HashSet'
Documentation created: dist/doc/html/unordered-containers/index.html,
dist/doc/html/unordered-containers/unordered-containers.txt
Creating package registration file:
/tmp/pkgConf-unordered-containers-0.2.527223.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/unordered-containers-0.2.5.1
Registering unordered-containers-0.2.5.1...
Installed unordered-containers-0.2.5.1
Configuring th-desugar-1.5...
Building th-desugar-1.5...
Preprocessing library th-desugar-1.5...
[1 of 8] Compiling Language.Haskell.TH.Desugar.Util ( Language/Haskell/TH/Desugar/Util.hs, dist/build/Language/Haskell/TH/Desugar/Util.o )
[2 of 8] Compiling Language.Haskell.TH.Desugar.Reify ( Language/Haskell/TH/Desugar/Reify.hs, dist/build/Language/Haskell/TH/Desugar/Reify.o )
[3 of 8] Compiling Language.Haskell.TH.Desugar.Core ( Language/Haskell/TH/Desugar/Core.hs, dist/build/Language/Haskell/TH/Desugar/Core.o )
[4 of 8] Compiling Language.Haskell.TH.Desugar.Match ( Language/Haskell/TH/Desugar/Match.hs, dist/build/Language/Haskell/TH/Desugar/Match.o )
[5 of 8] Compiling Language.Haskell.TH.Desugar.Sweeten ( Language/Haskell/TH/Desugar/Sweeten.hs, dist/build/Language/Haskell/TH/Desugar/Sweeten.o )
[6 of 8] Compiling Language.Haskell.TH.Desugar.Expand ( Language/Haskell/TH/Desugar/Expand.hs, dist/build/Language/Haskell/TH/Desugar/Expand.o )
[7 of 8] Compiling Language.Haskell.TH.Desugar ( Language/Haskell/TH/Desugar.hs, dist/build/Language/Haskell/TH/Desugar.o )
[8 of 8] Compiling Language.Haskell.TH.Desugar.Lift ( Language/Haskell/TH/Desugar/Lift.hs, dist/build/Language/Haskell/TH/Desugar/Lift.o )
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Loading package array-0.5.0.0 ... linking ... done.
Loading package deepseq-1.3.0.2 ... linking ... done.
Loading package containers-0.5.5.1 ... linking ... done.
Loading package pretty-1.1.1.1 ... linking ... done.
Loading package template-haskell ... linking ... done.
Loading package th-lift-0.7 ... linking ... done.
Loading package syb-0.4.4 ... linking ... done.
Loading package transformers-0.4.2.0 ... linking ... done.
Loading package mtl-2.2.1 ... linking ... done.
In-place registering th-desugar-1.5...
Running Haddock for th-desugar-1.5...
Running hscolour for th-desugar-1.5...
Preprocessing library th-desugar-1.5...
Preprocessing library th-desugar-1.5...
Haddock coverage:
65% ( 20 / 31) in 'Language.Haskell.TH.Desugar.Util'
93% ( 13 / 14) in 'Language.Haskell.TH.Desugar.Reify'
86% ( 63 / 73) in 'Language.Haskell.TH.Desugar.Core'
67% ( 2 / 3) in 'Language.Haskell.TH.Desugar.Match'
12% ( 2 / 17) in 'Language.Haskell.TH.Desugar.Sweeten'
100% ( 4 / 4) in 'Language.Haskell.TH.Desugar.Expand'
98% ( 99 /101) in 'Language.Haskell.TH.Desugar'
100% ( 1 / 1) in 'Language.Haskell.TH.Desugar.Lift'
Documentation created: dist/doc/html/th-desugar/index.html,
dist/doc/html/th-desugar/th-desugar.txt
Creating package registration file: /tmp/pkgConf-th-desugar-127223.5
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/th-desugar-1.5
Registering th-desugar-1.5...
Installed th-desugar-1.5
Configuring semigroups-0.16.1...
Building semigroups-0.16.1...
Preprocessing library semigroups-0.16.1...
[1 of 2] Compiling Data.List.NonEmpty ( src/Data/List/NonEmpty.hs, dist/build/Data/List/NonEmpty.o )
[2 of 2] Compiling Data.Semigroup ( src/Data/Semigroup.hs, dist/build/Data/Semigroup.o )
In-place registering semigroups-0.16.1...
Running Haddock for semigroups-0.16.1...
Running hscolour for semigroups-0.16.1...
Preprocessing library semigroups-0.16.1...
Preprocessing library semigroups-0.16.1...
Haddock coverage:
94% ( 65 / 69) in 'Data.List.NonEmpty'
87% ( 20 / 23) in 'Data.Semigroup'
Warning: Data.Semigroup: could not find link destinations for:
Data.Monoid.D1Dual Data.Monoid.C1_0Dual Data.Monoid.S1_0_0Dual Data.Monoid.D1Endo Data.Monoid.C1_0Endo Data.Monoid.S1_0_0Endo Data.Monoid.D1All Data.Monoid.C1_0All Data.Monoid.S1_0_0All Data.Monoid.D1Any Data.Monoid.C1_0Any Data.Monoid.S1_0_0Any Data.Monoid.D1Sum Data.Monoid.C1_0Sum Data.Monoid.S1_0_0Sum Data.Monoid.D1Product Data.Monoid.C1_0Product Data.Monoid.S1_0_0Product
Documentation created: dist/doc/html/semigroups/index.html,
dist/doc/html/semigroups/semigroups.txt
Creating package registration file: /tmp/pkgConf-semigroups-0.1627223.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/semigroups-0.16.1
Registering semigroups-0.16.1...
Installed semigroups-0.16.1
Configuring singletons-1.1...
Building singletons-1.1...
Preprocessing library singletons-1.1...
[ 1 of 45] Compiling Data.Singletons.SuppressUnusedWarnings ( src/Data/Singletons/SuppressUnusedWarnings.hs, dist/build/Data/Singletons/SuppressUnusedWarnings.o )
[ 2 of 45] Compiling Data.Singletons.Void ( src/Data/Singletons/Void.hs, dist/build/Data/Singletons/Void.o )
[ 3 of 45] Compiling Data.Singletons.Util ( src/Data/Singletons/Util.hs, dist/build/Data/Singletons/Util.o )
[ 4 of 45] Compiling Data.Singletons.Syntax ( src/Data/Singletons/Syntax.hs, dist/build/Data/Singletons/Syntax.o )
[ 5 of 45] Compiling Data.Singletons.Types ( src/Data/Singletons/Types.hs, dist/build/Data/Singletons/Types.o )
[ 6 of 45] Compiling Data.Singletons ( src/Data/Singletons.hs, dist/build/Data/Singletons.o )
[ 7 of 45] Compiling Data.Singletons.Decide ( src/Data/Singletons/Decide.hs, dist/build/Data/Singletons/Decide.o )
[ 8 of 45] Compiling Data.Singletons.Names ( src/Data/Singletons/Names.hs, dist/build/Data/Singletons/Names.o )
[ 9 of 45] Compiling Data.Singletons.Promote.Monad ( src/Data/Singletons/Promote/Monad.hs, dist/build/Data/Singletons/Promote/Monad.o )
[10 of 45] Compiling Data.Singletons.Single.Monad ( src/Data/Singletons/Single/Monad.hs, dist/build/Data/Singletons/Single/Monad.o )
[11 of 45] Compiling Data.Singletons.Promote.Eq ( src/Data/Singletons/Promote/Eq.hs, dist/build/Data/Singletons/Promote/Eq.o )
[12 of 45] Compiling Data.Singletons.Promote.Ord ( src/Data/Singletons/Promote/Ord.hs, dist/build/Data/Singletons/Promote/Ord.o )
[13 of 45] Compiling Data.Singletons.Promote.Bounded ( src/Data/Singletons/Promote/Bounded.hs, dist/build/Data/Singletons/Promote/Bounded.o )
[14 of 45] Compiling Data.Singletons.Promote.Type ( src/Data/Singletons/Promote/Type.hs, dist/build/Data/Singletons/Promote/Type.o )
[15 of 45] Compiling Data.Singletons.Promote.Defun ( src/Data/Singletons/Promote/Defun.hs, dist/build/Data/Singletons/Promote/Defun.o )
[16 of 45] Compiling Data.Singletons.Promote ( src/Data/Singletons/Promote.hs, dist/build/Data/Singletons/Promote.o )
[17 of 45] Compiling Data.Promotion.Prelude.Bounded ( src/Data/Promotion/Prelude/Bounded.hs, dist/build/Data/Promotion/Prelude/Bounded.o )
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Loading package array-0.5.0.0 ... linking ... done.
Loading package deepseq-1.3.0.2 ... linking ... done.
Loading package containers-0.5.5.1 ... linking ... done.
Loading package transformers-0.4.2.0 ... linking ... done.
Loading package mtl-2.2.1 ... linking ... done.
Loading package syb-0.4.4 ... linking ... done.
Loading package pretty-1.1.1.1 ... linking ... done.
Loading package template-haskell ... linking ... done.
Loading package th-lift-0.7 ... linking ... done.
Loading package th-desugar-1.5 ... linking ... done.
[18 of 45] Compiling Data.Singletons.Single.Type ( src/Data/Singletons/Single/Type.hs, dist/build/Data/Singletons/Single/Type.o )
[19 of 45] Compiling Data.Singletons.Single.Eq ( src/Data/Singletons/Single/Eq.hs, dist/build/Data/Singletons/Single/Eq.o )
[20 of 45] Compiling Data.Singletons.Single.Data ( src/Data/Singletons/Single/Data.hs, dist/build/Data/Singletons/Single/Data.o )
[21 of 45] Compiling Data.Singletons.Single ( src/Data/Singletons/Single.hs, dist/build/Data/Singletons/Single.o )
[22 of 45] Compiling Data.Singletons.Prelude.Instances ( src/Data/Singletons/Prelude/Instances.hs, dist/build/Data/Singletons/Prelude/Instances.o )
[23 of 45] Compiling Data.Singletons.Prelude.Bool ( src/Data/Singletons/Prelude/Bool.hs, dist/build/Data/Singletons/Prelude/Bool.o )
[24 of 45] Compiling Data.Singletons.Prelude.Eq ( src/Data/Singletons/Prelude/Eq.hs, dist/build/Data/Singletons/Prelude/Eq.o )
[25 of 45] Compiling Data.Singletons.CustomStar ( src/Data/Singletons/CustomStar.hs, dist/build/Data/Singletons/CustomStar.o )
[26 of 45] Compiling Data.Promotion.Prelude.Eq ( src/Data/Promotion/Prelude/Eq.hs, dist/build/Data/Promotion/Prelude/Eq.o )
[27 of 45] Compiling Data.Promotion.Prelude.Bool ( src/Data/Promotion/Prelude/Bool.hs, dist/build/Data/Promotion/Prelude/Bool.o )
[28 of 45] Compiling Data.Singletons.TypeRepStar ( src/Data/Singletons/TypeRepStar.hs, dist/build/Data/Singletons/TypeRepStar.o )
[29 of 45] Compiling Data.Singletons.Prelude.Ord ( src/Data/Singletons/Prelude/Ord.hs, dist/build/Data/Singletons/Prelude/Ord.o )
[30 of 45] Compiling Data.Promotion.Prelude.Ord ( src/Data/Promotion/Prelude/Ord.hs, dist/build/Data/Promotion/Prelude/Ord.o )
[31 of 45] Compiling Data.Singletons.TypeLits ( src/Data/Singletons/TypeLits.hs, dist/build/Data/Singletons/TypeLits.o )
[32 of 45] Compiling Data.Singletons.TH ( src/Data/Singletons/TH.hs, dist/build/Data/Singletons/TH.o )
[33 of 45] Compiling Data.Singletons.Prelude.Base ( src/Data/Singletons/Prelude/Base.hs, dist/build/Data/Singletons/Prelude/Base.o )
[34 of 45] Compiling Data.Singletons.Prelude.Either ( src/Data/Singletons/Prelude/Either.hs, dist/build/Data/Singletons/Prelude/Either.o )
[35 of 45] Compiling Data.Promotion.Prelude.Either ( src/Data/Promotion/Prelude/Either.hs, dist/build/Data/Promotion/Prelude/Either.o )
[36 of 45] Compiling Data.Singletons.Prelude.Tuple ( src/Data/Singletons/Prelude/Tuple.hs, dist/build/Data/Singletons/Prelude/Tuple.o )
[37 of 45] Compiling Data.Promotion.Prelude.Tuple ( src/Data/Promotion/Prelude/Tuple.hs, dist/build/Data/Promotion/Prelude/Tuple.o )
[38 of 45] Compiling Data.Promotion.Prelude.Base ( src/Data/Promotion/Prelude/Base.hs, dist/build/Data/Promotion/Prelude/Base.o )
[39 of 45] Compiling Data.Singletons.Prelude.List ( src/Data/Singletons/Prelude/List.hs, dist/build/Data/Singletons/Prelude/List.o )
[40 of 45] Compiling Data.Singletons.Prelude.Maybe ( src/Data/Singletons/Prelude/Maybe.hs, dist/build/Data/Singletons/Prelude/Maybe.o )
[41 of 45] Compiling Data.Singletons.Prelude ( src/Data/Singletons/Prelude.hs, dist/build/Data/Singletons/Prelude.o )
[42 of 45] Compiling Data.Promotion.Prelude.List ( src/Data/Promotion/Prelude/List.hs, dist/build/Data/Promotion/Prelude/List.o )
[43 of 45] Compiling Data.Promotion.Prelude.Maybe ( src/Data/Promotion/Prelude/Maybe.hs, dist/build/Data/Promotion/Prelude/Maybe.o )
[44 of 45] Compiling Data.Promotion.Prelude ( src/Data/Promotion/Prelude.hs, dist/build/Data/Promotion/Prelude.o )
[45 of 45] Compiling Data.Promotion.TH ( src/Data/Promotion/TH.hs, dist/build/Data/Promotion/TH.o )
In-place registering singletons-1.1...
Running Haddock for singletons-1.1...
Running hscolour for singletons-1.1...
Preprocessing library singletons-1.1...
Preprocessing library singletons-1.1...
Haddock coverage:
50% ( 1 / 2) in 'Data.Singletons.SuppressUnusedWarnings'
100% ( 5 / 5) in 'Data.Singletons.Void'
0% ( 0 / 54) in 'Data.Singletons.Util'
0% ( 0 / 29) in 'Data.Singletons.Syntax'
100% ( 7 / 7) in 'Data.Singletons.Types'
57% ( 32 / 56) in 'Data.Singletons'
100% ( 8 / 8) in 'Data.Singletons.Decide'
0% ( 0 / 81) in 'Data.Singletons.Names'
0% ( 0 / 13) in 'Data.Singletons.Promote.Monad'
0% ( 0 / 13) in 'Data.Singletons.Single.Monad'
0% ( 0 / 2) in 'Data.Singletons.Promote.Eq'
33% ( 1 / 3) in 'Data.Singletons.Promote.Ord'
50% ( 1 / 2) in 'Data.Singletons.Promote.Bounded'
0% ( 0 / 2) in 'Data.Singletons.Promote.Type'
0% ( 0 / 10) in 'Data.Singletons.Promote.Defun'
36% ( 10 / 28) in 'Data.Singletons.Promote'
40% ( 2 / 5) in 'Data.Promotion.Prelude.Bounded'
0% ( 0 / 5) in 'Data.Singletons.Single.Type'
0% ( 0 / 7) in 'Data.Singletons.Single.Eq'
0% ( 0 / 3) in 'Data.Singletons.Single.Data'
39% ( 9 / 23) in 'Data.Singletons.Single'
0% ( 0 /181) in 'Data.Singletons.Prelude.Instances'
29% ( 11 / 38) in 'Data.Singletons.Prelude.Bool'
33% ( 3 / 9) in 'Data.Singletons.Prelude.Eq'
100% ( 4 / 4) in 'Data.Singletons.CustomStar'
25% ( 2 / 8) in 'Data.Promotion.Prelude.Eq'
19% ( 5 / 26) in 'Data.Promotion.Prelude.Bool'
100% ( 3 / 3) in 'Data.Singletons.TypeRepStar'
11% ( 4 / 36) in 'Data.Singletons.Prelude.Ord'
4% ( 1 / 26) in 'Data.Promotion.Prelude.Ord'
50% ( 13 / 26) in 'Data.Singletons.TypeLits'
52% ( 46 / 88) in 'Data.Singletons.TH'
5% ( 3 / 60) in 'Data.Singletons.Prelude.Base'
21% ( 8 / 38) in 'Data.Singletons.Prelude.Either'
15% ( 4 / 27) in 'Data.Promotion.Prelude.Either'
9% ( 6 / 70) in 'Data.Singletons.Prelude.Tuple'
5% ( 3 / 55) in 'Data.Promotion.Prelude.Tuple'
6% ( 3 / 53) in 'Data.Promotion.Prelude.Base'
8% ( 25 /304) in 'Data.Singletons.Prelude.List'
13% ( 7 / 52) in 'Data.Singletons.Prelude.Maybe'
9% ( 28 /322) in 'Data.Singletons.Prelude'
6% ( 27 /463) in 'Data.Promotion.Prelude.List'
10% ( 4 / 39) in 'Data.Promotion.Prelude.Maybe'
8% ( 28 /339) in 'Data.Promotion.Prelude'
39% ( 28 / 71) in 'Data.Promotion.TH'
Warning: Data.Singletons.Types: could not find link destinations for:
GHC.Generics.D1Proxy GHC.Generics.C1_0Proxy
Warning: Data.Singletons: could not find link destinations for:
Data.Singletons.Prelude.Instances.TFCo:R:SingBoolz Data.Singletons.Prelude.Instances.SFalse Data.Singletons.Prelude.Instances.STrue Data.Singletons.Prelude.Instances.TFCo:R:SingOrderingz Data.Singletons.Prelude.Instances.SLT Data.Singletons.Prelude.Instances.SEQ Data.Singletons.Prelude.Instances.SGT Data.Singletons.TypeRepStar.TFCo:R:Sing*a Data.Singletons.TypeRepStar.STypeRep Data.Singletons.TypeLits.TFCo:R:SingNatn Data.Singletons.TypeLits.SNat Data.Singletons.TypeLits.TFCo:R:SingSymboln Data.Singletons.TypeLits.SSym Data.Singletons.Prelude.Instances.TFCo:R:Sing()z Data.Singletons.Prelude.Instances.STuple0 Data.Singletons.Prelude.Instances.TFCo:R:Sing[]z Data.Singletons.Prelude.Instances.SNil Data.Singletons.Prelude.Instances.SCons Data.Singletons.Prelude.Instances.TFCo:R:SingMaybez Data.Singletons.Prelude.Instances.SNothing Data.Singletons.Prelude.Instances.SJust Data.Singletons.TFCo:R:Sing(->)f Data.Singletons.SLambda Data.Singletons.applySing Data.Singletons.Prelude.Instances.TFCo:R:SingEitherz Data.Singletons.Prelude.Instances.SLeft Data.Singletons.Prelude.Instances.SRight Data.Singletons.Prelude.Instances.TFCo:R:Sing(,)z Data.Singletons.Prelude.Instances.STuple2 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,)z Data.Singletons.Prelude.Instances.STuple3 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,,)z Data.Singletons.Prelude.Instances.STuple4 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,,,)z Data.Singletons.Prelude.Instances.STuple5 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,,,,)z Data.Singletons.Prelude.Instances.STuple6 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,,,,,)z Data.Singletons.Prelude.Instances.STuple7
Warning: Data.Singletons.Prelude.Bool: could not find link destinations for:
Data.Singletons.Prelude.Instances.TFCo:R:SingBoolz Data.Singletons.Prelude.Instances.SFalse Data.Singletons.Prelude.Instances.STrue Data.Singletons.Prelude.Instances.TFCo:R:SingOrderingz Data.Singletons.Prelude.Instances.SLT Data.Singletons.Prelude.Instances.SEQ Data.Singletons.Prelude.Instances.SGT Data.Singletons.TypeRepStar.TFCo:R:Sing*a Data.Singletons.TypeRepStar.STypeRep Data.Singletons.TypeLits.TFCo:R:SingNatn Data.Singletons.TypeLits.SNat Data.Singletons.TypeLits.TFCo:R:SingSymboln Data.Singletons.TypeLits.SSym Data.Singletons.Prelude.Instances.TFCo:R:Sing()z Data.Singletons.Prelude.Instances.STuple0 Data.Singletons.Prelude.Instances.TFCo:R:Sing[]z Data.Singletons.Prelude.Instances.SNil Data.Singletons.Prelude.Instances.SCons Data.Singletons.Prelude.Instances.TFCo:R:SingMaybez Data.Singletons.Prelude.Instances.SNothing Data.Singletons.Prelude.Instances.SJust Data.Singletons.TFCo:R:Sing(->)f Data.Singletons.SLambda Data.Singletons.applySing Data.Singletons.Prelude.Instances.TFCo:R:SingEitherz Data.Singletons.Prelude.Instances.SLeft Data.Singletons.Prelude.Instances.SRight Data.Singletons.Prelude.Instances.TFCo:R:Sing(,)z Data.Singletons.Prelude.Instances.STuple2 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,)z Data.Singletons.Prelude.Instances.STuple3 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,,)z Data.Singletons.Prelude.Instances.STuple4 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,,,)z Data.Singletons.Prelude.Instances.STuple5 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,,,,)z Data.Singletons.Prelude.Instances.STuple6 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,,,,,)z Data.Singletons.Prelude.Instances.STuple7
Warning: Data.Singletons.TypeRepStar: could not find link destinations for:
Data.Singletons.Prelude.Instances.TFCo:R:SingBoolz Data.Singletons.Prelude.Instances.SFalse Data.Singletons.Prelude.Instances.STrue Data.Singletons.Prelude.Instances.TFCo:R:SingOrderingz Data.Singletons.Prelude.Instances.SLT Data.Singletons.Prelude.Instances.SEQ Data.Singletons.Prelude.Instances.SGT Data.Singletons.TypeRepStar.TFCo:R:Sing*a Data.Singletons.TypeRepStar.STypeRep Data.Singletons.TypeLits.TFCo:R:SingNatn Data.Singletons.TypeLits.SNat Data.Singletons.TypeLits.TFCo:R:SingSymboln Data.Singletons.TypeLits.SSym Data.Singletons.Prelude.Instances.TFCo:R:Sing()z Data.Singletons.Prelude.Instances.STuple0 Data.Singletons.Prelude.Instances.TFCo:R:Sing[]z Data.Singletons.Prelude.Instances.SNil Data.Singletons.Prelude.Instances.SCons Data.Singletons.Prelude.Instances.TFCo:R:SingMaybez Data.Singletons.Prelude.Instances.SNothing Data.Singletons.Prelude.Instances.SJust Data.Singletons.TFCo:R:Sing(->)f Data.Singletons.SLambda Data.Singletons.applySing Data.Singletons.Prelude.Instances.TFCo:R:SingEitherz Data.Singletons.Prelude.Instances.SLeft Data.Singletons.Prelude.Instances.SRight Data.Singletons.Prelude.Instances.TFCo:R:Sing(,)z Data.Singletons.Prelude.Instances.STuple2 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,)z Data.Singletons.Prelude.Instances.STuple3 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,,)z Data.Singletons.Prelude.Instances.STuple4 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,,,)z Data.Singletons.Prelude.Instances.STuple5 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,,,,)z Data.Singletons.Prelude.Instances.STuple6 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,,,,,)z Data.Singletons.Prelude.Instances.STuple7
Warning: Data.Singletons.Prelude.Ord: could not find link destinations for:
Data.Singletons.Prelude.Ord.Case_1627539408 Data.Singletons.Prelude.Ord.Let_1627539399Scrutinee_1627539308Sym2 Data.Singletons.Prelude.Ord.Case_1627539445 Data.Singletons.Prelude.Ord.Let_1627539436Scrutinee_1627539312Sym2 Data.Singletons.Prelude.Ord.Case_1627539470 Data.Singletons.Prelude.Ord.Let_1627539461Scrutinee_1627539318Sym2 Data.Singletons.Prelude.Ord.Case_1627539495 Data.Singletons.Prelude.Ord.Let_1627539486Scrutinee_1627539316Sym2 Data.Singletons.Prelude.Ord.Case_1627539520 Data.Singletons.Prelude.Ord.Let_1627539511Scrutinee_1627539314Sym2 Data.Singletons.Prelude.Ord.Case_1627539545 Data.Singletons.Prelude.Ord.Let_1627539536Scrutinee_1627539320Sym2 Data.Singletons.Prelude.Ord.Case_1627539569 Data.Singletons.Prelude.Ord.Let_1627539560Scrutinee_1627539322Sym2 Data.Singletons.Prelude.Instances.TFCo:R:SingBoolz Data.Singletons.Prelude.Instances.SFalse Data.Singletons.Prelude.Instances.STrue Data.Singletons.Prelude.Instances.TFCo:R:SingOrderingz Data.Singletons.Prelude.Instances.SLT Data.Singletons.Prelude.Instances.SEQ Data.Singletons.Prelude.Instances.SGT Data.Singletons.TypeRepStar.TFCo:R:Sing*a Data.Singletons.TypeRepStar.STypeRep Data.Singletons.TypeLits.TFCo:R:SingNatn Data.Singletons.TypeLits.SNat Data.Singletons.TypeLits.TFCo:R:SingSymboln Data.Singletons.TypeLits.SSym Data.Singletons.Prelude.Instances.TFCo:R:Sing()z Data.Singletons.Prelude.Instances.STuple0 Data.Singletons.Prelude.Instances.TFCo:R:Sing[]z Data.Singletons.Prelude.Instances.SNil Data.Singletons.Prelude.Instances.SCons Data.Singletons.Prelude.Instances.TFCo:R:SingMaybez Data.Singletons.Prelude.Instances.SNothing Data.Singletons.Prelude.Instances.SJust Data.Singletons.TFCo:R:Sing(->)f Data.Singletons.SLambda Data.Singletons.applySing Data.Singletons.Prelude.Instances.TFCo:R:SingEitherz Data.Singletons.Prelude.Instances.SLeft Data.Singletons.Prelude.Instances.SRight Data.Singletons.Prelude.Instances.TFCo:R:Sing(,)z Data.Singletons.Prelude.Instances.STuple2 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,)z Data.Singletons.Prelude.Instances.STuple3 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,,)z Data.Singletons.Prelude.Instances.STuple4 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,,,)z Data.Singletons.Prelude.Instances.STuple5 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,,,,)z Data.Singletons.Prelude.Instances.STuple6 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,,,,,)z Data.Singletons.Prelude.Instances.STuple7
Warning: Data.Promotion.Prelude.Ord: could not find link destinations for:
Data.Singletons.Prelude.Ord.Case_1627539408 Data.Singletons.Prelude.Ord.Let_1627539399Scrutinee_1627539308Sym2 Data.Singletons.Prelude.Ord.Case_1627539445 Data.Singletons.Prelude.Ord.Let_1627539436Scrutinee_1627539312Sym2 Data.Singletons.Prelude.Ord.Case_1627539470 Data.Singletons.Prelude.Ord.Let_1627539461Scrutinee_1627539318Sym2 Data.Singletons.Prelude.Ord.Case_1627539495 Data.Singletons.Prelude.Ord.Let_1627539486Scrutinee_1627539316Sym2 Data.Singletons.Prelude.Ord.Case_1627539520 Data.Singletons.Prelude.Ord.Let_1627539511Scrutinee_1627539314Sym2 Data.Singletons.Prelude.Ord.Case_1627539545 Data.Singletons.Prelude.Ord.Let_1627539536Scrutinee_1627539320Sym2 Data.Singletons.Prelude.Ord.Case_1627539569 Data.Singletons.Prelude.Ord.Let_1627539560Scrutinee_1627539322Sym2
Warning: Data.Singletons.TypeLits: could not find link destinations for:
Data.Singletons.TypeLits.TFCo:R:SingNatn Data.Singletons.TypeLits.SNat GHC.TypeLits.EqNat Data.Singletons.TypeLits.TFCo:R:SingSymboln Data.Singletons.TypeLits.SSym GHC.TypeLits.EqSymbol GHC.TypeLits.natSing GHC.TypeLits.symbolSing
Warning: Data.Singletons.TH: could not find link destinations for:
Data.Singletons.Prelude.Instances.TFCo:R:SingBoolz Data.Singletons.Prelude.Instances.SFalse Data.Singletons.Prelude.Instances.STrue Data.Singletons.Prelude.Instances.TFCo:R:SingOrderingz Data.Singletons.Prelude.Instances.SLT Data.Singletons.Prelude.Instances.SEQ Data.Singletons.Prelude.Instances.SGT Data.Singletons.TypeRepStar.TFCo:R:Sing*a Data.Singletons.TypeRepStar.STypeRep Data.Singletons.TypeLits.TFCo:R:SingNatn Data.Singletons.TypeLits.SNat Data.Singletons.TypeLits.TFCo:R:SingSymboln Data.Singletons.TypeLits.SSym Data.Singletons.Prelude.Instances.TFCo:R:Sing()z Data.Singletons.Prelude.Instances.STuple0 Data.Singletons.Prelude.Instances.TFCo:R:Sing[]z Data.Singletons.Prelude.Instances.SNil Data.Singletons.Prelude.Instances.SCons Data.Singletons.Prelude.Instances.TFCo:R:SingMaybez Data.Singletons.Prelude.Instances.SNothing Data.Singletons.Prelude.Instances.SJust Data.Singletons.TFCo:R:Sing(->)f Data.Singletons.SLambda Data.Singletons.applySing Data.Singletons.Prelude.Instances.TFCo:R:SingEitherz Data.Singletons.Prelude.Instances.SLeft Data.Singletons.Prelude.Instances.SRight Data.Singletons.Prelude.Instances.TFCo:R:Sing(,)z Data.Singletons.Prelude.Instances.STuple2 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,)z Data.Singletons.Prelude.Instances.STuple3 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,,)z Data.Singletons.Prelude.Instances.STuple4 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,,,)z Data.Singletons.Prelude.Instances.STuple5 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,,,,)z Data.Singletons.Prelude.Instances.STuple6 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,,,,,)z Data.Singletons.Prelude.Instances.STuple7 Data.Singletons.Prelude.Ord.Case_1627539408 Data.Singletons.Prelude.Ord.Let_1627539399Scrutinee_1627539308Sym2 Data.Singletons.Prelude.Ord.Case_1627539445 Data.Singletons.Prelude.Ord.Let_1627539436Scrutinee_1627539312Sym2 Data.Singletons.Prelude.Ord.Case_1627539470 Data.Singletons.Prelude.Ord.Let_1627539461Scrutinee_1627539318Sym2 Data.Singletons.Prelude.Ord.Case_1627539495 Data.Singletons.Prelude.Ord.Let_1627539486Scrutinee_1627539316Sym2 Data.Singletons.Prelude.Ord.Case_1627539520 Data.Singletons.Prelude.Ord.Let_1627539511Scrutinee_1627539314Sym2 Data.Singletons.Prelude.Ord.Case_1627539545 Data.Singletons.Prelude.Ord.Let_1627539536Scrutinee_1627539320Sym2 Data.Singletons.Prelude.Ord.Case_1627539569 Data.Singletons.Prelude.Ord.Let_1627539560Scrutinee_1627539322Sym2 GHC.Generics.D1Proxy GHC.Generics.C1_0Proxy
Warning: Data.Singletons.Prelude.Base: could not find link destinations for:
Data.Singletons.Prelude.Base.Let_1627555878GoSym3 Data.Singletons.Prelude.Base.Lambda_1627555778Sym0
Warning: Data.Singletons.Prelude.Either: could not find link destinations for:
Data.Singletons.Prelude.Instances.TFCo:R:SingBoolz Data.Singletons.Prelude.Instances.SFalse Data.Singletons.Prelude.Instances.STrue Data.Singletons.Prelude.Instances.TFCo:R:SingOrderingz Data.Singletons.Prelude.Instances.SLT Data.Singletons.Prelude.Instances.SEQ Data.Singletons.Prelude.Instances.SGT Data.Singletons.TypeRepStar.TFCo:R:Sing*a Data.Singletons.TypeRepStar.STypeRep Data.Singletons.TypeLits.TFCo:R:SingNatn Data.Singletons.TypeLits.SNat Data.Singletons.TypeLits.TFCo:R:SingSymboln Data.Singletons.TypeLits.SSym Data.Singletons.Prelude.Instances.TFCo:R:Sing()z Data.Singletons.Prelude.Instances.STuple0 Data.Singletons.Prelude.Instances.TFCo:R:Sing[]z Data.Singletons.Prelude.Instances.SNil Data.Singletons.Prelude.Instances.SCons Data.Singletons.Prelude.Instances.TFCo:R:SingMaybez Data.Singletons.Prelude.Instances.SNothing Data.Singletons.Prelude.Instances.SJust Data.Singletons.TFCo:R:Sing(->)f Data.Singletons.SLambda Data.Singletons.applySing Data.Singletons.Prelude.Instances.TFCo:R:SingEitherz Data.Singletons.Prelude.Instances.SLeft Data.Singletons.Prelude.Instances.SRight Data.Singletons.Prelude.Instances.TFCo:R:Sing(,)z Data.Singletons.Prelude.Instances.STuple2 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,)z Data.Singletons.Prelude.Instances.STuple3 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,,)z Data.Singletons.Prelude.Instances.STuple4 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,,,)z Data.Singletons.Prelude.Instances.STuple5 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,,,,)z Data.Singletons.Prelude.Instances.STuple6 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,,,,,)z Data.Singletons.Prelude.Instances.STuple7 Data.Singletons.Prelude.Either.Let_1627568136LeftSym1 Data.Singletons.Prelude.Either.Let_1627568136RightSym1 Data.Singletons.Prelude.Either.PartitionEithersSym0
Warning: Data.Promotion.Prelude.Either: could not find link destinations for:
Data.Singletons.Prelude.Either.Let_1627568136LeftSym1 Data.Singletons.Prelude.Either.Let_1627568136RightSym1
Warning: Data.Singletons.Prelude.Tuple: could not find link destinations for:
Data.Singletons.Prelude.Instances.TFCo:R:SingBoolz Data.Singletons.Prelude.Instances.SFalse Data.Singletons.Prelude.Instances.STrue Data.Singletons.Prelude.Instances.TFCo:R:SingOrderingz Data.Singletons.Prelude.Instances.SLT Data.Singletons.Prelude.Instances.SEQ Data.Singletons.Prelude.Instances.SGT Data.Singletons.TypeRepStar.TFCo:R:Sing*a Data.Singletons.TypeRepStar.STypeRep Data.Singletons.TypeLits.TFCo:R:SingNatn Data.Singletons.TypeLits.SNat Data.Singletons.TypeLits.TFCo:R:SingSymboln Data.Singletons.TypeLits.SSym Data.Singletons.Prelude.Instances.TFCo:R:Sing()z Data.Singletons.Prelude.Instances.STuple0 Data.Singletons.Prelude.Instances.TFCo:R:Sing[]z Data.Singletons.Prelude.Instances.SNil Data.Singletons.Prelude.Instances.SCons Data.Singletons.Prelude.Instances.TFCo:R:SingMaybez Data.Singletons.Prelude.Instances.SNothing Data.Singletons.Prelude.Instances.SJust Data.Singletons.TFCo:R:Sing(->)f Data.Singletons.SLambda Data.Singletons.applySing Data.Singletons.Prelude.Instances.TFCo:R:SingEitherz Data.Singletons.Prelude.Instances.SLeft Data.Singletons.Prelude.Instances.SRight Data.Singletons.Prelude.Instances.TFCo:R:Sing(,)z Data.Singletons.Prelude.Instances.STuple2 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,)z Data.Singletons.Prelude.Instances.STuple3 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,,)z Data.Singletons.Prelude.Instances.STuple4 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,,,)z Data.Singletons.Prelude.Instances.STuple5 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,,,,)z Data.Singletons.Prelude.Instances.STuple6 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,,,,,)z Data.Singletons.Prelude.Instances.STuple7
Warning: Data.Promotion.Prelude.Base: could not find link destinations for:
Data.Singletons.Prelude.Base.Let_1627555878GoSym3 Data.Singletons.Prelude.Base.Lambda_1627555778Sym0 Data.Promotion.Prelude.Base.Let_1627581151GoSym3
Warning: Data.Singletons.Prelude.List: could not find link destinations for:
Data.Singletons.Prelude.Instances.TFCo:R:SingBoolz Data.Singletons.Prelude.Instances.SFalse Data.Singletons.Prelude.Instances.STrue Data.Singletons.Prelude.Instances.TFCo:R:SingOrderingz Data.Singletons.Prelude.Instances.SLT Data.Singletons.Prelude.Instances.SEQ Data.Singletons.Prelude.Instances.SGT Data.Singletons.TypeRepStar.TFCo:R:Sing*a Data.Singletons.TypeRepStar.STypeRep Data.Singletons.TypeLits.TFCo:R:SingNatn Data.Singletons.TypeLits.SNat Data.Singletons.TypeLits.TFCo:R:SingSymboln Data.Singletons.TypeLits.SSym Data.Singletons.Prelude.Instances.TFCo:R:Sing()z Data.Singletons.Prelude.Instances.STuple0 Data.Singletons.Prelude.Instances.TFCo:R:Sing[]z Data.Singletons.Prelude.Instances.SNil Data.Singletons.Prelude.Instances.SCons Data.Singletons.Prelude.Instances.TFCo:R:SingMaybez Data.Singletons.Prelude.Instances.SNothing Data.Singletons.Prelude.Instances.SJust Data.Singletons.TFCo:R:Sing(->)f Data.Singletons.SLambda Data.Singletons.applySing Data.Singletons.Prelude.Instances.TFCo:R:SingEitherz Data.Singletons.Prelude.Instances.SLeft Data.Singletons.Prelude.Instances.SRight Data.Singletons.Prelude.Instances.TFCo:R:Sing(,)z Data.Singletons.Prelude.Instances.STuple2 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,)z Data.Singletons.Prelude.Instances.STuple3 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,,)z Data.Singletons.Prelude.Instances.STuple4 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,,,)z Data.Singletons.Prelude.Instances.STuple5 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,,,,)z Data.Singletons.Prelude.Instances.STuple6 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,,,,,)z Data.Singletons.Prelude.Instances.STuple7 Data.Singletons.Prelude.List.Let_1627592999Last'Sym2 Data.Singletons.Prelude.List.Let_1627592961Init'Sym2 Data.Singletons.Prelude.List.Let_1627592918RevSym1 Data.Singletons.Prelude.List.PrependToAllSym0 Data.Singletons.Prelude.List.NonEmptySubsequencesSym0 Data.Singletons.Prelude.List.Let_1627592477PermsSym1 Data.Singletons.Prelude.List.Let_1627592211LgoSym3 Data.Singletons.Prelude.List.Let_1627592112LgoSym3 Data.Singletons.Prelude.Base.Let_1627555878GoSym3 Data.Singletons.Prelude.List.Let_1627592073XsSym4 Data.Singletons.Prelude.List.Case_1627591994 Data.Singletons.Prelude.List.Let_1627591980Scrutinee_1627590854Sym3 Data.Singletons.Prelude.List.Case_1627591956 Data.Singletons.Prelude.List.Let_1627591936Scrutinee_1627590856Sym4 Data.Singletons.Prelude.List.Case_1627591909 Data.Singletons.Prelude.List.Let_1627591889Scrutinee_1627590858Sym4 Data.Singletons.Prelude.List.Let_1627591707S''Sym4 Data.Singletons.Prelude.List.Let_1627591707YSym4 Data.Singletons.Prelude.List.Let_1627591707YsSym4 Data.Singletons.Prelude.List.Let_1627591540S''Sym4 Data.Singletons.Prelude.List.Let_1627591540YSym4 Data.Singletons.Prelude.List.Let_1627591540YsSym4 Data.Singletons.Prelude.List.Case_1627591513 Data.Singletons.Prelude.List.Let_1627591504Scrutinee_1627590864Sym2 Data.Singletons.Prelude.List.Case_1627591487 Data.Singletons.Prelude.List.Let_1627591482Scrutinee_1627590866Sym1 Data.Singletons.Prelude.List.Case_1627591460 Data.Singletons.Prelude.List.Let_1627591455Scrutinee_1627590868Sym1 Data.Singletons.Prelude.List.Lambda_1627591243Sym0 Data.Singletons.Prelude.List.Lambda_1627591209Sym0 Data.Singletons.Prelude.List.Lambda_1627591173Sym0 Data.Singletons.Prelude.List.Lambda_1627591135Sym0 Data.Singletons.Prelude.List.Lambda_1627591095Sym0 Data.Singletons.Prelude.List.Lambda_1627591053Sym0 Data.Singletons.Prelude.List.Case_1627591029 Data.Singletons.Prelude.List.Let_1627591009Scrutinee_1627590894Sym4 Data.Singletons.Prelude.List.Case_1627590971 Data.Singletons.Prelude.List.Let_1627590951Scrutinee_1627590896Sym4 Data.Singletons.Prelude.List.Let_1627592284MaxBySym3 Data.Singletons.Prelude.List.Let_1627592270XsSym3 Data.Singletons.Prelude.List.Let_1627592373MinBySym3 Data.Singletons.Prelude.List.Let_1627592359XsSym3
Warning: Data.Singletons.Prelude.Maybe: could not find link destinations for:
Data.Singletons.Prelude.Instances.TFCo:R:SingBoolz Data.Singletons.Prelude.Instances.SFalse Data.Singletons.Prelude.Instances.STrue Data.Singletons.Prelude.Instances.TFCo:R:SingOrderingz Data.Singletons.Prelude.Instances.SLT Data.Singletons.Prelude.Instances.SEQ Data.Singletons.Prelude.Instances.SGT Data.Singletons.TypeRepStar.TFCo:R:Sing*a Data.Singletons.TypeRepStar.STypeRep Data.Singletons.TypeLits.TFCo:R:SingNatn Data.Singletons.TypeLits.SNat Data.Singletons.TypeLits.TFCo:R:SingSymboln Data.Singletons.TypeLits.SSym Data.Singletons.Prelude.Instances.TFCo:R:Sing()z Data.Singletons.Prelude.Instances.STuple0 Data.Singletons.Prelude.Instances.TFCo:R:Sing[]z Data.Singletons.Prelude.Instances.SNil Data.Singletons.Prelude.Instances.SCons Data.Singletons.Prelude.Instances.TFCo:R:SingMaybez Data.Singletons.Prelude.Instances.SNothing Data.Singletons.Prelude.Instances.SJust Data.Singletons.TFCo:R:Sing(->)f Data.Singletons.SLambda Data.Singletons.applySing Data.Singletons.Prelude.Instances.TFCo:R:SingEitherz Data.Singletons.Prelude.Instances.SLeft Data.Singletons.Prelude.Instances.SRight Data.Singletons.Prelude.Instances.TFCo:R:Sing(,)z Data.Singletons.Prelude.Instances.STuple2 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,)z Data.Singletons.Prelude.Instances.STuple3 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,,)z Data.Singletons.Prelude.Instances.STuple4 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,,,)z Data.Singletons.Prelude.Instances.STuple5 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,,,,)z Data.Singletons.Prelude.Instances.STuple6 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,,,,,)z Data.Singletons.Prelude.Instances.STuple7 Data.Singletons.Prelude.Maybe.Case_1627750936 Data.Singletons.Prelude.Maybe.Let_1627750927Scrutinee_1627750848Sym2 Data.Singletons.Prelude.Maybe.Case_1627750893 Data.Singletons.Prelude.Maybe.Let_1627750879Scrutinee_1627750850Sym3
Warning: Data.Singletons.Prelude: could not find link destinations for:
Data.Singletons.Prelude.Instances.TFCo:R:SingBoolz Data.Singletons.Prelude.Instances.SFalse Data.Singletons.Prelude.Instances.STrue Data.Singletons.Prelude.Instances.TFCo:R:SingOrderingz Data.Singletons.Prelude.Instances.SLT Data.Singletons.Prelude.Instances.SEQ Data.Singletons.Prelude.Instances.SGT Data.Singletons.TypeRepStar.TFCo:R:Sing*a Data.Singletons.TypeRepStar.STypeRep Data.Singletons.TypeLits.TFCo:R:SingNatn Data.Singletons.TypeLits.SNat Data.Singletons.TypeLits.TFCo:R:SingSymboln Data.Singletons.TypeLits.SSym Data.Singletons.Prelude.Instances.TFCo:R:Sing()z Data.Singletons.Prelude.Instances.STuple0 Data.Singletons.Prelude.Instances.TFCo:R:Sing[]z Data.Singletons.Prelude.Instances.SNil Data.Singletons.Prelude.Instances.SCons Data.Singletons.Prelude.Instances.TFCo:R:SingMaybez Data.Singletons.Prelude.Instances.SNothing Data.Singletons.Prelude.Instances.SJust Data.Singletons.TFCo:R:Sing(->)f Data.Singletons.SLambda Data.Singletons.applySing Data.Singletons.Prelude.Instances.TFCo:R:SingEitherz Data.Singletons.Prelude.Instances.SLeft Data.Singletons.Prelude.Instances.SRight Data.Singletons.Prelude.Instances.TFCo:R:Sing(,)z Data.Singletons.Prelude.Instances.STuple2 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,)z Data.Singletons.Prelude.Instances.STuple3 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,,)z Data.Singletons.Prelude.Instances.STuple4 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,,,)z Data.Singletons.Prelude.Instances.STuple5 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,,,,)z Data.Singletons.Prelude.Instances.STuple6 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,,,,,)z Data.Singletons.Prelude.Instances.STuple7 Data.Singletons.Prelude.Base.Lambda_1627555778Sym0 Data.Singletons.Prelude.List.Let_1627592999Last'Sym2 Data.Singletons.Prelude.List.Let_1627592961Init'Sym2 Data.Singletons.Prelude.List.Let_1627592918RevSym1 Data.Singletons.Prelude.List.Let_1627592211LgoSym3 Data.Singletons.Prelude.Base.Let_1627555878GoSym3 Data.Singletons.Prelude.List.Let_1627592073XsSym4 Data.Singletons.Prelude.List.Case_1627591994 Data.Singletons.Prelude.List.Let_1627591980Scrutinee_1627590854Sym3 Data.Singletons.Prelude.List.Case_1627591956 Data.Singletons.Prelude.List.Let_1627591936Scrutinee_1627590856Sym4 Data.Singletons.Prelude.List.Case_1627591909 Data.Singletons.Prelude.List.Let_1627591889Scrutinee_1627590858Sym4 Data.Singletons.Prelude.List.Lambda_1627591243Sym0 Data.Singletons.Prelude.List.Lambda_1627591209Sym0 GHC.TypeLits.EqSymbol
Warning: Data.Promotion.Prelude.List: could not find link destinations for:
Data.Singletons.Prelude.List.Let_1627592999Last'Sym2 Data.Singletons.Prelude.List.Let_1627592961Init'Sym2 Data.Singletons.Prelude.List.Let_1627592918RevSym1 Data.Singletons.Prelude.List.PrependToAllSym0 Data.Singletons.Prelude.List.NonEmptySubsequencesSym0 Data.Singletons.Prelude.List.Let_1627592477PermsSym1 Data.Singletons.Prelude.List.Let_1627592211LgoSym3 Data.Singletons.Prelude.List.Let_1627592112LgoSym3 Data.Singletons.Prelude.Base.Let_1627555878GoSym3 Data.Singletons.Prelude.List.Let_1627592073XsSym4 Data.Promotion.Prelude.List.Let_1627767277Sum'Sym1 Data.Promotion.Prelude.List.Let_1627767252ProdSym1 Data.Singletons.Prelude.List.Case_1627591994 Data.Singletons.Prelude.List.Let_1627591980Scrutinee_1627590854Sym3 Data.Singletons.Prelude.List.Case_1627591956 Data.Singletons.Prelude.List.Let_1627591936Scrutinee_1627590856Sym4 Data.Singletons.Prelude.List.Case_1627591909 Data.Singletons.Prelude.List.Let_1627591889Scrutinee_1627590858Sym4 Data.Singletons.Prelude.List.Let_1627591707S''Sym4 Data.Singletons.Prelude.List.Let_1627591707YSym4 Data.Singletons.Prelude.List.Let_1627591707YsSym4 Data.Singletons.Prelude.List.Let_1627591540S''Sym4 Data.Singletons.Prelude.List.Let_1627591540YSym4 Data.Singletons.Prelude.List.Let_1627591540YsSym4 Data.Singletons.Prelude.List.Case_1627591513 Data.Singletons.Prelude.List.Let_1627591504Scrutinee_1627590864Sym2 Data.Promotion.Prelude.List.Let_1627767129XsSym2 Data.Promotion.Prelude.List.Case_1627767106 Data.Promotion.Prelude.List.Case_1627767056 Data.Promotion.Prelude.List.Lambda_1627766995Sym0 Data.Promotion.Prelude.List.Let_1627766771XsSym0 Data.Promotion.Prelude.List.Case_1627766775 Data.Promotion.Prelude.List.Let_1627766624XsSym0 Data.Promotion.Prelude.List.Case_1627766628 Data.Promotion.Prelude.List.Case_1627766594 Data.Singletons.Prelude.List.Case_1627591487 Data.Singletons.Prelude.List.Let_1627591482Scrutinee_1627590866Sym1 Data.Singletons.Prelude.List.Case_1627591460 Data.Singletons.Prelude.List.Let_1627591455Scrutinee_1627590868Sym1 Data.Promotion.Prelude.List.Case_1627766542 Data.Promotion.Prelude.List.Case_1627766443 Data.Promotion.Prelude.List.SelectSym0 Data.Promotion.Prelude.List.Case_1627766371 Data.Promotion.Prelude.List.Lambda_1627767339Sym0 Data.Promotion.Prelude.List.Let_1627767314BuildListSym2 Data.Singletons.Prelude.List.Lambda_1627591243Sym0 Data.Singletons.Prelude.List.Lambda_1627591209Sym0 Data.Singletons.Prelude.List.Lambda_1627591173Sym0 Data.Singletons.Prelude.List.Lambda_1627591135Sym0 Data.Singletons.Prelude.List.Lambda_1627591095Sym0 Data.Singletons.Prelude.List.Lambda_1627591053Sym0 Data.Promotion.Prelude.List.Let_1627765870Nub'Sym1 Data.Promotion.Prelude.List.Let_1627765796NubBy'Sym2 Data.Singletons.Prelude.List.Case_1627591029 Data.Singletons.Prelude.List.Let_1627591009Scrutinee_1627590894Sym4 Data.Promotion.Prelude.List.Let_1627766921YsSym3 Data.Promotion.Prelude.List.Let_1627766921ZsSym3 Data.Promotion.Prelude.List.Lambda_1627766479Sym0 Data.Singletons.Prelude.List.Case_1627590971 Data.Singletons.Prelude.List.Let_1627590951Scrutinee_1627590896Sym4 Data.Singletons.Prelude.List.Let_1627592284MaxBySym3 Data.Singletons.Prelude.List.Let_1627592270XsSym3 Data.Singletons.Prelude.List.Let_1627592373MinBySym3 Data.Singletons.Prelude.List.Let_1627592359XsSym3
Warning: Data.Promotion.Prelude.Maybe: could not find link destinations for:
Data.Singletons.Prelude.Maybe.Case_1627750936 Data.Singletons.Prelude.Maybe.Let_1627750927Scrutinee_1627750848Sym2 Data.Singletons.Prelude.Maybe.Case_1627750893 Data.Singletons.Prelude.Maybe.Let_1627750879Scrutinee_1627750850Sym3
Warning: Data.Promotion.Prelude: could not find link destinations for:
Data.Singletons.TypeLits.TFCo:R:SingSymboln Data.Singletons.TypeLits.SSym GHC.TypeLits.EqSymbol Data.Singletons.TypeLits.TFCo:R:SingNatn Data.Singletons.TypeLits.SNat GHC.TypeLits.EqNat Data.Singletons.Prelude.Base.Lambda_1627555778Sym0 Data.Promotion.Prelude.Base.Let_1627581151GoSym3 Data.Promotion.Prelude.List.Case_1627766443 Data.Singletons.Prelude.List.Let_1627592999Last'Sym2 Data.Singletons.Prelude.List.Let_1627592961Init'Sym2 Data.Promotion.Prelude.List.Case_1627766371 Data.Singletons.Prelude.List.Let_1627592918RevSym1 Data.Singletons.Prelude.List.Let_1627592211LgoSym3 Data.Singletons.Prelude.Base.Let_1627555878GoSym3 Data.Singletons.Prelude.List.Let_1627592073XsSym4 Data.Promotion.Prelude.List.Let_1627767277Sum'Sym1 Data.Promotion.Prelude.List.Let_1627767252ProdSym1 Data.Singletons.Prelude.List.Case_1627591994 Data.Singletons.Prelude.List.Let_1627591980Scrutinee_1627590854Sym3 Data.Singletons.Prelude.List.Case_1627591956 Data.Singletons.Prelude.List.Let_1627591936Scrutinee_1627590856Sym4 Data.Singletons.Prelude.List.Case_1627591909 Data.Singletons.Prelude.List.Let_1627591889Scrutinee_1627590858Sym4 Data.Promotion.Prelude.List.Let_1627767129XsSym2 Data.Promotion.Prelude.List.Case_1627767106 Data.Promotion.Prelude.List.Case_1627767056 Data.Promotion.Prelude.List.Let_1627766771XsSym0 Data.Promotion.Prelude.List.Case_1627766775 Data.Promotion.Prelude.List.Let_1627766624XsSym0 Data.Promotion.Prelude.List.Case_1627766628 Data.Promotion.Prelude.List.Case_1627766542 Data.Singletons.Prelude.List.Lambda_1627591243Sym0 Data.Singletons.Prelude.List.Lambda_1627591209Sym0
Warning: Data.Promotion.TH: could not find link destinations for:
Data.Singletons.TFCo:R:Sing(->)f Data.Singletons.SLambda Data.Singletons.applySing Data.Singletons.Prelude.Ord.Case_1627539408 Data.Singletons.Prelude.Ord.Let_1627539399Scrutinee_1627539308Sym2 Data.Singletons.Prelude.Ord.Case_1627539445 Data.Singletons.Prelude.Ord.Let_1627539436Scrutinee_1627539312Sym2 Data.Singletons.Prelude.Ord.Case_1627539470 Data.Singletons.Prelude.Ord.Let_1627539461Scrutinee_1627539318Sym2 Data.Singletons.Prelude.Ord.Case_1627539495 Data.Singletons.Prelude.Ord.Let_1627539486Scrutinee_1627539316Sym2 Data.Singletons.Prelude.Ord.Case_1627539520 Data.Singletons.Prelude.Ord.Let_1627539511Scrutinee_1627539314Sym2 Data.Singletons.Prelude.Ord.Case_1627539545 Data.Singletons.Prelude.Ord.Let_1627539536Scrutinee_1627539320Sym2 Data.Singletons.Prelude.Ord.Case_1627539569 Data.Singletons.Prelude.Ord.Let_1627539560Scrutinee_1627539322Sym2 GHC.Generics.D1Proxy GHC.Generics.C1_0Proxy
Documentation created: dist/doc/html/singletons/index.html,
dist/doc/html/singletons/singletons.txt
Creating package registration file: /tmp/pkgConf-singletons-127223.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/singletons-1.1
Registering singletons-1.1...
Installed singletons-1.1
Configuring void-0.7...
Building void-0.7...
Preprocessing library void-0.7...
[1 of 2] Compiling Data.Void ( src-old/Data/Void.hs, dist/build/Data/Void.o )
[2 of 2] Compiling Data.Void.Unsafe ( src/Data/Void/Unsafe.hs, dist/build/Data/Void/Unsafe.o )
In-place registering void-0.7...
Running Haddock for void-0.7...
Running hscolour for void-0.7...
Preprocessing library void-0.7...
Preprocessing library void-0.7...
Haddock coverage:
100% ( 5 / 5) in 'Data.Void'
100% ( 3 / 3) in 'Data.Void.Unsafe'
Documentation created: dist/doc/html/void/index.html,
dist/doc/html/void/void.txt
Creating package registration file: /tmp/pkgConf-void-027223.7
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/void-0.7
Registering void-0.7...
Installed void-0.7
Configuring equational-reasoning-0.2.0.5...
Building equational-reasoning-0.2.0.5...
Preprocessing library equational-reasoning-0.2.0.5...
[1 of 3] Compiling Proof.Induction ( Proof/Induction.hs, dist/build/Proof/Induction.o )
[2 of 3] Compiling Proof.Propositional ( Proof/Propositional.hs, dist/build/Proof/Propositional.o )
[3 of 3] Compiling Proof.Equational ( Proof/Equational.hs, dist/build/Proof/Equational.o )
In-place registering equational-reasoning-0.2.0.5...
Running Haddock for equational-reasoning-0.2.0.5...
Running hscolour for equational-reasoning-0.2.0.5...
Preprocessing library equational-reasoning-0.2.0.5...
Preprocessing library equational-reasoning-0.2.0.5...
Haddock coverage:
50% ( 1 / 2) in 'Proof.Induction'
7% ( 1 / 15) in 'Proof.Propositional'
29% ( 11 / 38) in 'Proof.Equational'
Warning: Proof.Equational: could not find link destinations for:
GHC.Generics.D1Proxy GHC.Generics.C1_0Proxy
Documentation created: dist/doc/html/equational-reasoning/index.html,
dist/doc/html/equational-reasoning/equational-reasoning.txt
Creating package registration file:
/tmp/pkgConf-equational-reasoning-0.2.027223.5
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/equational-reasoning-0.2.0.5
Registering equational-reasoning-0.2.0.5...
Installed equational-reasoning-0.2.0.5
Downloading type-natural-0.2.3.2...
Configuring type-natural-0.2.3.2...
Building type-natural-0.2.3.2...
Preprocessing library type-natural-0.2.3.2...
[1 of 3] Compiling Data.Type.Natural.Definitions ( Data/Type/Natural/Definitions.hs, dist/build/Data/Type/Natural/Definitions.o )
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Loading package monomorphic-0.0.3.2 ... linking ... done.
Loading package array-0.5.0.0 ... linking ... done.
Loading package deepseq-1.3.0.2 ... linking ... done.
Loading package containers-0.5.5.1 ... linking ... done.
Loading package transformers-0.4.2.0 ... linking ... done.
Loading package mtl-2.2.1 ... linking ... done.
Loading package pretty-1.1.1.1 ... linking ... done.
Loading package template-haskell ... linking ... done.
Loading package syb-0.4.4 ... linking ... done.
Loading package th-lift-0.7 ... linking ... done.
Loading package th-desugar-1.5 ... linking ... done.
Loading package singletons-1.1 ... linking ... done.
Loading package bytestring-0.10.4.0 ... linking ... done.
Loading package text-1.2.0.4 ... linking ... done.
Loading package hashable-1.2.3.1 ... linking ... done.
Loading package nats-1 ... linking ... done.
Loading package unordered-containers-0.2.5.1 ... linking ... done.
Loading package semigroups-0.16.1 ... linking ... done.
Loading package void-0.7 ... linking ... done.
Loading package equational-reasoning-0.2.0.5 ... linking ... done.
Loading package newtype-0.2 ... linking ... done.
Loading package constraints-0.4.1.3 ... linking ... done.
[2 of 3] Compiling Data.Type.Natural ( Data/Type/Natural.hs, dist/build/Data/Type/Natural.o )
[3 of 3] Compiling Data.Type.Ordinal ( Data/Type/Ordinal.hs, dist/build/Data/Type/Ordinal.o )
In-place registering type-natural-0.2.3.2...
Running Haddock for type-natural-0.2.3.2...
Running hscolour for type-natural-0.2.3.2...
Preprocessing library type-natural-0.2.3.2...
Preprocessing library type-natural-0.2.3.2...
Haddock coverage:
3% ( 8 /264) in 'Data.Type.Natural.Definitions'
10% ( 29 /303) in 'Data.Type.Natural'
86% ( 19 / 22) in 'Data.Type.Ordinal'
Warning: Data.Type.Natural: could not find link destinations for:
Data.Type.Natural.Definitions.TFCo:R:SingNatz Data.Type.Natural.Definitions.SZ Data.Type.Natural.Definitions.SS Data.Singletons.Prelude.Instances.TFCo:R:SingBoolz Data.Singletons.Prelude.Instances.SFalse Data.Singletons.Prelude.Instances.STrue Data.Singletons.Prelude.Instances.TFCo:R:SingOrderingz Data.Singletons.Prelude.Instances.SLT Data.Singletons.Prelude.Instances.SEQ Data.Singletons.Prelude.Instances.SGT Data.Singletons.TypeLits.TFCo:R:SingNatn Data.Singletons.TypeLits.SNat Data.Singletons.TypeLits.TFCo:R:SingSymboln Data.Singletons.TypeLits.SSym Data.Singletons.Prelude.Instances.TFCo:R:Sing()z Data.Singletons.Prelude.Instances.STuple0 Data.Singletons.Prelude.Instances.TFCo:R:Sing[]z Data.Singletons.Prelude.Instances.SNil Data.Singletons.Prelude.Instances.SCons Data.Singletons.Prelude.Instances.TFCo:R:SingMaybez Data.Singletons.Prelude.Instances.SNothing Data.Singletons.Prelude.Instances.SJust Data.Singletons.TFCo:R:Sing(->)f Data.Singletons.SLambda Data.Singletons.applySing Data.Singletons.Prelude.Instances.TFCo:R:SingEitherz Data.Singletons.Prelude.Instances.SLeft Data.Singletons.Prelude.Instances.SRight Data.Singletons.Prelude.Instances.TFCo:R:Sing(,)z Data.Singletons.Prelude.Instances.STuple2 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,)z Data.Singletons.Prelude.Instances.STuple3 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,,)z Data.Singletons.Prelude.Instances.STuple4 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,,,)z Data.Singletons.Prelude.Instances.STuple5 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,,,,)z Data.Singletons.Prelude.Instances.STuple6 Data.Singletons.Prelude.Instances.TFCo:R:Sing(,,,,,,)z Data.Singletons.Prelude.Instances.STuple7 Data.Type.Natural.Definitions.:**$
Documentation created: dist/doc/html/type-natural/index.html,
dist/doc/html/type-natural/type-natural.txt
Creating package registration file: /tmp/pkgConf-type-natural-0.2.327223.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/type-natural-0.2.3.2
Registering type-natural-0.2.3.2...
Installed type-natural-0.2.3.2
Test log
No test log was submitted for this report.