Implement ensureSpine for BitVector n as pack

lmbollen · lmbollen · commit 372f04da6117 · 2024-04-09T09:52:38.000+02:00
diff --git a/changelog/2024-04-08T16_44_03+02_00_bitvector_add_ensurespine b/changelog/2024-04-08T16_44_03+02_00_bitvector_add_ensurespine
@@ -0,0 +1 @@
+CHANGED: `BitVector n` now has an implementation for `ensureSpine` which ensures the constructor is present.
diff --git a/clash-prelude/src/Clash/Sized/Internal/BitVector.hs b/clash-prelude/src/Clash/Sized/Internal/BitVector.hs
@@ -509,6 +509,7 @@ instance KnownNat n => NFDataX (BitVector n) where
   deepErrorX _ = undefined#
   rnfX = rwhnfX
   hasUndefined bv = isLeft (isX bv) || unsafeMask bv /= 0
+  ensureSpine = xToBV -- Converts `XException` to 'undefined#'
 
 -- | Create a binary literal
 --

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	+CHANGED: `BitVector n` now has an implementation for `ensureSpine` which ensures the constructor is present.