Skip to content

Commit

Permalink
update haskell-backend to version a530ce31cabe99664f9bd13a922b325cad9…
Browse files Browse the repository at this point in the history 
…0bdac
  • Loading branch information
rv-jenkins committed Oct 19, 2023
1 parent f9f25dd commit d766412
Show file tree
Hide file tree
Showing 6 changed files with 79 additions and 12 deletions.
2 changes: 1 addition & 1 deletion cabal.project
View file
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@ source-repository-package
source-repository-package
type: git
location: https://github.com/runtimeverification/haskell-backend.git
tag: 03a6228f78d7f4805fee4b9d9c45208dcbe0c9fb
tag: a530ce31cabe99664f9bd13a922b325cad90bdac
--sha256:
subdir: kore kore-rpc-types

69 changes: 68 additions & 1 deletion cabal.project.freeze
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,16 +5,23 @@ constraints: any.Cabal ==3.6.3.0,
any.OneTuple ==0.3.1,
any.Only ==0.1,
any.QuickCheck ==2.14.3,
QuickCheck -old-random +templatehaskell,
any.StateVar ==1.2.2,
any.adjunctions ==4.4.2,
any.aeson ==2.0.3.0,
aeson -cffi +ordered-keymap,
any.aeson-pretty ==0.8.9,
aeson-pretty -lib-only,
any.ansi-terminal ==0.11.4,
ansi-terminal -example +win32-2-13-1,
any.ansi-wl-pprint ==0.6.9,
ansi-wl-pprint -example,
any.array ==0.5.4.0,
any.assoc ==1.0.2,
any.async ==2.2.4,
async -bench,
any.attoparsec ==0.14.4,
attoparsec -developer,
any.auto-update ==0.1.6,
any.barbies ==2.0.4.0,
any.base ==4.16.4.0,
Expand All @@ -24,37 +31,52 @@ constraints: any.Cabal ==3.6.3.0,
any.base16 ==0.3.2.1,
any.basement ==0.0.16,
any.bifunctors ==5.5.15,
bifunctors +semigroups +tagged,
any.binary ==0.8.9.0,
any.blaze-builder ==0.4.2.2,
any.blaze-html ==0.9.1.2,
any.blaze-markup ==0.8.2.8,
any.blaze-textual ==0.2.3.1,
blaze-textual -developer -integer-simple +native,
any.boring ==0.2.1,
boring +tagged,
any.bytebuild ==0.3.13.0,
bytebuild -checked,
any.byteslice ==0.2.7.0,
byteslice +avoid-rawmemchr,
any.bytesmith ==0.3.9.1,
any.bytestring ==0.11.4.0,
any.bz2 ==1.0.1.0,
bz2 -cross +with-bzlib,
any.c2hs ==0.28.8,
c2hs +base3 -regression,
any.cabal-doctest ==1.0.9,
any.call-stack ==0.4.0,
any.case-insensitive ==1.2.1.0,
any.casing ==0.1.4.1,
any.cereal ==0.5.8.3,
cereal -bytestring-builder,
any.cereal-conduit ==0.8.0,
any.chronos ==1.1.5,
any.clock ==0.8.3,
clock -llvm,
any.cmdargs ==0.10.22,
cmdargs +quotation -testprog,
any.co-log ==0.5.0.0,
any.co-log-core ==0.3.2.0,
any.colour ==2.3.6,
any.comonad ==5.0.8,
comonad +containers +distributive +indexed-traversable,
any.concurrent-output ==1.10.18,
any.conduit ==1.3.5,
any.conduit-extra ==1.3.6,
any.constraints ==0.13.4,
any.containers ==0.6.5.1,
any.contiguous ==0.6.3.0,
any.contravariant ==1.5.5,
contravariant +semigroups +statevar +tagged,
any.cryptonite ==0.30,
cryptonite -check_alignment +integer-gmp -old_toolchain_inliner +support_aesni +support_deepseq -support_pclmuldq +support_rdrand -support_sse +use_target_attributes,
any.data-array-byte ==0.1.0.1,
any.data-default ==0.7.1.1,
any.data-default-class ==0.1.2.0,
Expand All @@ -66,17 +88,22 @@ constraints: any.Cabal ==3.6.3.0,
any.deepseq ==1.4.6.1,
any.deriving-aeson ==0.2.9,
any.direct-sqlite ==2.3.28,
direct-sqlite +fulltextsearch +haveusleep +json1 -systemlib +urifilenames,
any.directory ==1.3.6.2,
any.distributive ==0.6.2.1,
distributive +semigroups +tagged,
any.dlist ==1.0,
dlist -werror,
any.easy-file ==0.2.5,
any.entropy ==0.4.1.10,
entropy -donotgetentropy,
any.erf ==2.0.0.0,
any.errors ==2.3.0,
any.exceptions ==0.10.4,
any.extra ==1.7.13,
any.fast-logger ==3.1.2,
any.fgl ==5.7.0.3,
fgl +containers042,
any.filepath ==1.4.2.2,
any.free ==5.1.10,
any.generic-lens ==2.2.2.0,
Expand All @@ -93,9 +120,13 @@ constraints: any.Cabal ==3.6.3.0,
any.ghci ==9.2.8,
any.gitrev ==1.3.1,
any.graphviz ==2999.20.1.0,
graphviz -test-parsing,
any.hashable ==1.4.2.0,
hashable +integer-gmp -random-initial-seed,
any.hashtables ==1.3.1,
hashtables -bounds-checking -debug -detailed-profiling -portable -sse42 +unsafe-tricks,
any.haskeline ==0.8.2.1,
haskeline +examples +terminfo,
any.haskell-lexer ==1.1.1,
any.haskell-src-exts ==1.23.1,
any.haskell-src-meta ==0.8.12,
Expand All @@ -114,6 +145,7 @@ constraints: any.Cabal ==3.6.3.0,
any.indexed-traversable-instances ==0.1.1.2,
any.integer-gmp ==1.1,
any.integer-logarithms ==1.0.3.1,
integer-logarithms -check-bounds +integer-gmp,
any.intern ==0.9.4,
any.invariant ==0.6.1,
any.json-rpc ==1.0.4,
Expand All @@ -123,40 +155,52 @@ constraints: any.Cabal ==3.6.3.0,
kore +threaded,
any.kore-rpc-types ==0.60.0.0,
any.language-c ==0.9.2,
language-c -allwarnings +iecfpextension +usebytestrings,
any.lens ==5.1.1,
lens -benchmark-uniplate -dump-splices +inlining -j +test-hunit +test-properties +test-templates +trustworthy,
any.libyaml ==0.1.2,
libyaml -no-unicode -system-libyaml,
any.lifted-async ==0.10.2.4,
any.lifted-base ==0.2.3.12,
any.logict ==0.8.0.0,
any.loop ==0.3.0,
any.markdown-unlit ==0.5.1,
any.math-functions ==0.3.4.2,
math-functions +system-erf +system-expm1,
any.matrix ==0.3.6.1,
any.megaparsec ==9.2.2,
megaparsec -dev,
any.memory ==0.17.0,
memory +support_bytestring +support_deepseq,
any.mmorph ==1.2.0,
any.monad-control ==1.0.3.1,
any.monad-logger ==0.3.40,
monad-logger +template_haskell,
any.monad-loops ==0.4.3,
monad-loops +base4,
any.monad-validate ==1.2.0.1,
any.mono-traversable ==1.0.15.3,
any.mtl ==2.2.2,
any.multiset ==0.3.4.3,
any.mwc-random ==0.15.0.2,
any.natural-arithmetic ==0.1.4.0,
any.network ==3.1.4.0,
network -devel,
any.network-run ==0.2.5,
any.old-locale ==1.0.0.7,
any.old-time ==1.1.0.3,
any.optparse-applicative ==0.17.1.0,
optparse-applicative +process,
any.parallel ==3.2.2.0,
any.parsec ==3.1.15.0,
any.parser-combinators ==1.3.0,
parser-combinators -dev,
any.polyparse ==1.13,
any.pqueue ==1.4.3.0,
any.pretty ==1.1.3.6,
any.pretty-show ==1.10,
any.prettyprinter ==1.7.1,
prettyprinter -buildreadme +text,
any.primitive ==0.7.3.0,
any.primitive-addr ==0.1.0.2,
any.primitive-offset ==0.2.0.0,
Expand All @@ -166,7 +210,9 @@ constraints: any.Cabal ==3.6.3.0,
any.quickcheck-io ==0.2.0,
any.random ==1.2.1.1,
any.recursion-schemes ==5.2.2.4,
recursion-schemes +template-haskell,
any.reflection ==2.1.7,
reflection -slow +template-haskell,
any.regex-base ==0.94.0.2,
any.regex-pcre-builtin ==0.95.2.3.8.44,
any.resourcet ==1.2.6,
Expand All @@ -175,25 +221,34 @@ constraints: any.Cabal ==3.6.3.0,
any.safe ==0.3.19,
any.safe-exceptions ==0.1.7.3,
any.scientific ==0.3.7.0,
scientific -bytestring-builder -integer-simple,
any.secp256k1-haskell ==0.6.1,
any.semialign ==1.2.0.1,
semialign +semigroupoids,
any.semigroupoids ==5.3.7,
semigroupoids +comonad +containers +contravariant +distributive +tagged +unordered-containers,
any.semigroups ==0.20,
semigroups +binary +bytestring -bytestring-builder +containers +deepseq +hashable +tagged +template-haskell +text +transformers +unordered-containers,
any.setenv ==0.1.1.3,
any.sop-core ==0.5.0.2,
any.split ==0.2.3.5,
any.splitmix ==0.1.0.4,
splitmix -optimised-mixer,
any.sqlite-simple ==0.4.18.2,
any.stm ==2.5.0.2,
any.stm-chans ==3.0.0.9,
any.stm-conduit ==4.0.1,
any.streaming-commons ==0.2.2.6,
streaming-commons -use-bytestring-builder,
any.streams ==3.3.2,
any.strict ==0.4.0.1,
strict +assoc,
any.string-conversions ==0.4.0.1,
any.syb ==0.7.2.3,
any.tagged ==0.8.6.1,
tagged +deepseq +transformers,
any.tar ==0.5.1.1,
tar -old-bytestring -old-time,
any.tasty ==1.4.3,
tasty +unix,
any.tasty-discover ==5.0.0,
Expand All @@ -208,6 +263,7 @@ constraints: any.Cabal ==3.6.3.0,
any.terminfo ==0.4.1.5,
any.text ==1.2.5.0,
any.text-short ==0.1.5,
text-short -asserts,
any.tf-random ==0.5,
any.th-abstraction ==0.4.5.0,
any.th-compat ==0.1.4,
Expand All @@ -216,34 +272,45 @@ constraints: any.Cabal ==3.6.3.0,
any.th-orphans ==0.13.14,
any.th-reify-many ==0.1.10,
any.these ==1.1.1.1,
these +assoc,
any.time ==1.11.1.1,
any.time-compat ==1.9.6.1,
time-compat -old-locale,
any.torsor ==0.1,
any.transformers ==0.5.6.2,
any.transformers-base ==0.4.6,
transformers-base +orphaninstances,
any.transformers-compat ==0.7.2,
transformers-compat -five +five-three -four +generic-deriving +mtl -three -two,
any.tuples ==0.1.0.0,
any.type-equality ==1,
any.typed-process ==0.2.11.0,
any.typerep-map ==0.5.0.0,
any.unix ==2.7.2.2,
any.unix-compat ==0.5.4,
unix-compat -old-time,
any.unix-time ==0.4.9,
any.unliftio ==0.2.25.0,
any.unliftio-core ==0.2.1.0,
any.unordered-containers ==0.2.19.1,
unordered-containers -debug,
any.utf8-string ==1.0.2,
any.uuid-types ==1.0.5,
any.vector ==0.12.3.1,
vector +boundschecks -internalchecks -unsafechecks -wall,
any.vector-algorithms ==0.8.0.4,
vector-algorithms +bench +boundschecks -internalchecks -llvm +properties -unsafechecks,
any.void ==0.7.3,
void -safe,
any.wide-word ==0.1.5.0,
any.witherable ==0.4.2,
any.wl-pprint-annotated ==0.1.0.1,
any.wl-pprint-text ==1.2.0.2,
any.xml-conduit ==1.9.1.2,
any.xml-types ==0.3.8,
any.yaml ==0.11.11.1,
yaml +no-examples +no-exe,
any.zigzag ==0.0.1.0,
any.zlib ==0.6.3.0
any.zlib ==0.6.3.0,
zlib -bundled-c-zlib -non-blocking-ffi -pkg-config
index-state: hackage.haskell.org 2023-06-28T20:31:18Z
8 changes: 4 additions & 4 deletions flake.lock
View file

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion flake.nix
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
description = "hs-backend-booster";

