Update annotations

scala · May 17, 2022 · 96a4c1b · 96a4c1b
1 parent d8e6355
commit 96a4c1b
Show file tree

Hide file tree

Showing 7 changed files with 0 additions and 43 deletions.
diff --git a/library/src/scala/compiletime/ops/any.scala b/library/src/scala/compiletime/ops/any.scala
@@ -1,8 +1,6 @@
 package scala.compiletime
 package ops
 
-import annotation.experimental
-
 object any:
   /** Equality comparison of two singleton types.
    * ```scala
@@ -41,7 +39,6 @@ object any:
    * ```
    * @syntax markdown
    */
-  @experimental
   type IsConst[X] <: Boolean
 
   /** String conversion of a constant singleton type.
@@ -51,5 +48,4 @@ object any:
    *  ```
    *  @syntax markdown
    */
-  @experimental
   type ToString[+X] <: String
diff --git a/library/src/scala/compiletime/ops/double.scala b/library/src/scala/compiletime/ops/double.scala
@@ -1,9 +1,6 @@
 package scala.compiletime
 package ops
 
-import scala.annotation.experimental
-
-@experimental
 object double:
   /** Addition of two `Double` singleton types.
    *  ```scala

diff --git a/library/src/scala/compiletime/ops/float.scala b/library/src/scala/compiletime/ops/float.scala
@@ -1,9 +1,6 @@
 package scala.compiletime
 package ops
 
-import scala.annotation.experimental
-
-@experimental
 object float:
   /** Addition of two `Float` singleton types.
    *  ```scala

diff --git a/library/src/scala/compiletime/ops/int.scala b/library/src/scala/compiletime/ops/int.scala
@@ -1,8 +1,6 @@
 package scala.compiletime
 package ops
 
-import annotation.experimental
-
 object int:
   /** Successor of a natural number where zero is the type 0 and successors are reduced as if the definition was:
    *
@@ -192,7 +190,6 @@ object int:
    *  ```
    *  @syntax markdown
    */
-  @experimental
   type ToLong[+X <: Int] <: Long
 
   /** Float conversion of an `Int` singleton type.
@@ -201,7 +198,6 @@ object int:
    *  ```
    *  @syntax markdown
    */
-  @experimental
   type ToFloat[+X <: Int] <: Float
 
   /** Double conversion of an `Int` singleton type.
@@ -210,7 +206,6 @@ object int:
    *  ```
    *  @syntax markdown
    */
-  @experimental
   type ToDouble[+X <: Int] <: Double
 
   /** Number of zero bits preceding the highest-order ("leftmost")
@@ -225,5 +220,4 @@ object int:
    *  ```
    *  @syntax markdown
    */
-  @experimental
   type NumberOfLeadingZeros[+X <: Int] <: Int
diff --git a/library/src/scala/compiletime/ops/long.scala b/library/src/scala/compiletime/ops/long.scala
@@ -1,9 +1,6 @@
 package scala.compiletime
 package ops
 
-import scala.annotation.experimental
-
-@experimental
 object long:
   /** Successor of a natural number where zero is the type 0 and successors are reduced as if the definition was:
    *

diff --git a/library/src/scala/compiletime/ops/string.scala b/library/src/scala/compiletime/ops/string.scala
@@ -1,8 +1,6 @@
 package scala.compiletime
 package ops
 
-import scala.annotation.experimental
-
 object string:
   /** Concatenation of two `String` singleton types.
    *  ```scala
@@ -18,7 +16,6 @@ object string:
    *  ```
    *  @syntax markdown
    */
-  @experimental
   type Length[+X <: String] <: Int
 
   /** Substring of a `String` singleton type, with a singleton type
@@ -31,7 +28,6 @@ object string:
    *  ```
    *  @syntax markdown
    */
-  @experimental
   type Substring[+S <: String, +IBeg <: Int, +IEnd <: Int] <: String
 
   /** Tests if this `String` singleton type matches the given
@@ -41,7 +37,6 @@ object string:
    *  ```
    *  @syntax markdown
    */
-  @experimental
   type Matches[+S <: String, +Regex <: String] <: Boolean
 
   /** Returns the Char type at the specified index.
@@ -52,5 +47,4 @@ object string:
    *  ```
    *  @syntax markdown
    */
-  @experimental
   type CharAt[+S <: String, +Idx <: Int] <: Char
diff --git a/tests/run-custom-args/tasty-inspector/stdlibExperimentalDefinitions.scala b/tests/run-custom-args/tasty-inspector/stdlibExperimentalDefinitions.scala
@@ -32,24 +32,6 @@ val experimentalDefinitionInLibrary = Set(
   "scala.annotation.MainAnnotation",
   "scala.annotation.MainAnnotation$",
 
-  //// New APIs: compiletime.ops
-  // Can be stabilized in 3.3.0 or later.
-  // Needs user feedback
-  "scala.compiletime.ops.any$.IsConst",
-  "scala.compiletime.ops.any$.ToString",
-  "scala.compiletime.ops.double", "scala.compiletime.ops.double$",
-  "scala.compiletime.ops.float",
-  "scala.compiletime.ops.float$",
-  "scala.compiletime.ops.int$.NumberOfLeadingZeros",
-  "scala.compiletime.ops.int$.ToDouble",
-  "scala.compiletime.ops.int$.ToFloat",
-  "scala.compiletime.ops.int$.ToLong",
-  "scala.compiletime.ops.long", "scala.compiletime.ops.long$",
-  "scala.compiletime.ops.string$.Length",
-  "scala.compiletime.ops.string$.Matches",
-  "scala.compiletime.ops.string$.Substring",
-  "scala.compiletime.ops.string$.CharAt",
-
   //// New APIs: Mirror
   // Can be stabilized in 3.2.0 or later.
   "scala.deriving.Mirror$.fromTuple", // Probably for 3.2.0