More deprecations in Pervasives; add Stdlib.Pair and Stdlib.Int.Ref

CHANGELOG.md

@@ -16,6 +16,7 @@
 
 - Fix `Error.fromException`. https://github.com/rescript-lang/rescript/pull/7364
 - Fix signature of `throw`. https://github.com/rescript-lang/rescript/pull/7365
+- More deprecations in `Pervasives`; add `Stdlib.Pair` and `Stdlib.Int.Ref`. https://github.com/rescript-lang/rescript/pull/7371
 
 #### :house: Internal
 

lib/es6/Stdlib.js

@@ -12,7 +12,7 @@ function assertEqual(a, b) {
     RE_EXN_ID: "Assert_failure",
     _1: [
       "Stdlib.res",
-      118,
+      119,
       4
     ],
     Error: new Error()
@@ -63,6 +63,8 @@ let Option;
 
 let Ordering;
 
+let Pair;
+
 let $$Promise;
 
 let $$RegExp;
@@ -138,6 +140,7 @@ export {
   $$Object,
   Option,
   Ordering,
+  Pair,
   $$Promise,
   $$RegExp,
   Result,

lib/es6/Stdlib_Int.js

@@ -66,6 +66,8 @@ function bitwiseNot(x) {
   return x ^ -1;
 }
 
+let Ref = {};
+
 let Constants = {
   minValue: -2147483648,
   maxValue: 2147483647
@@ -78,5 +80,6 @@ export {
   rangeWithOptions,
   clamp,
   bitwiseNot,
+  Ref,
 }
 /* No side effect */

lib/es6/Stdlib_Pair.js

@@ -0,0 +1 @@
+/* This output is empty. Its source's type definitions, externals and/or unused code got optimized away. */

lib/js/Stdlib.js

@@ -12,7 +12,7 @@ function assertEqual(a, b) {
     RE_EXN_ID: "Assert_failure",
     _1: [
       "Stdlib.res",
-      118,
+      119,
       4
     ],
     Error: new Error()
@@ -63,6 +63,8 @@ let Option;
 
 let Ordering;
 
+let Pair;
+
 let $$Promise;
 
 let $$RegExp;
@@ -137,6 +139,7 @@ exports.Nullable = Nullable;
 exports.$$Object = $$Object;
 exports.Option = Option;
 exports.Ordering = Ordering;
+exports.Pair = Pair;
 exports.$$Promise = $$Promise;
 exports.$$RegExp = $$RegExp;
 exports.Result = Result;

lib/js/Stdlib_Int.js

@@ -66,6 +66,8 @@ function bitwiseNot(x) {
   return x ^ -1;
 }
 
+let Ref = {};
+
 let Constants = {
   minValue: -2147483648,
   maxValue: 2147483647
@@ -77,4 +79,5 @@ exports.range = range;
 exports.rangeWithOptions = rangeWithOptions;
 exports.clamp = clamp;
 exports.bitwiseNot = bitwiseNot;
+exports.Ref = Ref;
 /* No side effect */

lib/js/Stdlib_Pair.js

@@ -0,0 +1 @@
+/* This output is empty. Its source's type definitions, externals and/or unused code got optimized away. */

packages/artifacts.txt

@@ -186,6 +186,7 @@ lib/es6/Stdlib_Nullable.js
 lib/es6/Stdlib_Object.js
 lib/es6/Stdlib_Option.js
 lib/es6/Stdlib_Ordering.js
+lib/es6/Stdlib_Pair.js
 lib/es6/Stdlib_Promise.js
 lib/es6/Stdlib_RegExp.js
 lib/es6/Stdlib_Result.js
@@ -358,6 +359,7 @@ lib/js/Stdlib_Nullable.js
 lib/js/Stdlib_Object.js
 lib/js/Stdlib_Option.js
 lib/js/Stdlib_Ordering.js
+lib/js/Stdlib_Pair.js
 lib/js/Stdlib_Promise.js
 lib/js/Stdlib_RegExp.js
 lib/js/Stdlib_Result.js
@@ -1151,6 +1153,10 @@ lib/ocaml/Stdlib_Ordering.cmi
 lib/ocaml/Stdlib_Ordering.cmj
 lib/ocaml/Stdlib_Ordering.cmt
 lib/ocaml/Stdlib_Ordering.res
+lib/ocaml/Stdlib_Pair.cmi
+lib/ocaml/Stdlib_Pair.cmj
+lib/ocaml/Stdlib_Pair.cmt
+lib/ocaml/Stdlib_Pair.res
 lib/ocaml/Stdlib_Promise.cmi
 lib/ocaml/Stdlib_Promise.cmj
 lib/ocaml/Stdlib_Promise.cmt

runtime/Pervasives.res

@@ -38,7 +38,10 @@ external throw: exn => 'a = "%raise"
 
 /* Composition operators */
 
+@deprecated("This will be removed in v13")
 external \"|>": ('a, 'a => 'b) => 'b = "%revapply"
+
+@deprecated("This will be removed in v13")
 external \"@@": ('a => 'b, 'a) => 'b = "%apply"
 
 /* Debugging */
@@ -92,7 +95,10 @@ external \"||": (bool, bool) => bool = "%sequor"
 
 /* Integer operations */
 
+@deprecated("Use `x => x + 1` instead. This will be removed in v13")
 external succ: int => int = "%succint"
+
+@deprecated("Use `x => x - 1` instead. This will be removed in v13")
 external pred: int => int = "%predint"
 
 @deprecated("Use `Math.abs` instead. This will be removed in v13")
@@ -103,14 +109,25 @@ let abs = x =>
     -x
   }
 
+@deprecated("Use `Int.bitwiseAnd` instead. This will be removed in v13")
 external land: (int, int) => int = "%andint"
+
+@deprecated("Use `Int.bitwiseOr` instead. This will be removed in v13")
 external lor: (int, int) => int = "%orint"
+
+@deprecated("Use `Int.bitwiseXor` instead. This will be removed in v13")
 external lxor: (int, int) => int = "%xorint"
 
+@deprecated("Use `Int.bitwiseNot` instead. This will be removed in v13")
 let lnot = x => lxor(x, -1)
 
+@deprecated("Use `Int.shiftLeft` instead. This will be removed in v13")
 external lsl: (int, int) => int = "%lslint"
+
+@deprecated("Use `Int.shiftRightUnsigned` instead. This will be removed in v13")
 external lsr: (int, int) => int = "%lsrint"
+
+@deprecated("Use `Int.shiftRight` instead. This will be removed in v13")
 external asr: (int, int) => int = "%asrint"
 
 @deprecated("Use `Int.Constants.maxValue` instead. This will be removed in v13")
@@ -266,16 +283,25 @@ external ignore: 'a => unit = "%ignore"
 
 /* Pair operations */
 
+@deprecated("Use `Pair.first` instead. This will be removed in v13")
 external fst: (('a, 'b)) => 'a = "%field0"
+
+@deprecated("Use `Pair.second` instead. This will be removed in v13")
 external snd: (('a, 'b)) => 'b = "%field1"
 
 /* References */
 
 type ref<'a> = {mutable contents: 'a}
 external ref: 'a => ref<'a> = "%makeref"
-external \"!": ref<'a> => 'a = "%refget"
 external \":=": (ref<'a>, 'a) => unit = "%refset"
+
+@deprecated("Do not use. This will be removed in v13")
+external \"!": ref<'a> => 'a = "%refget"
+
+@deprecated("Use `Int.Ref.increment` instead. This will be removed in v13")
 external incr: ref<int> => unit = "%incr"
+
+@deprecated("Use `Int.Ref.decrement` instead. This will be removed in v13")
 external decr: ref<int> => unit = "%decr"
 
 /* String conversion functions */
@@ -310,6 +336,7 @@ external string_of_int: int => string = "String"
 @deprecated("Use `Int.fromString` instead. This will be removed in v13") @scope("Number")
 external int_of_string: string => int = "parseInt"
 
+@deprecated("Use `Int.fromString` instead. This will be removed in v13")
 let int_of_string_opt = s =>
   switch int_of_string(s) {
   | n if n == %raw("NaN") => None
@@ -330,4 +357,5 @@ let rec \"@" = (l1, l2) =>
 
 /* Miscellaneous */
 
+@deprecated("This will be removed in v13")
 type int32 = int

runtime/Stdlib.res

@@ -20,6 +20,7 @@ module Nullable = Stdlib_Nullable
 module Object = Stdlib_Object
 module Option = Stdlib_Option
 module Ordering = Stdlib_Ordering
+module Pair = Stdlib_Pair
 module Promise = Stdlib_Promise
 module RegExp = Stdlib_RegExp
 module Result = Stdlib_Result

runtime/Stdlib_Int.res

@@ -107,3 +107,10 @@ external shiftRight: (int, int) => int = "%asrint"
 external shiftRightUnsigned: (int, int) => int = "%lsrint"
 
 external ignore: int => unit = "%ignore"
+
+module Ref = {
+  type t = Pervasives.ref<int>
+
+  external increment: t => unit = "%incr"
+  external decrement: t => unit = "%decr"
+}

runtime/Stdlib_Int.resi

@@ -482,3 +482,33 @@ external shiftRightUnsigned: (int, int) => int = "%lsrint"
   without having to store or process it further.
 */
 external ignore: int => unit = "%ignore"
+
+module Ref: {
+  type t = Pervasives.ref<int>
+
+  /**
+  `increment(intRef)` increments the value of the provided reference by 1.
+
+  ## Examples
+
+  ```rescript
+  let myRef = ref(4)
+  Int.Ref.increment(myRef)
+  assertEqual(myRef.contents, 5)
+  ```
+  */
+  external increment: t => unit = "%incr"
+
+  /**
+  `decrement(intRef)` decrements the value of the provided reference by 1.
+
+  ## Examples
+
+  ```rescript
+  let myRef = ref(4)
+  Int.Ref.decrement(myRef)
+  assertEqual(myRef.contents, 3)
+  ```
+  */
+  external decrement: t => unit = "%decr"
+}

runtime/Stdlib_Pair.res

@@ -0,0 +1,35 @@
+/***
+This module provides functions to work with pairs, which are 2-element tuples.
+*/
+
+type t<'a, 'b> = ('a, 'b)
+
+/**
+`first(pair)` returns the first element of a pair.
+
+## Examples
+
+```rescript
+Pair.first((1, 2))->assertEqual(1)
+```
+*/
+external first: (('a, 'b)) => 'a = "%field0"
+
+/**
+`second(pair)` returns the second element of a pair.
+
+## Examples
+
+```rescript
+Pair.second((1, 2))->assertEqual(2)
+```
+*/
+external second: (('a, 'b)) => 'b = "%field1"
+
+/**
+  `ignore(option)` ignores the provided pair and returns unit.
+
+  This helper is useful when you want to discard a value (for example, the result of an operation with side effects)
+  without having to store or process it further.
+*/
+external ignore: ('a, 'b) => unit = "%ignore"