Resolving dependencies... Starting MonadPrompt-1.0.0.5 Starting brainfuck-0.1.0.3 Starting SafeSemaphore-0.10.1 Starting base-orphans-0.8.4 Building MonadPrompt-1.0.0.5 Building SafeSemaphore-0.10.1 Building brainfuck-0.1.0.3 Building base-orphans-0.8.4 Completed MonadPrompt-1.0.0.5 Starting cereal-0.5.8.1 Building cereal-0.5.8.1 Completed brainfuck-0.1.0.3 Starting data-default-class-0.1.2.0 Completed SafeSemaphore-0.10.1 Starting dependent-sum-0.4 Building data-default-class-0.1.2.0 Building dependent-sum-0.4 Completed base-orphans-0.8.4 Starting erf-2.0.0.0 Building erf-2.0.0.0 Completed data-default-class-0.1.2.0 Starting knob-0.1.1 Building knob-0.1.1 Completed dependent-sum-0.4 Starting monad-loops-0.4.3 Building monad-loops-0.4.3 Completed erf-2.0.0.0 Starting network-2.6.3.6 Completed knob-0.1.1 Starting old-locale-1.0.0.7 Building old-locale-1.0.0.7 Completed monad-loops-0.4.3 Starting primitive-0.7.1.0 Completed cereal-0.5.8.1 Starting regex-base-0.94.0.1 Building primitive-0.7.1.0 Building regex-base-0.94.0.1 Completed old-locale-1.0.0.7 Starting semigroups-0.19.1 Building semigroups-0.19.1 Building network-2.6.3.6 Completed semigroups-0.19.1 Starting split-0.2.3.4 Building split-0.2.3.4 Completed regex-base-0.94.0.1 Starting splitmix-0.1.0.3 Building splitmix-0.1.0.3 Completed split-0.2.3.4 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 network-2.6.3.6 Starting transformers-compat-0.6.6 Completed syb-0.7.2.1 Starting unlambda-0.1.4.2 Building transformers-compat-0.6.6 Completed th-compat-0.1.2 Starting utf8-string-1.0.2 Building unlambda-0.1.4.2 Building utf8-string-1.0.2 Completed primitive-0.7.1.0 Starting zlib-0.6.2.3 Completed unlambda-0.1.4.2 Starting dependent-map-0.2.4.0 Building zlib-0.6.2.3 Completed transformers-compat-0.6.6 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 regex-pcre-0.95.0.0 Building regex-pcre-0.95.0.0 Completed dependent-map-0.2.4.0 Starting random-1.2.0 Building random-1.2.0 Completed zlib-0.6.2.3 Starting hslogger-1.3.1.0 Building hslogger-1.3.1.0 Completed regex-pcre-0.95.0.0 Starting th-extras-0.0.0.4 Building th-extras-0.0.0.4 Completed th-extras-0.0.0.4 Starting network-uri-2.6.4.1 Building network-uri-2.6.4.1 Completed hslogger-1.3.1.0 Starting vector-0.12.3.0 Building vector-0.12.3.0 Completed random-1.2.0 Starting prim-uniq-0.1.0.1 Building prim-uniq-0.1.0.1 Completed network-uri-2.6.4.1 Starting transformers-base-0.4.5.2 Completed prim-uniq-0.1.0.1 Starting flexible-defaults-0.0.3 Building transformers-base-0.4.5.2 Building flexible-defaults-0.0.3 Completed transformers-base-0.4.5.2 Starting dependent-sum-template-0.0.0.6 Building dependent-sum-template-0.0.0.6 Completed flexible-defaults-0.0.3 Starting mersenne-random-pure64-0.2.2.0 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-31422/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-31422/dependent-sum-template-0.0.0.6' Starting edit-distance-0.2.2.1 Building mersenne-random-pure64-0.2.2.0 Completed regex-tdfa-1.3.1.0 Building edit-distance-0.2.2.1 Completed mersenne-random-pure64-0.2.2.0 Completed edit-distance-0.2.2.1 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. lambdabot-novelty-plugins-5.1.0.4-3llpT7pnTfU7AVIqG7MMjN depends on lambdabot-novelty-plugins-5.1.0.4 which failed to install.