Resolving dependencies... Starting hashable-1.3.0.0 Starting ghc-tcplugins-extra-0.4 Starting reflection-2.1.6 Starting primitive-0.7.0.1 Building reflection-2.1.6 Building ghc-tcplugins-extra-0.4 Building hashable-1.3.0.0 Building primitive-0.7.0.1 Completed ghc-tcplugins-extra-0.4 Starting safe-0.3.19 Building safe-0.3.19 Completed hashable-1.3.0.0 Starting semigroups-0.19.1 Building semigroups-0.19.1 Completed reflection-2.1.6 Starting syb-0.7.1 Completed semigroups-0.19.1 Starting th-abstraction-0.3.2.0 Building syb-0.7.1 Building th-abstraction-0.3.2.0 Completed safe-0.3.19 Starting transformers-compat-0.6.5 Building transformers-compat-0.6.5 Completed syb-0.7.1 Starting type-equality-1 Building type-equality-1 Completed th-abstraction-0.3.2.0 Starting void-0.7.3 Completed transformers-compat-0.6.5 Starting th-extras-0.0.0.4 Building void-0.7.3 Completed type-equality-1 Starting th-expand-syns-0.4.6.0 Building th-extras-0.0.0.4 Building th-expand-syns-0.4.6.0 Completed void-0.7.3 Starting ghc-typelits-presburger-0.3.0.1 Completed primitive-0.7.0.1 Starting ghc-typelits-natnormalise-0.7.2 Building ghc-typelits-presburger-0.3.0.1 Building ghc-typelits-natnormalise-0.7.2 Completed th-extras-0.0.0.4 Starting th-lift-0.8.1 Building th-lift-0.8.1 Completed th-expand-syns-0.4.6.0 Starting constraints-0.12 Building constraints-0.12 Completed th-lift-0.8.1 Starting vector-0.12.1.2 Building vector-0.12.1.2 Completed ghc-typelits-natnormalise-0.7.2 Starting th-reify-many-0.1.9 Building th-reify-many-0.1.9 Completed ghc-typelits-presburger-0.3.0.1 Completed constraints-0.12 Completed th-reify-many-0.1.9 Completed vector-0.12.1.2 Starting th-lift-instances-0.1.17 Building th-lift-instances-0.1.17 Completed th-lift-instances-0.1.17 Starting th-orphans-0.13.10 Building th-orphans-0.13.10 Completed th-orphans-0.13.10 Starting th-desugar-1.9 Building th-desugar-1.9 Completed th-desugar-1.9 Starting equational-reasoning-0.6.0.3 Starting singletons-2.5.1 Building equational-reasoning-0.6.0.3 Building singletons-2.5.1 Completed equational-reasoning-0.6.0.3 Failed to install singletons-2.5.1 Build log ( /home/builder/.cabal/logs/ghc-8.6.3/singletons-2.5.1-43ZqbuObokDBX1ViE9uKhA.log ): cabal: Entering directory '/tmp/cabal-tmp-28259/singletons-2.5.1' [1 of 1] Compiling Main ( /tmp/cabal-tmp-28259/singletons-2.5.1/dist/setup/setup.hs, /tmp/cabal-tmp-28259/singletons-2.5.1/dist/setup/Main.o ) Linking /tmp/cabal-tmp-28259/singletons-2.5.1/dist/setup/setup ... Configuring singletons-2.5.1... Preprocessing library for singletons-2.5.1.. Building library for singletons-2.5.1.. [ 1 of 68] Compiling Data.Singletons.Internal ( src/Data/Singletons/Internal.hs, dist/build/Data/Singletons/Internal.o ) [ 2 of 68] Compiling Data.Singletons.Decide ( src/Data/Singletons/Decide.hs, dist/build/Data/Singletons/Decide.o ) [ 3 of 68] Compiling Data.Singletons.SuppressUnusedWarnings ( src/Data/Singletons/SuppressUnusedWarnings.hs, dist/build/Data/Singletons/SuppressUnusedWarnings.o ) [ 4 of 68] Compiling Data.Singletons.Syntax ( src/Data/Singletons/Syntax.hs, dist/build/Data/Singletons/Syntax.o ) [ 5 of 68] Compiling Data.Singletons.Util ( src/Data/Singletons/Util.hs, dist/build/Data/Singletons/Util.o ) [ 6 of 68] Compiling Data.Singletons.Names ( src/Data/Singletons/Names.hs, dist/build/Data/Singletons/Names.o ) [ 7 of 68] Compiling Data.Singletons.Single.Fixity ( src/Data/Singletons/Single/Fixity.hs, dist/build/Data/Singletons/Single/Fixity.o ) [ 8 of 68] Compiling Data.Singletons.Promote.Type ( src/Data/Singletons/Promote/Type.hs, dist/build/Data/Singletons/Promote/Type.o ) [ 9 of 68] Compiling Data.Singletons.Promote.Monad ( src/Data/Singletons/Promote/Monad.hs, dist/build/Data/Singletons/Promote/Monad.o ) [10 of 68] Compiling Data.Singletons.Single.Monad ( src/Data/Singletons/Single/Monad.hs, dist/build/Data/Singletons/Single/Monad.o ) [11 of 68] Compiling Data.Singletons.Single.Type ( src/Data/Singletons/Single/Type.hs, dist/build/Data/Singletons/Single/Type.o ) [12 of 68] Compiling Data.Singletons.Promote.Eq ( src/Data/Singletons/Promote/Eq.hs, dist/build/Data/Singletons/Promote/Eq.o ) [13 of 68] Compiling Data.Singletons.Promote.Defun ( src/Data/Singletons/Promote/Defun.hs, dist/build/Data/Singletons/Promote/Defun.o ) [14 of 68] Compiling Data.Singletons.Single.Defun ( src/Data/Singletons/Single/Defun.hs, dist/build/Data/Singletons/Single/Defun.o ) [15 of 68] Compiling Data.Singletons.Single.Data ( src/Data/Singletons/Single/Data.hs, dist/build/Data/Singletons/Single/Data.o ) [16 of 68] Compiling Data.Singletons.Deriving.Util ( src/Data/Singletons/Deriving/Util.hs, dist/build/Data/Singletons/Deriving/Util.o ) [17 of 68] Compiling Data.Singletons.Deriving.Infer ( src/Data/Singletons/Deriving/Infer.hs, dist/build/Data/Singletons/Deriving/Infer.o ) [18 of 68] Compiling Data.Singletons.Single.Eq ( src/Data/Singletons/Single/Eq.hs, dist/build/Data/Singletons/Single/Eq.o ) [19 of 68] Compiling Data.Singletons.Deriving.Traversable ( src/Data/Singletons/Deriving/Traversable.hs, dist/build/Data/Singletons/Deriving/Traversable.o ) [20 of 68] Compiling Data.Singletons.Deriving.Show ( src/Data/Singletons/Deriving/Show.hs, dist/build/Data/Singletons/Deriving/Show.o ) [21 of 68] Compiling Data.Singletons.Deriving.Ord ( src/Data/Singletons/Deriving/Ord.hs, dist/build/Data/Singletons/Deriving/Ord.o ) [22 of 68] Compiling Data.Singletons.Deriving.Foldable ( src/Data/Singletons/Deriving/Foldable.hs, dist/build/Data/Singletons/Deriving/Foldable.o ) [23 of 68] Compiling Data.Singletons.Deriving.Functor ( src/Data/Singletons/Deriving/Functor.hs, dist/build/Data/Singletons/Deriving/Functor.o ) [24 of 68] Compiling Data.Singletons.Deriving.Enum ( src/Data/Singletons/Deriving/Enum.hs, dist/build/Data/Singletons/Deriving/Enum.o ) [25 of 68] Compiling Data.Singletons.Deriving.Bounded ( src/Data/Singletons/Deriving/Bounded.hs, dist/build/Data/Singletons/Deriving/Bounded.o ) [26 of 68] Compiling Data.Singletons.Partition ( src/Data/Singletons/Partition.hs, dist/build/Data/Singletons/Partition.o ) [27 of 68] Compiling Data.Singletons.Promote ( src/Data/Singletons/Promote.hs, dist/build/Data/Singletons/Promote.o ) [28 of 68] Compiling Data.Singletons.Single ( src/Data/Singletons/Single.hs, dist/build/Data/Singletons/Single.o ) [29 of 68] Compiling Data.Singletons.Prelude.Instances ( src/Data/Singletons/Prelude/Instances.hs, dist/build/Data/Singletons/Prelude/Instances.o ) [30 of 68] Compiling Data.Singletons.Prelude.Void ( src/Data/Singletons/Prelude/Void.hs, dist/build/Data/Singletons/Prelude/Void.o ) [31 of 68] Compiling Data.Singletons.Prelude.Tuple ( src/Data/Singletons/Prelude/Tuple.hs, dist/build/Data/Singletons/Prelude/Tuple.o ) [32 of 68] Compiling Data.Singletons.Sigma ( src/Data/Singletons/Sigma.hs, dist/build/Data/Singletons/Sigma.o ) [33 of 68] Compiling Data.Singletons.Prelude.Bool ( src/Data/Singletons/Prelude/Bool.hs, dist/build/Data/Singletons/Prelude/Bool.o ) [34 of 68] Compiling Data.Singletons.Prelude.Eq ( src/Data/Singletons/Prelude/Eq.hs, dist/build/Data/Singletons/Prelude/Eq.o ) [35 of 68] Compiling Data.Singletons.TypeRepTYPE ( src/Data/Singletons/TypeRepTYPE.hs, dist/build/Data/Singletons/TypeRepTYPE.o ) [36 of 68] Compiling Data.Singletons.Prelude.Ord ( src/Data/Singletons/Prelude/Ord.hs, dist/build/Data/Singletons/Prelude/Ord.o ) [37 of 68] Compiling Data.Singletons.TypeLits.Internal ( src/Data/Singletons/TypeLits/Internal.hs, dist/build/Data/Singletons/TypeLits/Internal.o ) [38 of 68] Compiling Data.Singletons.ShowSing ( src/Data/Singletons/ShowSing.hs, dist/build/Data/Singletons/ShowSing.o ) [39 of 68] Compiling Data.Singletons.TypeLits ( src/Data/Singletons/TypeLits.hs, dist/build/Data/Singletons/TypeLits.o ) [40 of 68] Compiling Data.Singletons.Prelude.Maybe ( src/Data/Singletons/Prelude/Maybe.hs, dist/build/Data/Singletons/Prelude/Maybe.o ) [41 of 68] Compiling Data.Singletons.Prelude.Num ( src/Data/Singletons/Prelude/Num.hs, dist/build/Data/Singletons/Prelude/Num.o ) [42 of 68] Compiling Data.Singletons.Prelude.Base ( src/Data/Singletons/Prelude/Base.hs, dist/build/Data/Singletons/Prelude/Base.o ) [43 of 68] Compiling Data.Singletons.Prelude.Monad.Internal ( src/Data/Singletons/Prelude/Monad/Internal.hs, dist/build/Data/Singletons/Prelude/Monad/Internal.o ) [44 of 68] Compiling Data.Singletons.Prelude.Functor ( src/Data/Singletons/Prelude/Functor.hs, dist/build/Data/Singletons/Prelude/Functor.o ) [45 of 68] Compiling Data.Singletons.Prelude.Function ( src/Data/Singletons/Prelude/Function.hs, dist/build/Data/Singletons/Prelude/Function.o ) [46 of 68] Compiling Data.Singletons.Prelude.Enum ( src/Data/Singletons/Prelude/Enum.hs, dist/build/Data/Singletons/Prelude/Enum.o ) [47 of 68] Compiling Data.Singletons.Prelude.Semigroup.Internal ( src/Data/Singletons/Prelude/Semigroup/Internal.hs, dist/build/Data/Singletons/Prelude/Semigroup/Internal.o ) [48 of 68] Compiling Data.Singletons.Prelude.List.Internal ( src/Data/Singletons/Prelude/List/Internal.hs, dist/build/Data/Singletons/Prelude/List/Internal.o ) [49 of 68] Compiling Data.Singletons.Prelude.Show ( src/Data/Singletons/Prelude/Show.hs, dist/build/Data/Singletons/Prelude/Show.o ) [50 of 68] Compiling Data.Singletons.Prelude.Monoid ( src/Data/Singletons/Prelude/Monoid.hs, dist/build/Data/Singletons/Prelude/Monoid.o ) [51 of 68] Compiling Data.Singletons.Prelude.List.Internal.Disambiguation ( src/Data/Singletons/Prelude/List/Internal/Disambiguation.hs, dist/build/Data/Singletons/Prelude/List/Internal/Disambiguation.o ) [52 of 68] Compiling Data.Singletons.Prelude.Either ( src/Data/Singletons/Prelude/Either.hs, dist/build/Data/Singletons/Prelude/Either.o ) [53 of 68] Compiling Data.Singletons.Prelude.Foldable ( src/Data/Singletons/Prelude/Foldable.hs, dist/build/Data/Singletons/Prelude/Foldable.o ) [54 of 68] Compiling Data.Singletons.Prelude.Identity ( src/Data/Singletons/Prelude/Identity.hs, dist/build/Data/Singletons/Prelude/Identity.o ) [55 of 68] Compiling Data.Singletons.Prelude.Const ( src/Data/Singletons/Prelude/Const.hs, dist/build/Data/Singletons/Prelude/Const.o ) [56 of 68] Compiling Data.Singletons.Prelude.Traversable ( src/Data/Singletons/Prelude/Traversable.hs, dist/build/Data/Singletons/Prelude/Traversable.o ) [57 of 68] Compiling Data.Singletons.Prelude.Semigroup ( src/Data/Singletons/Prelude/Semigroup.hs, dist/build/Data/Singletons/Prelude/Semigroup.o ) [58 of 68] Compiling Data.Singletons.Prelude.List ( src/Data/Singletons/Prelude/List.hs, dist/build/Data/Singletons/Prelude/List.o ) [59 of 68] Compiling Data.Singletons.Prelude.Monad.Zip ( src/Data/Singletons/Prelude/Monad/Zip.hs, dist/build/Data/Singletons/Prelude/Monad/Zip.o ) [60 of 68] Compiling Data.Singletons.Prelude.List.NonEmpty ( src/Data/Singletons/Prelude/List/NonEmpty.hs, dist/build/Data/Singletons/Prelude/List/NonEmpty.o ) [61 of 68] Compiling Data.Singletons.Prelude.IsString ( src/Data/Singletons/Prelude/IsString.hs, dist/build/Data/Singletons/Prelude/IsString.o ) [62 of 68] Compiling Data.Singletons.Prelude.Applicative ( src/Data/Singletons/Prelude/Applicative.hs, dist/build/Data/Singletons/Prelude/Applicative.o ) [63 of 68] Compiling Data.Singletons.Prelude.Monad ( src/Data/Singletons/Prelude/Monad.hs, dist/build/Data/Singletons/Prelude/Monad.o ) [64 of 68] Compiling Data.Singletons ( src/Data/Singletons.hs, dist/build/Data/Singletons.o ) [65 of 68] Compiling Data.Singletons.TH ( src/Data/Singletons/TH.hs, dist/build/Data/Singletons/TH.o ) [66 of 68] Compiling Data.Singletons.TypeError ( src/Data/Singletons/TypeError.hs, dist/build/Data/Singletons/TypeError.o ) [67 of 68] Compiling Data.Singletons.Prelude ( src/Data/Singletons/Prelude.hs, dist/build/Data/Singletons/Prelude.o ) [68 of 68] Compiling Data.Singletons.CustomStar ( src/Data/Singletons/CustomStar.hs, dist/build/Data/Singletons/CustomStar.o ) collect2: error: ld returned 1 exit status `gcc' failed in phase `Linker'. (Exit code: 1) cabal: Leaving directory '/tmp/cabal-tmp-28259/singletons-2.5.1' cabal: Error: some packages failed to install: singletons-2.5.1-43ZqbuObokDBX1ViE9uKhA failed during the building phase. The exception was: ExitFailure 1 type-natural-0.9.0.0-1b5Ctli1raeF5h8yLV8asj depends on type-natural-0.9.0.0 which failed to install.