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