Resolving dependencies... Starting StateVar-1.2.2 Starting base-orphans-0.8.6 Starting Diff-0.4.1 Starting base-compat-0.12.1 Building StateVar-1.2.2 Building base-orphans-0.8.6 Building Diff-0.4.1 Building base-compat-0.12.1 Completed StateVar-1.2.2 Starting base64-bytestring-1.2.1.0 Building base64-bytestring-1.2.1.0 Completed Diff-0.4.1 Starting basement-0.0.14 Building basement-0.0.14 Completed base64-bytestring-1.2.1.0 Starting byteable-0.1.1 Building byteable-0.1.1 Completed base-orphans-0.8.6 Starting call-stack-0.4.0 Building call-stack-0.4.0 Completed base-compat-0.12.1 Starting cereal-0.5.8.2 Completed byteable-0.1.1 Starting clock-0.8.3 Building cereal-0.5.8.2 Building clock-0.8.3 Completed call-stack-0.4.0 Starting cmdargs-0.10.21 Building cmdargs-0.10.21 Completed clock-0.8.3 Starting colour-2.3.6 Building colour-2.3.6 Completed cereal-0.5.8.2 Starting data-default-class-0.1.2.0 Building data-default-class-0.1.2.0 Completed data-default-class-0.1.2.0 Starting dlist-1.0 Building dlist-1.0 Completed colour-2.3.6 Starting fgl-5.7.0.3 Building fgl-5.7.0.3 Completed dlist-1.0 Starting fingertree-0.1.5.0 Building fingertree-0.1.5.0 Completed fgl-5.7.0.3 Starting hscolour-1.24.4 Building hscolour-1.24.4 Completed cmdargs-0.10.21 Starting hspec-discover-2.9.4 Completed fingertree-0.1.5.0 Starting indexed-profunctors-0.1.1 Building hspec-discover-2.9.4 Building indexed-profunctors-0.1.1 Completed hspec-discover-2.9.4 Starting indexed-traversable-0.1.2 Building indexed-traversable-0.1.2 Completed indexed-profunctors-0.1.1 Starting integer-logarithms-1.0.3.1 Building integer-logarithms-1.0.3.1 Completed integer-logarithms-1.0.3.1 Starting logict-0.7.0.3 Building logict-0.7.0.3 Completed hscolour-1.24.4 Starting monad-loops-0.4.3 Building monad-loops-0.4.3 Completed indexed-traversable-0.1.2 Starting nats-1.1.2 Building nats-1.1.2 Completed nats-1.1.2 Starting network-3.1.2.7 Completed logict-0.7.0.3 Starting old-locale-1.0.0.7 Completed monad-loops-0.4.3 Starting parallel-3.2.2.0 Building old-locale-1.0.0.7 Building parallel-3.2.2.0 Completed old-locale-1.0.0.7 Starting parser-combinators-1.3.0 Building parser-combinators-1.3.0 Building network-3.1.2.7 Completed parallel-3.2.2.0 Starting primitive-0.7.3.0 Building primitive-0.7.3.0 Completed parser-combinators-1.3.0 Starting safe-0.3.19 Building safe-0.3.19 Completed basement-0.0.14 Starting setenv-0.1.1.3 Building setenv-0.1.1.3 Completed setenv-0.1.1.3 Starting split-0.2.3.4 Building split-0.2.3.4 Completed safe-0.3.19 Starting splitmix-0.1.0.4 Building splitmix-0.1.0.4 Completed split-0.2.3.4 Starting syb-0.7.2.1 Building syb-0.7.2.1 Completed splitmix-0.1.0.4 Starting tagged-0.8.6.1 Building tagged-0.8.6.1 Completed network-3.1.2.7 Starting terminal-size-0.3.3 Building terminal-size-0.3.3 Completed syb-0.7.2.1 Starting text-1.2.5.0 Building text-1.2.5.0 Completed tagged-0.8.6.1 Starting th-abstraction-0.4.3.0 Completed terminal-size-0.3.3 Starting th-compat-0.1.3 Building th-abstraction-0.4.3.0 Building th-compat-0.1.3 Completed primitive-0.7.3.0 Starting transformers-compat-0.6.6 Building transformers-compat-0.6.6 Completed th-compat-0.1.3 Starting unliftio-core-0.2.0.1 Building unliftio-core-0.2.0.1 Completed transformers-compat-0.6.6 Starting utility-ht-0.0.16 Completed unliftio-core-0.2.0.1 Starting void-0.7.3 Building utility-ht-0.0.16 Building void-0.7.3 Completed th-abstraction-0.4.3.0 Starting contravariant-1.5.5 Building contravariant-1.5.5 Completed void-0.7.3 Downloading OneTuple-0.3 Downloaded OneTuple-0.3 Starting OneTuple-0.3 Building OneTuple-0.3 Completed OneTuple-0.3 Starting gitrev-1.3.1 Completed contravariant-1.5.5 Starting HUnit-1.6.2.0 Building gitrev-1.3.1 Building HUnit-1.6.2.0 Completed utility-ht-0.0.16 Starting extra-1.7.10 Building extra-1.7.10 Completed gitrev-1.3.1 Starting data-default-instances-containers-0.0.1 Building data-default-instances-containers-0.0.1 Completed HUnit-1.6.2.0 Starting ansi-terminal-0.11.1 Completed data-default-instances-containers-0.0.1 Starting data-default-instances-dlist-0.0.1 Building ansi-terminal-0.11.1 Building data-default-instances-dlist-0.0.1 Completed data-default-instances-dlist-0.0.1 Starting optics-core-0.4.1 Building optics-core-0.4.1 Completed extra-1.7.10 Starting smallcheck-1.2.1 Building smallcheck-1.2.1 Completed ansi-terminal-0.11.1 Starting data-default-instances-old-locale-0.0.1 Building data-default-instances-old-locale-0.0.1 Completed text-1.2.5.0 Starting memory-0.17.0 Completed data-default-instances-old-locale-0.0.1 Starting boxes-0.1.5 Building memory-0.17.0 Building boxes-0.1.5 Completed boxes-0.1.5 Starting random-1.2.1 Building random-1.2.1 Completed smallcheck-1.2.1 Starting distributive-0.6.2.1 Building distributive-0.6.2.1 Completed distributive-0.6.2.1 Starting vector-0.12.3.1 Building vector-0.12.3.1 Completed memory-0.17.0 Starting githash-0.1.6.2 Building githash-0.1.6.2 Completed githash-0.1.6.2 Starting transformers-base-0.4.6 Completed random-1.2.1 Starting resourcet-1.2.4.3 Building transformers-base-0.4.6 Building resourcet-1.2.4.3 Completed transformers-base-0.4.6 Starting th-lift-0.8.2 Building th-lift-0.8.2 Completed optics-core-0.4.1 Starting th-expand-syns-0.4.9.0 Building th-expand-syns-0.4.9.0 Completed resourcet-1.2.4.3 Starting base-compat-batteries-0.12.1 Building base-compat-batteries-0.12.1 Completed th-lift-0.8.2 Starting hspec-expectations-0.8.2 Completed th-expand-syns-0.4.9.0 Starting ansi-wl-pprint-0.6.9 Building hspec-expectations-0.8.2 Building ansi-wl-pprint-0.6.9 Completed hspec-expectations-0.8.2 Starting store-core-0.4.4.4 Building store-core-0.4.4.4 Completed ansi-wl-pprint-0.6.9 Starting parsec-3.1.15.0 Building parsec-3.1.15.0 Completed base-compat-batteries-0.12.1 Downloading hashable-1.3.3.0 Downloaded hashable-1.3.3.0 Starting hashable-1.3.3.0 Completed store-core-0.4.4.4 Starting data-default-0.7.1.1 Building hashable-1.3.3.0 Building data-default-0.7.1.1 Completed data-default-0.7.1.1 Starting comonad-5.0.8 Building comonad-5.0.8 Completed hashable-1.3.3.0 Starting cryptonite-0.30 Completed parsec-3.1.15.0 Starting tf-random-0.5 Building cryptonite-0.30 Building tf-random-0.5 Completed comonad-5.0.8 Starting temporary-1.3 Building temporary-1.3 Completed temporary-1.3 Downloading probability-0.2.7 Downloaded probability-0.2.7 Starting probability-0.2.7 Completed tf-random-0.5 Starting QuickCheck-2.14.2 Building probability-0.2.7 Building QuickCheck-2.14.2 Completed probability-0.2.7 Starting monad-control-1.0.3.1 Building monad-control-1.0.3.1 Completed monad-control-1.0.3.1 Starting optics-th-0.4.1 Building optics-th-0.4.1 Completed vector-0.12.3.1 Starting th-reify-many-0.1.10 Building th-reify-many-0.1.10 Completed th-reify-many-0.1.10 Starting optparse-applicative-0.15.1.0 Building optparse-applicative-0.15.1.0 Completed optics-th-0.4.1 Starting uuid-types-1.0.5 Building uuid-types-1.0.5 Completed QuickCheck-2.14.2 Starting unordered-containers-0.2.17.0 Completed uuid-types-1.0.5 Starting time-compat-1.9.6.1 Building unordered-containers-0.2.17.0 Building time-compat-1.9.6.1 Completed optparse-applicative-0.15.1.0 Starting scientific-0.3.7.0 Building scientific-0.3.7.0 Completed time-compat-1.9.6.1 Starting data-fix-0.3.2 Building data-fix-0.3.2 Completed scientific-0.3.7.0 Starting case-insensitive-1.2.1.0 Building case-insensitive-1.2.1.0 Completed data-fix-0.3.2 Starting async-2.2.4 Completed case-insensitive-1.2.1.0 Starting Cabal-3.4.1.0 Building async-2.2.4 Building Cabal-3.4.1.0 Completed unordered-containers-0.2.17.0 Starting bifunctors-5.5.11 Completed async-2.2.4 Starting lifted-base-0.2.3.12 Building bifunctors-5.5.11 Building lifted-base-0.2.3.12 Completed lifted-base-0.2.3.12 Starting vector-algorithms-0.8.0.4 Building vector-algorithms-0.8.0.4 Completed bifunctors-5.5.11 Starting th-lift-instances-0.1.19 Building th-lift-instances-0.1.19 Completed vector-algorithms-0.8.0.4 Starting quickcheck-io-0.2.0 Building quickcheck-io-0.2.0 Completed th-lift-instances-0.1.19 Starting optparse-simple-0.1.1.4 Building optparse-simple-0.1.1.4 Completed quickcheck-io-0.2.0 Starting attoparsec-0.14.4 Building attoparsec-0.14.4 Completed optparse-simple-0.1.1.4 Starting megaparsec-8.0.0 Building megaparsec-8.0.0 Completed cryptonite-0.30 Starting rest-rewrite-0.2.0 Building rest-rewrite-0.2.0 Completed attoparsec-0.14.4 Starting intern-0.9.4 Building intern-0.9.4 Completed megaparsec-8.0.0 Starting indexed-traversable-instances-0.1.1 Building indexed-traversable-instances-0.1.1 Completed intern-0.9.4 Starting concurrent-output-1.10.15 Building concurrent-output-1.10.15 Completed indexed-traversable-instances-0.1.1 Starting semigroupoids-5.3.7 Building semigroupoids-5.3.7 Completed concurrent-output-1.10.15 Starting profunctors-5.6.2 Building profunctors-5.6.2 Completed rest-rewrite-0.2.0 Starting assoc-1.0.2 Building assoc-1.0.2 Completed assoc-1.0.2 Starting mono-traversable-1.0.15.3 Building mono-traversable-1.0.15.3 Completed semigroupoids-5.3.7 Starting th-orphans-0.13.12 Building th-orphans-0.13.12 Completed profunctors-5.6.2 Starting hspec-core-2.9.4 Building hspec-core-2.9.4 Completed th-orphans-0.13.12 Starting cryptohash-0.11.9 Building cryptohash-0.11.9 Completed mono-traversable-1.0.15.3 Starting witherable-0.4.2 Building witherable-0.4.2 Completed cryptohash-0.11.9 Starting optics-extra-0.4.1 Building optics-extra-0.4.1 Completed hspec-core-2.9.4 Downloading ascii-progress-0.3.3.0 Downloaded ascii-progress-0.3.3.0 Starting ascii-progress-0.3.3.0 Completed witherable-0.4.2 Starting these-1.1.1.1 Building ascii-progress-0.3.3.0 Building these-1.1.1.1 Completed ascii-progress-0.3.3.0 Starting free-5.1.7 Building free-5.1.7 Completed these-1.1.1.1 Starting th-utilities-0.2.4.3 Building th-utilities-0.2.4.3 Completed optics-extra-0.4.1 Starting hspec-smallcheck-0.5.2 Building hspec-smallcheck-0.5.2 Completed hspec-smallcheck-0.5.2 Starting hspec-2.9.4 Building hspec-2.9.4 Completed th-utilities-0.2.4.3 Starting strict-0.4.0.1 Completed hspec-2.9.4 Starting semialign-1.2.0.1 Building strict-0.4.0.1 Building semialign-1.2.0.1 Completed semialign-1.2.0.1 Starting optics-0.4.1 Completed strict-0.4.0.1 Downloading aeson-2.0.1.0 Building optics-0.4.1 Downloaded aeson-2.0.1.0 Starting aeson-2.0.1.0 Building aeson-2.0.1.0 Completed free-5.1.7 Starting store-0.7.14 Completed optics-0.4.1 Downloading recursion-schemes-5.2.2 Downloaded recursion-schemes-5.2.2 Starting recursion-schemes-5.2.2 Building store-0.7.14 Building recursion-schemes-5.2.2 Completed recursion-schemes-5.2.2 Completed aeson-2.0.1.0 Completed store-0.7.14 Downloading liquid-fixpoint-0.8.10.7 Downloaded liquid-fixpoint-0.8.10.7 Starting liquid-fixpoint-0.8.10.7 Building liquid-fixpoint-0.8.10.7 Failed to install liquid-fixpoint-0.8.10.7 Build log ( /home/builder/.cabal/logs/ghc-8.10.2/liquid-fixpoint-0.8.10.7-7T7b86HEDsF82BmtOY5yHs.log ): cabal: Entering directory '/tmp/cabal-tmp-8131/liquid-fixpoint-0.8.10.7' Configuring liquid-fixpoint-0.8.10.7... Preprocessing library for liquid-fixpoint-0.8.10.7.. Building library for liquid-fixpoint-0.8.10.7.. [ 1 of 65] Compiling Data.ShareMap ( src/Data/ShareMap.hs, dist/build/Data/ShareMap.o, dist/build/Data/ShareMap.dyn_o ) [ 2 of 65] Compiling Language.Fixpoint.Utils.Builder ( src/Language/Fixpoint/Utils/Builder.hs, dist/build/Language/Fixpoint/Utils/Builder.o, dist/build/Language/Fixpoint/Utils/Builder.dyn_o ) [ 3 of 65] Compiling Language.Fixpoint.Utils.Progress ( unix/Language/Fixpoint/Utils/Progress.hs, dist/build/Language/Fixpoint/Utils/Progress.o, dist/build/Language/Fixpoint/Utils/Progress.dyn_o ) [ 4 of 65] Compiling Text.PrettyPrint.HughesPJ.Compat ( src/Text/PrettyPrint/HughesPJ/Compat.hs, dist/build/Text/PrettyPrint/HughesPJ/Compat.o, dist/build/Text/PrettyPrint/HughesPJ/Compat.dyn_o ) [ 5 of 65] Compiling Language.Fixpoint.Misc ( src/Language/Fixpoint/Misc.hs, dist/build/Language/Fixpoint/Misc.o, dist/build/Language/Fixpoint/Misc.dyn_o ) [ 6 of 65] Compiling Language.Fixpoint.Utils.Files ( src/Language/Fixpoint/Utils/Files.hs, dist/build/Language/Fixpoint/Utils/Files.o, dist/build/Language/Fixpoint/Utils/Files.dyn_o ) [ 7 of 65] Compiling Language.Fixpoint.Types.Config ( src/Language/Fixpoint/Types/Config.hs, dist/build/Language/Fixpoint/Types/Config.o, dist/build/Language/Fixpoint/Types/Config.dyn_o ) [ 8 of 65] Compiling Language.Fixpoint.Types.PrettyPrint ( src/Language/Fixpoint/Types/PrettyPrint.hs, dist/build/Language/Fixpoint/Types/PrettyPrint.o, dist/build/Language/Fixpoint/Types/PrettyPrint.dyn_o ) [ 9 of 65] Compiling Language.Fixpoint.Utils.Trie ( src/Language/Fixpoint/Utils/Trie.hs, dist/build/Language/Fixpoint/Utils/Trie.o, dist/build/Language/Fixpoint/Utils/Trie.dyn_o ) [10 of 65] Compiling Language.Fixpoint.Types.Spans ( src/Language/Fixpoint/Types/Spans.hs, dist/build/Language/Fixpoint/Types/Spans.o, dist/build/Language/Fixpoint/Types/Spans.dyn_o ) [11 of 65] Compiling Language.Fixpoint.Types.Names ( src/Language/Fixpoint/Types/Names.hs, dist/build/Language/Fixpoint/Types/Names.o, dist/build/Language/Fixpoint/Types/Names.dyn_o ) [12 of 65] Compiling Language.Fixpoint.Types.Sorts ( src/Language/Fixpoint/Types/Sorts.hs, dist/build/Language/Fixpoint/Types/Sorts.o, dist/build/Language/Fixpoint/Types/Sorts.dyn_o ) [13 of 65] Compiling Language.Fixpoint.Types.Refinements ( src/Language/Fixpoint/Types/Refinements.hs, dist/build/Language/Fixpoint/Types/Refinements.o, dist/build/Language/Fixpoint/Types/Refinements.dyn_o ) [14 of 65] Compiling Language.Fixpoint.Types.Triggers ( src/Language/Fixpoint/Types/Triggers.hs, dist/build/Language/Fixpoint/Types/Triggers.o, dist/build/Language/Fixpoint/Types/Triggers.dyn_o ) [15 of 65] Compiling Language.Fixpoint.Types.Templates ( src/Language/Fixpoint/Types/Templates.hs, dist/build/Language/Fixpoint/Types/Templates.o, dist/build/Language/Fixpoint/Types/Templates.dyn_o ) [16 of 65] Compiling Language.Fixpoint.Types.Substitutions ( src/Language/Fixpoint/Types/Substitutions.hs, dist/build/Language/Fixpoint/Types/Substitutions.o, dist/build/Language/Fixpoint/Types/Substitutions.dyn_o ) [17 of 65] Compiling Language.Fixpoint.Solver.Stats ( src/Language/Fixpoint/Solver/Stats.hs, dist/build/Language/Fixpoint/Solver/Stats.o, dist/build/Language/Fixpoint/Solver/Stats.dyn_o ) [18 of 65] Compiling Language.Fixpoint.Types.Errors ( src/Language/Fixpoint/Types/Errors.hs, dist/build/Language/Fixpoint/Types/Errors.o, dist/build/Language/Fixpoint/Types/Errors.dyn_o ) [19 of 65] Compiling Language.Fixpoint.Types.Environments ( src/Language/Fixpoint/Types/Environments.hs, dist/build/Language/Fixpoint/Types/Environments.o, dist/build/Language/Fixpoint/Types/Environments.dyn_o ) [20 of 65] Compiling Language.Fixpoint.Types.Theories ( src/Language/Fixpoint/Types/Theories.hs, dist/build/Language/Fixpoint/Types/Theories.o, dist/build/Language/Fixpoint/Types/Theories.dyn_o ) [21 of 65] Compiling Language.Fixpoint.Types.Constraints ( src/Language/Fixpoint/Types/Constraints.hs, dist/build/Language/Fixpoint/Types/Constraints.o, dist/build/Language/Fixpoint/Types/Constraints.dyn_o ) [22 of 65] Compiling Language.Fixpoint.Types.Utils ( src/Language/Fixpoint/Types/Utils.hs, dist/build/Language/Fixpoint/Types/Utils.o, dist/build/Language/Fixpoint/Types/Utils.dyn_o ) [23 of 65] Compiling Language.Fixpoint.Types ( src/Language/Fixpoint/Types.hs, dist/build/Language/Fixpoint/Types.o, dist/build/Language/Fixpoint/Types.dyn_o ) [24 of 65] Compiling Language.Fixpoint.Types.Visitor ( src/Language/Fixpoint/Types/Visitor.hs, dist/build/Language/Fixpoint/Types/Visitor.o, dist/build/Language/Fixpoint/Types/Visitor.dyn_o ) [25 of 65] Compiling Language.Fixpoint.Solver.UniqifyKVars ( src/Language/Fixpoint/Solver/UniqifyKVars.hs, dist/build/Language/Fixpoint/Solver/UniqifyKVars.o, dist/build/Language/Fixpoint/Solver/UniqifyKVars.dyn_o ) [26 of 65] Compiling Language.Fixpoint.Solver.Rewrite ( src/Language/Fixpoint/Solver/Rewrite.hs, dist/build/Language/Fixpoint/Solver/Rewrite.o, dist/build/Language/Fixpoint/Solver/Rewrite.dyn_o ) src/Language/Fixpoint/Solver/Rewrite.hs:29:1: error: Could not find module Language.REST.AbstractOC Perhaps you meant Language.REST.OCToAbstract (from rest-rewrite-0.2.0) Use -v (or `:set -v` in ghci) to see a list of the files searched for. | 29 | import Language.REST.AbstractOC | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Language/Fixpoint/Solver/Rewrite.hs:32:1: error: Could not find module Language.REST.OrderingConstraints.ADT Perhaps you meant Language.REST.WQOConstraints.ADT (from rest-rewrite-0.2.0) Use -v (or `:set -v` in ghci) to see a list of the files searched for. | 32 | import Language.REST.OrderingConstraints.ADT (ConstraintsADT) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cabal: Leaving directory '/tmp/cabal-tmp-8131/liquid-fixpoint-0.8.10.7' Completed Cabal-3.4.1.0 cabal: Error: some packages failed to install: liquid-base-4.14.1.0-17QrD6m4kBTZX96Q1CPX depends on liquid-base-4.14.1.0 which failed to install. liquid-containers-0.6.2.1-6DW5o5pD4Q88CXPEFJNwq6 depends on liquid-containers-0.6.2.1 which failed to install. liquid-fixpoint-0.8.10.7-7T7b86HEDsF82BmtOY5yHs failed during the building phase. The exception was: ExitFailure 1 liquid-ghc-prim-0.6.1-CgIqREWySmwIZPHv1atsze depends on liquid-ghc-prim-0.6.1 which failed to install. liquid-prelude-0.8.10.2-2E0S1xMzktA7v3TR9g7avi depends on liquid-prelude-0.8.10.2 which failed to install. liquidhaskell-0.8.10.7-3LIBYLEGXNZDSkff6Cj6UB depends on liquidhaskell-0.8.10.7 which failed to install. safe-coupling-0.1.0.0-6rJa3MG5eUmBPusElgNrjE depends on safe-coupling-0.1.0.0 which failed to install.