commit 7578f945e2d6d54e91f036887432b11114349c83
parent befd3bdb19cfbe0d965fd67837f6d12d521cf550
Author: Jared Tobin <jared@jtobin.io>
Date: Tue, 23 Dec 2025 20:15:24 -0330
lib: formatting nits
Diffstat:
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/lib/Numeric/Montgomery/Secp256k1/Curve.hs b/lib/Numeric/Montgomery/Secp256k1/Curve.hs
@@ -146,8 +146,8 @@ eq_vartime (Montgomery (Wider -> a)) (Montgomery (Wider -> b)) =
-- innards --------------------------------------------------------------------
redc_inner#
- :: (# Limb, Limb, Limb, Limb #) -- ^ upper limbs
- -> (# Limb, Limb, Limb, Limb #) -- ^ lower limbs
+ :: (# Limb, Limb, Limb, Limb #) -- ^ upper limbs
+ -> (# Limb, Limb, Limb, Limb #) -- ^ lower limbs
-> (# (# Limb, Limb, Limb, Limb #), Limb #) -- ^ upper limbs, meta-carry
redc_inner# (# u0, u1, u2, u3 #) (# l0, l1, l2, l3 #) =
let !(# m0, m1, m2, m3 #) =
@@ -204,7 +204,7 @@ redc
-> Montgomery -- ^ reduced value
redc (Montgomery l) (Montgomery u) =
let !res = redc# l u
- in (Montgomery res)
+ in Montgomery res
retr_inner#
:: (# Limb, Limb, Limb, Limb #) -- ^ value in montgomery form