bv-sized 1.0.5 → 1.0.6

raw patch · 4 files changed

+19/−5 lines, 4 filesdep ~randomPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: random

API changes (from Hackage documentation)

Files

• bv-sized.cabal +5/−5
• changelog.md +4/−0
• src/Data/BitVector/Sized/Signed.hs +5/−0
• src/Data/BitVector/Sized/Unsigned.hs +5/−0

@@ -1,5 +1,5 @@ name:                bv-sized-version:             1.0.5+version:             1.0.6 category:            Bit Vectors synopsis:            a bitvector datatype that is parameterized by the vector width description:@@ -28,11 +28,11 @@                        Data.BitVector.Sized.Panic   build-depends:       base >= 4.11 && <5,                        bitwise >= 1.0.0 && < 1.1,-                       bytestring >= 0.10 && < 0.12,-                       deepseq >= 1.4.0 && < 1.5.0,+                       bytestring >= 0.10 && < 0.13,+                       deepseq >= 1.4.0 && < 1.6,                        panic >= 0.4.0 && < 0.5,                        parameterized-utils >= 2.0.2 && < 2.2,-                       random >= 1.2.0 && < 1.3,+                       random >= 1.2.0 && < 1.4,                        th-lift >= 0.8.1 && < 0.9   hs-source-dirs:      src   default-language:    Haskell2010@@ -48,7 +48,7 @@                        hedgehog,                        MonadRandom >= 0.5.3 && < 0.7,                        parameterized-utils,-                       tasty >= 1.2.3 && < 1.5,+                       tasty >= 1.2.3 && < 1.6,                        tasty-hedgehog >= 1.2 && < 1.5   default-language:    Haskell2010   ghc-options:         -Wall -Wcompat

@@ -1,5 +1,9 @@ # Changelog for [`bv-sized` package](http://hackage.haskell.org/package/bv-sized) +## 1.0.6 *March 2025*++* Support building with `random-1.3.*`+ ## 1.0.5 *January 2023*  * Support building with GHC 9.4

@@ -1,3 +1,4 @@+{-# LANGUAGE CPP #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE DeriveAnyClass #-} {-# LANGUAGE DeriveGeneric #-}@@ -141,6 +142,10 @@ instance (KnownNat w, 1 <= w) => UniformRange (SignedBV w) where   uniformRM (SignedBV lo, SignedBV hi) g =     SignedBV <$> BV.sUniformRM knownNat (lo, hi) g+#if MIN_VERSION_random(1,3,0)+  isInRange (lo, hi) x =+    lo <= x && x <= hi+#endif  instance (KnownNat w, 1 <= w) => Random (SignedBV w) 

@@ -1,3 +1,4 @@+{-# LANGUAGE CPP #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE DeriveAnyClass #-} {-# LANGUAGE DeriveGeneric #-}@@ -132,6 +133,10 @@ instance UniformRange (UnsignedBV w) where   uniformRM (UnsignedBV lo, UnsignedBV hi) g =     UnsignedBV <$> BV.uUniformRM (lo, hi) g+#if MIN_VERSION_random(1,3,0)+  isInRange (lo, hi) x =+    lo <= x && x <= hi+#endif  instance KnownNat w => Random (UnsignedBV w)