Resolving dependencies... Configuring Boolean-0.2.3... Configuring NumInstances-1.4... Building Boolean-0.2.3... Building NumInstances-1.4... Installed Boolean-0.2.3 Configuring appar-0.1.4... Configuring auto-update-0.1.4... Installed NumInstances-1.4 Building appar-0.1.4... Building auto-update-0.1.4... Configuring base-compat-0.9.1... Installed appar-0.1.4 Configuring base-orphans-0.5.4... Installed auto-update-0.1.4 Building base-compat-0.9.1... Building base-orphans-0.5.4... Configuring byteable-0.1.1... Installed base-orphans-0.5.4 Building byteable-0.1.1... Configuring base64-bytestring-1.0.0.1... Installed base-compat-0.9.1 Configuring bytestring-builder-0.10.8.1.0... Installed byteable-0.1.1 Building base64-bytestring-1.0.0.1... Building bytestring-builder-0.10.8.1.0... Configuring byteorder-1.0.4... Installed bytestring-builder-0.10.8.1.0 Building byteorder-1.0.4... Configuring cereal-0.5.4.0... Installed base64-bytestring-1.0.0.1 Configuring clock-0.7.2... Installed byteorder-1.0.4 Building cereal-0.5.4.0... Building clock-0.7.2... Configuring data-default-class-0.1.2.0... Installed clock-0.7.2 Building data-default-class-0.1.2.0... Configuring cmdargs-0.10.14... Installed data-default-class-0.1.2.0 Building cmdargs-0.10.14... Configuring dependent-sum-0.2.1.0... Installed cereal-0.5.4.0 Building dependent-sum-0.2.1.0... Configuring data-inttrie-0.1.2... Failed to install dependent-sum-0.2.1.0 Build log ( /home/builder/.cabal/logs/dependent-sum-0.2.1.0.log ): cabal: Entering directory '/tmp/cabal-tmp-3671/dependent-sum-0.2.1.0' Configuring dependent-sum-0.2.1.0... Building dependent-sum-0.2.1.0... Preprocessing library dependent-sum-0.2.1.0... [1 of 3] Compiling Data.GADT.Show ( src/Data/GADT/Show.hs, dist/build/Data/GADT/Show.o ) [2 of 3] Compiling Data.GADT.Compare ( src/Data/GADT/Compare.hs, dist/build/Data/GADT/Compare.o ) src/Data/GADT/Compare.hs:60:30: error: • Couldn't match type ‘(a0 :~: a0 -> t0) -> t0’ with ‘forall b. (forall (a1 :: k). x := a1 -> b) -> b’ Expected type: [(forall b. (forall (a :: k). x := a -> b) -> b, String)] Actual type: [((a0 :~: a0 -> t0) -> t0, String)] • In the expression: return (\ x -> x Refl, rest) In an equation for ‘f’: f (Refl, rest) = return (\ x -> x Refl, rest) In an equation for ‘greadsPrec’: greadsPrec p s = readsPrec p s >>= f where f :: (x := x, String) -> [(forall b. (forall a. x := a -> b) -> b, String)] f (Refl, rest) = return (\ x -> x Refl, rest) • Relevant bindings include f :: (x := x, String) -> [(forall b. (forall (a :: k). x := a -> b) -> b, String)] (bound at src/Data/GADT/Compare.hs:60:13) cabal: Leaving directory '/tmp/cabal-tmp-3671/dependent-sum-0.2.1.0' Building data-inttrie-0.1.2... Configuring dlist-0.8.0.2... Installed data-inttrie-0.1.2 Building dlist-0.8.0.2... Configuring easy-file-0.2.1... Installed dlist-0.8.0.2 Building easy-file-0.2.1... Configuring erf-2.0.0.0... Installed easy-file-0.2.1 Building erf-2.0.0.0... Configuring extensible-exceptions-0.1.1.4... Installed erf-2.0.0.0 Building extensible-exceptions-0.1.1.4... Configuring ghc-paths-0.1.0.9... Installed extensible-exceptions-0.1.1.4 Building ghc-paths-0.1.0.9... Configuring hourglass-0.2.10... Installed cmdargs-0.10.14 Configuring js-flot-0.8.3... Installed ghc-paths-0.1.0.9 Building hourglass-0.2.10... Building js-flot-0.8.3... Configuring js-jquery-3.1.1... Installed js-flot-0.8.3 Building js-jquery-3.1.1... Configuring knob-0.1.1... Installed js-jquery-3.1.1 Building knob-0.1.1... Configuring memory-0.13... Installed knob-0.1.1 Building memory-0.13... Configuring lazysmallcheck-0.6... Installed hourglass-0.2.10 Building lazysmallcheck-0.6... Configuring mmap-0.5.9... Installed lazysmallcheck-0.6 Building mmap-0.5.9... Configuring monad-loops-0.4.3... Installed mmap-0.5.9 Building monad-loops-0.4.3... Configuring mtl-2.2.1... Installed memory-0.13 Building mtl-2.2.1... Configuring network-2.6.3.1... Installed monad-loops-0.4.3 Building network-2.6.3.1... Configuring newtype-generics-0.5... Installed mtl-2.2.1 Building newtype-generics-0.5... Configuring numbers-3000.2.0.1... Installed newtype-generics-0.5 Building numbers-3000.2.0.1... Configuring old-locale-1.0.0.7... Installed network-2.6.3.1 Configuring primitive-0.6.1.0... Installed numbers-3000.2.0.1 Building old-locale-1.0.0.7... Building primitive-0.6.1.0... Configuring random-1.1... Installed old-locale-1.0.0.7 Building random-1.1... Configuring semigroups-0.18.2... Installed primitive-0.6.1.0 Building semigroups-0.18.2... Configuring simple-reflect-0.3.2... Installed random-1.1 Building simple-reflect-0.3.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 simple-reflect-0.3.2 Building stm-2.4.4.1... Configuring syb-0.6... Installed split-0.2.3.1 Building syb-0.6... Configuring tar-0.5.0.3... Installed stm-2.4.4.1 Building tar-0.5.0.3... Configuring time-locale-compat-0.1.1.3... Installed syb-0.6 Building time-locale-compat-0.1.1.3... Configuring text-1.2.2.1... Installed time-locale-compat-0.1.1.3 Building text-1.2.2.1... Configuring unix-compat-0.4.3.1... Installed tar-0.5.0.3 Building unix-compat-0.4.3.1... Configuring transformers-compat-0.5.1.4... Installed unix-compat-0.4.3.1 Building transformers-compat-0.5.1.4... Configuring utf8-string-1.0.1.1... Installed transformers-compat-0.5.1.4 Building utf8-string-1.0.1.1... Configuring word8-0.1.2... Installed utf8-string-1.0.1.1 Building word8-0.1.2... Configuring zlib-0.6.1.2... Installed word8-0.1.2 Building zlib-0.6.1.2... Installed text-1.2.2.1 Configuring extra-1.5.1... Building extra-1.5.1... Installed zlib-0.6.1.2 Configuring data-memocombinators-0.5.1... Building data-memocombinators-0.5.1... Installed extra-1.5.1 Configuring asn1-types-0.3.2... Building asn1-types-0.3.2... Installed data-memocombinators-0.5.1 Configuring MonadPrompt-1.0.0.5... Building MonadPrompt-1.0.0.5... Configuring cryptonite-0.20... Installed MonadPrompt-1.0.0.5 Building cryptonite-0.20... Configuring logict-0.6.0.2... Installed asn1-types-0.3.2 Building logict-0.6.0.2... Configuring brainfuck-0.1.0.3... Installed logict-0.6.0.2 Building brainfuck-0.1.0.3... Configuring regex-base-0.93.2... Installed brainfuck-0.1.0.3 Building regex-base-0.93.2... Configuring pem-0.2.2... Installed regex-base-0.93.2 Building pem-0.2.2... Configuring MemoTrie-0.6.7... Installed pem-0.2.2 Building MemoTrie-0.6.7... Configuring unlambda-0.1.4.2... Installed MemoTrie-0.6.7 Building unlambda-0.1.4.2... Configuring simple-sendfile-0.2.25... Installed unlambda-0.1.4.2 Building simple-sendfile-0.2.25... Configuring iproute-1.7.1... Installed simple-sendfile-0.2.25 Building iproute-1.7.1... Configuring socks-0.5.5... Installed iproute-1.7.1 Building socks-0.5.5... Configuring old-time-1.1.0.3... Installed socks-0.5.5 Configuring hslogger-1.2.10... Installed cryptonite-0.20 Building old-time-1.1.0.3... Building hslogger-1.2.10... Configuring edit-distance-0.2.2.1... Installed old-time-1.1.0.3 Configuring vector-0.11.0.0... Installed hslogger-1.2.10 Building edit-distance-0.2.2.1... Building vector-0.11.0.0... 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 tf-random-0.5... Installed SafeSemaphore-0.10.1 Building tf-random-0.5... Configuring StateVar-1.1.0.4... Installed tf-random-0.5 Building StateVar-1.1.0.4... Configuring async-2.1.1... Installed StateVar-1.1.0.4 Building async-2.1.1... Configuring stateref-0.3... Installed async-2.1.1 Building stateref-0.3... Configuring show-0.6... Installed stateref-0.3 Building show-0.6... Configuring th-extras-0.0.0.4... Installed vector-0.11.0.0 Configuring MonadRandom-0.4.2.3... Installed show-0.6 Building th-extras-0.0.0.4... Building MonadRandom-0.4.2.3... Configuring exceptions-0.8.3... Installed th-extras-0.0.0.4 Building exceptions-0.8.3... Configuring mmorph-1.0.9... Installed MonadRandom-0.4.2.3 Building mmorph-1.0.9... Configuring tagged-0.8.5... Installed exceptions-0.8.3 Configuring transformers-base-0.4.4... Installed mmorph-1.0.9 Building tagged-0.8.5... Building transformers-base-0.4.4... Configuring blaze-builder-0.4.0.2... Installed transformers-base-0.4.4 Building blaze-builder-0.4.0.2... Configuring hashable-1.2.4.0... Installed tagged-0.8.5 Building hashable-1.2.4.0... Configuring hstatsd-0.1... Installed blaze-builder-0.4.0.2 Configuring mime-types-0.1.0.7... Installed hashable-1.2.4.0 Building hstatsd-0.1... Building mime-types-0.1.0.7... Configuring parsec-3.1.11... Installed hstatsd-0.1 Building parsec-3.1.11... Configuring tagsoup-0.14... Installed mime-types-0.1.0.7 Building tagsoup-0.14... Configuring polyparse-1.12... Installed parsec-3.1.11 Building polyparse-1.12... Installed polyparse-1.12 Configuring asn1-encoding-0.9.4... Building asn1-encoding-0.9.4... Installed tagsoup-0.14 Configuring regex-pcre-0.94.4... Building regex-pcre-0.94.4... Configuring vector-space-0.10.4... Installed asn1-encoding-0.9.4 Building vector-space-0.10.4... Configuring unix-time-0.3.7... Installed regex-pcre-0.94.4 Building unix-time-0.3.7... Configuring QuickCheck-2.8.2... Installed unix-time-0.3.7 Configuring safecopy-0.9.2... Installed vector-space-0.10.4 Building QuickCheck-2.8.2... Building safecopy-0.9.2... Configuring mwc-random-0.13.5.0... Installed safecopy-0.9.2 Building mwc-random-0.13.5.0... Configuring vector-th-unbox-0.2.1.6... Installed mwc-random-0.13.5.0 Configuring random-shuffle-0.0.4... Installed QuickCheck-2.8.2 Building vector-th-unbox-0.2.1.6... Building random-shuffle-0.0.4... Configuring flexible-defaults-0.0.1.2... Installed random-shuffle-0.0.4 Building flexible-defaults-0.0.1.2... Configuring hint-0.6.0... Installed vector-th-unbox-0.2.1.6 Building hint-0.6.0... Configuring monad-control-1.0.1.0... Installed flexible-defaults-0.0.1.2 Building monad-control-1.0.1.0... Configuring distributive-0.5.0.2... Installed monad-control-1.0.1.0 Building distributive-0.5.0.2... Configuring cookie-0.4.2.1... Installed hint-0.6.0 Building cookie-0.4.2.1... Configuring case-insensitive-1.2.0.7... Installed distributive-0.5.0.2 Building case-insensitive-1.2.0.7... Configuring streaming-commons-0.1.16... Installed cookie-0.4.2.1 Building streaming-commons-0.1.16... Configuring scientific-0.3.4.9... Installed case-insensitive-1.2.0.7 Building scientific-0.3.4.9... Configuring psqueues-0.2.2.3... Installed scientific-0.3.4.9 Building psqueues-0.2.2.3... Configuring void-0.7.1... Installed streaming-commons-0.1.16 Building void-0.7.1... Configuring unordered-containers-0.2.7.1... Installed void-0.7.1 Building unordered-containers-0.2.7.1... Configuring network-uri-2.6.1.0... Installed psqueues-0.2.2.3 Building network-uri-2.6.1.0... Configuring regex-tdfa-1.2.2... Installed network-uri-2.6.1.0 Building regex-tdfa-1.2.2... Configuring cpphs-1.20.2... Installed unordered-containers-0.2.7.1 Building cpphs-1.20.2... Installed cpphs-1.20.2 Configuring asn1-parse-0.9.4... Building asn1-parse-0.9.4... Installed regex-tdfa-1.2.2 Configuring fast-logger-2.4.7... Configuring QuickCheck-safe-0.1.0.1... Installed asn1-parse-0.9.4 Building fast-logger-2.4.7... Building QuickCheck-safe-0.1.0.1... Configuring Stream-0.4.7.2... Installed QuickCheck-safe-0.1.0.1 Configuring random-source-0.3.0.6... Installed fast-logger-2.4.7 Building Stream-0.4.7.2... Building random-source-0.3.0.6... Configuring math-functions-0.2.1.0... Installed Stream-0.4.7.2 Building math-functions-0.2.1.0... Configuring lifted-base-0.2.3.8... Installed random-source-0.3.0.6 Building lifted-base-0.2.3.8... Configuring mueval-0.9.3... Installed math-functions-0.2.1.0 Building mueval-0.9.3... Configuring http-types-0.9.1... Installed lifted-base-0.2.3.8 Building http-types-0.9.1... Configuring contravariant-1.4... Installed http-types-0.9.1 Building contravariant-1.4... Configuring attoparsec-0.13.1.0... Installed contravariant-1.4 Configuring HTTP-4000.3.3... Building attoparsec-0.13.1.0... Installed mueval-0.9.3 Building HTTP-4000.3.3... Configuring http2-1.6.2... Installed attoparsec-0.13.1.0 Building http2-1.6.2... Configuring network-uri-flag-0.1... Installed HTTP-4000.3.3 Building network-uri-flag-0.1... Configuring uniplate-1.6.12... Installed network-uri-flag-0.1 Building uniplate-1.6.12... Configuring bytes-0.15.2... Installed uniplate-1.6.12 Configuring vault-0.3.0.6... Installed http2-1.6.2 Building vault-0.3.0.6... Configuring haskell-src-exts-1.16.0.1... Installed vault-0.3.0.6 Building bytes-0.15.2... Building haskell-src-exts-1.16.0.1... Installed bytes-0.15.2 Configuring x509-1.6.5... Building x509-1.6.5... Configuring arrows-0.4.4.1... Installed x509-1.6.5 Building arrows-0.4.4.1... Configuring IOSpec-0.3... Installed arrows-0.4.4.1 Building IOSpec-0.3... Configuring rvar-0.2.0.3... Installed IOSpec-0.3 Building rvar-0.2.0.3... Configuring resourcet-1.1.8.1... Installed rvar-0.2.0.3 Building resourcet-1.1.8.1... Configuring http-client-0.5.4... Installed resourcet-1.1.8.1 Building http-client-0.5.4... Configuring comonad-5... Installed http-client-0.5.4 Building comonad-5... Configuring http-date-0.0.6.1... Installed comonad-5 Building http-date-0.0.6.1... Configuring aeson-1.0.2.1... Installed http-date-0.0.6.1 Building aeson-1.0.2.1... Configuring wai-3.2.1.1... Installed aeson-1.0.2.1 Building wai-3.2.1.1... Configuring oeis-0.3.8... Installed wai-3.2.1.1 Building oeis-0.3.8... Installed oeis-0.3.8 Configuring x509-store-1.6.2... Building x509-store-1.6.2... Configuring bifunctors-5.4.1... Installed x509-store-1.6.2 Building bifunctors-5.4.1... Configuring conduit-1.2.8... Installed bifunctors-5.4.1 Building conduit-1.2.8... Configuring wai-logger-2.3.0... Installed haskell-src-exts-1.16.0.1 Building wai-logger-2.3.0... Configuring warp-3.2.9... Installed wai-logger-2.3.0 Building warp-3.2.9... Configuring lambdabot-trusted-5.0.2.1... Installed conduit-1.2.8 Building lambdabot-trusted-5.0.2.1... Installed lambdabot-trusted-5.0.2.1 Configuring x509-system-1.6.4... Building x509-system-1.6.4... Configuring x509-validation-1.6.5... Installed x509-system-1.6.4 Building x509-validation-1.6.5... Configuring hashable-extras-0.2.3... Installed warp-3.2.9 Configuring semigroupoids-5.1... Installed x509-validation-1.6.5 Building hashable-extras-0.2.3... Building semigroupoids-5.1... Configuring conduit-extra-1.1.15... Installed hashable-extras-0.2.3 Building conduit-extra-1.1.15... Installed conduit-extra-1.1.15 Configuring tls-1.3.8... Installed semigroupoids-5.1 Configuring log-domain-0.10.3.1... Building tls-1.3.8... Building log-domain-0.10.3.1... Installed log-domain-0.10.3.1 Configuring random-fu-0.2.7.0... Building random-fu-0.2.7.0... Installed tls-1.3.8 Configuring connection-0.2.6... Building connection-0.2.6... Configuring warp-tls-3.2.2... Installed connection-0.2.6 Building warp-tls-3.2.2... Installed warp-tls-3.2.2 Configuring http-client-tls-0.3.3... Building http-client-tls-0.3.3... Installed http-client-tls-0.3.3 Configuring http-conduit-2.2.3... Building http-conduit-2.2.3... Installed random-fu-0.2.7.0 Configuring dice-0.1... Building dice-0.1... Configuring misfortune-0.1.1.2... Installed http-conduit-2.2.3 Building misfortune-0.1.1.2... Installed dice-0.1 Configuring hoogle-5.0.1... Building hoogle-5.0.1... Installed misfortune-0.1.1.2 Installed hoogle-5.0.1 cabal: Error: some packages failed to install: dependent-map-0.1.1.3 depends on dependent-sum-0.2.1.0 which failed to install. dependent-sum-0.2.1.0 failed during the building phase. The exception was: ExitFailure 1 dependent-sum-template-0.0.0.5 depends on dependent-sum-0.2.1.0 which failed to install. lambdabot-5.0.2.1 depends on dependent-sum-0.2.1.0 which failed to install. lambdabot-core-5.0.3 depends on dependent-sum-0.2.1.0 which failed to install. lambdabot-haskell-plugins-5.0.3 depends on dependent-sum-0.2.1.0 which failed to install. lambdabot-irc-plugins-5.0.3 depends on dependent-sum-0.2.1.0 which failed to install. lambdabot-misc-plugins-5.0.1 depends on dependent-sum-0.2.1.0 which failed to install. lambdabot-novelty-plugins-5.0.3 depends on dependent-sum-0.2.1.0 which failed to install. lambdabot-reference-plugins-5.0.3 depends on dependent-sum-0.2.1.0 which failed to install. lambdabot-social-plugins-5.0.1 depends on dependent-sum-0.2.1.0 which failed to install.