Resolving dependencies... 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.31400.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-01400.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.41400.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.01400.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-01400.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.21400.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.11400.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.31400.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.21400.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-11400 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.51400.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-11400.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.161400.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-11400.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-01400.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.01400.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 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.31400.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 Downloading sized-vector-1.4.2.0... Configuring sized-vector-1.4.2.0... Building sized-vector-1.4.2.0... Preprocessing library sized-vector-1.4.2.0... [1 of 1] Compiling Data.Vector.Sized ( Data/Vector/Sized.hs, dist/build/Data/Vector/Sized.o ) In-place registering sized-vector-1.4.2.0... Running Haddock for sized-vector-1.4.2.0... Running hscolour for sized-vector-1.4.2.0... Preprocessing library sized-vector-1.4.2.0... Preprocessing library sized-vector-1.4.2.0... Haddock coverage: 91% ( 75 / 82) in 'Data.Vector.Sized' Documentation created: dist/doc/html/sized-vector/index.html, dist/doc/html/sized-vector/sized-vector.txt Creating package registration file: /tmp/pkgConf-sized-vector-1.4.21400.0 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/sized-vector-1.4.2.0 Registering sized-vector-1.4.2.0... Installed sized-vector-1.4.2.0