Resolving dependencies... Configuring ansi-terminal-0.6.2.3... Configuring base-orphans-0.5.4... Building ansi-terminal-0.6.2.3... Building base-orphans-0.5.4... Installed base-orphans-0.5.4 Configuring fingertree-0.1.1.0... Building fingertree-0.1.1.0... Configuring mtl-2.2.1... Installed ansi-terminal-0.6.2.3 Building mtl-2.2.1... Configuring parallel-3.2.1.0... Installed fingertree-0.1.1.0 Building parallel-3.2.1.0... Configuring primitive-0.6.1.0... Installed mtl-2.2.1 Building primitive-0.6.1.0... Configuring prelude-extras-0.4.0.3... Installed parallel-3.2.1.0 Building prelude-extras-0.4.0.3... Configuring random-1.1... Installed primitive-0.6.1.0 Configuring reflection-2.1.2... Installed prelude-extras-0.4.0.3 Building random-1.1... Building reflection-2.1.2... Configuring stm-2.4.4.1... Installed random-1.1 Building stm-2.4.4.1... Configuring semigroups-0.18.2... Installed reflection-2.1.2 Building semigroups-0.18.2... Configuring transformers-compat-0.5.1.4... Installed stm-2.4.4.1 Building transformers-compat-0.5.1.4... Configuring text-1.2.2.1... Installed semigroups-0.18.2 Building text-1.2.2.1... Configuring universe-base-1.0.2.1... Installed transformers-compat-0.5.1.4 Building universe-base-1.0.2.1... Configuring utf8-string-1.0.1.1... Installed universe-base-1.0.2.1 Building utf8-string-1.0.1.1... Installed utf8-string-1.0.1.1 Configuring ansi-wl-pprint-0.6.7.3... Building ansi-wl-pprint-0.6.7.3... Configuring tf-random-0.5... Installed ansi-wl-pprint-0.6.7.3 Building tf-random-0.5... Configuring vector-0.11.0.0... Installed tf-random-0.5 Building vector-0.11.0.0... Configuring StateVar-1.1.0.4... Installed text-1.2.2.1 Building StateVar-1.1.0.4... Configuring MonadRandom-0.4.2.3... Installed StateVar-1.1.0.4 Building MonadRandom-0.4.2.3... Configuring exceptions-0.8.3... Installed MonadRandom-0.4.2.3 Building exceptions-0.8.3... Configuring mmorph-1.0.9... Installed exceptions-0.8.3 Building mmorph-1.0.9... Configuring transformers-base-0.4.4... Installed mmorph-1.0.9 Building transformers-base-0.4.4... Configuring tagged-0.8.5... Installed transformers-base-0.4.4 Building tagged-0.8.5... Configuring universe-instances-base-1.0... Installed tagged-0.8.5 Building universe-instances-base-1.0... Installed universe-instances-base-1.0 Configuring QuickCheck-2.9.2... Building QuickCheck-2.9.2... Configuring blaze-builder-0.4.0.2... Installed vector-0.11.0.0 Building blaze-builder-0.4.0.2... Configuring hashable-1.2.4.0... Installed blaze-builder-0.4.0.2 Building hashable-1.2.4.0... Configuring parsec-3.1.11... Installed hashable-1.2.4.0 Building parsec-3.1.11... Configuring monad-control-1.0.1.0... Installed parsec-3.1.11 Building monad-control-1.0.1.0... Configuring distributive-0.5.0.2... Installed QuickCheck-2.9.2 Configuring universe-reverse-instances-1.0... Installed monad-control-1.0.1.0 Building universe-reverse-instances-1.0... Installed universe-reverse-instances-1.0 Configuring unordered-containers-0.2.7.1... Building distributive-0.5.0.2... Building unordered-containers-0.2.7.1... Configuring scientific-0.3.4.9... Installed distributive-0.5.0.2 Building scientific-0.3.4.9... Configuring blaze-markup-0.7.1.1... Installed scientific-0.3.4.9 Building blaze-markup-0.7.1.1... Configuring void-0.7.1... Installed unordered-containers-0.2.7.1 Building void-0.7.1... Installed blaze-markup-0.7.1.1 Configuring attoparsec-0.13.1.0... Configuring charset-0.3.7.1... Installed void-0.7.1 Building attoparsec-0.13.1.0... Building charset-0.3.7.1... Configuring blaze-html-0.8.1.3... Installed charset-0.3.7.1 Building blaze-html-0.8.1.3... Installed attoparsec-0.13.1.0 Configuring lattices-1.5.0... Building lattices-1.5.0... Configuring contravariant-1.4... Installed lattices-1.5.0 Building contravariant-1.4... Configuring parsers-0.12.4... Installed contravariant-1.4 Configuring comonad-5... Installed blaze-html-0.8.1.3 Building parsers-0.12.4... Building comonad-5... Installed comonad-5 Configuring bifunctors-5.4.1... Building bifunctors-5.4.1... Installed parsers-0.12.4 Installed bifunctors-5.4.1 Configuring profunctors-5.2... Configuring semigroupoids-5.1... Building profunctors-5.2... Building semigroupoids-5.1... Installed profunctors-5.2 Installed semigroupoids-5.1 Configuring reducers-3.12.1... Configuring free-4.12.4... Building reducers-3.12.1... Building free-4.12.4... Installed reducers-3.12.1 Installed free-4.12.4 Configuring either-4.4.1.1... Configuring adjunctions-4.3... Building either-4.4.1.1... Building adjunctions-4.3... Installed either-4.4.1.1 Installed adjunctions-4.3 Configuring kan-extensions-5.0.1... Building kan-extensions-5.0.1... Installed kan-extensions-5.0.1 Configuring lens-4.15.1... Building lens-4.15.1... Installed lens-4.15.1 Configuring trifecta-1.6.1... Building trifecta-1.6.1... Installed trifecta-1.6.1 Configuring formura-1.0... Building formura-1.0... Failed to install formura-1.0 Build log ( /home/builder/.cabal/logs/formura-1.0.log ): cabal: Entering directory '/tmp/cabal-tmp-29667/formura-1.0' Configuring formura-1.0... Warning: 'ghc-options: -threaded' has no effect for libraries. It should only be used for executables. Warning: 'ghc-options: -rtsopts' has no effect for libraries. It should only be used for executables. Warning: 'ghc-options: -with-rtsopts' has no effect for libraries. It should only be used for executables. Building formura-1.0... Preprocessing library formura-1.0... [ 1 of 13] Compiling Formura.Vec ( src/Formura/Vec.hs, dist/build/Formura/Vec.o ) src/Formura/Vec.hs:14:1: warning: [-Wunused-imports] The import of ‘Control.Applicative’ is redundant except perhaps to import instances from ‘Control.Applicative’ To import instances alone, use: import Control.Applicative() [ 2 of 13] Compiling Formura.Language.Combinator ( src/Formura/Language/Combinator.hs, dist/build/Formura/Language/Combinator.o ) [ 3 of 13] Compiling Formura.Syntax ( src/Formura/Syntax.hs, dist/build/Formura/Syntax.o ) src/Formura/Syntax.hs:37:1: warning: [-Wmissing-signatures] Pattern synonym with no type signature: pattern ElemType :: forall s. Matches ElemTypeF s => IdentName -> s src/Formura/Syntax.hs:44:1: warning: [-Wmissing-signatures] Pattern synonym with no type signature: pattern FunType :: forall s. Matches FunTypeF s => s src/Formura/Syntax.hs:50:1: warning: [-Wmissing-signatures] Pattern synonym with no type signature: pattern TopType :: forall s. Matches TopTypeF s => s src/Formura/Syntax.hs:60:1: warning: [-Wmissing-signatures] Pattern synonym with no type signature: pattern Ident :: forall s. Matches IdentF s => IdentName -> s src/Formura/Syntax.hs:81:1: warning: [-Wmissing-signatures] Pattern synonym with no type signature: pattern Tuple :: forall s. Matches TupleF s => [Content TupleF s] -> s src/Formura/Syntax.hs:92:1: warning: [-Wmissing-signatures] Pattern synonym with no type signature: pattern Imm :: forall s. Matches ImmF s => Rational -> s src/Formura/Syntax.hs:103:1: warning: [-Wmissing-signatures] Pattern synonym with no type signature: pattern ImmBool :: forall s. Matches ImmBoolF s => Bool -> s src/Formura/Syntax.hs:131:1: warning: [-Wmissing-signatures] Pattern synonym with no type signature: pattern Uniop :: forall s. Matches OperatorF s => IdentName -> Content OperatorF s -> s src/Formura/Syntax.hs:133:1: warning: [-Wmissing-signatures] Pattern synonym with no type signature: pattern Binop :: forall s. Matches OperatorF s => IdentName -> Content OperatorF s -> Content OperatorF s -> s src/Formura/Syntax.hs:135:1: warning: [-Wmissing-signatures] Pattern synonym with no type signature: pattern Triop :: forall s. Matches OperatorF s => IdentName -> Content OperatorF s -> Content OperatorF s -> Content OperatorF s -> s src/Formura/Syntax.hs:143:1: warning: [-Wmissing-signatures] Pattern synonym with no type signature: pattern Grid :: forall s. Matches GridF s => Vec NPlusK -> Content GridF s -> s src/Formura/Syntax.hs:151:1: warning: [-Wmissing-signatures] Pattern synonym with no type signature: pattern GridType :: forall s. Matches GridTypeF s => Vec Rational -> Content GridTypeF s -> s src/Formura/Syntax.hs:158:1: warning: [-Wmissing-signatures] Pattern synonym with no type signature: pattern Vector :: forall s. Matches VectorF s => IdentName -> Content VectorF s -> s src/Formura/Syntax.hs:164:1: warning: [-Wmissing-signatures] Pattern synonym with no type signature: pattern VectorType :: forall s. Matches VectorTypeF s => Int -> Content VectorTypeF s -> s src/Formura/Syntax.hs:173:1: warning: [-Wmissing-signatures] Pattern synonym with no type signature: pattern Apply :: forall s. Matches ApplyF s => Content ApplyF s -> Content ApplyF s -> s src/Formura/Syntax.hs:180:1: warning: [-Wmissing-signatures] Pattern synonym with no type signature: pattern Let :: forall s. Matches LetF s => BindingF (Content LetF s) -> Content LetF s -> s src/Formura/Syntax.hs:187:1: warning: [-Wmissing-signatures] Pattern synonym with no type signature: pattern Lambda :: forall s. Matches LambdaF s => LExpr -> RExpr -> s src/Formura/Syntax.hs:194:1: warning: [-Wmissing-signatures] Pattern synonym with no type signature: pattern Binding :: forall s. Matches BindingF s => [StatementF (Content BindingF s)] -> s src/Formura/Syntax.hs:204:1: warning: [-Wmissing-signatures] Pattern synonym with no type signature: pattern Subst :: forall s. Matches StatementF s => LExpr -> Content StatementF s -> s src/Formura/Syntax.hs:206:1: warning: [-Wmissing-signatures] Pattern synonym with no type signature: pattern TypeDecl :: forall s. Matches StatementF s => TypeExpr -> LExpr -> s src/Formura/Syntax.hs:258:8: warning: [-Wname-shadowing] This binding for ‘a’ shadows the existing binding bound at src/Formura/Syntax.hs:253:23 src/Formura/Syntax.hs:258:10: warning: [-Wname-shadowing] This binding for ‘b’ shadows the existing binding bound at src/Formura/Syntax.hs:253:25 src/Formura/Syntax.hs:259:8: warning: [-Wname-shadowing] This binding for ‘a’ shadows the existing binding bound at src/Formura/Syntax.hs:253:23 src/Formura/Syntax.hs:259:23: warning: [-Wname-shadowing] This binding for ‘b’ shadows the existing binding bound at src/Formura/Syntax.hs:253:25 src/Formura/Syntax.hs:259:23: warning: [-Wunused-matches] Defined but not used: ‘b’ [ 4 of 13] Compiling Formura.Parser ( src/Formura/Parser.hs, dist/build/Formura/Parser.o ) src/Formura/Parser.hs:268:15: error: • Couldn't match expected type ‘Err’ with actual type ‘[Delta] -> Err’ • Probable cause: ‘Err’ is applied to too few arguments In the first argument of ‘raiseErr’, namely ‘(Err (Just $ Ppr.text "Malformed Function Syntax" <> Ppr.line) [Ppr.text "Please check if you are using one of the following forms:", Ppr.text "\12539 begin function f(x) returns y", Ppr.text "\12539 begin function y = f(x)"] S.empty)’ In the second argument of ‘(<|>)’, namely ‘raiseErr (Err (Just $ Ppr.text "Malformed Function Syntax" <> Ppr.line) [Ppr.text "Please check if you are using one of the following forms:", Ppr.text "\12539 begin function f(x) returns y", Ppr.text "\12539 begin function y = f(x)"] S.empty)’ In a stmt of a 'do' block: (funName, inExpr, outExpr) <- ("returns-form" ?> try returnsForm) <|> ("equal-form" ?> try equalForm) <|> raiseErr (Err (Just $ Ppr.text "Malformed Function Syntax" <> Ppr.line) [Ppr.text "Please check if you are using one of the following forms:", Ppr.text "\12539 begin function f(x) returns y", Ppr.text "\12539 begin function y = f(x)"] S.empty) cabal: Leaving directory '/tmp/cabal-tmp-29667/formura-1.0' cabal: Error: some packages failed to install: formura-1.0 failed during the building phase. The exception was: ExitFailure 1