Release a RefTracker even if the corresponding finaliser throws an …

…error

src-control/Control/RefCount.hs

@@ -249,8 +249,7 @@ releaseRef ::
   -> m ()
 releaseRef ref@Ref{refobj} = do
     assertNoDoubleRelease ref
-    decrementRefCounter (getRefCounter refobj)
-    releaseRefTracker ref
+    withReleaseRefTracker ref (decrementRefCounter (getRefCounter refobj))
 
 {-# COMPLETE DeRef #-}
 #if MIN_VERSION_GLASGOW_HASKELL(9,0,0,0)
@@ -383,9 +382,9 @@ instance Exception RefException where
 
 #ifndef NO_IGNORE_ASSERTS
 
-{-# INLINE releaseRefTracker #-}
-releaseRefTracker :: PrimMonad m => Ref a -> m ()
-releaseRefTracker _ = return ()
+{-# INLINE withReleaseRefTracker #-}
+withReleaseRefTracker :: Ref a -> m () -> m ()
+withReleaseRefTracker _ref k = k
 
 {-# INLINE assertNoUseAfterRelease #-}
 assertNoUseAfterRelease :: PrimMonad m => Ref a -> m ()
@@ -438,6 +437,9 @@ releaseRefTracker Ref { reftracker =  RefTracker _refid _weak outer } =
     inner <- readIORef outer
     writeIORef inner True
 
+withReleaseRefTracker :: (PrimMonad m, MonadThrow m) => Ref a -> m () -> m ()
+withReleaseRefTracker ref k = k `finally` releaseRefTracker ref
+
 finaliserRefTracker :: IORef Bool -> RefId -> CallStack -> IO ()
 finaliserRefTracker inner refid callsite = do
     released <- readIORef inner