Build #7 for copilot-libraries-0.4
| Package | copilot-libraries-0.4 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2016-12-25 13:04:13.086904 UTC |
|---|---|
| Compiler | ghc-8.0.1.20161018 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | array-0.5.1.1, base-4.9.0.0, containers-0.5.7.1, copilot-language-2.2.0, mtl-2.2.1, parsec-3.1.11 |
| 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 data-default-class-0.1.2.0...
Building data-default-class-0.1.2.0...
Building ansi-terminal-0.6.2.3...
Installed data-default-class-0.1.2.0
Configuring data-fix-0.0.3...
Building data-fix-0.0.3...
Configuring data-reify-0.6.1...
Installed ansi-terminal-0.6.2.3
Building data-reify-0.6.1...
Configuring dlist-0.8.0.2...
Installed data-fix-0.0.3
Building dlist-0.8.0.2...
Configuring mtl-2.2.1...
Installed data-reify-0.6.1
Building mtl-2.2.1...
Configuring pretty-ncols-0.1...
Installed dlist-0.8.0.2
Building pretty-ncols-0.1...
Configuring old-locale-1.0.0.7...
Installed pretty-ncols-0.1
Building old-locale-1.0.0.7...
Configuring primitive-0.6.1.0...
Installed mtl-2.2.1
Building primitive-0.6.1.0...
Configuring random-1.1...
Installed old-locale-1.0.0.7
Building random-1.1...
Configuring stm-2.4.4.1...
Installed random-1.1
Configuring transformers-compat-0.5.1.4...
Installed primitive-0.6.1.0
Building stm-2.4.4.1...
Building transformers-compat-0.5.1.4...
Configuring text-1.2.2.1...
Installed transformers-compat-0.5.1.4
Building text-1.2.2.1...
Configuring data-default-instances-containers-0.0.1...
Installed stm-2.4.4.1
Building data-default-instances-containers-0.0.1...
Installed data-default-instances-containers-0.0.1
Configuring data-default-instances-dlist-0.0.1...
Building data-default-instances-dlist-0.0.1...
Configuring data-default-instances-old-locale-0.0.1...
Installed data-default-instances-dlist-0.0.1
Building data-default-instances-old-locale-0.0.1...
Configuring copilot-core-2.2.0...
Installed data-default-instances-old-locale-0.0.1
Building copilot-core-2.2.0...
Configuring exceptions-0.8.3...
Installed copilot-core-2.2.0
Building exceptions-0.8.3...
Configuring tagged-0.8.5...
Installed exceptions-0.8.3
Building tagged-0.8.5...
Configuring vector-0.11.0.0...
Installed text-1.2.2.1
Building vector-0.11.0.0...
Installed tagged-0.8.5
Configuring data-default-0.7.1.1...
Building data-default-0.7.1.1...
Configuring bimap-0.3.2...
Installed data-default-0.7.1.1
Building bimap-0.3.2...
Configuring blaze-builder-0.4.0.2...
Installed bimap-0.3.2
Building blaze-builder-0.4.0.2...
Configuring parsec-3.1.11...
Installed blaze-builder-0.4.0.2
Building parsec-3.1.11...
Configuring hashable-1.2.4.0...
Installed parsec-3.1.11
Building hashable-1.2.4.0...
Configuring xml-1.3.14...
Installed hashable-1.2.4.0
Building xml-1.3.14...
Configuring constraints-0.8...
Installed vector-0.11.0.0
Building constraints-0.8...
Installed xml-1.3.14
Configuring scientific-0.3.4.9...
Building scientific-0.3.4.9...
Configuring blaze-textual-0.2.1.0...
Installed constraints-0.8
Building blaze-textual-0.2.1.0...
Installed scientific-0.3.4.9
Configuring attoparsec-0.13.1.0...
Building attoparsec-0.13.1.0...
Installed blaze-textual-0.2.1.0
Installed attoparsec-0.13.1.0
Configuring atto-lisp-0.2.2.2...
Building atto-lisp-0.2.2.2...
Installed atto-lisp-0.2.2.2
Configuring smtlib2-0.3.1...
Building smtlib2-0.3.1...
Installed smtlib2-0.3.1
Configuring copilot-theorem-2.2.0...
Building copilot-theorem-2.2.0...
Installed copilot-theorem-2.2.0
Configuring copilot-language-2.2.0...
Building copilot-language-2.2.0...
Installed copilot-language-2.2.0
Configuring copilot-libraries-0.4...
Building copilot-libraries-0.4...
Failed to install copilot-libraries-0.4
Build log ( /home/builder/.cabal/logs/copilot-libraries-0.4.log ):
cabal: Entering directory '/tmp/cabal-tmp-26408/copilot-libraries-0.4'
Configuring copilot-libraries-0.4...
Building copilot-libraries-0.4...
Preprocessing library copilot-libraries-0.4...
[1 of 9] Compiling Copilot.Library.Voting ( src/Copilot/Library/Voting.hs, dist/build/Copilot/Library/Voting.o )
src/Copilot/Library/Voting.hs:22:1: warning: [-Wunused-imports]
The import of ‘Copilot.Language.Prelude’ is redundant
except perhaps to import instances from ‘Copilot.Language.Prelude’
To import instances alone, use: import Copilot.Language.Prelude()
[2 of 9] Compiling Copilot.Library.Utils ( src/Copilot/Library/Utils.hs, dist/build/Copilot/Library/Utils.o )
src/Copilot/Library/Utils.hs:14:1: warning: [-Wunused-imports]
The import of ‘Copilot.Language.Prelude’ is redundant
except perhaps to import instances from ‘Copilot.Language.Prelude’
To import instances alone, use: import Copilot.Language.Prelude()
[3 of 9] Compiling Copilot.Library.Statistics ( src/Copilot/Library/Statistics.hs, dist/build/Copilot/Library/Statistics.o )
src/Copilot/Library/Statistics.hs:15:1: warning: [-Wunused-imports]
The import of ‘Copilot.Language.Prelude’ is redundant
except perhaps to import instances from ‘Copilot.Language.Prelude’
To import instances alone, use: import Copilot.Language.Prelude()
[4 of 9] Compiling Copilot.Library.Stacks ( src/Copilot/Library/Stacks.hs, dist/build/Copilot/Library/Stacks.o )
src/Copilot/Library/Stacks.hs:13:1: warning: [-Wunused-imports]
The import of ‘Copilot.Language.Prelude’ is redundant
except perhaps to import instances from ‘Copilot.Language.Prelude’
To import instances alone, use: import Copilot.Language.Prelude()
[5 of 9] Compiling Copilot.Library.RegExp ( src/Copilot/Library/RegExp.hs, dist/build/Copilot/Library/RegExp.o )
src/Copilot/Library/RegExp.hs:273:7: error:
• Non type-variable argument
in the constraint: Control.Monad.State.Class.MonadState NumT m
(Use FlexibleContexts to permit this)
• When checking the inferred type
enumSyms' :: forall (m :: * -> *) t.
Control.Monad.State.Class.MonadState NumT m =>
RegExp t -> m (RegExp t)
In an equation for ‘enumSyms’:
enumSyms rexp
= evalState (enumSyms' rexp) 0
where
enumSyms' (RSymbol s)
= do { num <- get;
.... }
enumSyms' (ROr r1 r2)
= do { r1' <- enumSyms' r1;
.... }
enumSyms' (RConcat r1 r2)
= do { r1' <- enumSyms' r1;
.... }
enumSyms' (RStar r)
= do { r' <- enumSyms' r;
.... }
enumSyms' other = return other
cabal: Leaving directory '/tmp/cabal-tmp-26408/copilot-libraries-0.4'
cabal: Error: some packages failed to install:
copilot-libraries-0.4 failed during the building phase. The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.