commit c739c2264ee45658bf329aed9a8a3dcb0b8ca2ab
parent 7f47bc719017d54759d6403087a4b03c73b0f0ec
Author: Jared Tobin <jared@jtobin.io>
Date: Sun, 7 Dec 2025 07:03:33 +0400
lib: fix errant comments
Diffstat:
2 files changed, 2 insertions(+), 3 deletions(-)
diff --git a/lib/Data/Word/Wide.hs b/lib/Data/Word/Wide.hs
@@ -182,11 +182,11 @@ add :: Wide -> Wide -> Wide
add (Wide a) (Wide b) = Wide (add_w# a b)
-- | Borrowing subtraction, computing 'a - b' and returning the
--- difference with a borrow bit.
+-- difference with a borrow mask.
sub_b#
:: (# Limb, Limb #) -- ^ minuend
-> (# Limb, Limb #) -- ^ subtrahend
- -> (# (# Limb, Limb #), Limb #) -- ^ (# difference, borrow bit #)
+ -> (# (# Limb, Limb #), Limb #) -- ^ (# difference, borrow mask #)
sub_b# (# a0, a1 #) (# b0, b1 #) =
let !(# s0, c0 #) = L.sub_b# a0 b0 (Limb 0##)
!(# s1, c1 #) = L.sub_b# a1 b1 c0
diff --git a/lib/Numeric/Montgomery/Secp256k1/Scalar.hs b/lib/Numeric/Montgomery/Secp256k1/Scalar.hs
@@ -128,7 +128,6 @@ redc_inner# (# u0, u1, u2, u3 #) (# l0, l1, l2, l3 #) =
(# Limb 0xBFD25E8CD0364141##, Limb 0xBAAEDCE6AF48A03B##
, Limb 0xFFFFFFFFFFFFFFFE##, Limb 0xFFFFFFFFFFFFFFFF## #)
!n = Limb 0x4B0DFF665588B13F##
- -- outer loop, i == 0 ---------------------------------------------------
!w_0 = L.mul_w# l0 n
!(# _, c_00 #) = L.mac# w_0 m0 l0 (Limb 0##)
!(# l0_1, c_01 #) = L.mac# w_0 m1 l1 c_00