Resolving dependencies... Configuring ansi-terminal-0.6.2.3... Configuring mtl-2.2.1... Building ansi-terminal-0.6.2.3... Building mtl-2.2.1... Installed ansi-terminal-0.6.2.3 Configuring safe-0.3.10... Building safe-0.3.10... Installed mtl-2.2.1 Configuring split-0.2.3.1... Building split-0.2.3.1... Configuring transformers-compat-0.5.1.4... Installed safe-0.3.10 Building transformers-compat-0.5.1.4... Configuring ansi-wl-pprint-0.6.7.3... Installed split-0.2.3.1 Building ansi-wl-pprint-0.6.7.3... Installed transformers-compat-0.5.1.4 Configuring genifunctors-0.4... Building genifunctors-0.4... Configuring geniplate-mirror-0.7.4... Installed ansi-wl-pprint-0.6.7.3 Building geniplate-mirror-0.7.4... Installed genifunctors-0.4 Configuring structural-induction-0.3... Building structural-induction-0.3... Configuring optparse-applicative-0.13.0.0... Installed geniplate-mirror-0.7.4 Building optparse-applicative-0.13.0.0... Installed structural-induction-0.3 Installed optparse-applicative-0.13.0.0 Configuring tip-lib-0.2.1... Building tip-lib-0.2.1... Failed to install tip-lib-0.2.1 Build log ( /home/builder/.cabal/logs/tip-lib-0.2.1.log ): cabal: Entering directory '/tmp/cabal-tmp-23235/tip-lib-0.2.1' Configuring tip-lib-0.2.1... Building tip-lib-0.2.1... Preprocessing library tip-lib-0.2.1... [ 1 of 49] Compiling Tip.Writer ( src/Tip/Writer.hs, dist/build/Tip/Writer.o ) [ 2 of 49] Compiling Tip.Utils.Rename ( src/Tip/Utils/Rename.hs, dist/build/Tip/Utils/Rename.o ) [ 3 of 49] Compiling Tip.Utils ( src/Tip/Utils.hs, dist/build/Tip/Utils.o ) [ 4 of 49] Compiling Tip.Types ( src/Tip/Types.hs, dist/build/Tip/Types.o ) [ 5 of 49] Compiling Tip.Pretty ( src/Tip/Pretty.hs, dist/build/Tip/Pretty.o ) [ 6 of 49] Compiling Tip.Parser.LexTIP ( dist/build/Tip/Parser/LexTIP.hs, dist/build/Tip/Parser/LexTIP.o ) [ 7 of 49] Compiling Tip.Parser.ErrM ( src/Tip/Parser/ErrM.hs, dist/build/Tip/Parser/ErrM.o ) [ 8 of 49] Compiling Tip.Parser.AbsTIP ( src/Tip/Parser/AbsTIP.hs, dist/build/Tip/Parser/AbsTIP.o ) [ 9 of 49] Compiling Tip.Parser.ParTIP ( dist/build/Tip/Parser/ParTIP.hs, dist/build/Tip/Parser/ParTIP.o ) [10 of 49] Compiling Tip.Haskell.Repr ( src/Tip/Haskell/Repr.hs, dist/build/Tip/Haskell/Repr.o ) [11 of 49] Compiling Tip.Fresh ( src/Tip/Fresh.hs, dist/build/Tip/Fresh.o ) [12 of 49] Compiling Tip.Pass.DropSuffix ( src/Tip/Pass/DropSuffix.hs, dist/build/Tip/Pass/DropSuffix.o ) [13 of 49] Compiling Tip.Utils.Specialiser ( src/Tip/Utils/Specialiser.hs, dist/build/Tip/Utils/Specialiser.o ) [14 of 49] Compiling Tip.Core ( src/Tip/Core.hs, dist/build/Tip/Core.o ) [15 of 49] Compiling Tip.Pass.Booleans ( src/Tip/Pass/Booleans.hs, dist/build/Tip/Pass/Booleans.o ) [16 of 49] Compiling Tip.Pass.CSEMatch ( src/Tip/Pass/CSEMatch.hs, dist/build/Tip/Pass/CSEMatch.o ) [17 of 49] Compiling Tip.Pass.Conjecture ( src/Tip/Pass/Conjecture.hs, dist/build/Tip/Pass/Conjecture.o ) [18 of 49] Compiling Tip.Pass.EliminateDeadCode ( src/Tip/Pass/EliminateDeadCode.hs, dist/build/Tip/Pass/EliminateDeadCode.o ) [19 of 49] Compiling Tip.Pass.EqualFunctions ( src/Tip/Pass/EqualFunctions.hs, dist/build/Tip/Pass/EqualFunctions.o ) [20 of 49] Compiling Tip.Pass.Induction ( src/Tip/Pass/Induction.hs, dist/build/Tip/Pass/Induction.o ) [21 of 49] Compiling Tip.Pass.Lift ( src/Tip/Pass/Lift.hs, dist/build/Tip/Pass/Lift.o ) [22 of 49] Compiling Tip.Pass.SelectConjecture ( src/Tip/Pass/SelectConjecture.hs, dist/build/Tip/Pass/SelectConjecture.o ) [23 of 49] Compiling Tip.Scope ( src/Tip/Scope.hs, dist/build/Tip/Scope.o ) [24 of 49] Compiling Tip.Pass.AddMatch ( src/Tip/Pass/AddMatch.hs, dist/build/Tip/Pass/AddMatch.o ) [25 of 49] Compiling Tip.Pass.AxiomatizeDatadecls ( src/Tip/Pass/AxiomatizeDatadecls.hs, dist/build/Tip/Pass/AxiomatizeDatadecls.o ) [26 of 49] Compiling Tip.Pass.AxiomatizeFuncdefs ( src/Tip/Pass/AxiomatizeFuncdefs.hs, dist/build/Tip/Pass/AxiomatizeFuncdefs.o ) [27 of 49] Compiling Tip.Pass.RemoveMatch ( src/Tip/Pass/RemoveMatch.hs, dist/build/Tip/Pass/RemoveMatch.o ) [28 of 49] Compiling Tip.Pass.RemoveNewtype ( src/Tip/Pass/RemoveNewtype.hs, dist/build/Tip/Pass/RemoveNewtype.o ) [29 of 49] Compiling Tip.Rename ( src/Tip/Rename.hs, dist/build/Tip/Rename.o ) [30 of 49] Compiling Tip.Pretty.Isabelle ( src/Tip/Pretty/Isabelle.hs, dist/build/Tip/Pretty/Isabelle.o ) [31 of 49] Compiling Tip.Pretty.SMT ( src/Tip/Pretty/SMT.hs, dist/build/Tip/Pretty/SMT.o ) [32 of 49] Compiling Tip.Lint ( src/Tip/Lint.hs, dist/build/Tip/Lint.o ) [33 of 49] Compiling Tip.Pass.Pipeline ( src/Tip/Pass/Pipeline.hs, dist/build/Tip/Pass/Pipeline.o ) src/Tip/Pass/Pipeline.hs:23:56: error: • Variable not in scope: (<>) :: Mod f0 a0 -> Mod FlagFields () -> Mod FlagFields () • Perhaps you meant one of these: ‘<|>’ (imported from Options.Applicative), ‘<*>’ (imported from Options.Applicative), ‘<$>’ (imported from Options.Applicative) cabal: Leaving directory '/tmp/cabal-tmp-23235/tip-lib-0.2.1' cabal: Error: some packages failed to install: tip-lib-0.2.1 failed during the building phase. The exception was: ExitFailure 1