Resolving dependencies... Configuring Diff-0.3.4... Configuring ansi-terminal-0.6.2.3... Building ansi-terminal-0.6.2.3... Building Diff-0.3.4... Installed Diff-0.3.4 Configuring base-compat-0.9.1... Configuring base-orphans-0.5.4... Installed ansi-terminal-0.6.2.3 Building base-compat-0.9.1... Building base-orphans-0.5.4... Configuring data-default-class-0.1.2.0... Installed base-orphans-0.5.4 Building data-default-class-0.1.2.0... Configuring cmdargs-0.10.14... Installed base-compat-0.9.1 Building cmdargs-0.10.14... Configuring dlist-0.8.0.2... Installed data-default-class-0.1.2.0 Building dlist-0.8.0.2... Configuring fingertree-0.1.1.0... Installed dlist-0.8.0.2 Building fingertree-0.1.1.0... Configuring ghc-paths-0.1.0.9... Installed fingertree-0.1.1.0 Building ghc-paths-0.1.0.9... Configuring mtl-2.2.1... Installed ghc-paths-0.1.0.9 Building mtl-2.2.1... Configuring hscolour-1.24.1... Installed mtl-2.2.1 Building hscolour-1.24.1... Configuring old-locale-1.0.0.7... Installed cmdargs-0.10.14 Building old-locale-1.0.0.7... Configuring primitive-0.6.1.0... Installed old-locale-1.0.0.7 Building primitive-0.6.1.0... Configuring semigroups-0.18.2... Installed hscolour-1.24.1 Configuring stm-2.4.4.1... Installed primitive-0.6.1.0 Building semigroups-0.18.2... Building stm-2.4.4.1... Configuring syb-0.6... Installed semigroups-0.18.2 Building syb-0.6... Configuring text-1.2.2.1... Installed stm-2.4.4.1 Building text-1.2.2.1... Configuring time-locale-compat-0.1.1.3... Installed syb-0.6 Building time-locale-compat-0.1.1.3... Configuring transformers-compat-0.5.1.4... Installed time-locale-compat-0.1.1.3 Building transformers-compat-0.5.1.4... Configuring unix-compat-0.4.2.0... Installed transformers-compat-0.5.1.4 Building unix-compat-0.4.2.0... Installed unix-compat-0.4.2.0 Configuring data-default-instances-containers-0.0.1... 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 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 old-time-1.1.0.3... Installed data-default-instances-old-locale-0.0.1 Building old-time-1.1.0.3... Configuring StateVar-1.1.0.4... Installed text-1.2.2.1 Building StateVar-1.1.0.4... Configuring tagged-0.8.5... Installed StateVar-1.1.0.4 Building tagged-0.8.5... Configuring vector-0.11.0.0... Installed old-time-1.1.0.3 Building vector-0.11.0.0... Configuring filemanip-0.3.6.3... Installed tagged-0.8.5 Building filemanip-0.3.6.3... Installed filemanip-0.3.6.3 Configuring data-default-0.7.1.1... Building data-default-0.7.1.1... Configuring double-conversion-2.0.1.0... Installed data-default-0.7.1.1 Building double-conversion-2.0.1.0... Configuring hashable-1.2.4.0... Installed double-conversion-2.0.1.0 Building hashable-1.2.4.0... Configuring parsec-3.1.11... Installed hashable-1.2.4.0 Building parsec-3.1.11... Configuring polyparse-1.12... Installed parsec-3.1.11 Configuring distributive-0.5.0.2... Installed vector-0.11.0.0 Building polyparse-1.12... Building distributive-0.5.0.2... Installed distributive-0.5.0.2 Configuring text-format-0.3.1.1... Building text-format-0.3.1.1... Configuring void-0.7.1... Installed polyparse-1.12 Building void-0.7.1... Configuring unordered-containers-0.2.7.1... Installed void-0.7.1 Building unordered-containers-0.2.7.1... Configuring scientific-0.3.4.9... Installed text-format-0.3.1.1 Building scientific-0.3.4.9... Configuring vector-th-unbox-0.2.1.6... Installed scientific-0.3.4.9 Building vector-th-unbox-0.2.1.6... Installed unordered-containers-0.2.7.1 Configuring cpphs-1.20.2... Installed vector-th-unbox-0.2.1.6 Configuring contravariant-1.4... Building cpphs-1.20.2... Building contravariant-1.4... Configuring attoparsec-0.13.1.0... Installed contravariant-1.4 Building attoparsec-0.13.1.0... Configuring intern-0.9.1.4... Installed cpphs-1.20.2 Building intern-0.9.1.4... Configuring comonad-5... Installed intern-0.9.1.4 Installed attoparsec-0.13.1.0 Configuring aeson-1.0.2.1... Building aeson-1.0.2.1... Building comonad-5... Installed comonad-5 Configuring bifunctors-5.4.1... Building bifunctors-5.4.1... Installed bifunctors-5.4.1 Configuring liquid-fixpoint-0.3.0.1... Building liquid-fixpoint-0.3.0.1... Installed aeson-1.0.2.1 Failed to install liquid-fixpoint-0.3.0.1 Build log ( /home/builder/.cabal/logs/liquid-fixpoint-0.3.0.1.log ): cabal: Entering directory '/tmp/cabal-tmp-29720/liquid-fixpoint-0.3.0.1' [1 of 1] Compiling Main ( /tmp/cabal-tmp-29720/liquid-fixpoint-0.3.0.1/dist/setup/setup.hs, /tmp/cabal-tmp-29720/liquid-fixpoint-0.3.0.1/dist/setup/Main.o ) Linking /tmp/cabal-tmp-29720/liquid-fixpoint-0.3.0.1/dist/setup/setup ... Configuring liquid-fixpoint-0.3.0.1... Building liquid-fixpoint-0.3.0.1... Preprocessing library liquid-fixpoint-0.3.0.1... [ 1 of 20] Compiling Language.Fixpoint.Misc ( src/Language/Fixpoint/Misc.hs, dist/build/Language/Fixpoint/Misc.o ) [ 2 of 20] Compiling Language.Fixpoint.Names ( src/Language/Fixpoint/Names.hs, dist/build/Language/Fixpoint/Names.o ) [ 3 of 20] Compiling Language.Fixpoint.Types ( src/Language/Fixpoint/Types.hs, dist/build/Language/Fixpoint/Types.o ) src/Language/Fixpoint/Types.hs:1226:5: warning: [-Woverlapping-patterns] Pattern match is redundant In an equation for ‘flatRa’: flatRa ra = ... [ 4 of 20] Compiling Language.Fixpoint.PrettyPrint ( src/Language/Fixpoint/PrettyPrint.hs, dist/build/Language/Fixpoint/PrettyPrint.o ) src/Language/Fixpoint/PrettyPrint.hs:58:10: error: • Overlapping instances for PPrint String arising from a use of ‘Language.Fixpoint.PrettyPrint.$dmpprintPrec’ Matching instances: instance PPrint a => PPrint [a] -- Defined at src/Language/Fixpoint/PrettyPrint.hs:33:10 instance PPrint String -- Defined at src/Language/Fixpoint/PrettyPrint.hs:58:10 • In the expression: Language.Fixpoint.PrettyPrint.$dmpprintPrec @String In an equation for ‘pprintPrec’: pprintPrec = Language.Fixpoint.PrettyPrint.$dmpprintPrec @String In the instance declaration for ‘PPrint String’ cabal: Leaving directory '/tmp/cabal-tmp-29720/liquid-fixpoint-0.3.0.1' cabal: Error: some packages failed to install: impure-containers-0.1.0.0 depends on liquid-fixpoint-0.3.0.1 which failed to install. liquid-fixpoint-0.3.0.1 failed during the building phase. The exception was: ExitFailure 1 liquidhaskell-0.4.1.1 depends on liquid-fixpoint-0.3.0.1 which failed to install.