Build #2 for formura-1.0

[all reports]

Package formura-1.0
Install BuildFailed
Docs NotTried
Tests NotTried
Time submitted 2016-11-29 18:22:38.529673 UTC
Compiler ghc-8.0.1.20161018
OS linux
Arch x86_64
Dependencies QuickCheck-2.9.2, ansi-wl-pprint-0.6.7.3, base-4.9.0.0, containers-0.5.7.1, either-4.4.1.1, lattices-1.5.0, lens-4.15.1, mmorph-1.0.9, mtl-2.2.1, parsers-0.12.4, text-1.2.2.1, trifecta-1.6.1, vector-0.11.0.0, ansi-wl-pprint-0.6.7.3, base-4.9.0.0, lens-4.15.1, trifecta-1.6.1, ansi-wl-pprint-0.6.7.3, base-4.9.0.0, containers-0.5.7.1, lens-4.15.1, text-1.2.2.1, trifecta-1.6.1, ansi-wl-pprint-0.6.7.3, base-4.9.0.0, trifecta-1.6.1
Flags none

Code Coverage

No Code Coverage was submitted for this report.

Build log

[view raw]

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

Test log

No test log was submitted for this report.