Build #7 for copilot-2.0.7

[all reports]

Package copilot-2.0.7
Install BuildFailed
Docs NotTried
Tests NotTried
Time submitted 2016-12-25 19:38:35.635725 UTC
Compiler ghc-8.0.1.20161018
OS linux
Arch x86_64
Dependencies base-4.9.0.0, copilot-cbmc-2.2.0, copilot-core-2.2.0, copilot-language-2.2.0, copilot-libraries-2.2.0, base-4.9.0.0, copilot-c99-2.2.0, copilot-cbmc-2.2.0, copilot-core-2.2.0, copilot-language-2.2.0, copilot-libraries-2.2.0, copilot-sbv-2.2.0, directory-1.2.6.2, random-1.1
Flags none

Build log

[view raw]

Resolving dependencies...
Configuring ansi-terminal-0.6.2.3...
Configuring call-stack-0.1.0...
Building ansi-terminal-0.6.2.3...
Building call-stack-0.1.0...
Configuring base-compat-0.9.1...
Installed call-stack-0.1.0
Building base-compat-0.9.1...
Configuring data-default-class-0.1.2.0...
Installed ansi-terminal-0.6.2.3
Building data-default-class-0.1.2.0...
Configuring data-fix-0.0.3...
Installed base-compat-0.9.1
Configuring data-binary-ieee754-0.4.4...
Installed data-default-class-0.1.2.0
Building data-fix-0.0.3...
Building data-binary-ieee754-0.4.4...
Configuring data-reify-0.6.1...
Installed data-binary-ieee754-0.4.4
Configuring dlist-0.8.0.2...
Installed data-fix-0.0.3
Building data-reify-0.6.1...
Building dlist-0.8.0.2...
Configuring mtl-2.2.1...
Installed data-reify-0.6.1
Building mtl-2.2.1...
Configuring old-locale-1.0.0.7...
Installed dlist-0.8.0.2
Building old-locale-1.0.0.7...
Configuring ieee754-0.7.9...
Installed old-locale-1.0.0.7
Building ieee754-0.7.9...
Configuring pretty-ncols-0.1...
Installed mtl-2.2.1
Building pretty-ncols-0.1...
Configuring primitive-0.6.1.0...
Installed pretty-ncols-0.1
Building primitive-0.6.1.0...
Configuring random-1.1...
Installed ieee754-0.7.9
Building random-1.1...
Configuring stm-2.4.4.1...
Installed random-1.1
Configuring syb-0.6...
Installed primitive-0.6.1.0
Building stm-2.4.4.1...
Building syb-0.6...
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 syb-0.6
Building text-1.2.2.1...
Installed transformers-compat-0.5.1.4
Configuring HUnit-1.5.0.0...
Building HUnit-1.5.0.0...
Configuring data-default-instances-containers-0.0.1...
Installed HUnit-1.5.0.0
Building data-default-instances-containers-0.0.1...
Configuring data-default-instances-dlist-0.0.1...
Installed data-default-instances-containers-0.0.1
Building data-default-instances-dlist-0.0.1...
Configuring old-time-1.1.0.3...
Installed data-default-instances-dlist-0.0.1
Building old-time-1.1.0.3...
Configuring data-default-instances-old-locale-0.0.1...
Installed old-time-1.1.0.3
Building data-default-instances-old-locale-0.0.1...
Configuring crackNum-1.5...
Installed data-default-instances-old-locale-0.0.1
Building crackNum-1.5...
Configuring tf-random-0.5...
Installed text-1.2.2.1
Building tf-random-0.5...
Configuring copilot-core-2.2.0...
Installed crackNum-1.5
Building copilot-core-2.2.0...
Configuring async-2.1.1...
Installed tf-random-0.5
Building async-2.1.1...
Configuring exceptions-0.8.3...
Installed async-2.1.1
Building exceptions-0.8.3...
Configuring vector-0.11.0.0...
Installed copilot-core-2.2.0
Building vector-0.11.0.0...
Configuring tagged-0.8.5...
Installed exceptions-0.8.3
Building tagged-0.8.5...
Installed tagged-0.8.5
Configuring data-default-0.7.1.1...
Building data-default-0.7.1.1...
Configuring blaze-builder-0.4.0.2...
Installed data-default-0.7.1.1
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 xml-1.3.14...
Installed hashable-1.2.4.0
Building xml-1.3.14...
Configuring parsec-3.1.11...
Installed xml-1.3.14
Building parsec-3.1.11...
Configuring bimap-0.3.2...
Installed vector-0.11.0.0
Building bimap-0.3.2...
Configuring QuickCheck-2.9.2...
Installed parsec-3.1.11
Building QuickCheck-2.9.2...
Installed bimap-0.3.2
Configuring constraints-0.8...
Building constraints-0.8...
Configuring scientific-0.3.4.9...
Installed constraints-0.8
Building scientific-0.3.4.9...
Configuring blaze-textual-0.2.1.0...
Installed scientific-0.3.4.9
Building blaze-textual-0.2.1.0...
Configuring csv-0.1.2...
Installed blaze-textual-0.2.1.0
Building csv-0.1.2...
Configuring atom-1.0.13...
Installed QuickCheck-2.9.2
Building atom-1.0.13...
Installed csv-0.1.2
Configuring attoparsec-0.13.1.0...
Building attoparsec-0.13.1.0...
Configuring sbv-5.13...
Installed attoparsec-0.13.1.0
Building sbv-5.13...
Configuring atto-lisp-0.2.2.2...
Installed atom-1.0.13
Building atto-lisp-0.2.2.2...
Installed atto-lisp-0.2.2.2
Configuring copilot-c99-2.2.0...
Building copilot-c99-2.2.0...
Configuring smtlib2-0.3.1...
Installed copilot-c99-2.2.0
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 sbv-5.13
Configuring copilot-sbv-2.2.0...
Building copilot-sbv-2.2.0...
Installed copilot-language-2.2.0
Configuring copilot-libraries-2.2.0...
Building copilot-libraries-2.2.0...
Installed copilot-libraries-2.2.0
Installed copilot-sbv-2.2.0
Configuring copilot-cbmc-2.2.0...
Building copilot-cbmc-2.2.0...
Installed copilot-cbmc-2.2.0
Configuring copilot-2.0.7...
Building copilot-2.0.7...
Failed to install copilot-2.0.7
Build log ( /home/builder/.cabal/logs/copilot-2.0.7.log ):
cabal: Entering directory '/tmp/cabal-tmp-13358/copilot-2.0.7'
Configuring copilot-2.0.7...
Building copilot-2.0.7...
Preprocessing library copilot-2.0.7...
[1 of 1] Compiling Language.Copilot ( src/Language/Copilot.hs, dist/build/Language/Copilot.o )
Preprocessing executable 'copilot-regression' for copilot-2.0.7...
[ 1 of 20] Compiling Random           ( Examples/Random.hs, dist/build/copilot-regression/copilot-regression-tmp/Random.o )
[ 2 of 20] Compiling Language.Copilot ( src/Language/Copilot.hs, dist/build/copilot-regression/copilot-regression-tmp/Language/Copilot.o )
[ 3 of 20] Compiling Languages        ( Examples/Languages.hs, dist/build/copilot-regression/copilot-regression-tmp/Languages.o )
[ 4 of 20] Compiling Local            ( Examples/Local.hs, dist/build/copilot-regression/copilot-regression-tmp/Local.o )
[ 5 of 20] Compiling PTLTLExamples    ( Examples/PTLTLExamples.hs, dist/build/copilot-regression/copilot-regression-tmp/PTLTLExamples.o )
[ 6 of 20] Compiling RegExpExamples   ( Examples/RegExpExamples.hs, dist/build/copilot-regression/copilot-regression-tmp/RegExpExamples.o )
[ 7 of 20] Compiling Sat              ( Examples/Sat.hs, dist/build/copilot-regression/copilot-regression-tmp/Sat.o )
[ 8 of 20] Compiling StackExamples    ( Examples/StackExamples.hs, dist/build/copilot-regression/copilot-regression-tmp/StackExamples.o )
[ 9 of 20] Compiling StatExamples     ( Examples/StatExamples.hs, dist/build/copilot-regression/copilot-regression-tmp/StatExamples.o )
[10 of 20] Compiling VotingExamples   ( Examples/VotingExamples.hs, dist/build/copilot-regression/copilot-regression-tmp/VotingExamples.o )
[11 of 20] Compiling LTLExamples      ( Examples/LTLExamples.hs, dist/build/copilot-regression/copilot-regression-tmp/LTLExamples.o )
[12 of 20] Compiling ExtFuns          ( Examples/ExtFuns.hs, dist/build/copilot-regression/copilot-regression-tmp/ExtFuns.o )
[13 of 20] Compiling Examples2        ( Examples/Examples2.hs, dist/build/copilot-regression/copilot-regression-tmp/Examples2.o )
[14 of 20] Compiling Examples         ( Examples/Examples.hs, dist/build/copilot-regression/copilot-regression-tmp/Examples.o )

Examples/Examples.hs:70:22: error:
    • Could not deduce (Eq a) arising from the literal ‘0’
      from the context: (Num a, Typed a)
        bound by the type signature for:
                   counter :: (Num a, Typed a) => Stream Bool -> Stream a
        at Examples/Examples.hs:66:1-54
      Possible fix:
        add (Eq a) to the context of
          the type signature for:
            counter :: (Num a, Typed a) => Stream Bool -> Stream a
    • In the expression: 0
      In the expression: if reset then 0 else zy + 1
      In an equation for ‘y’: y = if reset then 0 else zy + 1
cabal: Leaving directory '/tmp/cabal-tmp-13358/copilot-2.0.7'
cabal: Error: some packages failed to install:
copilot-2.0.7 failed during the building phase. The exception was:
ExitFailure 1