Resolving dependencies... Starting cabal-doctest-1.0.8 Starting data-lens-light-0.1.2.2 Starting base-orphans-0.8.2 Starting base-compat-0.11.1 Building cabal-doctest-1.0.8 Building base-orphans-0.8.2 Building data-lens-light-0.1.2.2 Building base-compat-0.11.1 Completed data-lens-light-0.1.2.2 Starting dlist-0.8.0.8 Completed cabal-doctest-1.0.8 Starting hashable-1.3.0.0 Building dlist-0.8.0.8 Building hashable-1.3.0.0 Completed base-orphans-0.8.2 Starting integer-logarithms-1.0.3 Building integer-logarithms-1.0.3 Completed dlist-0.8.0.8 Starting old-locale-1.0.0.7 Building old-locale-1.0.0.7 Completed integer-logarithms-1.0.3 Starting primitive-0.7.1.0 Completed hashable-1.3.0.0 Starting semigroups-0.19.1 Building primitive-0.7.1.0 Completed old-locale-1.0.0.7 Starting splitmix-0.1 Building semigroups-0.19.1 Completed base-compat-0.11.1 Starting spoon-0.3.1 Building splitmix-0.1 Building spoon-0.3.1 Completed semigroups-0.19.1 Starting tagged-0.8.6 Building tagged-0.8.6 Completed spoon-0.3.1 Starting th-abstraction-0.3.2.0 Building th-abstraction-0.3.2.0 Completed splitmix-0.1 Starting transformers-compat-0.6.5 Building transformers-compat-0.6.5 Completed tagged-0.8.6 Starting type-equality-1 Building type-equality-1 Completed transformers-compat-0.6.5 Starting uglymemo-0.1.0.1 Completed type-equality-1 Starting time-compat-1.9.3 Building uglymemo-0.1.0.1 Building time-compat-1.9.3 Completed th-abstraction-0.3.2.0 Starting unordered-containers-0.2.11.0 Building unordered-containers-0.2.11.0 Completed uglymemo-0.1.0.1 Starting case-insensitive-1.2.1.0 Building case-insensitive-1.2.1.0 Completed case-insensitive-1.2.1.0 Starting old-time-1.1.0.3 Completed time-compat-1.9.3 Starting random-1.2.0 Building random-1.2.0 Building old-time-1.1.0.3 Completed primitive-0.7.1.0 Starting distributive-0.6.2 Building distributive-0.6.2 Completed old-time-1.1.0.3 Starting constraints-0.12 Building constraints-0.12 Completed unordered-containers-0.2.11.0 Starting vector-0.12.1.2 Building vector-0.12.1.2 Completed distributive-0.6.2 Starting scientific-0.3.6.2 Completed random-1.2.0 Starting comonad-5.0.6 Building scientific-0.3.6.2 Building comonad-5.0.6 Completed scientific-0.3.6.2 Starting uuid-types-1.0.3 Building uuid-types-1.0.3 Completed constraints-0.12 Starting QuickCheck-2.14.1 Building QuickCheck-2.14.1 Completed comonad-5.0.6 Starting bifunctors-5.5.7 Building bifunctors-5.5.7 Completed uuid-types-1.0.3 Completed bifunctors-5.5.7 Starting assoc-1.0.1 Building assoc-1.0.1 Completed assoc-1.0.1 Starting these-1.1.1.1 Building these-1.1.1.1 Completed these-1.1.1.1 Completed QuickCheck-2.14.1 Completed vector-0.12.1.2 Starting quickcheck-instances-0.3.23 Starting twee-lib-2.2 Building twee-lib-2.2 Building quickcheck-instances-0.3.23 Completed quickcheck-instances-0.3.23 Completed twee-lib-2.2 Starting quickspec-2.1.3 Building quickspec-2.1.3 Failed to install quickspec-2.1.3 Build log ( /home/builder/.cabal/logs/ghc-8.6.3/quickspec-2.1.3-1aBC34ygwcrAYPcyl6yh45.log ): cabal: Entering directory '/tmp/cabal-tmp-17690/quickspec-2.1.3' Configuring quickspec-2.1.3... Preprocessing library for quickspec-2.1.3.. Building library for quickspec-2.1.3.. [ 1 of 24] Compiling QuickSpec.Internal.Terminal ( src/QuickSpec/Internal/Terminal.hs, dist/build/QuickSpec/Internal/Terminal.o ) [ 2 of 24] Compiling QuickSpec.Internal.Testing.DecisionTree ( src/QuickSpec/Internal/Testing/DecisionTree.hs, dist/build/QuickSpec/Internal/Testing/DecisionTree.o ) [ 3 of 24] Compiling QuickSpec.Internal.Type ( src/QuickSpec/Internal/Type.hs, dist/build/QuickSpec/Internal/Type.o ) [ 4 of 24] Compiling QuickSpec.Internal.Haskell.Resolve ( src/QuickSpec/Internal/Haskell/Resolve.hs, dist/build/QuickSpec/Internal/Haskell/Resolve.o ) [ 5 of 24] Compiling QuickSpec.Internal.Utils ( src/QuickSpec/Internal/Utils.hs, dist/build/QuickSpec/Internal/Utils.o ) [ 6 of 24] Compiling QuickSpec.Internal.Term ( src/QuickSpec/Internal/Term.hs, dist/build/QuickSpec/Internal/Term.o ) [ 7 of 24] Compiling QuickSpec.Internal.Prop ( src/QuickSpec/Internal/Prop.hs, dist/build/QuickSpec/Internal/Prop.o ) [ 8 of 24] Compiling QuickSpec.Internal.Testing ( src/QuickSpec/Internal/Testing.hs, dist/build/QuickSpec/Internal/Testing.o ) [ 9 of 24] Compiling QuickSpec.Internal.Pruning ( src/QuickSpec/Internal/Pruning.hs, dist/build/QuickSpec/Internal/Pruning.o ) src/QuickSpec/Internal/Pruning.hs:8:1: warning: [-Wunused-imports] The import of ‘Control.Monad’ is redundant except perhaps to import instances from ‘Control.Monad’ To import instances alone, use: import Control.Monad() | 8 | import Control.Monad | ^^^^^^^^^^^^^^^^^^^^ [10 of 24] Compiling QuickSpec.Internal.Testing.QuickCheck ( src/QuickSpec/Internal/Testing/QuickCheck.hs, dist/build/QuickSpec/Internal/Testing/QuickCheck.o ) src/QuickSpec/Internal/Testing/QuickCheck.hs:60:7: error: Ambiguous occurrence ‘uniform’ It could refer to either ‘System.Random.uniform’, imported from ‘System.Random’ at src/QuickSpec/Internal/Testing/QuickCheck.hs:17:1-20 or ‘QuickSpec.Internal.Testing.QuickCheck.uniform’, defined at src/QuickSpec/Internal/Testing/QuickCheck.hs:70:1 | 60 | uniform (toInteger n) (toInteger k^bias) | ^^^^^^^ cabal: Leaving directory '/tmp/cabal-tmp-17690/quickspec-2.1.3' cabal: Error: some packages failed to install: quickspec-2.1.3-1aBC34ygwcrAYPcyl6yh45 failed during the building phase. The exception was: ExitFailure 1