chore: undeprecate positive_int() (#400)

azjezz · Jan 26, 2023 · eacc90c · eacc90c
1 parent 33496f6
commit eacc90c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/docs/component/type.md b/docs/component/type.md
@@ -44,7 +44,7 @@
 - [num](./../../src/Psl/Type/num.php#L10)
 - [object](./../../src/Psl/Type/object.php#L10)
 - [optional](./../../src/Psl/Type/optional.php#L14)
-- [positive_int](./../../src/Psl/Type/positive_int.php#L12) ( deprecated )
+- [positive_int](./../../src/Psl/Type/positive_int.php#L12)
 - [resource](./../../src/Psl/Type/resource.php#L12)
 - [scalar](./../../src/Psl/Type/scalar.php#L10)
 - [shape](./../../src/Psl/Type/shape.php#L15)

diff --git a/src/Psl/Type/positive_int.php b/src/Psl/Type/positive_int.php
@@ -7,7 +7,7 @@
 /**
  * @return TypeInterface<positive-int>
  *
- * @deprecated use {@see uint} instead.
+ * @ara-return TypeInterface<0|uint>
  */
 function positive_int(): TypeInterface
 {