Update annotations

scala · Apr 6, 2022 · 263b4d9 · 263b4d9
1 parent 96d5315
commit 263b4d9
Show file tree

Hide file tree

Showing 6 changed files with 57 additions and 19 deletions.
diff --git a/library/src/scala/compiletime/ops/any.scala b/library/src/scala/compiletime/ops/any.scala
@@ -1,7 +1,7 @@
 package scala.compiletime
 package ops
 
-import annotation.experimental
+import annotation.since
 
 object any:
   /** Equality comparison of two singleton types.
@@ -41,7 +41,7 @@ object any:
    * ```
    * @syntax markdown
    */
-  @experimental
+  @since("3.2")
   type IsConst[X] <: Boolean
 
   /** String conversion of a constant singleton type.
@@ -51,5 +51,5 @@ object any:
    *  ```
    *  @syntax markdown
    */
-  @experimental
+  @since("3.2")
   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,9 @@
 package scala.compiletime
 package ops
 
-import scala.annotation.experimental
+import annotation.since
 
-@experimental
+@since("3.2")
 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,16 +1,16 @@
 package scala.compiletime
 package ops
 
-import scala.annotation.experimental
+import annotation.since
 
-@experimental
 object float:
   /** Addition of two `Float` singleton types.
    *  ```scala
    *  val sum: 2.0f + 2.0f = 4.0f
    *  ```
    *  @syntax markdown
    */
+  @since("3.2")
   type +[+X <: Float, +Y <: Float] <: Float
 
   /** Subtraction of two `Float` singleton types.
@@ -19,6 +19,7 @@ object float:
    *  ```
    *  @syntax markdown
    */
+  @since("3.2")
   type -[+X <: Float, +Y <: Float] <: Float
 
   /** Multiplication of two `Float` singleton types.
@@ -27,6 +28,7 @@ object float:
    *  ```
    *  @syntax markdown
    */
+  @since("3.2")
   type *[+X <: Float, +Y <: Float] <: Float
 
   /** Integer division of two `Float` singleton types.
@@ -35,6 +37,7 @@ object float:
    *  ```
    *  @syntax markdown
    */
+  @since("3.2")
   type /[+X <: Float, +Y <: Float] <: Float
 
   /** Remainder of the division of `X` by `Y`.
@@ -43,6 +46,7 @@ object float:
    *  ```
    *  @syntax markdown
    */
+  @since("3.2")
   type %[+X <: Float, +Y <: Float] <: Float
 
   /** Less-than comparison of two `Float` singleton types.
@@ -52,6 +56,7 @@ object float:
    *  ```
    *  @syntax markdown
    */
+  @since("3.2")
   type <[+X <: Float, +Y <: Float] <: Boolean
 
   /** Greater-than comparison of two `Float` singleton types.
@@ -61,6 +66,7 @@ object float:
    *  ```
    *  @syntax markdown
    */
+  @since("3.2")
   type >[+X <: Float, +Y <: Float] <: Boolean
 
   /** Greater-or-equal comparison of two `Float` singleton types.
@@ -70,6 +76,7 @@ object float:
    *  ```
    *  @syntax markdown
    */
+  @since("3.2")
   type >=[+X <: Float, +Y <: Float] <: Boolean
 
   /** Less-or-equal comparison of two `Float` singleton types.
@@ -79,6 +86,7 @@ object float:
    *  ```
    *  @syntax markdown
    */
+  @since("3.2")
   type <=[+X <: Float, +Y <: Float] <: Boolean
 
   /** Absolute value of an `Float` singleton type.
@@ -87,6 +95,7 @@ object float:
    *  ```
    *  @syntax markdown
    */
+  @since("3.2")
   type Abs[+X <: Float] <: Float
 
   /** Negation of an `Float` singleton type.
@@ -96,6 +105,7 @@ object float:
    *  ```
    *  @syntax markdown
    */
+  @since("3.2")
   type Negate[+X <: Float] <: Float
 
   /** Minimum of two `Float` singleton types.
@@ -104,6 +114,7 @@ object float:
    *  ```
    *  @syntax markdown
    */
+  @since("3.2")
   type Min[+X <: Float, +Y <: Float] <: Float
 
   /** Maximum of two `Float` singleton types.
@@ -112,6 +123,7 @@ object float:
    *  ```
    *  @syntax markdown
    */
+  @since("3.2")
   type Max[+X <: Float, +Y <: Float] <: Float
 
   /** Int conversion of a `Float` singleton type.
@@ -120,6 +132,7 @@ object float:
    *  ```
    *  @syntax markdown
    */
+  @since("3.2")
   type ToInt[+X <: Float] <: Int
 
   /** Long conversion of a `Float` singleton type.
@@ -128,6 +141,7 @@ object float:
    *  ```
    *  @syntax markdown
    */
+  @since("3.2")
   type ToLong[+X <: Float] <: Long
 
   /** Double conversion of a `Float` singleton type.
@@ -136,4 +150,5 @@ object float:
    *  ```
    *  @syntax markdown
    */
+  @since("3.2")
   type ToDouble[+X <: Float] <: Double
diff --git a/library/src/scala/compiletime/ops/int.scala b/library/src/scala/compiletime/ops/int.scala
@@ -1,7 +1,7 @@
 package scala.compiletime
 package ops
 
-import annotation.experimental
+import annotation.since
 
 object int:
   /** Successor of a natural number where zero is the type 0 and successors are reduced as if the definition was:
@@ -192,7 +192,7 @@ object int:
    *  ```
    *  @syntax markdown
    */
-  @experimental
+  @since("3.2")
   type ToLong[+X <: Int] <: Long
 
   /** Float conversion of an `Int` singleton type.
@@ -201,7 +201,7 @@ object int:
    *  ```
    *  @syntax markdown
    */
-  @experimental
+  @since("3.2")
   type ToFloat[+X <: Int] <: Float
 
   /** Double conversion of an `Int` singleton type.
@@ -210,7 +210,7 @@ object int:
    *  ```
    *  @syntax markdown
    */
-  @experimental
+  @since("3.2")
   type ToDouble[+X <: Int] <: Double
 
   /** Number of zero bits preceding the highest-order ("leftmost")
@@ -225,5 +225,5 @@ object int:
    *  ```
    *  @syntax markdown
    */
-  @experimental
+  @since("3.2")
   type NumberOfLeadingZeros[+X <: Int] <: Int