Resolving dependencies... Starting data-default-class-0.1.2.0 Starting MonadPrompt-1.0.0.5 Starting SafeSemaphore-0.10.1 Starting base-orphans-0.8.4 Building data-default-class-0.1.2.0 Building SafeSemaphore-0.10.1 Building MonadPrompt-1.0.0.5 Building base-orphans-0.8.4 Completed MonadPrompt-1.0.0.5 Starting dependent-sum-0.4 Completed data-default-class-0.1.2.0 Starting erf-2.0.0.0 Building dependent-sum-0.4 Building erf-2.0.0.0 Completed erf-2.0.0.0 Starting monad-loops-0.4.3 Completed SafeSemaphore-0.10.1 Starting network-2.6.3.6 Completed dependent-sum-0.4 Starting old-locale-1.0.0.7 Building monad-loops-0.4.3 Building old-locale-1.0.0.7 Completed base-orphans-0.8.4 Starting primitive-0.7.1.0 Building primitive-0.7.1.0 Completed old-locale-1.0.0.7 Starting regex-base-0.94.0.1 Completed monad-loops-0.4.3 Starting split-0.2.3.4 Building regex-base-0.94.0.1 Building split-0.2.3.4 Building network-2.6.3.6 Completed split-0.2.3.4 Starting splitmix-0.1.0.3 Building splitmix-0.1.0.3 Completed regex-base-0.94.0.1 Starting stateref-0.3 Building stateref-0.3 Completed splitmix-0.1.0.3 Starting syb-0.7.2.1 Building syb-0.7.2.1 Completed stateref-0.3 Starting th-compat-0.1.2 Building th-compat-0.1.2 Completed th-compat-0.1.2 Starting transformers-compat-0.6.6 Building transformers-compat-0.6.6 Completed network-2.6.3.6 Starting utf8-string-1.0.2 Completed syb-0.7.2.1 Starting zlib-0.6.2.3 Building utf8-string-1.0.2 Building zlib-0.6.2.3 Completed transformers-compat-0.6.6 Starting dependent-map-0.2.4.0 Completed primitive-0.7.1.0 Starting regex-tdfa-1.3.1.0 Building dependent-map-0.2.4.0 Building regex-tdfa-1.3.1.0 Completed utf8-string-1.0.2 Starting random-1.2.0 Building random-1.2.0 Completed zlib-0.6.2.3 Starting network-uri-2.6.4.1 Building network-uri-2.6.4.1 Completed dependent-map-0.2.4.0 Starting hslogger-1.3.1.0 Building hslogger-1.3.1.0 Completed network-uri-2.6.4.1 Starting th-extras-0.0.0.4 Building th-extras-0.0.0.4 Completed random-1.2.0 Starting transformers-base-0.4.5.2 Completed hslogger-1.3.1.0 Starting vector-0.12.3.0 Building transformers-base-0.4.5.2 Building vector-0.12.3.0 Completed th-extras-0.0.0.4 Starting prim-uniq-0.1.0.1 Building prim-uniq-0.1.0.1 Completed transformers-base-0.4.5.2 Starting HTTP-4000.3.16 Building HTTP-4000.3.16 Completed prim-uniq-0.1.0.1 Starting mersenne-random-pure64-0.2.2.0 Building mersenne-random-pure64-0.2.2.0 Completed mersenne-random-pure64-0.2.2.0 Starting edit-distance-0.2.2.1 Building edit-distance-0.2.2.1 Completed regex-tdfa-1.3.1.0 Starting MonadRandom-0.5.3 Building MonadRandom-0.5.3 Completed edit-distance-0.2.2.1 Starting flexible-defaults-0.0.3 Building flexible-defaults-0.0.3 Completed flexible-defaults-0.0.3 Starting dependent-sum-template-0.0.0.6 Completed MonadRandom-0.5.3 Starting monad-control-1.0.2.3 Completed HTTP-4000.3.16 Starting random-shuffle-0.0.4 Building dependent-sum-template-0.0.0.6 Building monad-control-1.0.2.3 Failed to install dependent-sum-template-0.0.0.6 Build log ( /home/builder/.cabal/logs/ghc-8.10.2/dependent-sum-template-0.0.0.6-Ja75nDPYUe2HLGGrGRbf3t.log ): cabal: Entering directory '/tmp/cabal-tmp-17600/dependent-sum-template-0.0.0.6' Configuring dependent-sum-template-0.0.0.6... Preprocessing library for dependent-sum-template-0.0.0.6.. Building library for dependent-sum-template-0.0.0.6.. [1 of 2] Compiling Data.GADT.Compare.TH ( src/Data/GADT/Compare/TH.hs, dist/build/Data/GADT/Compare/TH.o, dist/build/Data/GADT/Compare/TH.dyn_o ) src/Data/GADT/Compare/TH.hs:69:109: error: " Couldn't match expected type Name with actual type Maybe [TyVarBndr] " In the first argument of ConT, namely name In the first argument of (:), namely ConT name In the second argument of ($), namely (ConT name : init tyArgs) | 69 | inst = instanceD (cxt (map return dataCxt)) (appT (conT ''GEq) (foldl1 appT (map return $ (ConT name : init tyArgs)))) [geqDec] | ^^^^ src/Data/GADT/Compare/TH.hs:69:121: error: " Couldn't match expected type [Type] with actual type Type " In the first argument of init, namely tyArgs In the second argument of (:), namely init tyArgs In the second argument of ($), namely (ConT name : init tyArgs) | 69 | inst = instanceD (cxt (map return dataCxt)) (appT (conT ''GEq) (foldl1 appT (map return $ (ConT name : init tyArgs)))) [geqDec] | ^^^^^^ src/Data/GADT/Compare/TH.hs:71:49: error: " Couldn't match expected type [Type] with actual type Type " In the first argument of tail, namely tyArgs In the expression: tail tyArgs In a stmt of a list comprehension: VarT v <- tail tyArgs | 71 | bndrs = [PlainTV v | VarT v <- tail tyArgs ] | ^^^^^^ src/Data/GADT/Compare/TH.hs:183:114: error: " Couldn't match expected type Name with actual type Maybe [TyVarBndr] " In the first argument of ConT, namely name In the first argument of (:), namely ConT name In the second argument of ($), namely (ConT name : init tyArgs) | 183 | inst = instanceD (cxt (map return dataCxt)) (appT (conT ''GCompare) (foldl1 appT (map return $ (ConT name : init tyArgs)))) [gcompareDec] | ^^^^ src/Data/GADT/Compare/TH.hs:183:126: error: " Couldn't match expected type [Type] with actual type Type " In the first argument of init, namely tyArgs In the second argument of (:), namely init tyArgs In the second argument of ($), namely (ConT name : init tyArgs) | 183 | inst = instanceD (cxt (map return dataCxt)) (appT (conT ''GCompare) (foldl1 appT (map return $ (ConT name : init tyArgs)))) [gcompareDec] | ^^^^^^ src/Data/GADT/Compare/TH.hs:185:49: error: " Couldn't match expected type [Type] with actual type Type " In the first argument of tail, namely tyArgs In the expression: tail tyArgs In a stmt of a list comprehension: VarT v <- tail tyArgs | 185 | bndrs = [PlainTV v | VarT v <- tail tyArgs ] | ^^^^^^ cabal: Leaving directory '/tmp/cabal-tmp-17600/dependent-sum-template-0.0.0.6' Building random-shuffle-0.0.4 Completed random-shuffle-0.0.4 Completed monad-control-1.0.2.3 Completed vector-0.12.3.0 cabal: Error: some packages failed to install: dependent-sum-template-0.0.0.6-Ja75nDPYUe2HLGGrGRbf3t failed during the building phase. The exception was: ExitFailure 1 lambdabot-core-5.1.0.4-CERvAccZDnJnNCe74QOOZ depends on lambdabot-core-5.1.0.4 which failed to install.