clash-prelude-hedgehog 1.8.1 → 1.8.2
raw patch · 2 files changed
+4/−4 lines, 2 filesdep ~clash-preludedep ~hedgehogPVP ok
version bump matches the API change (PVP)
Dependency ranges changed: clash-prelude, hedgehog
API changes (from Hackage documentation)
Files
clash-prelude-hedgehog.cabal view
@@ -1,7 +1,7 @@ cabal-version: 2.2 name: clash-prelude-hedgehog-version: 1.8.1+version: 1.8.2 synopsis: Hedgehog Generators for clash-prelude description: Hedgehog Generators for clash-prelude bug-reports: https://github.com/clash-lang/clash-compiler/issues@@ -51,4 +51,4 @@ ghc-typelits-natnormalise >= 0.7.2 && < 0.8, text >= 1.2.2 && < 2.2, - clash-prelude == 1.8.1,+ clash-prelude == 1.8.2,
src/Clash/Hedgehog/Sized/BitVector.hs view
@@ -1,5 +1,5 @@ {-|-Copyright : (C) 2021-2022, QBayLogic B.V.+Copyright : (C) 2021-2024, QBayLogic B.V. License : BSD2 (see the file LICENSE) Maintainer : QBayLogic B.V. <devops@qbaylogic.com> @@ -68,7 +68,7 @@ , (10, Gen.constant undefined#) ] where- genNatural = Gen.integral $ constant 0 (2^natToNatural @n)+ genNatural = Gen.integral $ constant 0 (2^natToNatural @n - 1) data SomeBitVector atLeast where SomeBitVector :: SNat n -> BitVector (atLeast + n) -> SomeBitVector atLeast