fix

Author: mlutze

test/Test/Property/TestListSet.flix

@@ -17,36 +17,40 @@
 mod JonathanStarup.Test.Property.TestListSet {
     use JonathanStarup.ListSet
     use JonathanStarup.Test.Property.ListSetGenerator
+    use Abort.abort
+
+    def runTest(
+        tests: Int32, seed: Int64, prop: c -> Unit \ Assert
+    ): Unit \ Assert + (Collectable.Aef[c] - Random)
+    with Collectable[c] where Collectable.Elm[c] ~ Int32 = region local {
+        let f = () ->
+            ListSetGenerator.randomIterator(local, tests) |>
+                Iterator.forEach(prop);
+        Random.runWithSeed(seed, f)
+    }
 
     @Test
-    pub def testEmpty(): Unit \ Assert = region local {
+    pub def testEmpty(): Unit \ Assert = {
         def prop(l) = {
             let expectedLength = List.isEmpty(l);
             let s = ListSet.fromIterable(l);
-            if (expectedLength) Assert.assertTrue(ListSet.isEmpty(s))
-            else Assert.assertFalse(ListSet.isEmpty(s))
+            ListSet.isEmpty(s) |> Assert.assertEq(expected = expectedLength)
         };
-        Random.runWithSeed(8168590i64, () -> {
-            ListSetGenerator.randomIterator(local, 100) |>
-                Iterator.forEach(prop)
-        })
+        prop |> runTest(100, 8168590i64)
     }
 
     @Test
-    pub def testSize(): Unit \ Assert = region local {
+    pub def testSize(): Unit \ Assert = {
         def prop(l) = {
             let expectedLength = List.length(l);
             let s = ListSet.fromIterable(l);
-            Assert.assertEq(expected = expectedLength, ListSet.size(s))
+            ListSet.size(s) |> Assert.assertEq(expected = expectedLength)
         };
-        Random.runWithSeed(578956838i64, () -> {
-            ListSetGenerator.randomIterator(local, 10_000) |>
-                Iterator.forEach(prop)
-        })
+        prop |> runTest(10_000, 578956838i64)
     }
 
     @Test
-    pub def testInsertRedundant(): Unit \ Assert = region local {
+    pub def testInsertRedundant(): Unit \ Assert = {
         def prop(l) = {
             let s1 = ListSet.fromIterable(l);
             let s2 = l |>
@@ -55,10 +59,7 @@ mod JonathanStarup.Test.Property.TestListSet {
                 Option.getWithDefault(s1);
             Assert.assertEq(expected = s1, s2)
         };
-        Random.runWithSeed(-6859625i64, () -> {
-            ListSetGenerator.randomIterator(local, 1_000) |>
-                Iterator.forEach(prop)
-        })
+        prop |> runTest(1_000, -6859625i64)
     }
 
 }