Fix isValidNatural: The BigNat in NatJ# must have at least 2 limbs
[ghc.git] / libraries / base / changelog.md
index 6da0c70..a9f6fcf 100644 (file)
@@ -5,6 +5,10 @@
 
   * Add a `TestEquality` instance for the `Compose` newtype.
 
+  * Fix the `integer-gmp` variant of `isValidNatural`: Previously it would fail
+    to detect values `<= maxBound::Word` that were incorrectly encoded using
+    the `NatJ#` constructor.
+
 ## 4.13.0.0 *TBA*
   * Bundled with GHC *TBA*