Resolving dependencies... Configuring base-orphans-0.5.4... Configuring cabal-doctest-1... Building cabal-doctest-1... Building base-orphans-0.5.4... Installed base-orphans-0.5.4 Configuring cereal-0.5.4.0... Building cereal-0.5.4.0... Configuring dependent-sum-0.3.2.2... Installed cabal-doctest-1 Building dependent-sum-0.3.2.2... Configuring erf-2.0.0.0... Failed to install dependent-sum-0.3.2.2 Build log ( /home/builder/.cabal/logs/dependent-sum-0.3.2.2.log ): cabal: Entering directory '/tmp/cabal-tmp-10260/dependent-sum-0.3.2.2' Configuring dependent-sum-0.3.2.2... Building dependent-sum-0.3.2.2... Preprocessing library dependent-sum-0.3.2.2... [1 of 4] Compiling Data.GADT.Show ( src/Data/GADT/Show.hs, dist/build/Data/GADT/Show.o ) [2 of 4] Compiling Data.GADT.Compare ( src/Data/GADT/Compare.hs, dist/build/Data/GADT/Compare.o ) src/Data/GADT/Compare.hs:61:30: error: • Couldn't match type ‘(forall (a1 :: k1). x := a1 -> b0) -> b0’ with ‘forall b. (forall (a1 :: k1). x := a1 -> b) -> b’ Expected type: [(forall b. (forall (a :: k1). x := a -> b) -> b, String)] Actual type: [((forall (a :: k1). x := a -> b0) -> b0, String)] • In the expression: return ((\ x -> x Refl) :: forall b. (forall a. x := a -> b) -> b, rest) In an equation for ‘f’: f (Refl, rest) = return ((\ x -> x Refl) :: forall b. (forall a. x := a -> b) -> b, rest) In an equation for ‘greadsPrec’: greadsPrec p s = readsPrec p s >>= f where f :: forall x. (x := x, String) -> [(forall b. (forall a. x := a -> b) -> b, String)] f (Refl, rest) = return ((\ x -> x Refl) :: forall b. (forall a. x := a -> b) -> b, rest) • Relevant bindings include f :: (x := x, String) -> [(forall b. (forall (a :: k1). x := a -> b) -> b, String)] (bound at src/Data/GADT/Compare.hs:61:13) cabal: Leaving directory '/tmp/cabal-tmp-10260/dependent-sum-0.3.2.2' Building erf-2.0.0.0... Configuring fail-4.9.0.0... Installed erf-2.0.0.0 Building fail-4.9.0.0... Configuring integer-logarithms-1.0.1... Installed fail-4.9.0.0 Building integer-logarithms-1.0.1... Configuring monad-loops-0.4.3... Installed cereal-0.5.4.0 Building monad-loops-0.4.3... Configuring mtl-2.2.1... Installed integer-logarithms-1.0.1 Building mtl-2.2.1... Configuring network-2.6.3.1... Installed monad-loops-0.4.3 Building network-2.6.3.1... Configuring primitive-0.6.1.0... Installed mtl-2.2.1 Building primitive-0.6.1.0... Configuring old-locale-1.0.0.7... Installed primitive-0.6.1.0 Building old-locale-1.0.0.7... Configuring random-1.1... Installed old-locale-1.0.0.7 Configuring semigroups-0.18.2... Installed network-2.6.3.1 Building random-1.1... Building semigroups-0.18.2... Configuring split-0.2.3.1... Installed semigroups-0.18.2 Building split-0.2.3.1... Configuring stm-2.4.4.1... Installed random-1.1 Building stm-2.4.4.1... Configuring syb-0.6... Installed split-0.2.3.1 Building syb-0.6... Configuring transformers-compat-0.5.1.4... Installed stm-2.4.4.1 Building transformers-compat-0.5.1.4... Configuring text-1.2.2.1... Installed syb-0.6 Configuring utf8-string-1.0.1.1... Installed transformers-compat-0.5.1.4 Building text-1.2.2.1... Building utf8-string-1.0.1.1... Configuring zlib-0.6.1.2... Installed utf8-string-1.0.1.1 Building zlib-0.6.1.2... Installed zlib-0.6.1.2 Configuring MonadPrompt-1.0.0.5... Building MonadPrompt-1.0.0.5... Configuring regex-base-0.93.2... Installed MonadPrompt-1.0.0.5 Building regex-base-0.93.2... Configuring hslogger-1.2.10... Installed regex-base-0.93.2 Building hslogger-1.2.10... Configuring vector-0.11.0.0... Installed text-1.2.2.1 Building vector-0.11.0.0... Configuring old-time-1.1.0.3... Installed hslogger-1.2.10 Building old-time-1.1.0.3... Configuring edit-distance-0.2.2.1... Installed old-time-1.1.0.3 Building edit-distance-0.2.2.1... Configuring mersenne-random-pure64-0.2.2.0... Installed edit-distance-0.2.2.1 Building mersenne-random-pure64-0.2.2.0... Configuring SafeSemaphore-0.10.1... Installed mersenne-random-pure64-0.2.2.0 Building SafeSemaphore-0.10.1... Configuring StateVar-1.1.0.4... Installed SafeSemaphore-0.10.1 Building StateVar-1.1.0.4... Configuring stateref-0.3... Installed StateVar-1.1.0.4 Building stateref-0.3... Configuring th-extras-0.0.0.4... Installed stateref-0.3 Building th-extras-0.0.0.4... Configuring MonadRandom-0.5.1... Installed vector-0.11.0.0 Building MonadRandom-0.5.1... Configuring tagged-0.8.5... Installed th-extras-0.0.0.4 Building tagged-0.8.5... Configuring transformers-base-0.4.4... Installed MonadRandom-0.5.1 Building transformers-base-0.4.4... Installed tagged-0.8.5 Configuring hashable-1.2.5.0... Building hashable-1.2.5.0... Configuring parsec-3.1.11... Installed transformers-base-0.4.4 Building parsec-3.1.11... Configuring safecopy-0.9.2... Installed hashable-1.2.5.0 Building safecopy-0.9.2... Configuring mwc-random-0.13.5.0... Installed parsec-3.1.11 Building mwc-random-0.13.5.0... Configuring vector-th-unbox-0.2.1.6... Installed safecopy-0.9.2 Building vector-th-unbox-0.2.1.6... Configuring flexible-defaults-0.0.1.2... Installed mwc-random-0.13.5.0 Building flexible-defaults-0.0.1.2... Configuring random-shuffle-0.0.4... Installed vector-th-unbox-0.2.1.6 Building random-shuffle-0.0.4... Configuring distributive-0.5.2... Installed flexible-defaults-0.0.1.2 Installed random-shuffle-0.0.4 Configuring scientific-0.3.4.10... Building scientific-0.3.4.10... Building distributive-0.5.2... Configuring monad-control-1.0.1.0... Installed distributive-0.5.2 Configuring network-uri-2.6.1.0... Installed scientific-0.3.4.10 Building monad-control-1.0.1.0... Building network-uri-2.6.1.0... Configuring void-0.7.1... Installed monad-control-1.0.1.0 Building void-0.7.1... Configuring unordered-containers-0.2.7.2... Installed network-uri-2.6.1.0 Configuring regex-tdfa-1.2.2... Installed void-0.7.1 Building unordered-containers-0.2.7.2... Building regex-tdfa-1.2.2... Configuring math-functions-0.2.1.0... Installed unordered-containers-0.2.7.2 Building math-functions-0.2.1.0... Configuring random-source-0.3.0.6... Installed regex-tdfa-1.2.2 Building random-source-0.3.0.6... Installed math-functions-0.2.1.0 Configuring lifted-base-0.2.3.10... Building lifted-base-0.2.3.10... Configuring contravariant-1.4... Installed lifted-base-0.2.3.10 Building contravariant-1.4... Configuring HTTP-4000.3.5... Installed random-source-0.3.0.6 Building HTTP-4000.3.5... Configuring bytes-0.15.2... Installed contravariant-1.4 Building bytes-0.15.2... Installed HTTP-4000.3.5 Configuring rvar-0.2.0.3... Building rvar-0.2.0.3... Configuring comonad-5... Installed rvar-0.2.0.3 Installed bytes-0.15.2 Building comonad-5... Installed comonad-5 Configuring bifunctors-5.4.1... Building bifunctors-5.4.1... Installed bifunctors-5.4.1 Configuring semigroupoids-5.1... Building semigroupoids-5.1... Installed semigroupoids-5.1 Configuring log-domain-0.11... Building log-domain-0.11... Installed log-domain-0.11 Configuring random-fu-0.2.7.0... Building random-fu-0.2.7.0... Installed random-fu-0.2.7.0 cabal: Error: some packages failed to install: dependent-map-0.2.4.0 depends on dependent-sum-0.3.2.2 which failed to install. dependent-sum-0.3.2.2 failed during the building phase. The exception was: ExitFailure 1 dependent-sum-template-0.0.0.5 depends on dependent-sum-0.3.2.2 which failed to install. lambdabot-core-5.1.0.1 depends on dependent-sum-0.3.2.2 which failed to install. lambdabot-social-plugins-5.1.0.1 depends on dependent-sum-0.3.2.2 which failed to install. prim-uniq-0.1.0.1 depends on dependent-sum-0.3.2.2 which failed to install.