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