Add exception tests

turion · Mar 29, 2024 · 9f54177 · 9f54177
1 parent 4dffffe
commit 9f54177
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/rhine/test/Except.hs b/rhine/test/Except.hs
@@ -25,4 +25,18 @@ tests =
               go $ n - 1
             inputs = [0]
         runScheduleRhinePure (clsf @@ FixedStep @1) inputs @?= [Just 0]
+    , testCase "Can raise, catch, and keep very many exceptions without steps in between" $ do
+        let clsf = safely $ go 1000 []
+            go n ns = do
+              _ <- try $ throwOnCond (< n) () >>> arr (const ns)
+              go (n - 1) (n : ns)
+            inputs = [0]
+        runScheduleRhinePure (clsf @@ FixedStep @1) inputs @?= [Just [1 .. 1000]]
+    , testCase "Can raise, catch, and keep very many exceptions without steps in between, using Monad" $ do
+        let clsf = safely $ go 1000 []
+            go n ns = do
+              n' <- try $ throwOnCond (< n) n >>> arr (const ns)
+              go (n' - 1) (n' : ns)
+            inputs = [0]
+        runScheduleRhinePure (clsf @@ FixedStep @1) inputs @?= [Just [1 .. 1000]]
     ]