Build #1 for singletons-1.1

[all reports]

Package singletons-1.1
Install InstallOk
Docs Ok
Tests NotTried
Time submitted 2015-02-01 20:15:56.963306 UTC
Compiler ghc-7.8.3
OS linux
Arch x86_64
Dependencies th-desugar-1.5, template-haskell-2.9.0.0, mtl-2.2.1, containers-0.5.5.1, base-4.7.0.1
Flags none

Code Coverage

No Code Coverage was submitted for this report.

Build log

[view raw]

Resolving dependencies...
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.412472.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 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-012472.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.212472.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 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.212472.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 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-112472.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
Downloading singletons-1.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-112472.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