Warning: The install command is a part of the legacy v1 style of cabal usage. Please switch to using either the new project style and the new-install command or the legacy v1-install alias as new-style projects will become the default in the next version of cabal-install. Please file a bug if you cannot replicate a working v1- use case with the new-style commands. For more information, see: https://wiki.haskell.org/Cabal/NewBuild Resolving dependencies... Starting clock-0.7.2 Starting network-uri-2.6.1.0 Starting syb-0.7 Building clock-0.7.2 Building network-uri-2.6.1.0 Building syb-0.7 Completed clock-0.7.2 Starting extra-1.6.14 Building extra-1.6.14 Completed network-uri-2.6.1.0 Completed syb-0.7 Starting set-extra-1.4.1 Building set-extra-1.4.1 Completed set-extra-1.4.1 Completed extra-1.6.14 Starting curry-base-1.1.0 Building curry-base-1.1.0 Completed curry-base-1.1.0 Starting curry-frontend-1.0.2 Building curry-frontend-1.0.2 Failed to install curry-frontend-1.0.2 Build log ( /home/builder/.cabal/logs/ghc-8.6.3/curry-frontend-1.0.2-ECqpGpmiiCWDF27pJNSxWg.log ): cabal: Entering directory '/tmp/cabal-tmp-21995/curry-frontend-1.0.2' Configuring curry-frontend-1.0.2... Preprocessing library for curry-frontend-1.0.2.. Building library for curry-frontend-1.0.2.. [ 1 of 74] Compiling Base.Expr ( src/Base/Expr.hs, dist/build/Base/Expr.o ) [ 2 of 74] Compiling Base.Kinds ( src/Base/Kinds.hs, dist/build/Base/Kinds.o ) [ 3 of 74] Compiling Base.CurryKinds ( src/Base/CurryKinds.hs, dist/build/Base/CurryKinds.o ) [ 4 of 74] Compiling Base.PrettyKinds ( src/Base/PrettyKinds.hs, dist/build/Base/PrettyKinds.o ) [ 5 of 74] Compiling Base.SCC ( src/Base/SCC.hs, dist/build/Base/SCC.o ) [ 6 of 74] Compiling Base.Subst ( src/Base/Subst.hs, dist/build/Base/Subst.o ) [ 7 of 74] Compiling Base.Utils ( src/Base/Utils.hs, dist/build/Base/Utils.o ) [ 8 of 74] Compiling CompilerOpts ( src/CompilerOpts.hs, dist/build/CompilerOpts.o ) [ 9 of 74] Compiling Base.Messages ( src/Base/Messages.hs, dist/build/Base/Messages.o ) [10 of 74] Compiling Checks.ExtensionCheck ( src/Checks/ExtensionCheck.hs, dist/build/Checks/ExtensionCheck.o ) [11 of 74] Compiling Base.TopEnv ( src/Base/TopEnv.hs, dist/build/Base/TopEnv.o ) [12 of 74] Compiling Checks.ImportSyntaxCheck ( src/Checks/ImportSyntaxCheck.hs, dist/build/Checks/ImportSyntaxCheck.o ) [13 of 74] Compiling Base.NestEnv ( src/Base/NestEnv.hs, dist/build/Base/NestEnv.o ) [14 of 74] Compiling CondCompile ( src/CondCompile.hs, dist/build/CondCompile.o ) [15 of 74] Compiling CurryDeps ( src/CurryDeps.hs, dist/build/CurryDeps.o ) [16 of 74] Compiling Env.Class ( src/Env/Class.hs, dist/build/Env/Class.o ) [17 of 74] Compiling Base.Types ( src/Base/Types.hs, dist/build/Base/Types.o ) [18 of 74] Compiling Base.CurryTypes ( src/Base/CurryTypes.hs, dist/build/Base/CurryTypes.o ) [19 of 74] Compiling Base.PrettyTypes ( src/Base/PrettyTypes.hs, dist/build/Base/PrettyTypes.o ) [20 of 74] Compiling Env.Instance ( src/Env/Instance.hs, dist/build/Env/Instance.o ) [21 of 74] Compiling Env.Interface ( src/Env/Interface.hs, dist/build/Env/Interface.o ) [22 of 74] Compiling Env.ModuleAlias ( src/Env/ModuleAlias.hs, dist/build/Env/ModuleAlias.o ) [23 of 74] Compiling Env.OpPrec ( src/Env/OpPrec.hs, dist/build/Env/OpPrec.o ) [24 of 74] Compiling Checks.PrecCheck ( src/Checks/PrecCheck.hs, dist/build/Checks/PrecCheck.o ) [25 of 74] Compiling Env.TypeConstructor ( src/Env/TypeConstructor.hs, dist/build/Env/TypeConstructor.o ) [26 of 74] Compiling Env.Type ( src/Env/Type.hs, dist/build/Env/Type.o ) [27 of 74] Compiling Checks.TypeSyntaxCheck ( src/Checks/TypeSyntaxCheck.hs, dist/build/Checks/TypeSyntaxCheck.o ) src/Checks/TypeSyntaxCheck.hs:368:3: error: • No instance for (Control.Monad.Fail.MonadFail Data.Functor.Identity.Identity) arising from a do statement with the failable pattern ‘[ty1', ty2']’ • In a stmt of a 'do' block: [ty1', ty2'] <- mapM (checkClosedType (evs ++ tvs)) [ty1, ty2] In the expression: do checkExistVars evs [ty1', ty2'] <- mapM (checkClosedType (evs ++ tvs)) [ty1, ty2] cx' <- checkClosedContext (fv ty1' ++ fv ty2') cx return $ ConOpDecl p evs cx' ty1' op ty2' In an equation for ‘checkConstrDecl’: checkConstrDecl tvs (ConOpDecl p evs cx ty1 op ty2) = do checkExistVars evs [ty1', ty2'] <- mapM (checkClosedType (evs ++ tvs)) [ty1, ....] cx' <- checkClosedContext (fv ty1' ++ fv ty2') cx .... | 368 | [ty1', ty2'] <- mapM (checkClosedType (evs ++ tvs)) [ty1, ty2] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cabal: Leaving directory '/tmp/cabal-tmp-21995/curry-frontend-1.0.2' cabal: Error: some packages failed to install: curry-frontend-1.0.2-ECqpGpmiiCWDF27pJNSxWg failed during the building phase. The exception was: ExitFailure 1