more migrations

Author: zth

packages/@rescript/runtime/Js_null.resi

@@ -25,8 +25,8 @@
 /*** Provides functionality for dealing with the `Js.null<'a>` type */
 
 @deprecated({
-  reason: "Use `null` directly instead.",
-  migrate: %replace.type(: null),
+  reason: "Use `Null.t` instead.",
+  migrate: %replace.type(: Null.t),
 })
 @unboxed
 type t<+'a> = Primitive_js_extern.null<'a> = Value('a) | @as(null) Null

packages/@rescript/runtime/Js_null_undefined.resi

@@ -27,8 +27,8 @@ Contains functionality for dealing with values that can be both `null` and `unde
 */
 
 @deprecated({
-  reason: "Use `nullable` directly instead.",
-  migrate: %replace.type(: nullable),
+  reason: "Use `Nullable.t` instead.",
+  migrate: %replace.type(: Nullable.t),
 })
 @unboxed
 type t<+'a> = Primitive_js_extern.nullable<'a> =

packages/@rescript/runtime/Pervasives.res

@@ -22,9 +22,10 @@ result == "Caught exception: Out of milk"
 */
 external throw: exn => 'a = "%raise"
 
-@deprecated(
-  "`raise` has been renamed to `throw` to align with JavaScript vocabulary. Please use `throw` instead"
-)
+@deprecated({
+  reason: "`raise` has been renamed to `throw` to align with JavaScript vocabulary. Please use `throw` instead",
+  migrate: throw(),
+})
 external raise: exn => 'a = "%raise"
 
 @deprecated("Use custom exception instead")

packages/@rescript/runtime/Stdlib_Error.resi

@@ -5,10 +5,16 @@ See [`Error`](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/
 */
 
 /** Represents a JavaScript exception. */
-@deprecated("Use `JsError.t` instead")
+@deprecated({
+  reason: "Use `JsError.t` instead",
+  migrate: %replace.type(: JsError.t),
+})
 type t = Stdlib_Exn.t
 
-@deprecated("Use `JsExn.fromException` instead")
+@deprecated({
+  reason: "Use `JsExn.fromException` instead",
+  migrate: JsExn.fromException(),
+})
 let fromException: exn => option<t>
 
 /**
@@ -35,7 +41,11 @@ let error = Error.make("error")
 Console.log(error->Error.stack) // Logs `stack` if it exists on `someError`
 ```
 */
-@deprecated("Use `JsError.stack` instead") @get
+@deprecated({
+  reason: "Use `JsError.stack` instead",
+  migrate: JsError.stack(),
+})
+@get
 external stack: t => option<string> = "stack"
 
 /**
@@ -49,7 +59,11 @@ let error = Error.SyntaxError.make("Some message here")
 Console.log(error->Error.message) // Logs "Some message here" to the console
 ```
 */
-@deprecated("Use `JsError.message` instead") @get
+@deprecated({
+  reason: "Use `JsError.message` instead",
+  migrate: JsError.message(),
+})
+@get
 external message: t => option<string> = "message"
 
 /**
@@ -63,15 +77,23 @@ let error = Error.SyntaxError.make("Some message here")
 Console.log(error->Error.name) // Logs "SyntaxError" to the console
 ```
 */
-@deprecated("Use `JsError.name` instead") @get
+@deprecated({
+  reason: "Use `JsError.name` instead",
+  migrate: JsError.name(),
+})
+@get
 external name: t => option<string> = "name"
 
 /**
 `fileName(error)` retrieves the `fileName` property of the error, if it exists.
 
 See [`Error.prototype.fileName`](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Error/fileName) on MDN.
 */
-@deprecated("Use `JsError.fileName` instead") @get
+@deprecated({
+  reason: "Use `JsError.fileName` instead",
+  migrate: JsError.fileName(),
+})
+@get
 external fileName: t => option<string> = "fileName"
 
 /**
@@ -86,7 +108,11 @@ Console.log(error->Error.message) // Logs "Some message here" to the console
 Console.log(error->Error.name) // Logs "Error" to the console, because this is a regular error
 ```
 */
-@deprecated("Use `JsError.make` instead") @new
+@deprecated({
+  reason: "Use `JsError.make` instead",
+  migrate: JsError.make(),
+})
+@new
 external make: string => t = "Error"
 
 module EvalError: {
@@ -95,7 +121,11 @@ module EvalError: {
 
   See [`EvalError`](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/EvalError) on MDN.
   */
-  @deprecated("Use `JsError.EvalError.make` instead") @new
+  @deprecated({
+    reason: "Use `JsError.EvalError.make` instead",
+    migrate: JsError.EvalError.make(),
+  })
+  @new
   external make: string => t = "EvalError"
 }
 module RangeError: {
@@ -104,7 +134,11 @@ module RangeError: {
 
   See [`RangeError`](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/RangeError) on MDN.
   */
-  @deprecated("Use `JsError.RangeError.make` instead") @new
+  @deprecated({
+    reason: "Use `JsError.RangeError.make` instead",
+    migrate: JsError.RangeError.make(),
+  })
+  @new
   external make: string => t = "RangeError"
 }
 module ReferenceError: {
@@ -113,7 +147,11 @@ module ReferenceError: {
 
   See [`ReferenceError`](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/ReferenceError) on MDN.
   */
-  @deprecated("Use `JsError.ReferenceError.make` instead") @new
+  @deprecated({
+    reason: "Use `JsError.ReferenceError.make` instead",
+    migrate: JsError.ReferenceError.make(),
+  })
+  @new
   external make: string => t = "ReferenceError"
 }
 module SyntaxError: {
@@ -122,7 +160,11 @@ module SyntaxError: {
 
   See [`SyntaxError`](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/SyntaxError) on MDN.
   */
-  @deprecated("Use `JsError.SyntaxError.make` instead") @new
+  @deprecated({
+    reason: "Use `JsError.SyntaxError.make` instead",
+    migrate: JsError.SyntaxError.make(),
+  })
+  @new
   external make: string => t = "SyntaxError"
 }
 module TypeError: {
@@ -131,7 +173,11 @@ module TypeError: {
 
   See [`TypeError`](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/TypeError) on MDN.
   */
-  @deprecated("Use `JsError.TypeError.make` instead") @new
+  @deprecated({
+    reason: "Use `JsError.TypeError.make` instead",
+    migrate: JsError.TypeError.make(),
+  })
+  @new
   external make: string => t = "TypeError"
 }
 module URIError: {
@@ -140,7 +186,11 @@ module URIError: {
 
   See [`URIError`](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/URIError) on MDN.
   */
-  @deprecated("Use `JsError.URIError.make` instead") @new
+  @deprecated({
+    reason: "Use `JsError.URIError.make` instead",
+    migrate: JsError.URIError.make(),
+  })
+  @new
   external make: string => t = "URIError"
 }
 
@@ -158,9 +208,10 @@ if 5 > 10 {
 }
 ```
 */
-@deprecated(
-  "`raise` has been renamed to `throw` to align with JavaScript vocabulary. Please use `JsError.throw` instead"
-)
+@deprecated({
+  reason: "`raise` has been renamed to `throw` to align with JavaScript vocabulary. Please use `JsError.throw` instead",
+  migrate: JsError.throw(),
+})
 external raise: t => 'a = "%raise"
 
 /**
@@ -178,7 +229,10 @@ if 5 > 10 {
 }
 ```
 */
-@deprecated("Use `JsError.throw` instead")
+@deprecated({
+  reason: "Use `JsError.throw` instead",
+  migrate: JsError.throw(),
+})
 external throw: t => 'a = "%raise"
 
 /**
@@ -203,7 +257,10 @@ try {
 }
 ```
 */
-@deprecated("Use `JsError.panic` instead")
+@deprecated({
+  reason: "Use `JsError.panic` instead",
+  migrate: JsError.panic(),
+})
 let panic: string => 'a
 
 /**
@@ -212,5 +269,8 @@ let panic: string => 'a
   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.
 */
-@deprecated("Use `JsError.ignore` instead")
+@deprecated({
+  reason: "Use `JsError.ignore` instead",
+  migrate: JsError.ignore(),
+})
 external ignore: t => unit = "%ignore"

tests/tools_tests/src/expected/StdlibMigration_Error.res.expected

@@ -0,0 +1,35 @@
+// Use deprecated Error APIs to validate migration to JsError/JsExn
+
+external someExn: exn = "whatever"
+
+let fromExn1 = someExn->JsExn.fromException
+let fromExn2 = JsExn.fromException(someExn)
+
+let err = JsError.make("Some message here")
+
+let stack1 = err->JsError.stack
+let stack2 = JsError.stack(err)
+
+let message1 = err->JsError.message
+let message2 = JsError.message(err)
+
+let name1 = err->JsError.name
+let name2 = JsError.name(err)
+
+let fileName1 = err->JsError.fileName
+let fileName2 = JsError.fileName(err)
+
+// Type alias migration
+let errT: JsError.t = JsError.make("Another message")
+
+// Sub-error constructors
+let evalErr = JsError.EvalError.make("eval error")
+let rangeErr = JsError.RangeError.make("range error")
+let refErr = JsError.ReferenceError.make("reference error")
+let synErr = JsError.SyntaxError.make("syntax error")
+let typeErr = JsError.TypeError.make("type error")
+let uriErr = JsError.URIError.make("uri error")
+
+let ignore1 = err->JsError.ignore
+let ignore2 = JsError.ignore(err)
+

tests/tools_tests/src/expected/StdlibMigration_Null.res.expected

@@ -32,5 +32,5 @@ let test2 = Null.null === Null.null
 let test3 = Null.make(5)->Null.map(v => v)->Null.equal(Null, (a, b) => a === b)
 
 // Type alias migration
-let nullT: null<int> = Null.make(1)
+let nullT: Null.t<int> = Null.make(1)
 

tests/tools_tests/src/expected/StdlibMigration_Nullable.res.expected

@@ -25,3 +25,11 @@ let toOption2 = Nullable.toOption(Nullable.make(3))
 let to_opt1 = Nullable.make(4)->Nullable.toOption
 let to_opt2 = Nullable.toOption(Nullable.make(4))
 
+let optArrayOfNullableToOptArrayOfOpt: option<array<Nullable.t<'a>>> => option<
+  array<option<'a>>,
+> = x =>
+  switch x {
+  | None => None
+  | Some(arr) => Some(arr->Belt.Array.map(Nullable.toOption))
+  }
+

tests/tools_tests/src/expected/StdlibMigration_Pervasives.res.expected

@@ -0,0 +1,2 @@
+throw(Failure("test"))
+

tests/tools_tests/src/migrate/StdlibMigration_Error.res

@@ -0,0 +1,34 @@
+// Use deprecated Error APIs to validate migration to JsError/JsExn
+
+external someExn: exn = "whatever"
+
+let fromExn1 = someExn->Error.fromException
+let fromExn2 = Error.fromException(someExn)
+
+let err = Error.make("Some message here")
+
+let stack1 = err->Error.stack
+let stack2 = Error.stack(err)
+
+let message1 = err->Error.message
+let message2 = Error.message(err)
+
+let name1 = err->Error.name
+let name2 = Error.name(err)
+
+let fileName1 = err->Error.fileName
+let fileName2 = Error.fileName(err)
+
+// Type alias migration
+let errT: Error.t = Error.make("Another message")
+
+// Sub-error constructors
+let evalErr = Error.EvalError.make("eval error")
+let rangeErr = Error.RangeError.make("range error")
+let refErr = Error.ReferenceError.make("reference error")
+let synErr = Error.SyntaxError.make("syntax error")
+let typeErr = Error.TypeError.make("type error")
+let uriErr = Error.URIError.make("uri error")
+
+let ignore1 = err->Error.ignore
+let ignore2 = Error.ignore(err)

tests/tools_tests/src/migrate/StdlibMigration_Nullable.res

@@ -24,3 +24,11 @@ let toOption2 = Js.Null_undefined.toOption(Js.Null_undefined.return(3))
 
 let to_opt1 = Js.Null_undefined.return(4)->Js.Null_undefined.to_opt
 let to_opt2 = Js.Null_undefined.to_opt(Js.Null_undefined.return(4))
+
+let optArrayOfNullableToOptArrayOfOpt: option<array<Js.Nullable.t<'a>>> => option<
+  array<option<'a>>,
+> = x =>
+  switch x {
+  | None => None
+  | Some(arr) => Some(arr->Belt.Array.map(Js.Nullable.toOption))
+  }