test: reflect language changes

flix · Nov 21, 2024 · 7e04baa · 7e04baa
1 parent 5583124
commit 7e04baa
Show file tree

Hide file tree

Showing 5 changed files with 21 additions and 20 deletions.
diff --git a/test/testWorkspaces/codeActions/src/Dividable.flix b/test/testWorkspaces/codeActions/src/Dividable.flix
@@ -6,7 +6,7 @@ trait Dividable[t] {
 
 mod Dividable {
     // Unused effect
-    eff DivByZero{
-        pub def throw(): Void
+    eff DivByZero {
+        def raise(): Void
     }
 }
diff --git a/test/testWorkspaces/findReferences/src/Dividable.flix.old b/test/testWorkspaces/findReferences/src/Dividable.flix.old
@@ -2,7 +2,7 @@
 
 // Blank line
 eff DivByZero {
-    pub def throw(): Void
+    def raise(): Void
 }
 
 trait Dividable[t] {
@@ -13,5 +13,5 @@ trait Dividable[t] {
 instance Dividable[Int32] {
     type Aef = DivByZero
     pub def div(x: Int32, y: Int32): Int32 \ DivByZero = 
-        if (y == 0) do DivByZero.throw() else x / y
+        if (y == 0) DivByZero.raise() else x / y
 }
diff --git a/test/testWorkspaces/goto/src/Rewind.flix b/test/testWorkspaces/goto/src/Rewind.flix
@@ -1,9 +1,9 @@
 // Blank line
 
 eff Rewind {
-    pub def save(label: String): Unit
+    def save(label: String): Unit
     /// If you rewind to a non-saved label, it is like throwing an exception.
-    pub def rewind(label: String): Unit
+    def rewind(label: String): Unit
 }
 
 /// We want to find a number that is:
@@ -13,14 +13,15 @@ eff Rewind {
 /// 4. not divisible by 3 (so not 0, 3, 6, 9, ...)
 /// And we will this by guessing and retrying
 def search(k: Int32): Int32 \ Rewind + IO = {
-    println("Beginning to search!");
-    let random = Random.freshWithSeed(123i64);
-    do Rewind.save("start");
-    let guess = Random.nextNatWithMax(random, k);
-    // 1. and 2. hold automatically
-    if (Int32.modulo(guess, 2) == 0) {println("retry for ${guess}"); do Rewind.rewind("start"); ?unreachable}
-    // now 3. holds
-    else if (Int32.modulo(guess, 3) == 0) {println("retry for ${guess}"); do Rewind.rewind("start"); ?unreachable}
-    // now 4. holds and we can return
-    else guess
+    Random.runWithSeed(123i64, _ -> {
+        println("Beginning to search!");
+        Rewind.save("start");
+        let guess = Int32.remainder(Random.randomInt32(), 5);
+        // 1. and 2. hold automatically
+        if (Int32.modulo(guess, 2) == 0) {println("retry for ${guess}"); Rewind.rewind("start"); ?unreachable}
+        // now 3. holds
+        else if (Int32.modulo(guess, 3) == 0) {println("retry for ${guess}"); Rewind.rewind("start"); ?unreachable}
+        // now 4. holds and we can return
+        else guess
+    })
 }
diff --git a/test/testWorkspaces/highlight/src/Dividable.flix.old b/test/testWorkspaces/highlight/src/Dividable.flix.old
@@ -2,7 +2,7 @@
 
 // Blank line
 eff DivByZero {
-    pub def throw(): Void
+    def raise(): Void
 }
 
 trait Dividable[t] {
@@ -13,5 +13,5 @@ trait Dividable[t] {
 instance Dividable[Int32] {
     type Aef = DivByZero
     pub def div(x: Int32, y: Int32): Int32 \ DivByZero = 
-        if (y == 0) do DivByZero.throw() else x / y
+        if (y == 0) DivByZero.raise() else x / y
 }
diff --git a/test/testWorkspaces/implementation/src/Dividable.flix.old b/test/testWorkspaces/implementation/src/Dividable.flix.old
@@ -2,7 +2,7 @@
 
 // Blank line
 eff DivByZero {
-    pub def throw(): Void
+    def raise(): Void
 }
 
 trait Dividable[t] {
@@ -13,5 +13,5 @@ trait Dividable[t] {
 instance Dividable[Int32] {
     type Aef = DivByZero
     pub def div(x: Int32, y: Int32): Int32 \ DivByZero = 
-        if (y == 0) do DivByZero.throw() else x / y
+        if (y == 0) DivByZero.raise() else x / y
 }