More tests

Author: odersky

tests/pos-custom-args/captures/try3.scala

@@ -15,7 +15,7 @@ def raise[E <: Exception](ex: E)(using CanThrow[E]): Nothing =
 
 def test1: Int =
   def f(a: Boolean): Boolean => CanThrow[IOException] ?=> Int =
-    handle { // error
+    handle {
       if !a then raise(IOException())
       (b: Boolean) => (_: CanThrow[IOException]) ?=>
         if !b then raise(IOException())
@@ -25,27 +25,8 @@ def test1: Int =
     }
   handle {
     val g = f(true)
-    g(false) // would raise an uncaught exception
-    f(true)(false) // would raise an uncaught exception
+    g(false)
+    f(true)(false)
   } {
     ex => -1
   }
-/*
-def test2: Int =
-  def f(a: Boolean): Boolean => CanThrow[IOException] ?=> Int =
-    handle { // error
-      if !a then raise(IOException())
-      (b: Boolean) =>
-        if !b then raise(IOException())
-        0
-    } {
-      ex => (b: Boolean) => -1
-    }
-  handle {
-    val g = f(true)
-    g(false) // would raise an uncaught exception
-    f(true)(false) // would raise an uncaught exception
-  } {
-    ex => -1
-  }
-*/

tests/pos-custom-args/captures/try4.scala

@@ -0,0 +1,35 @@
+import language.experimental.erasedDefinitions
+import annotation.ability
+import java.io.IOException
+
+class CanThrow[E] extends Retains[*]
+type Top  = Any retains *
+infix type ==> [A, B] = (A => B) retains *
+class OtherCap extends Retains[*]
+
+def handle[E <: Exception, T <: Top](op: (CanThrow[E] ?=> T))(handler: (E => T) retains T): T =
+  val x: CanThrow[E] = ???
+  try op(using x)
+  catch case ex: E => handler(ex)
+
+def raise[E <: Exception](ex: E)(using CanThrow[E]): Nothing =
+  throw ex
+
+def test2: Int =
+  def f(c: OtherCap, a: Boolean): Boolean => CanThrow[IOException] ?=> Int =
+    handle {
+      if !a then raise(IOException())
+      (b: Boolean) => (_: CanThrow[IOException]) ?=>
+        if !b then raise(IOException())
+        1
+    } {
+      ex => (b: Boolean) => (_: CanThrow[IOException]) ?=> -1
+    }
+  handle {
+    val c = OtherCap()
+    val g = f(c, true)
+    g(false)
+    f(c, true)(false)
+  } {
+    ex => -1
+  }

tests/pos-custom-args/captures/try5.scala.pending

@@ -0,0 +1,36 @@
+import language.experimental.erasedDefinitions
+import annotation.ability
+import java.io.IOException
+
+class CanThrow[E] extends Retains[*]
+type Top  = Any retains *
+infix type ==> [A, B] = (A => B) retains *
+class OtherCap extends Retains[*]
+
+def handle[E <: Exception, T <: Top](op: (CanThrow[E] ?=> T) retains T)(handler: (E => T) retains T): T =
+  val x: CanThrow[E] = ???
+  try op(using x)
+  catch case ex: E => handler(ex)
+
+def raise[E <: Exception](ex: E)(using CanThrow[E]): Nothing =
+  throw ex
+
+def test2: Unit =
+  def f(c: OtherCap, a: Boolean): (Boolean => (CanThrow[IOException] ?=> (Int => Int) retains c.type) retains c.type) retains c.type =
+    handle {
+      if !a then raise(IOException())
+      (b: Boolean) => (_: CanThrow[IOException]) ?=>
+        if !b then raise(IOException())
+        (x: Int) => { 1 }
+    } {
+      ex => (b: Boolean) => (_: CanThrow[IOException]) ?=> (x: Int) => { c; -1 }
+    }
+  val c = OtherCap()
+  handle[IOException, (Int => Int) retains c.type] {
+    val g = f(c, true)
+    g(false)
+    f(c, true)(false)
+  } {
+    ex => (x: Int) => { c; -1 }
+  }
+  ()