From c6d502eb2f6525a8e05898347349725320dea6ba Mon Sep 17 00:00:00 2001 From: Langston Barrett Date: Wed, 12 Feb 2025 15:39:27 -0500 Subject: [PATCH] Support GHC 9.8 --- .github/workflows/ci.yml | 2 +- submodules/arm-asl-parser | 2 +- submodules/asl-translator | 2 +- submodules/crucible | 2 +- submodules/dismantle | 2 +- submodules/llvm-pretty | 2 +- submodules/macaw | 2 +- submodules/parameterized-utils | 2 +- submodules/what4 | 2 +- 9 files changed, 9 insertions(+), 9 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index b69ae7a..069d800 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -63,7 +63,7 @@ jobs: matrix: os: [ubuntu-22.04] cabal: ["3.10.1.0"] - ghc: ["9.2.8", "9.4.8", "9.6.3"] + ghc: ["9.4.8", "9.6.3", "9.8.4"] name: GHC ${{ matrix.ghc }} steps: diff --git a/submodules/arm-asl-parser b/submodules/arm-asl-parser index 0d85310..4473ebc 160000 --- a/submodules/arm-asl-parser +++ b/submodules/arm-asl-parser @@ -1 +1 @@ -Subproject commit 0d853102da31b0e4407d553d6befdccf456cc2b8 +Subproject commit 4473ebc229c2ee44ed6cf51e3eedebebce5a4bb7 diff --git a/submodules/asl-translator b/submodules/asl-translator index 4b632c9..f4a89de 160000 --- a/submodules/asl-translator +++ b/submodules/asl-translator @@ -1 +1 @@ -Subproject commit 4b632c90933f795ef35d2c68ed80d42291cfd504 +Subproject commit f4a89de835458e3d57fda0f1b4af369ec7829019 diff --git a/submodules/crucible b/submodules/crucible index 8cc5e17..50d1550 160000 --- a/submodules/crucible +++ b/submodules/crucible @@ -1 +1 @@ -Subproject commit 8cc5e175be47de6f3d74348f6ec6e93e2598386d +Subproject commit 50d1550834e9fc0b0c0a898aa6d699aa53be4c89 diff --git a/submodules/dismantle b/submodules/dismantle index 1599d97..e4ebe05 160000 --- a/submodules/dismantle +++ b/submodules/dismantle @@ -1 +1 @@ -Subproject commit 1599d9707498bff1fee9ed1a37804675c79eee08 +Subproject commit e4ebe05fbce079973e9619198c9eb14dec74fe5f diff --git a/submodules/llvm-pretty b/submodules/llvm-pretty index 1fa09fc..f33aabf 160000 --- a/submodules/llvm-pretty +++ b/submodules/llvm-pretty @@ -1 +1 @@ -Subproject commit 1fa09fc6ab6d2873b5a631b756fcb259bec349db +Subproject commit f33aabfa765b61ceb0f44669f6235b15880c698d diff --git a/submodules/macaw b/submodules/macaw index 3e83b3e..a1e36fd 160000 --- a/submodules/macaw +++ b/submodules/macaw @@ -1 +1 @@ -Subproject commit 3e83b3eff3067c151f65f44c1e64021e36ad935a +Subproject commit a1e36fde2b191128e7361f98df45927fb867bd51 diff --git a/submodules/parameterized-utils b/submodules/parameterized-utils index 95869cd..d6637d1 160000 --- a/submodules/parameterized-utils +++ b/submodules/parameterized-utils @@ -1 +1 @@ -Subproject commit 95869cd611c037aea6446599fdba9c0984b8635c +Subproject commit d6637d168fa0a002a132f1cf8ec37c16a5b2b2b5 diff --git a/submodules/what4 b/submodules/what4 index 494ac64..ebf9ac0 160000 --- a/submodules/what4 +++ b/submodules/what4 @@ -1 +1 @@ -Subproject commit 494ac6416ed01eab6ae5d1be427d0aaae4c4bb91 +Subproject commit ebf9ac050c4ef5a5fda880e2e92cf76e14028ad2