Merge branch 'master' into docgen-compiler

Author: aspeddro

compilers/package-lock.json

@@ -5,12 +5,12 @@
   "main": "index.js",
   "license": "MIT",
   "dependencies": {
-    "@rescript/core": "^0.5.0",
-    "rescript-820": "npm:bs-platform@8.2.0",
-    "rescript-902": "npm:bs-platform@9.0.2",
-    "rescript-912": "npm:rescript@9.1.2",
+    "@rescript/core": "^0.6.0",
     "rescript-1000": "npm:rescript@10.0.0",
     "rescript-1010": "npm:rescript@10.1.0-rc.4",
-    "rescript-1100": "npm:rescript@11.0.0-rc.4"
+    "rescript-1100": "npm:rescript@11.0.0-rc.8",
+    "rescript-820": "npm:bs-platform@8.2.0",
+    "rescript-902": "npm:bs-platform@9.0.2",
+    "rescript-912": "npm:rescript@9.1.2"
   }
 }

compilers/package.json

@@ -2,7 +2,7 @@
   "Overview": [
     "introduction",
     "installation",
-    "migrate-to-v11-and-uncurried-mode",
+    "migrate-to-v11",
     "editor-plugins",
     "try"
   ],

data/sidebar_manual_latest.json

@@ -12,7 +12,8 @@
     "refs-and-the-dom",
     "context",
     "styling",
