consolidate unsafePerformIO blocks.

1 files changed, 5 insertions, 4 deletions

diff --git a/packages/base/src/Internal/Specialized.hs b/packages/base/src/Internal/Specialized.hs
index d840434..c85d44f 100644
--- a/packages/base/src/Internal/Specialized.hs
+++ b/packages/base/src/Internal/Specialized.hs
@@ -129,11 +129,12 @@ modint :: forall t n. (Read t, Storable t, Integral t) => TypeRep n -> IntegralR
 modint r = IntegralRep i2f i2fM f2i f2iM unMod (n `seq` Just n)
  where
     -- n = withTypeable r $ fromIntegral . natVal $ (undefined :: Proxy n) -- If only..
-    n = case unsafePerformIO $ readIORef cachedNat of
-        SomeNat c -> withTypeable r $
+    n = unsafePerformIO $ do
+        SomeNat c <- readIORef cachedNat
+        withTypeable r $ do
             case withTypes c r <$> eqT of
-                Just Refl -> fromIntegral $ natVal c
-                _ -> unsafePerformIO $ do
+                Just Refl -> return $ fromIntegral $ natVal c
+                _ -> do
                     let newnat = read . show $ r -- XXX: Hack to get nat value from Type.Reflection
                     case someNatVal $ fromIntegral newnat of
                         Just somenat@(SomeNat nt) -> nt `seq` writeIORef cachedNat somenat