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 byteorder-1.0.4... Installed byteable-0.1.1 Building base64-bytestring-1.0.0.1... Building byteorder-1.0.4... Configuring cereal-0.5.4.0... Installed byteorder-1.0.4 Building cereal-0.5.4.0... Configuring bytestring-builder-0.10.8.1.0... Installed base64-bytestring-1.0.0.1 Building bytestring-builder-0.10.8.1.0... Configuring clock-0.7.2... Installed bytestring-builder-0.10.8.1.0 Building clock-0.7.2... Configuring cmdargs-0.10.14... Installed clock-0.7.2 Building cmdargs-0.10.14... Configuring data-default-class-0.1.2.0... Installed cereal-0.5.4.0 Building data-default-class-0.1.2.0... Configuring dependent-sum-0.2.1.0... Installed data-default-class-0.1.2.0 Building dependent-sum-0.2.1.0... Configuring dlist-0.8.0.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-10080/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-10080/dependent-sum-0.2.1.0' 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 data-inttrie-0.1.2... Installed easy-file-0.2.1 Building data-inttrie-0.1.2... Configuring extensible-exceptions-0.1.1.4... Installed data-inttrie-0.1.2 Building extensible-exceptions-0.1.1.4... Configuring erf-2.0.0.0... Installed extensible-exceptions-0.1.1.4 Building erf-2.0.0.0... Configuring ghc-paths-0.1.0.9... Installed erf-2.0.0.0 Configuring hourglass-0.2.10... Installed cmdargs-0.10.14 Building hourglass-0.2.10... Building ghc-paths-0.1.0.9... Configuring js-jquery-3.1.1... Installed ghc-paths-0.1.0.9 Building js-jquery-3.1.1... Configuring js-flot-0.8.3... Installed js-jquery-3.1.1 Building js-flot-0.8.3... Configuring knob-0.1.1... Installed js-flot-0.8.3 Building knob-0.1.1... Configuring memory-0.13... Installed hourglass-0.2.10 Building memory-0.13... Configuring lazysmallcheck-0.6... Installed knob-0.1.1 Building lazysmallcheck-0.6... Configuring monad-loops-0.4.3... Installed lazysmallcheck-0.6 Building monad-loops-0.4.3... Configuring mmap-0.5.9... Installed monad-loops-0.4.3 Building mmap-0.5.9... Configuring mtl-2.2.1... Installed memory-0.13 Building mtl-2.2.1... Configuring newtype-generics-0.5... Installed mmap-0.5.9 Building newtype-generics-0.5... Configuring network-2.6.3.1... Installed newtype-generics-0.5 Configuring old-locale-1.0.0.7... Installed mtl-2.2.1 Building old-locale-1.0.0.7... Building network-2.6.3.1... Configuring primitive-0.6.1.0... Installed old-locale-1.0.0.7 Building primitive-0.6.1.0... Configuring random-1.1... Installed primitive-0.6.1.0 Building random-1.1... Configuring numbers-3000.2.0.1... Installed network-2.6.3.1 Building numbers-3000.2.0.1... Configuring semigroups-0.18.2... Installed random-1.1 Building semigroups-0.18.2... Configuring simple-reflect-0.3.2... Installed semigroups-0.18.2 Building simple-reflect-0.3.2... Configuring split-0.2.3.1... Installed numbers-3000.2.0.1 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 tar-0.5.0.3... Installed split-0.2.3.1 Building tar-0.5.0.3... Configuring syb-0.6... Installed stm-2.4.4.1 Building syb-0.6... 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 tar-0.5.0.3 Building text-1.2.2.1... Configuring transformers-compat-0.5.1.4... Installed time-locale-compat-0.1.1.3 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 unix-compat-0.4.3.1... Installed word8-0.1.2 Building unix-compat-0.4.3.1... Configuring zlib-0.6.1.2... Installed unix-compat-0.4.3.1 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... Configuring asn1-types-0.3.2... Installed data-memocombinators-0.5.1 Building asn1-types-0.3.2... Installed extra-1.5.1 Configuring cryptonite-0.20... Building cryptonite-0.20... Configuring MemoTrie-0.6.7... Installed asn1-types-0.3.2 Building MemoTrie-0.6.7... Configuring MonadPrompt-1.0.0.5... Installed MemoTrie-0.6.7 Building MonadPrompt-1.0.0.5... Configuring brainfuck-0.1.0.3... Installed MonadPrompt-1.0.0.5 Building brainfuck-0.1.0.3... Configuring logict-0.6.0.2... Installed brainfuck-0.1.0.3 Building logict-0.6.0.2... Configuring pem-0.2.2... Installed logict-0.6.0.2 Building pem-0.2.2... Configuring regex-base-0.93.2... Installed pem-0.2.2 Building regex-base-0.93.2... Configuring unlambda-0.1.4.2... Installed regex-base-0.93.2 Building unlambda-0.1.4.2... Configuring old-time-1.1.0.3... Installed unlambda-0.1.4.2 Building old-time-1.1.0.3... Configuring vector-0.11.0.0... Installed old-time-1.1.0.3 Building vector-0.11.0.0... Configuring hslogger-1.2.10... Installed cryptonite-0.20 Building hslogger-1.2.10... Configuring iproute-1.7.1... Installed hslogger-1.2.10 Building iproute-1.7.1... Configuring simple-sendfile-0.2.25... Installed iproute-1.7.1 Building simple-sendfile-0.2.25... Configuring socks-0.5.5... Installed simple-sendfile-0.2.25 Building socks-0.5.5... Configuring edit-distance-0.2.2.1... Installed socks-0.5.5 Building edit-distance-0.2.2.1... Configuring mersenne-random-pure64-0.2.2.0... Installed vector-0.11.0.0 Configuring tf-random-0.5... Installed edit-distance-0.2.2.1 Building mersenne-random-pure64-0.2.2.0... Building tf-random-0.5... 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 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 SafeSemaphore-0.10.1 Building stateref-0.3... Configuring show-0.6... Installed async-2.1.1 Building show-0.6... Configuring th-extras-0.0.0.4... Installed stateref-0.3 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 Building tagged-0.8.5... Configuring transformers-base-0.4.4... Installed mmorph-1.0.9 Building transformers-base-0.4.4... Configuring hashable-1.2.4.0... Installed transformers-base-0.4.4 Building hashable-1.2.4.0... Configuring blaze-builder-0.4.0.2... Installed tagged-0.8.5 Building blaze-builder-0.4.0.2... Configuring hstatsd-0.1... Installed hashable-1.2.4.0 Building hstatsd-0.1... Configuring mime-types-0.1.0.7... Installed blaze-builder-0.4.0.2 Building mime-types-0.1.0.7... Configuring polyparse-1.12... Installed hstatsd-0.1 Building polyparse-1.12... Configuring parsec-3.1.11... Installed mime-types-0.1.0.7 Building parsec-3.1.11... Configuring tagsoup-0.14... Installed polyparse-1.12 Building tagsoup-0.14... Installed parsec-3.1.11 Configuring asn1-encoding-0.9.4... Building asn1-encoding-0.9.4... Installed asn1-encoding-0.9.4 Configuring unix-time-0.3.7... Building unix-time-0.3.7... Configuring vector-space-0.10.4... Installed tagsoup-0.14 Building vector-space-0.10.4... Configuring regex-pcre-0.94.4... Installed unix-time-0.3.7 Building regex-pcre-0.94.4... Configuring safecopy-0.9.2... Installed vector-space-0.10.4 Configuring mwc-random-0.13.5.0... Installed regex-pcre-0.94.4 Building safecopy-0.9.2... Building mwc-random-0.13.5.0... Configuring QuickCheck-2.8.2... Installed mwc-random-0.13.5.0 Building QuickCheck-2.8.2... 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 vector-th-unbox-0.2.1.6 Building flexible-defaults-0.0.1.2... Configuring random-shuffle-0.0.4... Installed flexible-defaults-0.0.1.2 Building random-shuffle-0.0.4... Configuring monad-control-1.0.1.0... Installed random-shuffle-0.0.4 Building monad-control-1.0.1.0... Configuring hint-0.6.0... Installed monad-control-1.0.1.0 Building hint-0.6.0... Configuring distributive-0.5.0.2... Installed QuickCheck-2.8.2 Building distributive-0.5.0.2... Configuring case-insensitive-1.2.0.7... Installed distributive-0.5.0.2 Building case-insensitive-1.2.0.7... Configuring scientific-0.3.4.9... Installed hint-0.6.0 Building scientific-0.3.4.9... Configuring psqueues-0.2.2.3... Installed case-insensitive-1.2.0.7 Building psqueues-0.2.2.3... Configuring cookie-0.4.2.1... Installed scientific-0.3.4.9 Building cookie-0.4.2.1... Configuring void-0.7.1... Installed psqueues-0.2.2.3 Building void-0.7.1... Configuring unordered-containers-0.2.7.1... Installed cookie-0.4.2.1 Building unordered-containers-0.2.7.1... Configuring cpphs-1.20.2... Installed void-0.7.1 Building cpphs-1.20.2... Configuring streaming-commons-0.1.16... Installed unordered-containers-0.2.7.1 Building streaming-commons-0.1.16... Configuring network-uri-2.6.1.0... Installed cpphs-1.20.2 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... Installed streaming-commons-0.1.16 Configuring asn1-parse-0.9.4... Building asn1-parse-0.9.4... Installed asn1-parse-0.9.4 Configuring fast-logger-2.4.7... Building fast-logger-2.4.7... Configuring math-functions-0.2.1.0... Installed fast-logger-2.4.7 Building math-functions-0.2.1.0... Configuring lifted-base-0.2.3.8... Installed regex-tdfa-1.2.2 Building lifted-base-0.2.3.8... Configuring random-source-0.3.0.6... Installed lifted-base-0.2.3.8 Building random-source-0.3.0.6... Configuring QuickCheck-safe-0.1.0.1... Installed math-functions-0.2.1.0 Building QuickCheck-safe-0.1.0.1... Configuring Stream-0.4.7.2... Installed QuickCheck-safe-0.1.0.1 Building Stream-0.4.7.2... Configuring mueval-0.9.3... Installed Stream-0.4.7.2 Building mueval-0.9.3... Configuring http-types-0.9.1... Installed random-source-0.3.0.6 Building http-types-0.9.1... Configuring attoparsec-0.13.1.0... Installed http-types-0.9.1 Building attoparsec-0.13.1.0... Configuring contravariant-1.4... Installed mueval-0.9.3 Building contravariant-1.4... Configuring http2-1.6.2... Installed attoparsec-0.13.1.0 Building http2-1.6.2... Configuring uniplate-1.6.12... Installed contravariant-1.4 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... Building bytes-0.15.2... Configuring haskell-src-exts-1.16.0.1... Installed vault-0.3.0.6 Building haskell-src-exts-1.16.0.1... Configuring HTTP-4000.3.3... Installed bytes-0.15.2 Building HTTP-4000.3.3... Configuring network-uri-flag-0.1... Installed HTTP-4000.3.3 Building network-uri-flag-0.1... Installed network-uri-flag-0.1 Configuring x509-1.6.5... Building x509-1.6.5... Installed x509-1.6.5 Configuring resourcet-1.1.8.1... Building resourcet-1.1.8.1... Configuring rvar-0.2.0.3... Installed resourcet-1.1.8.1 Building rvar-0.2.0.3... Configuring arrows-0.4.4.1... Installed rvar-0.2.0.3 Building arrows-0.4.4.1... Configuring IOSpec-0.3... Installed arrows-0.4.4.1 Building IOSpec-0.3... Configuring http-client-0.5.4... Installed IOSpec-0.3 Building http-client-0.5.4... Configuring http-date-0.0.6.1... Installed http-client-0.5.4 Building http-date-0.0.6.1... Configuring comonad-5... Installed http-date-0.0.6.1 Building comonad-5... Configuring wai-3.2.1.1... Installed comonad-5 Building wai-3.2.1.1... Configuring aeson-1.0.2.1... Installed wai-3.2.1.1 Building aeson-1.0.2.1... Configuring oeis-0.3.8... Installed aeson-1.0.2.1 Building oeis-0.3.8... Installed oeis-0.3.8 Configuring x509-store-1.6.2... Building x509-store-1.6.2... Installed x509-store-1.6.2 Configuring bifunctors-5.4.1... Building bifunctors-5.4.1... Configuring conduit-1.2.8... Installed haskell-src-exts-1.16.0.1 Building conduit-1.2.8... Configuring wai-logger-2.3.0... Installed bifunctors-5.4.1 Configuring warp-3.2.9... Installed conduit-1.2.8 Building wai-logger-2.3.0... Building warp-3.2.9... Configuring lambdabot-trusted-5.0.2.1... Installed wai-logger-2.3.0 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 hashable-extras-0.2.3... Installed x509-system-1.6.4 Building hashable-extras-0.2.3... Configuring x509-validation-1.6.5... Installed warp-3.2.9 Building x509-validation-1.6.5... Configuring semigroupoids-5.1... Installed hashable-extras-0.2.3 Configuring conduit-extra-1.1.15... Installed x509-validation-1.6.5 Building conduit-extra-1.1.15... Building semigroupoids-5.1... Installed conduit-extra-1.1.15 Configuring tls-1.3.8... Building tls-1.3.8... Installed semigroupoids-5.1 Configuring log-domain-0.10.3.1... Building log-domain-0.10.3.1... Installed tls-1.3.8 Configuring warp-tls-3.2.2... Building warp-tls-3.2.2... Configuring connection-0.2.6... Installed log-domain-0.10.3.1 Building connection-0.2.6... Installed warp-tls-3.2.2 Configuring random-fu-0.2.7.0... Building random-fu-0.2.7.0... Installed connection-0.2.6 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 http-conduit-2.2.3 Configuring hoogle-5.0.1... Building hoogle-5.0.1... Installed random-fu-0.2.7.0 Configuring dice-0.1... Building dice-0.1... Installed dice-0.1 Configuring misfortune-0.1.1.2... Building misfortune-0.1.1.2... 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.