Skip to content

update to GHC 9.2.8 #2230

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
nikivazou merged 16 commits into from
Oct 31, 2023
Merged

update to GHC 9.2.8 #2230

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
16 commits
Select commit Hold shift + click to select a range
66bbb34
update to GHC 9.2.7
clayrat Jul 28, 2023
a128e88
fix CoreBind link in readme
clayrat Jul 28, 2023
6b43c17
bump version for CI and install doc
clayrat Jul 28, 2023
14b2522
bump stack resolver
clayrat Jul 28, 2023
5b614c9
try lts-20.23
clayrat Jul 28, 2023
12c9dc7
bump versions of liquid libraries
clayrat Aug 1, 2023
16a3bd5
regenerate stack,yaml.lock
clayrat Aug 2, 2023
9dabb3d
try dropping GHC.Types prefix
clayrat Aug 2, 2023
f2e3116
Merge remote-tracking branch 'upstream/develop' into 9.2.7
clayrat Aug 7, 2023
43333d6
restore GHC.Types prefixes
clayrat Aug 7, 2023
05c5381
formatting
clayrat Aug 10, 2023
8d929d5
update CHANGES
clayrat Aug 10, 2023
bc08df5
bump to 9.2.8
clayrat Oct 17, 2023
ea4645b
Merge branch 'develop' into 9.2.8
clayrat Oct 31, 2023
74ca0e8
update stack.yaml.lock
clayrat Oct 31, 2023
9503149
fix file link
clayrat Oct 31, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
regenerate stack,yaml.lock
  • Loading branch information
@clayrat
clayrat committed Aug 2, 2023
commit 16a3bd56899203ff2a02346d2566e31e0fe0c28b
4 changes: 2 additions & 2 deletions liquidhaskell.cabal
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -83,8 +83,8 @@ library

build-depends: base >= 4.11.1.0 && < 5,
liquidhaskell-boot == 0.9.2.7.0,
bytestring == 0.11.4.0,
containers == 0.6.5.1,
bytestring == 0.11.4.0,
containers == 0.6.5.1,
ghc-prim
default-language: Haskell98
ghc-options: -Wall -fplugin=LiquidHaskellBoot
Expand Down
14 changes: 7 additions & 7 deletions stack.yaml.lock
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,12 +5,12 @@

packages:
- completed:
hackage: hashable-1.3.5.0@sha256:3a2beeafb220f9de706568a7e4a5b3c762cc4c9f25c94d7ef795b8c2d6a691d7,4240
hackage: hashable-1.4.2.0@sha256:585792335d5541dba78fa8dfcb291a89cd5812a281825ff7a44afa296ab5d58a,4520
pantry-tree:
sha256: 4df2f6b536a0fcc5f7d562cb29e373f27dc4a2747452ac5cc74c1599cab22fc5
sha256: 792a6cab3f15c5db29d759c8ca735d0be5f4c94f363329652f8b9780009d0829
size: 1248
original:
hackage: hashable-1.3.5.0
hackage: hashable-1.4.2.0
- completed:
hackage: rest-rewrite-0.4.1@sha256:1254960c0a595cf4c9d5a3b986f42644407c63c74578d75b3568a6a12e5143f0,3886
pantry-tree:
Expand Down Expand Up @@ -52,7 +52,7 @@ packages:
hackage: strip-ansi-escape-0.1.0.0@sha256:08f2ed93b16086a837ec46eab7ce8d27cf39d47783caaeb818878ea33c2ff75f,1628
snapshots:
- completed:
sha256: b73b2b116143aea728c70e65c3239188998bac5bc3be56465813dacd74215dc5
size: 648424
url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/20/1.yaml
original: lts-20.1
sha256: 4c972e067bae16b95961dbfdd12e07f1ee6c8fffabbfa05c3d65100b03f548b7
size: 650253
url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/20/23.yaml
original: lts-20.23