Allow building with GHC 9.4

This patch: * Bumps the upper version bounds on `bv-sized` to allow building with a version that supports GHC 9.4. * Bumps the `parameterized-utils` submodule to bring in the changes from GaloisInc/parameterized-utils#146, which is needed to make it build with GHC 9.4.
GaloisInc · Feb 15, 2023 · e875941 · e875941
1 parent f18e76f
commit e875941
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/bv-sized-float.cabal b/bv-sized-float.cabal
@@ -16,7 +16,7 @@ extra-source-files:  README.md
 library
   exposed-modules:     Data.BitVector.Sized.Float
   build-depends:       base >= 4.9 && < 5
-                     , bv-sized >= 1.0.2 && < 1.0.5
+                     , bv-sized >= 1.0.2 && < 1.0.6
                      , containers >= 0.5.10 && < 0.7
                      , mtl >= 2 && < 3
                      , parameterized-utils

diff --git a/submodules/parameterized-utils b/submodules/parameterized-utils
+8 −5		.github/workflows/test.yml
+13 −0		Changelog.md
+12 −7		parameterized-utils.cabal
+1 −1		src/Data/Parameterized/Classes.hs
+2 −2		src/Data/Parameterized/Context/Safe.hs
+2 −2		src/Data/Parameterized/Context/Unsafe.hs
+37 −0		src/Data/Parameterized/Fin.hs
+79 −0		src/Data/Parameterized/FinMap.hs
+248 −0		src/Data/Parameterized/FinMap/Safe.hs
+249 −0		src/Data/Parameterized/FinMap/Unsafe.hs
+28 −3		src/Data/Parameterized/NatRepr.hs
+8 −1		src/Data/Parameterized/Some.hs
+1 −4		src/Data/Parameterized/Vector.hs
+22 −3		test/Test/Fin.hs
+393 −0		test/Test/FinMap.hs
+74 −0		test/Test/Some.hs
+14 −3		test/Test/Vector.hs
+4 −0		test/UnitTest.hs