Resolving dependencies... Configuring ansi-terminal-0.6.2.3... Configuring data-default-class-0.1.2.0... Building ansi-terminal-0.6.2.3... Building data-default-class-0.1.2.0... 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 old-locale-1.0.0.7... Installed data-reify-0.6.1 Building old-locale-1.0.0.7... Configuring pretty-ncols-0.1... Installed old-locale-1.0.0.7 Configuring mtl-2.2.1... Installed dlist-0.8.0.2 Building pretty-ncols-0.1... Building mtl-2.2.1... Configuring primitive-0.6.1.0... Installed pretty-ncols-0.1 Building primitive-0.6.1.0... Configuring random-1.1... Installed mtl-2.2.1 Building random-1.1... Configuring stm-2.4.4.1... Installed primitive-0.6.1.0 Building stm-2.4.4.1... Configuring transformers-compat-0.5.1.4... Installed random-1.1 Building transformers-compat-0.5.1.4... Configuring text-1.2.2.1... Installed stm-2.4.4.1 Building text-1.2.2.1... Configuring data-default-instances-containers-0.0.1... Installed transformers-compat-0.5.1.4 Building data-default-instances-containers-0.0.1... Installed data-default-instances-containers-0.0.1 Configuring data-default-instances-old-locale-0.0.1... Building data-default-instances-old-locale-0.0.1... Configuring data-default-instances-dlist-0.0.1... Installed data-default-instances-old-locale-0.0.1 Building data-default-instances-dlist-0.0.1... Configuring vector-0.11.0.0... Installed data-default-instances-dlist-0.0.1 Building vector-0.11.0.0... Configuring copilot-core-2.2.0... Installed text-1.2.2.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... Installed vector-0.11.0.0 Configuring data-default-0.7.1.1... Configuring hashable-1.2.4.0... Installed tagged-0.8.5 Building data-default-0.7.1.1... Building hashable-1.2.4.0... Configuring blaze-builder-0.4.0.2... Installed data-default-0.7.1.1 Building blaze-builder-0.4.0.2... Configuring xml-1.3.14... Installed hashable-1.2.4.0 Building xml-1.3.14... Configuring parsec-3.1.11... Installed blaze-builder-0.4.0.2 Building parsec-3.1.11... Configuring bimap-0.3.2... Installed xml-1.3.14 Building bimap-0.3.2... Installed bimap-0.3.2 Configuring constraints-0.8... Building constraints-0.8... Configuring blaze-textual-0.2.1.0... Installed parsec-3.1.11 Building blaze-textual-0.2.1.0... Configuring scientific-0.3.4.9... Installed blaze-textual-0.2.1.0 Building scientific-0.3.4.9... Installed constraints-0.8 Installed scientific-0.3.4.9 Configuring attoparsec-0.13.1.0... Building attoparsec-0.13.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 Downloading smtlib2-0.3.1... Configuring smtlib2-0.3.1... Building smtlib2-0.3.1... Installed smtlib2-0.3.1 Downloading copilot-theorem-2.2.0... Configuring copilot-theorem-2.2.0... Building copilot-theorem-2.2.0... Installed copilot-theorem-2.2.0 Downloading copilot-language-2.2.0... Configuring copilot-language-2.2.0... Building copilot-language-2.2.0... Installed copilot-language-2.2.0 Downloading copilot-libraries-0.5... Configuring copilot-libraries-0.5... Building copilot-libraries-0.5... Failed to install copilot-libraries-0.5 Build log ( /home/builder/.cabal/logs/copilot-libraries-0.5.log ): cabal: Entering directory '/tmp/cabal-tmp-5046/copilot-libraries-0.5' Configuring copilot-libraries-0.5... Building copilot-libraries-0.5... Preprocessing library copilot-libraries-0.5... [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-5046/copilot-libraries-0.5' cabal: Error: some packages failed to install: copilot-libraries-0.5 failed during the building phase. The exception was: ExitFailure 1