Fix spin loop in effectful hedgehog tests

haskell-works · Jan 15, 2025 · ef39ff0 · ef39ff0
1 parent 1e70cb3
commit ef39ff0
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/components/hedgehog/Effectful/Zoo/Hedgehog/Effect/Run.hs b/components/hedgehog/Effectful/Zoo/Hedgehog/Effect/Run.hs
@@ -75,8 +75,8 @@ property f = do
               Nothing -> do
                 mResult <- CC.tryTakeTMVar tvResult
                 case mResult of
-                  Nothing -> pure Nothing
                   Just a -> pure $ Just $ Right a
+                  Nothing -> retry
               Just action -> pure $ Just $ Left action
 
           case mActionOrResult of
@@ -132,8 +132,8 @@ unit f = do
               Nothing -> do
                 mResult <- CC.tryTakeTMVar tvResult
                 case mResult of
-                  Nothing -> pure Nothing
                   Just a -> pure $ Just $ Right a
+                  Nothing -> retry
               Just action -> pure $ Just $ Left action
 
           case mActionOrResult of