inputs = {
haskell-backend.url = "github:runtimeverification/haskell-backend/03a6228f78d7f4805fee4b9d9c45208dcbe0c9fb";
haskell-backend.url = "github:runtimeverification/haskell-backend/a530ce31cabe99664f9bd13a922b325cad90bdac";
stacklock2nix.follows = "haskell-backend/stacklock2nix";
nixpkgs.follows = "haskell-backend/nixpkgs";
};
Expand Down
2 changes: 1 addition & 1 deletion stack.yaml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ extra-deps:
- typerep-map-0.5.0.0
- monad-validate-1.2.0.1
- git: https://github.com/runtimeverification/haskell-backend.git
commit: 03a6228f78d7f4805fee4b9d9c45208dcbe0c9fb
commit: a530ce31cabe99664f9bd13a922b325cad90bdac
subdirs:
- kore
- kore-rpc-types
Expand Down
8 changes: 4 additions & 4 deletions stack.yaml.lock
View file
Original file line number Diff line number Diff line change
Expand Up @@ -40,7 +40,7 @@ packages:
original:
hackage: monad-validate-1.2.0.1
- completed:
commit: 03a6228f78d7f4805fee4b9d9c45208dcbe0c9fb
commit: a530ce31cabe99664f9bd13a922b325cad90bdac
git: https://github.com/runtimeverification/haskell-backend.git
name: kore
pantry-tree:
Expand All @@ -49,11 +49,11 @@ packages:
subdir: kore
version: 0.60.0.0
original:
commit: 03a6228f78d7f4805fee4b9d9c45208dcbe0c9fb
commit: a530ce31cabe99664f9bd13a922b325cad90bdac
git: https://github.com/runtimeverification/haskell-backend.git
subdir: kore
- completed:
commit: 03a6228f78d7f4805fee4b9d9c45208dcbe0c9fb
commit: a530ce31cabe99664f9bd13a922b325cad90bdac
git: https://github.com/runtimeverification/haskell-backend.git
name: kore-rpc-types
pantry-tree:
Expand All @@ -62,7 +62,7 @@ packages:
subdir: kore-rpc-types
version: 0.60.0.0
original:
commit: 03a6228f78d7f4805fee4b9d9c45208dcbe0c9fb
commit: a530ce31cabe99664f9bd13a922b325cad90bdac
git: https://github.com/runtimeverification/haskell-backend.git
subdir: kore-rpc-types
snapshots:
Expand Down

0 comments on commit d766412

Please sign in to comment.