-    "router"
+    "router",
+    "lazy-components"
   ],
   "Hooks & State Management": [
     "hooks-overview",

data/sidebar_react_latest.json

@@ -8,11 +8,20 @@ category: "operators"
 
 The `:>` operator may be used to convert a polymorphic variant to a `string` or `int`, or convert an [object](/docs/manual/latest/object) to a type with a subset of its fields.
 
+_Since ReScript `11.0.0`_ coercion also works for converting
+- from `int` to `float`
+- from record to record with the same field(s) or when record A is a subtype of record B
+- from `@unboxed` variant with only strings to `string`
+- from `string` to `@unboxed` variant that have a catch-all unboxed `string` case
+- from variant to variant when applicable
+- from variant to `string`/`int`/`float` when applicable
+- for invariant type arguments such as array payloads when the runtime representation is guaranteed to be exactly the same
+
 ### Example 1
 
 <CodeTab labels={["ReScript", "JS Output"]}>
 
-```res
+```res example
 type color = [#Red | #Green | #Blue]
 let color: color = #Red
 let message = "The color is " ++ (color :> string)
@@ -28,7 +37,7 @@ var message = "The color is Red";
 
 <CodeTab labels={["ReScript", "JS Output"]}>
 
-```res
+```res example
 type bit = [#0 | #1]
 let bit: bit = #1
 let value = (bit :> int)
@@ -45,7 +54,7 @@ var value = 1;
 
 <CodeTab labels={["ReScript", "JS Output"]}>
 
-```res
+```res example
 type person = {"id": int, "name": string}
 type name = {"name": string}
 let person = {"id": 10, "name": "Gideon"}
@@ -63,7 +72,56 @@ var name = person;
 
 </CodeTab>
 
+### Example 4
+
+<CodeTab labels={["ReScript", "JS Output"]}>
+
+```res example
+@unboxed
+type myNumberType = One | Two | Other(string)
+
+let v = Other("Infinite")
+let v2 = One
+
+let x = "NaN"
+
+// variant to string
+Console.log((v :> string))
+Console.log((v2 :> string))
+
+// string to variant
+let y = (x :> myNumberType)
+
+let f = switch y {
+| One => "One"
+| _ => "Two"
+}
+```
+
+```js
+var v = "Infinite";
+
+var x = "NaN";
+
+console.log(v);
+
+console.log("One");
+
+var f;
+
+f = (x === "One" || x === "Two") && x === "One" ? "One" : "Two";
+
+var v2 = "One";
+
+var y = x;
+```
+
+</CodeTab>
+
 
 ### References
 
+* [Int-to-Float Coercion](/docs/manual/latest/primitive-types#int-to-float-coercion)
+* [Variant Coercion](/docs/manual/latest/variant#coercion)
 * [Polymorphic Variant Coercion](/docs/manual/latest/polymorphic-variant#coercion)
+* [Record Type Coercion](/docs/manual/latest/record#record-type-coercion)

misc_docs/syntax/operators_type_coercion.mdx

@@ -25,8 +25,6 @@ ReScript arrays' items must have the same type, i.e. homogeneous.
 
 ### Usage
 
-See the [Js.Array](api/js/array) API.
-
 Access & update an array item like so:
 
 <CodeTab labels={["ReScript", "JS Output"]}>
@@ -38,7 +36,7 @@ let firstItem = myArray[0] // "hello"
 
 myArray[0] = "hey" // now ["hey", "world", "how are you"]
 
-let pushedValue = Js.Array2.push(myArray, "bye")
+myArray->Array.push("bye")
 ```
 ```js
 var myArray = ["hello", "world", "how are you"];

pages/docs/manual/latest/array-and-list.mdx

@@ -39,7 +39,7 @@ let logUserDetails = async (userId: string) => {
 
   await sendAnalytics(`User details have been logged for ${userId}`)
 
-  Js.log(`Email address for user ${userId}: ${email}`)
+  Console.log(`Email address for user ${userId}: ${email}`)
 }
 ```
 
@@ -139,8 +139,8 @@ let checkAuth = async () => {
   } catch {
   | Js.Exn.Error(e) =>
     switch Js.Exn.message(e) {
-    | Some(msg) => Js.log("JS error thrown: " ++ msg)
-    | None => Js.log("Some other exception has been thrown")
+    | Some(msg) => Console.log("JS error thrown: " ++ msg)
+    | None => Console.log("Some other exception has been thrown")
     }
   }
 }
@@ -157,11 +157,11 @@ let authenticate = async () => {
 
 let checkAuth = async () => {
   switch await authenticate() {
-  | _ => Js.log("ok")
+  | _ => Console.log("ok")
   | exception Js.Exn.Error(e) => 
     switch Js.Exn.message(e) {
-    | Some(msg) => Js.log("JS error thrown: " ++ msg)
-    | None => Js.log("Some other exception has been thrown")
+    | Some(msg) => Console.log("JS error thrown: " ++ msg)
+    | None => Console.log("Some other exception has been thrown")
     }
   }
 }
@@ -180,8 +180,8 @@ This can be done by wrapping your `await` calls in a new `{}` closure.
 @val external fetchUserMail: string => promise<string> = "GlobalAPI.fetchUserMail"
 
 let fetchData = async () => {
-  let mail = {await fetchUserMail("1234")}->Js.String2.toUpperCase
-  Js.log(`All upper-cased mail: ${mail}`)
+  let mail = {await fetchUserMail("1234")}->String.toUpperCase
+  Console.log(`All upper-cased mail: ${mail}`)
 }
 ```
 
@@ -208,11 +208,11 @@ Note how the original closure was removed in the final JS output. No extra alloc
 let fetchData = async () => {
   switch (await fetchUserMail("user1"), await fetchUserMail("user2")) {
   | (user1Mail, user2Mail) => {
-      Js.log("user 1 mail: " ++ user1Mail)
-      Js.log("user 2 mail: " ++ user2Mail)
+      Console.log("user 1 mail: " ++ user1Mail)
+      Console.log("user 2 mail: " ++ user2Mail)
     }
 
-  | exception JsError(err) => Js.log2("Some error occurred", err)
+  | exception JsError(err) => Console.log2("Some error occurred", err)
   }
 }
 ```
@@ -242,13 +242,13 @@ async function fetchData(param) {
 
 ## `await` multiple promises
 
-We can utilize the `Js.Promise2` module to handle multiple promises. E.g. let's use `Js.Promise2.all` to wait for multiple promises before continuing the program:
+We can utilize the `Promise` module to handle multiple promises. E.g. let's use `Promise.all` to wait for multiple promises before continuing the program:
 
 ```res
 let pauseReturn = (value, timeout) => {
-  Js.Promise2.make((~resolve, ~reject) => {
+  Promise.make((resolve, _reject) => {
     Js.Global.setTimeout(() => {
-      resolve(. value)
+      resolve(value)
     }, timeout)->ignore
   })
 }
@@ -258,11 +258,11 @@ let logMultipleValues = async () => {
   let promise2 = pauseReturn("value2", 1200)
   let promise3 = pauseReturn("value3", 500)
 
-  let all = await Js.Promise2.all([promise1, promise2, promise3])
+  let all = await Promise.all([promise1, promise2, promise3])
 
   switch all {
-  | [v1, v2, v3] => Js.log(`All values: ${v1}, ${v2}, ${v3}`)
-  | _ => Js.log("this should never happen")
+  | [v1, v2, v3] => Console.log(`All values: ${v1}, ${v2}, ${v3}`)
+  | _ => Console.log("this should never happen")
   }
 }
 ```

pages/docs/manual/latest/async-await.mdx

@@ -43,7 +43,7 @@ type timerId
 @val external setTimeout: (unit => unit, int) => timerId = "setTimeout"
 @val external clearTimeout: timerId => unit = "clearTimeout"
 
-let id = setTimeout(() => Js.log("hello"), 100)
+let id = setTimeout(() => Console.log("hello"), 100)
 clearTimeout(id)
 ```
 ```js
@@ -102,8 +102,8 @@ For these troublesome global values, ReScript provides a special approach: `%ext
 
 ```res example
 switch %external(__DEV__) {
-| Some(_) => Js.log("dev mode")
-| None => Js.log("production mode")
+| Some(_) => Console.log("dev mode")
+| None => Console.log("production mode")
 }
 ```
 ```js
@@ -126,8 +126,8 @@ Another example:
 
 ```res example
 switch %external(__filename) {
-| Some(f) => Js.log(f)
-| None => Js.log("non-node environment")
+| Some(f) => Console.log(f)
+| None => Console.log("non-node environment")
 };
 ```
 ```js

pages/docs/manual/latest/bind-to-global-js-values.mdx

@@ -283,7 +283,7 @@ external on: (
 let register = rl =>
   rl
   ->on(#close(event => ()))
-  ->on(#line(line => Js.log(line)));
+  ->on(#line(line => Console.log(line)));
 ```
 ```js
 function register(rl) {
@@ -313,7 +313,7 @@ external processOnExit: (
 ) => unit = "process.on"
 
 processOnExit(exitCode =>
-  Js.log("error code: " ++ Js.Int.toString(exitCode))
+  Console.log("error code: " ++ Js.Int.toString(exitCode))
 );
 ```
 ```js
@@ -365,7 +365,7 @@ type x
 @val external x: x = "x"
 @set external setOnload: (x, @this ((x, int) => unit)) => unit = "onload"
 @get external resp: x => int = "response"
-setOnload(x, @this (o, v) => Js.log(resp(o) + v))
+setOnload(x, @this (o, v) => Console.log(resp(o) + v))
 ```
 ```js
 x.onload = function (v) {

pages/docs/manual/latest/bind-to-js-function.mdx

@@ -143,7 +143,7 @@ type t
 
 let i32arr = create(3)
 i32arr->set(0, 42)
-Js.log(i32arr->get(0))
+Console.log(i32arr->get(0))
 ```
 ```js
 var i32arr = new Int32Array(3);