Drop Read as a classifier

Author: odersky

library/src/scala/caps/package.scala

@@ -84,7 +84,8 @@ trait Mutable extends ExclusiveCapability
 
 /** Marker trait for classes with reader methods, typically extended by Mutable classes */
 @experimental
-trait Read extends Mutable, Classifier
+@deprecated
+trait Read extends Mutable
 
 /** Marker trait for classes that are not subject to scoping restrictions
  *  of captured capabilities.

tests/neg-custom-args/captures/check-inferred.check

@@ -43,14 +43,14 @@
    |
    |           where:    ^ refers to a fresh root capability in the type of value y
 -- Error: tests/neg-custom-args/captures/check-inferred.scala:49:15 ----------------------------------------------------
-49 |  private val y = ??? : (() => A^{cap.only[caps.Read]})  // error
+49 |  private val y = ??? : (() => A^{cap.only[caps.Unscoped]})  // error
    |               ^
-   | value y needs an explicit type because it captures a root capability in its type () => test.A^{cap.only[Read]}.
-   | Fields capturing a root capability need to be given an explicit type unless the capability is already
-   | subsumed by the computed capability of the enclosing class.
+   |value y needs an explicit type because it captures a root capability in its type () => test.A^{cap.only[Unscoped]}.
+   |Fields capturing a root capability need to be given an explicit type unless the capability is already
+   |subsumed by the computed capability of the enclosing class.
    |
-   | where:    =>  refers to a fresh root capability in the type of value y
-   |           cap is a fresh root capability created in value y
+   |where:    =>  refers to a fresh root capability in the type of value y
+   |          cap is a fresh root capability created in value y
 -- Error: tests/neg-custom-args/captures/check-inferred.scala:29:21 ----------------------------------------------------
 29 |    private val count = Ref() // error
    |                     ^

tests/neg-custom-args/captures/check-inferred.scala

@@ -46,5 +46,5 @@ class C:
 
 class D:
   val x: A^{cap.only[caps.Control]} = ???
-  private val y = ??? : (() => A^{cap.only[caps.Read]})  // error
+  private val y = ??? : (() => A^{cap.only[caps.Unscoped]})  // error
 

tests/neg-custom-args/captures/classified-inheritance.check

@@ -1,7 +1,7 @@
 -- Error: tests/neg-custom-args/captures/classified-inheritance.scala:5:6 ----------------------------------------------
-5 |class C2 extends caps.Control, caps.Read // error
+5 |class C2 extends caps.Control, caps.Unscoped // error
   |      ^
-  |      class C2 inherits two unrelated classifier traits: trait Read and trait Control
+  |      class C2 inherits two unrelated classifier traits: trait Unscoped and trait Control
 -- Error: tests/neg-custom-args/captures/classified-inheritance.scala:10:6 ---------------------------------------------
 10 |class C3 extends Matrix, Async // error
    |      ^

tests/neg-custom-args/captures/classified-inheritance.scala

@@ -2,7 +2,7 @@ import language.experimental.captureChecking
 
 class C1 extends caps.Control, caps.SharedCapability // OK
 
-class C2 extends caps.Control, caps.Read // error
+class C2 extends caps.Control, caps.Unscoped // error
 
 trait Async extends caps.Control
 class Matrix extends caps.Unscoped

tests/neg-custom-args/captures/classifiers-1.scala

@@ -1,4 +1,4 @@
-class M extends caps.Read
+class M extends caps.Unscoped
 
 class M1(x: Int => Int) extends M // error
 

tests/pos-custom-args/captures/restrict-try.scala

@@ -1,10 +1,10 @@
-import caps.{SharedCapability, Control, Read}
+import caps.{SharedCapability, Control, Unscoped}
 
 class Try[+T]
 case class Ok[T](x: T) extends Try[T]
 case class Fail(ex: Exception) extends Try[Nothing]
 
-trait Matrix extends Read:
+trait Matrix extends Unscoped:
   def get(): Unit
 
 trait Label extends Control: