Resolving dependencies...
Configuring ansi-terminal-0.6.2.3...
Configuring base-orphans-0.5.4...
Building ansi-terminal-0.6.2.3...
Building base-orphans-0.5.4...
Installed base-orphans-0.5.4
Configuring cmdargs-0.10.14...
Building cmdargs-0.10.14...
Configuring old-locale-1.0.0.7...
Installed ansi-terminal-0.6.2.3
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 mtl-2.2.1...
Installed primitive-0.6.1.0
Building mtl-2.2.1...
Configuring semigroups-0.18.2...
Installed mtl-2.2.1
Building semigroups-0.18.2...
Configuring stm-2.4.4.1...
Installed semigroups-0.18.2
Building stm-2.4.4.1...
Configuring syb-0.6...
Installed stm-2.4.4.1
Building syb-0.6...
Configuring text-1.2.2.1...
Installed cmdargs-0.10.14
Building text-1.2.2.1...
Configuring transformers-compat-0.5.1.4...
Installed syb-0.6
Building transformers-compat-0.5.1.4...
Configuring unix-compat-0.4.3.1...
Installed transformers-compat-0.5.1.4
Building unix-compat-0.4.3.1...
Installed unix-compat-0.4.3.1
Configuring StateVar-1.1.0.4...
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 tagged-0.8.5
Building vector-0.11.0.0...
Configuring filemanip-0.3.6.3...
Installed text-1.2.2.1
Building filemanip-0.3.6.3...
Installed filemanip-0.3.6.3
Configuring distributive-0.5.0.2...
Building distributive-0.5.0.2...
Configuring hashable-1.2.4.0...
Installed distributive-0.5.0.2
Building hashable-1.2.4.0...
Configuring double-conversion-2.0.1.0...
Installed hashable-1.2.4.0
Building double-conversion-2.0.1.0...
Configuring parsec-3.1.11...
Installed double-conversion-2.0.1.0
Building parsec-3.1.11...
Installed vector-0.11.0.0
Configuring unordered-containers-0.2.7.1...
Building unordered-containers-0.2.7.1...
Configuring void-0.7.1...
Installed parsec-3.1.11
Building void-0.7.1...
Installed void-0.7.1
Configuring text-format-0.3.1.1...
Building text-format-0.3.1.1...
Configuring scientific-0.3.4.9...
Installed text-format-0.3.1.1
Building scientific-0.3.4.9...
Installed unordered-containers-0.2.7.1
Configuring intern-0.9.1.4...
Building intern-0.9.1.4...
Configuring contravariant-1.4...
Installed intern-0.9.1.4
Installed scientific-0.3.4.9
Configuring attoparsec-0.13.1.0...
Building contravariant-1.4...
Building attoparsec-0.13.1.0...
Installed contravariant-1.4
Configuring comonad-5...
Building comonad-5...
Installed attoparsec-0.13.1.0
Installed comonad-5
Configuring bifunctors-5.4.1...
Building bifunctors-5.4.1...
Installed bifunctors-5.4.1
Downloading liquid-fixpoint-0.2.0.0...
Configuring liquid-fixpoint-0.2.0.0...
Building liquid-fixpoint-0.2.0.0...
Failed to install liquid-fixpoint-0.2.0.0
Build log ( /home/builder/.cabal/logs/liquid-fixpoint-0.2.0.0.log ):
cabal: Entering directory '/tmp/cabal-tmp-13220/liquid-fixpoint-0.2.0.0'
[1 of 1] Compiling Main             ( /tmp/cabal-tmp-13220/liquid-fixpoint-0.2.0.0/dist/setup/setup.hs, /tmp/cabal-tmp-13220/liquid-fixpoint-0.2.0.0/dist/setup/Main.o )
Linking /tmp/cabal-tmp-13220/liquid-fixpoint-0.2.0.0/dist/setup/setup ...
Configuring liquid-fixpoint-0.2.0.0...
Building liquid-fixpoint-0.2.0.0...
Preprocessing library liquid-fixpoint-0.2.0.0...
[ 1 of 11] Compiling Language.Fixpoint.Misc ( src/Language/Fixpoint/Misc.hs, dist/build/Language/Fixpoint/Misc.o )
[ 2 of 11] Compiling Language.Fixpoint.Names ( src/Language/Fixpoint/Names.hs, dist/build/Language/Fixpoint/Names.o )
[ 3 of 11] Compiling Language.Fixpoint.Types ( src/Language/Fixpoint/Types.hs, dist/build/Language/Fixpoint/Types.o )

src/Language/Fixpoint/Types.hs:762:10: error:
    • Overlapping instances for Fixpoint FEnv
        arising from a use of ‘Language.Fixpoint.Types.$dmsimplify’
      Matching instances:
        instance Fixpoint FEnv
          -- Defined at src/Language/Fixpoint/Types.hs:762:10
        instance Fixpoint a => Fixpoint (SEnv a)
          -- Defined at src/Language/Fixpoint/Types.hs:775:10
    • In the expression: Language.Fixpoint.Types.$dmsimplify @FEnv
      In an equation for ‘simplify’:
          simplify = Language.Fixpoint.Types.$dmsimplify @FEnv
      In the instance declaration for ‘Fixpoint FEnv’
cabal: Leaving directory '/tmp/cabal-tmp-13220/liquid-fixpoint-0.2.0.0'
cabal: Error: some packages failed to install:
liquid-fixpoint-0.2.0.0 failed during the building phase. The exception was:
ExitFailure 1