diff --git a/.github/update-freeze b/.github/update-freeze new file mode 100755 index 00000000..9ba4a1b4 --- /dev/null +++ b/.github/update-freeze @@ -0,0 +1,15 @@ +#!/bin/bash +# Updates cabal.project freeze files +set -e + +if [ "$#" -ne 1 ]; then + echo "Usage: $0 " + echo "" + echo " For example, \"$0 8.10.4\"" + exit 1 +fi + +cabal update +ghcup set ghc $1 +cabal freeze +mv cabal.project.freeze cabal.project.freeze.ghc-$1 \ No newline at end of file diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 3ed7630d..22017e7b 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -20,9 +20,9 @@ jobs: submodules: true - name: Copy cabal project files run: | - cp cabal.project.dist cabal.project - cp cabal.project.werror cabal.project.local - cp cabal.project.dist.ghc-${{ matrix.ghc-ver }}.freeze cabal.project.freeze + cp cabal.project.dist cabal.project + cp cabal.project.werror cabal.project.local + cp cabal.project.freeze.ghc-${{ matrix.ghc-ver }} cabal.project.freeze - name: Get GHC run: | ghcup install ghc ${{ matrix.ghc-ver }} diff --git a/cabal.project.dist.ghc-8.10.4.freeze b/cabal.project.freeze.ghc-8.10.4 similarity index 84% rename from cabal.project.dist.ghc-8.10.4.freeze rename to cabal.project.freeze.ghc-8.10.4 index ad563f53..d2965627 100644 --- a/cabal.project.dist.ghc-8.10.4.freeze +++ b/cabal.project.freeze.ghc-8.10.4 @@ -19,6 +19,7 @@ constraints: any.BoundedChan ==1.0.3.0, ansi-wl-pprint -example, any.array ==0.5.4.0, asl-translator -asl-lite +unsafe-operations, + any.assoc ==1.0.2, any.async ==2.2.3, async -bench, any.atomic-primops ==0.8.4, @@ -29,7 +30,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.base-compat ==0.11.2, any.base-orphans ==0.8.4, any.base16-bytestring ==1.0.1.0, - any.bifunctors ==5.5.7, + any.bifunctors ==5.5.11, bifunctors +semigroups +tagged, any.bimap ==0.4.0, any.binary ==0.8.8.0, @@ -37,13 +38,10 @@ constraints: any.BoundedChan ==1.0.3.0, any.blaze-builder ==0.4.2.1, any.blaze-textual ==0.2.1.0, blaze-textual -developer -integer-simple +native, - any.boomerang ==1.4.6, - any.bv-sized ==1.0.2, + any.boomerang ==1.4.7, + any.bv-sized ==1.0.3, any.bytestring ==0.10.12.0, - any.bytestring-builder ==0.10.8.2.0, - bytestring-builder +bytestring_has_builder, - any.cabal-doctest ==1.0.8, - any.call-stack ==0.3.0, + any.call-stack ==0.4.0, any.case-insensitive ==1.2.1.0, any.cereal ==0.5.8.1, cereal -bytestring-builder, @@ -63,7 +61,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.data-binary-ieee754 ==0.4.4, any.data-default-class ==0.1.2.0, any.deepseq ==1.4.4.0, - any.deriving-compat ==0.5.9, + any.deriving-compat ==0.5.10, deriving-compat +base-4-9 +new-functor-classes +template-haskell-2-11, any.direct-sqlite ==2.3.26, direct-sqlite +fulltextsearch +haveusleep +json1 -systemlib +urifilenames, @@ -86,8 +84,9 @@ constraints: any.BoundedChan ==1.0.3.0, any.filepath ==1.4.2.1, any.fingertree ==0.1.4.2, any.finite-typelits ==0.1.4.2, - any.free ==5.1.3, - any.generic-random ==1.3.0.1, + any.free ==5.1.7, + any.generic-random ==1.4.0.0, + generic-random -enable-inspect, any.ghc ==8.10.4, any.ghc-boot ==8.10.4, any.ghc-boot-th ==8.10.4, @@ -96,10 +95,10 @@ constraints: any.BoundedChan ==1.0.3.0, any.ghc-prim ==0.6.1, any.ghci ==8.10.4, any.gitrev ==1.3.1, - any.haggle ==0.1.0.0, + any.haggle ==0.1.0.1, any.happy ==1.20.0, - any.hashable ==1.3.1.0, - hashable +integer-gmp, + any.hashable ==1.3.2.0, + hashable +integer-gmp -random-initial-seed, any.hashtables ==1.2.4.1, hashtables -bounds-checking -debug -detailed-profiling -portable -sse42 +unsafe-tricks, any.haskell-lexer ==1.1, @@ -107,39 +106,42 @@ constraints: any.BoundedChan ==1.0.3.0, any.hpc ==0.6.1.0, any.hsc2hs ==0.68.7, hsc2hs -in-ghc-tree, - any.hspec ==2.7.9, - any.hspec-core ==2.7.9, - any.hspec-discover ==2.7.9, + any.hspec ==2.8.2, + any.hspec-core ==2.8.2, + any.hspec-discover ==2.8.2, any.hspec-expectations ==0.8.2, any.ilist ==0.4.0.1, any.indexed-list-literals ==0.2.1.3, any.indexed-traversable ==0.1.1, + any.indexed-traversable-instances ==0.1, any.integer-gmp ==1.0.3.0, any.integer-logarithms ==1.0.3.1, integer-logarithms -check-bounds +integer-gmp, - any.invariant ==0.5.3, - any.io-streams ==1.5.2.0, + any.invariant ==0.5.4, + any.io-streams ==1.5.2.1, io-streams +network -nointeractivetests +zlib, any.itanium-abi ==0.1.1.1, any.json ==0.10, json +generic -mapdict +parsec +pretty +split-base, any.kan-extensions ==5.2.2, - any.lens ==4.19.2, - lens -benchmark-uniplate -dump-splices +inlining -j -old-inline-pragmas -safe +test-doctests +test-hunit +test-properties +test-templates +trustworthy, + any.kvitable ==1.0.0.0, + any.lens ==5.0.1, + lens -benchmark-uniplate -dump-splices +inlining -j +test-hunit +test-properties +test-templates +trustworthy, any.libBF ==0.6.2, libBF -system-libbf, - any.lifted-async ==0.10.1.3, + any.lifted-async ==0.10.2, any.lifted-base ==0.2.3.12, llvm-pretty-bc-parser -fuzz -regressions, any.located-base ==0.1.1.1, any.logict ==0.7.0.3, + any.lucid ==2.9.12.1, any.lumberjack ==1.0.0.0, - any.math-functions ==0.3.4.1, + any.math-functions ==0.3.4.2, math-functions +system-erf +system-expm1, any.megaparsec ==8.0.0, megaparsec -dev, any.microlens ==0.4.12.0, - any.microlens-th ==0.4.3.6, + any.microlens-th ==0.4.3.10, any.mmorph ==1.1.5, any.monad-control ==1.0.2.3, any.monad-primitive ==0.1, @@ -167,11 +169,11 @@ constraints: any.BoundedChan ==1.0.3.0, any.prettyprinter-ansi-terminal ==1.1.2, any.primitive ==0.7.1.0, any.process ==1.6.9.0, - any.profunctors ==5.6, + any.profunctors ==5.6.2, any.pvar ==1.0.0.0, any.quickcheck-io ==0.2.0, any.random ==1.2.0, - any.ref-tf ==0.4.0.2, + any.ref-tf ==0.5, any.reflection ==2.1.6, reflection -slow +template-haskell, any.regex-base ==0.94.0.1, @@ -185,8 +187,8 @@ constraints: any.BoundedChan ==1.0.3.0, any.scheduler ==1.5.0, any.scientific ==0.3.6.2, scientific -bytestring-builder -integer-simple, - any.semigroupoids ==5.3.4, - semigroupoids +comonad +containers +contravariant +distributive +doctests +tagged +unordered-containers, + any.semigroupoids ==5.3.5, + semigroupoids +comonad +containers +contravariant +distributive +tagged +unordered-containers, any.semigroups ==0.19.1, semigroups +binary +bytestring -bytestring-builder +containers +deepseq +hashable +tagged +template-haskell +text +transformers +unordered-containers, any.setenv ==0.1.1.3, @@ -196,27 +198,33 @@ constraints: any.BoundedChan ==1.0.3.0, splitmix -optimised-mixer, any.sqlite-simple ==0.4.18.0, any.stm ==2.5.0.0, + any.strict ==0.4.0.1, + strict +assoc, any.syb ==0.7.2.1, any.tagged ==0.8.6.1, tagged +deepseq +transformers, any.tasty ==1.4.1, tasty +clock +unix, + any.tasty-checklist ==1.0.0.0, any.tasty-expected-failure ==0.12.3, - any.tasty-hedgehog ==1.0.1.0, - any.tasty-hspec ==1.1.6, + any.tasty-hedgehog ==1.1.0.0, + any.tasty-hspec ==1.1.7, any.tasty-hunit ==0.10.0.3, any.tasty-quickcheck ==0.10.1.2, any.tasty-smallcheck ==0.8.2, - any.tasty-sugar ==1.1.0.0, + any.tasty-sugar ==1.1.1.0, any.template-haskell ==2.16.0.0, any.temporary ==1.3, any.terminal-size ==0.3.2.1, any.terminfo ==0.4.1.4, any.text ==1.2.4.1, any.tf-random ==0.5, - any.th-abstraction ==0.3.2.0, + any.th-abstraction ==0.4.2.0, + any.th-compat ==0.1.2, any.th-lift ==0.8.2, any.th-lift-instances ==0.1.18, + any.these ==1.1.1.1, + these +assoc, any.time ==1.9.3, any.transformers ==0.5.6.2, any.transformers-base ==0.4.5.2, @@ -229,15 +237,15 @@ constraints: any.BoundedChan ==1.0.3.0, any.unix ==2.7.2.2, any.unix-compat ==0.5.3, unix-compat -old-time, - any.unliftio ==0.2.14, + any.unliftio ==0.2.16, any.unliftio-core ==0.2.0.1, any.unordered-containers ==0.2.13.0, unordered-containers -debug, any.utf8-string ==1.0.2, - any.vector ==0.12.2.0, + any.vector ==0.12.3.0, vector +boundschecks -internalchecks -unsafechecks -wall, any.vector-sized ==1.4.3.1, - any.versions ==4.0.3, + any.versions ==5.0.0, any.void ==0.7.3, void -safe, any.wcwidth ==0.0.2, @@ -249,4 +257,4 @@ constraints: any.BoundedChan ==1.0.3.0, any.zlib ==0.6.2.3, zlib -bundled-c-zlib -non-blocking-ffi -pkg-config, any.zlib-bindings ==0.1.1.5 -index-state: hackage.haskell.org 2021-03-24T03:56:29Z +index-state: hackage.haskell.org 2021-05-20T01:42:51Z diff --git a/cabal.project.dist.ghc-8.6.5.freeze b/cabal.project.freeze.ghc-8.6.5 similarity index 79% rename from cabal.project.dist.ghc-8.6.5.freeze rename to cabal.project.freeze.ghc-8.6.5 index 4187761b..5ca8a0e1 100644 --- a/cabal.project.dist.ghc-8.6.5.freeze +++ b/cabal.project.freeze.ghc-8.6.5 @@ -1,5 +1,7 @@ +active-repositories: hackage.haskell.org:merge constraints: any.BoundedChan ==1.0.3.0, any.Cabal ==2.4.0.1, + any.Glob ==0.10.1, any.HUnit ==1.6.2.0, any.IntervalMap ==0.6.1.2, any.Only ==0.1, @@ -17,6 +19,7 @@ constraints: any.BoundedChan ==1.0.3.0, ansi-wl-pprint -example, any.array ==0.5.3.0, asl-translator -asl-lite +unsafe-operations, + any.assoc ==1.0.2, any.async ==2.2.3, async -bench, any.atomic-primops ==0.8.4, @@ -27,7 +30,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.base-compat ==0.11.2, any.base-orphans ==0.8.4, any.base16-bytestring ==1.0.1.0, - any.bifunctors ==5.5.7, + any.bifunctors ==5.5.11, bifunctors +semigroups +tagged, any.bimap ==0.4.0, any.binary ==0.8.6.0, @@ -35,13 +38,10 @@ constraints: any.BoundedChan ==1.0.3.0, any.blaze-builder ==0.4.2.1, any.blaze-textual ==0.2.1.0, blaze-textual -developer -integer-simple +native, - any.boomerang ==1.4.6, - any.bv-sized ==1.0.2, + any.boomerang ==1.4.7, + any.bv-sized ==1.0.3, any.bytestring ==0.10.8.2, - any.bytestring-builder ==0.10.8.2.0, - bytestring-builder +bytestring_has_builder, - any.cabal-doctest ==1.0.8, - any.call-stack ==0.3.0, + any.call-stack ==0.4.0, any.case-insensitive ==1.2.1.0, any.cereal ==0.5.8.1, cereal -bytestring-builder, @@ -53,7 +53,7 @@ constraints: any.BoundedChan ==1.0.3.0, comonad +containers +distributive +indexed-traversable, any.concurrent-output ==1.10.12, any.config-value ==0.8.1, - any.constraints ==0.12, + any.constraints ==0.13, any.containers ==0.6.0.1, any.contravariant ==1.5.3, contravariant +semigroups +statevar +tagged, @@ -61,7 +61,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.data-binary-ieee754 ==0.4.4, any.data-default-class ==0.1.2.0, any.deepseq ==1.4.4.0, - any.deriving-compat ==0.5.9, + any.deriving-compat ==0.5.10, deriving-compat +base-4-9 +new-functor-classes +template-haskell-2-11, any.direct-sqlite ==2.3.26, direct-sqlite +fulltextsearch +haveusleep +json1 -systemlib +urifilenames, @@ -69,6 +69,8 @@ constraints: any.BoundedChan ==1.0.3.0, dismantle-arm-xml -asl-lite, any.distributive ==0.6.2.1, distributive +semigroups +tagged, + any.dlist ==1.0, + dlist -werror, any.doctest ==0.16.3, any.dotgen ==0.4.3, dotgen -devel, @@ -83,8 +85,9 @@ constraints: any.BoundedChan ==1.0.3.0, any.filepath ==1.4.2.1, any.fingertree ==0.1.4.2, any.finite-typelits ==0.1.4.2, - any.free ==5.1.3, - any.generic-random ==1.3.0.1, + any.free ==5.1.7, + any.generic-random ==1.4.0.0, + generic-random -enable-inspect, any.ghc ==8.6.5, any.ghc-boot ==8.6.5, any.ghc-boot-th ==8.6.5, @@ -93,50 +96,53 @@ constraints: any.BoundedChan ==1.0.3.0, any.ghc-prim ==0.5.3, any.ghci ==8.6.5, any.gitrev ==1.3.1, - any.haggle ==0.1.0.0, + any.haggle ==0.1.0.1, any.happy ==1.20.0, - any.hashable ==1.3.0.0, - hashable -examples +integer-gmp +sse2 -sse41, + any.hashable ==1.3.2.0, + hashable +integer-gmp -random-initial-seed, any.hashtables ==1.2.4.1, hashtables -bounds-checking -debug -detailed-profiling -portable -sse42 +unsafe-tricks, any.haskell-lexer ==1.1, - any.hedgehog ==1.0.4, + any.hedgehog ==1.0.5, any.hpc ==0.6.0.3, any.hsc2hs ==0.68.7, hsc2hs -in-ghc-tree, - any.hspec ==2.7.8, - any.hspec-core ==2.7.8, - any.hspec-discover ==2.7.8, + any.hspec ==2.8.2, + any.hspec-core ==2.8.2, + any.hspec-discover ==2.8.2, any.hspec-expectations ==0.8.2, any.ilist ==0.4.0.1, any.indexed-list-literals ==0.2.1.3, any.indexed-traversable ==0.1.1, + any.indexed-traversable-instances ==0.1, any.integer-gmp ==1.0.2.0, any.integer-logarithms ==1.0.3.1, integer-logarithms -check-bounds +integer-gmp, - any.invariant ==0.5.3, - any.io-streams ==1.5.2.0, + any.invariant ==0.5.4, + any.io-streams ==1.5.2.1, io-streams +network -nointeractivetests +zlib, any.itanium-abi ==0.1.1.1, any.json ==0.10, json +generic -mapdict +parsec +pretty +split-base, - any.kan-extensions ==5.2.1, - any.lens ==4.19.2, - lens -benchmark-uniplate -dump-splices +inlining -j -old-inline-pragmas -safe +test-doctests +test-hunit +test-properties +test-templates +trustworthy, + any.kan-extensions ==5.2.2, + any.kvitable ==1.0.0.0, + any.lens ==5.0.1, + lens -benchmark-uniplate -dump-splices +inlining -j +test-hunit +test-properties +test-templates +trustworthy, any.libBF ==0.6.2, libBF -system-libbf, - any.lifted-async ==0.10.1.2, + any.lifted-async ==0.10.2, any.lifted-base ==0.2.3.12, llvm-pretty-bc-parser -fuzz -regressions, any.located-base ==0.1.1.1, any.logict ==0.7.0.3, - any.lumberjack ==0.1.0.3, - any.math-functions ==0.3.4.1, + any.lucid ==2.9.12.1, + any.lumberjack ==1.0.0.0, + any.math-functions ==0.3.4.2, math-functions +system-erf +system-expm1, any.megaparsec ==8.0.0, megaparsec -dev, any.microlens ==0.4.12.0, - any.microlens-th ==0.4.3.6, + any.microlens-th ==0.4.3.10, any.mmorph ==1.1.5, any.monad-control ==1.0.2.3, any.monad-primitive ==0.1, @@ -146,11 +152,12 @@ constraints: any.BoundedChan ==1.0.3.0, any.network ==3.1.2.1, network -devel, any.old-locale ==1.0.0.7, - any.optparse-applicative ==0.15.1.0, + any.optparse-applicative ==0.16.1.0, + optparse-applicative +process, any.ordered-containers ==0.2.2, any.panic ==0.4.0.1, any.parallel ==3.2.2.0, - any.parameterized-utils ==2.1.2.0, + any.parameterized-utils ==2.1.3.0, parameterized-utils +unsafe-operations, any.parsec ==3.1.13.0 || ==3.1.14.0, any.parser-combinators ==1.3.0, @@ -163,14 +170,14 @@ constraints: any.BoundedChan ==1.0.3.0, any.prettyprinter-ansi-terminal ==1.1.2, any.primitive ==0.7.1.0, any.process ==1.6.5.0, - any.profunctors ==5.6, + any.profunctors ==5.6.2, any.pvar ==1.0.0.0, any.quickcheck-io ==0.2.0, any.random ==1.2.0, - any.ref-tf ==0.4.0.2, + any.ref-tf ==0.5, any.reflection ==2.1.6, reflection -slow +template-haskell, - any.regex-base ==0.94.0.0, + any.regex-base ==0.94.0.1, any.regex-tdfa ==1.3.1.0, regex-tdfa -force-o2, any.resourcet ==1.2.4.2, @@ -181,8 +188,8 @@ constraints: any.BoundedChan ==1.0.3.0, any.scheduler ==1.5.0, any.scientific ==0.3.6.2, scientific -bytestring-builder -integer-simple, - any.semigroupoids ==5.3.4, - semigroupoids +comonad +containers +contravariant +distributive +doctests +tagged +unordered-containers, + any.semigroupoids ==5.3.5, + semigroupoids +comonad +containers +contravariant +distributive +tagged +unordered-containers, any.semigroups ==0.19.1, semigroups +binary +bytestring -bytestring-builder +containers +deepseq +hashable +tagged +template-haskell +text +transformers +unordered-containers, any.setenv ==0.1.1.3, @@ -192,18 +199,21 @@ constraints: any.BoundedChan ==1.0.3.0, splitmix -optimised-mixer, any.sqlite-simple ==0.4.18.0, any.stm ==2.5.0.0, + any.strict ==0.4.0.1, + strict +assoc, any.syb ==0.7.2.1, any.tagged ==0.8.6.1, tagged +deepseq +transformers, any.tasty ==1.4.1, tasty +clock +unix, + any.tasty-checklist ==1.0.0.0, any.tasty-expected-failure ==0.12.3, - any.tasty-hedgehog ==1.0.1.0, - any.tasty-hspec ==1.1.6, + any.tasty-hedgehog ==1.1.0.0, + any.tasty-hspec ==1.1.7, any.tasty-hunit ==0.10.0.3, any.tasty-quickcheck ==0.10.1.2, any.tasty-smallcheck ==0.8.2, - any.tasty-sugar ==1.1.0.0, + any.tasty-sugar ==1.1.1.0, any.template-haskell ==2.14.0.0, any.temporary ==1.3, any.terminal-size ==0.3.2.1, @@ -211,9 +221,12 @@ constraints: any.BoundedChan ==1.0.3.0, any.text ==1.2.3.1 || ==1.2.4.1, text -bytestring-builder -developer -integer-simple, any.tf-random ==0.5, - any.th-abstraction ==0.3.2.0, + any.th-abstraction ==0.4.2.0, + any.th-compat ==0.1.2, any.th-lift ==0.8.2, any.th-lift-instances ==0.1.18, + any.these ==1.1.1.1, + these +assoc, any.time ==1.8.0.2, any.transformers ==0.5.6.2, any.transformers-base ==0.4.5.2, @@ -226,15 +239,15 @@ constraints: any.BoundedChan ==1.0.3.0, any.unix ==2.7.2.2, any.unix-compat ==0.5.3, unix-compat -old-time, - any.unliftio ==0.2.14, + any.unliftio ==0.2.16, any.unliftio-core ==0.2.0.1, any.unordered-containers ==0.2.13.0, unordered-containers -debug, any.utf8-string ==1.0.2, - any.vector ==0.12.2.0, + any.vector ==0.12.3.0, vector +boundschecks -internalchecks -unsafechecks -wall, any.vector-sized ==1.4.3.1, - any.versions ==4.0.2, + any.versions ==5.0.0, any.void ==0.7.3, void -safe, any.wcwidth ==0.0.2, @@ -243,6 +256,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.wl-pprint-annotated ==0.1.0.1, any.xml ==1.3.14, any.zenc ==0.1.1, - any.zlib ==0.6.2.2, + any.zlib ==0.6.2.3, zlib -bundled-c-zlib -non-blocking-ffi -pkg-config, any.zlib-bindings ==0.1.1.5 +index-state: hackage.haskell.org 2021-05-20T01:42:51Z diff --git a/cabal.project.dist.ghc-8.8.4.freeze b/cabal.project.freeze.ghc-8.8.4 similarity index 79% rename from cabal.project.dist.ghc-8.8.4.freeze rename to cabal.project.freeze.ghc-8.8.4 index 391adb9f..90404d4f 100644 --- a/cabal.project.dist.ghc-8.8.4.freeze +++ b/cabal.project.freeze.ghc-8.8.4 @@ -1,5 +1,7 @@ +active-repositories: hackage.haskell.org:merge constraints: any.BoundedChan ==1.0.3.0, any.Cabal ==3.0.1.0, + any.Glob ==0.10.1, any.HUnit ==1.6.2.0, any.IntervalMap ==0.6.1.2, any.Only ==0.1, @@ -17,6 +19,7 @@ constraints: any.BoundedChan ==1.0.3.0, ansi-wl-pprint -example, any.array ==0.5.4.0, asl-translator -asl-lite +unsafe-operations, + any.assoc ==1.0.2, any.async ==2.2.3, async -bench, any.atomic-primops ==0.8.4, @@ -27,7 +30,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.base-compat ==0.11.2, any.base-orphans ==0.8.4, any.base16-bytestring ==1.0.1.0, - any.bifunctors ==5.5.7, + any.bifunctors ==5.5.11, bifunctors +semigroups +tagged, any.bimap ==0.4.0, any.binary ==0.8.7.0, @@ -35,13 +38,10 @@ constraints: any.BoundedChan ==1.0.3.0, any.blaze-builder ==0.4.2.1, any.blaze-textual ==0.2.1.0, blaze-textual -developer -integer-simple +native, - any.boomerang ==1.4.6, - any.bv-sized ==1.0.2, + any.boomerang ==1.4.7, + any.bv-sized ==1.0.3, any.bytestring ==0.10.10.1, - any.bytestring-builder ==0.10.8.2.0, - bytestring-builder +bytestring_has_builder, - any.cabal-doctest ==1.0.8, - any.call-stack ==0.3.0, + any.call-stack ==0.4.0, any.case-insensitive ==1.2.1.0, any.cereal ==0.5.8.1, cereal -bytestring-builder, @@ -53,7 +53,7 @@ constraints: any.BoundedChan ==1.0.3.0, comonad +containers +distributive +indexed-traversable, any.concurrent-output ==1.10.12, any.config-value ==0.8.1, - any.constraints ==0.12, + any.constraints ==0.13, any.containers ==0.6.2.1, any.contravariant ==1.5.3, contravariant +semigroups +statevar +tagged, @@ -61,7 +61,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.data-binary-ieee754 ==0.4.4, any.data-default-class ==0.1.2.0, any.deepseq ==1.4.4.0, - any.deriving-compat ==0.5.9, + any.deriving-compat ==0.5.10, deriving-compat +base-4-9 +new-functor-classes +template-haskell-2-11, any.direct-sqlite ==2.3.26, direct-sqlite +fulltextsearch +haveusleep +json1 -systemlib +urifilenames, @@ -69,6 +69,8 @@ constraints: any.BoundedChan ==1.0.3.0, dismantle-arm-xml -asl-lite, any.distributive ==0.6.2.1, distributive +semigroups +tagged, + any.dlist ==1.0, + dlist -werror, any.doctest ==0.16.3, any.dotgen ==0.4.3, dotgen -devel, @@ -83,8 +85,9 @@ constraints: any.BoundedChan ==1.0.3.0, any.filepath ==1.4.2.1, any.fingertree ==0.1.4.2, any.finite-typelits ==0.1.4.2, - any.free ==5.1.3, - any.generic-random ==1.3.0.1, + any.free ==5.1.7, + any.generic-random ==1.4.0.0, + generic-random -enable-inspect, any.ghc ==8.8.4, any.ghc-boot ==8.8.4, any.ghc-boot-th ==8.8.4, @@ -93,50 +96,53 @@ constraints: any.BoundedChan ==1.0.3.0, any.ghc-prim ==0.5.3, any.ghci ==8.8.4, any.gitrev ==1.3.1, - any.haggle ==0.1.0.0, + any.haggle ==0.1.0.1, any.happy ==1.20.0, - any.hashable ==1.3.0.0, - hashable -examples +integer-gmp +sse2 -sse41, + any.hashable ==1.3.2.0, + hashable +integer-gmp -random-initial-seed, any.hashtables ==1.2.4.1, hashtables -bounds-checking -debug -detailed-profiling -portable -sse42 +unsafe-tricks, any.haskell-lexer ==1.1, - any.hedgehog ==1.0.4, + any.hedgehog ==1.0.5, any.hpc ==0.6.0.3, any.hsc2hs ==0.68.7, hsc2hs -in-ghc-tree, - any.hspec ==2.7.8, - any.hspec-core ==2.7.8, - any.hspec-discover ==2.7.8, + any.hspec ==2.8.2, + any.hspec-core ==2.8.2, + any.hspec-discover ==2.8.2, any.hspec-expectations ==0.8.2, any.ilist ==0.4.0.1, any.indexed-list-literals ==0.2.1.3, any.indexed-traversable ==0.1.1, + any.indexed-traversable-instances ==0.1, any.integer-gmp ==1.0.2.0, any.integer-logarithms ==1.0.3.1, integer-logarithms -check-bounds +integer-gmp, - any.invariant ==0.5.3, - any.io-streams ==1.5.2.0, + any.invariant ==0.5.4, + any.io-streams ==1.5.2.1, io-streams +network -nointeractivetests +zlib, any.itanium-abi ==0.1.1.1, any.json ==0.10, json +generic -mapdict +parsec +pretty +split-base, - any.kan-extensions ==5.2.1, - any.lens ==4.19.2, - lens -benchmark-uniplate -dump-splices +inlining -j -old-inline-pragmas -safe +test-doctests +test-hunit +test-properties +test-templates +trustworthy, + any.kan-extensions ==5.2.2, + any.kvitable ==1.0.0.0, + any.lens ==5.0.1, + lens -benchmark-uniplate -dump-splices +inlining -j +test-hunit +test-properties +test-templates +trustworthy, any.libBF ==0.6.2, libBF -system-libbf, - any.lifted-async ==0.10.1.2, + any.lifted-async ==0.10.2, any.lifted-base ==0.2.3.12, llvm-pretty-bc-parser -fuzz -regressions, any.located-base ==0.1.1.1, any.logict ==0.7.0.3, - any.lumberjack ==0.1.0.3, - any.math-functions ==0.3.4.1, + any.lucid ==2.9.12.1, + any.lumberjack ==1.0.0.0, + any.math-functions ==0.3.4.2, math-functions +system-erf +system-expm1, any.megaparsec ==8.0.0, megaparsec -dev, any.microlens ==0.4.12.0, - any.microlens-th ==0.4.3.6, + any.microlens-th ==0.4.3.10, any.mmorph ==1.1.5, any.monad-control ==1.0.2.3, any.monad-primitive ==0.1, @@ -146,11 +152,12 @@ constraints: any.BoundedChan ==1.0.3.0, any.network ==3.1.2.1, network -devel, any.old-locale ==1.0.0.7, - any.optparse-applicative ==0.15.1.0, + any.optparse-applicative ==0.16.1.0, + optparse-applicative +process, any.ordered-containers ==0.2.2, any.panic ==0.4.0.1, any.parallel ==3.2.2.0, - any.parameterized-utils ==2.1.2.0, + any.parameterized-utils ==2.1.3.0, parameterized-utils +unsafe-operations, any.parsec ==3.1.14.0, any.parser-combinators ==1.3.0, @@ -163,14 +170,14 @@ constraints: any.BoundedChan ==1.0.3.0, any.prettyprinter-ansi-terminal ==1.1.2, any.primitive ==0.7.1.0, any.process ==1.6.9.0, - any.profunctors ==5.6, + any.profunctors ==5.6.2, any.pvar ==1.0.0.0, any.quickcheck-io ==0.2.0, any.random ==1.2.0, - any.ref-tf ==0.4.0.2, + any.ref-tf ==0.5, any.reflection ==2.1.6, reflection -slow +template-haskell, - any.regex-base ==0.94.0.0, + any.regex-base ==0.94.0.1, any.regex-tdfa ==1.3.1.0, regex-tdfa -force-o2, any.resourcet ==1.2.4.2, @@ -181,8 +188,8 @@ constraints: any.BoundedChan ==1.0.3.0, any.scheduler ==1.5.0, any.scientific ==0.3.6.2, scientific -bytestring-builder -integer-simple, - any.semigroupoids ==5.3.4, - semigroupoids +comonad +containers +contravariant +distributive +doctests +tagged +unordered-containers, + any.semigroupoids ==5.3.5, + semigroupoids +comonad +containers +contravariant +distributive +tagged +unordered-containers, any.semigroups ==0.19.1, semigroups +binary +bytestring -bytestring-builder +containers +deepseq +hashable +tagged +template-haskell +text +transformers +unordered-containers, any.setenv ==0.1.1.3, @@ -192,27 +199,33 @@ constraints: any.BoundedChan ==1.0.3.0, splitmix -optimised-mixer, any.sqlite-simple ==0.4.18.0, any.stm ==2.5.0.0, + any.strict ==0.4.0.1, + strict +assoc, any.syb ==0.7.2.1, any.tagged ==0.8.6.1, tagged +deepseq +transformers, any.tasty ==1.4.1, tasty +clock +unix, + any.tasty-checklist ==1.0.0.0, any.tasty-expected-failure ==0.12.3, - any.tasty-hedgehog ==1.0.1.0, - any.tasty-hspec ==1.1.6, + any.tasty-hedgehog ==1.1.0.0, + any.tasty-hspec ==1.1.7, any.tasty-hunit ==0.10.0.3, any.tasty-quickcheck ==0.10.1.2, any.tasty-smallcheck ==0.8.2, - any.tasty-sugar ==1.1.0.0, + any.tasty-sugar ==1.1.1.0, any.template-haskell ==2.15.0.0, any.temporary ==1.3, any.terminal-size ==0.3.2.1, any.terminfo ==0.4.1.4, any.text ==1.2.4.0, any.tf-random ==0.5, - any.th-abstraction ==0.3.2.0, + any.th-abstraction ==0.4.2.0, + any.th-compat ==0.1.2, any.th-lift ==0.8.2, any.th-lift-instances ==0.1.18, + any.these ==1.1.1.1, + these +assoc, any.time ==1.9.3, any.transformers ==0.5.6.2, any.transformers-base ==0.4.5.2, @@ -225,15 +238,15 @@ constraints: any.BoundedChan ==1.0.3.0, any.unix ==2.7.2.2, any.unix-compat ==0.5.3, unix-compat -old-time, - any.unliftio ==0.2.14, + any.unliftio ==0.2.16, any.unliftio-core ==0.2.0.1, any.unordered-containers ==0.2.13.0, unordered-containers -debug, any.utf8-string ==1.0.2, - any.vector ==0.12.2.0, + any.vector ==0.12.3.0, vector +boundschecks -internalchecks -unsafechecks -wall, any.vector-sized ==1.4.3.1, - any.versions ==4.0.2, + any.versions ==5.0.0, any.void ==0.7.3, void -safe, any.wcwidth ==0.0.2, @@ -242,6 +255,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.wl-pprint-annotated ==0.1.0.1, any.xml ==1.3.14, any.zenc ==0.1.1, - any.zlib ==0.6.2.2, + any.zlib ==0.6.2.3, zlib -bundled-c-zlib -non-blocking-ffi -pkg-config, any.zlib-bindings ==0.1.1.5 +index-state: hackage.haskell.org 2021-05-20T01:42:51Z diff --git a/deps/crucible b/deps/crucible index a42ef5b6..d332aa6b 160000 --- a/deps/crucible +++ b/deps/crucible @@ -1 +1 @@ -Subproject commit a42ef5b65faea52d3530d53ed7ac800a3a14f1e3 +Subproject commit d332aa6b2fd5fd12446f7c38f4a14e00e3c68ca9 diff --git a/deps/dismantle b/deps/dismantle index dddfd0b4..d2041b51 160000 --- a/deps/dismantle +++ b/deps/dismantle @@ -1 +1 @@ -Subproject commit dddfd0b46f4f4a7ae0cbbe2ed2b7e8abfc0e04b8 +Subproject commit d2041b51342b45e2200498d0583d39fd59fe03b4 diff --git a/deps/elf-edit b/deps/elf-edit index a36331bb..a0d92d91 160000 --- a/deps/elf-edit +++ b/deps/elf-edit @@ -1 +1 @@ -Subproject commit a36331bbf110b6dde9f5a3912c9cbbe347dfca73 +Subproject commit a0d92d91db9bb1a2465d9d2ea210979bfc1d63e5 diff --git a/deps/flexdis86 b/deps/flexdis86 index cbd51716..4e6f4950 160000 --- a/deps/flexdis86 +++ b/deps/flexdis86 @@ -1 +1 @@ -Subproject commit cbd5171617f1e69a6269e5e79798a6832db1b387 +Subproject commit 4e6f4950be909b41852b50e5648d243d948fa0c9 diff --git a/deps/llvm-pretty b/deps/llvm-pretty index 1108dade..8456623f 160000 --- a/deps/llvm-pretty +++ b/deps/llvm-pretty @@ -1 +1 @@ -Subproject commit 1108dade73625485d081a74f48dc7e10aaf9c91e +Subproject commit 8456623f243a47aa42693617fa22abbfac22a528 diff --git a/deps/llvm-pretty-bc-parser b/deps/llvm-pretty-bc-parser index 54737bd3..8d4e4c66 160000 --- a/deps/llvm-pretty-bc-parser +++ b/deps/llvm-pretty-bc-parser @@ -1 +1 @@ -Subproject commit 54737bd3675d54a795203bbd54a027e36119d233 +Subproject commit 8d4e4c661e33dfd9b87e45eb6f19d8ed823934cc diff --git a/deps/macaw-loader b/deps/macaw-loader index 79c1a214..777fc7d1 160000 --- a/deps/macaw-loader +++ b/deps/macaw-loader @@ -1 +1 @@ -Subproject commit 79c1a214de19677197f2b7e5f38562b3ba925be9 +Subproject commit 777fc7d102794cf898422e51377fc550905edd8f diff --git a/deps/semmc b/deps/semmc index 4dc44397..a7e17a98 160000 --- a/deps/semmc +++ b/deps/semmc @@ -1 +1 @@ -Subproject commit 4dc4439720b3b0de8812a68f8156dc89da76da57 +Subproject commit a7e17a988549491a8d0b0d8daaf5316df05d5195 diff --git a/deps/what4 b/deps/what4 index 91200aa3..200428c2 160000 --- a/deps/what4 +++ b/deps/what4 @@ -1 +1 @@ -Subproject commit 91200aa39565c156226cec6a9409a692e4022501 +Subproject commit 200428c28ec776aa8739388a70964e9aff3b42a3