urbit-hob

commit 1aa1a449040578def979be2aec300f2293455155
parent 126ccb7cc87f814a14d67beade3ac1800ec18335
Author: Jared Tobin <jared@jtobin.io>
Date:   Tue, 10 Sep 2019 13:13:41 -0230

ob, co: clean up strictness annotations

Diffstat:
M
lib/Urbit/Ob/Co.hs
 | 
2
+-
M
lib/Urbit/Ob/Ob.hs
 | 
9
+++++----

2 files changed, 6 insertions(+), 5 deletions(-)
diff --git a/lib/Urbit/Ob/Co.hs b/lib/Urbit/Ob/Co.hs
@@ -124,7 +124,7 @@ rsh a b c = c `div` bex (bex a * b)
 
 met :: Integral a => a -> a -> a
 met = loop 0 where
-  loop !acc a !b
+  loop !acc a b
     | b == 0    = acc
     | otherwise = loop (succ acc) a (rsh a 1 b)
 
diff --git a/lib/Urbit/Ob/Ob.hs b/lib/Urbit/Ob/Ob.hs
@@ -1,4 +1,5 @@
 {-# OPTIONS_GHC -Wall #-}
+{-# LANGUAGE BangPatterns #-}
 
 module Urbit.Ob.Ob (
     fein
@@ -20,7 +21,7 @@ import Prelude hiding (tail)
 -- | Conceal structure v3.
 fein :: (Integral a, Bits a) => a -> a
 fein = loop where
-  loop pyn =
+  loop !pyn =
     let lo  = pyn .&. 0xFFFFFFFF
         hi  = pyn .&. 0xFFFFFFFF00000000
         p32 = fromIntegral pyn :: Word32
@@ -33,7 +34,7 @@ fein = loop where
 -- | Restore structure v3.
 fynd :: (Integral a, Bits a) => a -> a
 fynd = loop where
-  loop cry =
+  loop !cry =
     let lo  = cry .&. 0xFFFFFFFF
         hi  = cry .&. 0xFFFFFFFF00000000
         c32 = fromIntegral cry :: Word32
@@ -100,7 +101,7 @@ fe
 fe r a b f m = loop 1 capL capR where
   capL = m `mod` a
   capR = m `div` a
-  loop j ell arr
+  loop j !ell !arr
     | j > r =
         if   odd r
         then a * arr + ell
@@ -160,7 +161,7 @@ fen r a b f m = loop r capL capR where
     then ale
     else ahh
 
-  loop j ell arr
+  loop j !ell !arr
     | j < 1     = a * arr + ell
     | otherwise =
         let eff = f (pred j) ell