Remove some reason syntax

Author: DZakh

jscomp/others/js_null.resi

@@ -24,12 +24,12 @@
 
 /*** Provides functionality for dealing with the `Js.null<'a>` type */
 
-@unboxed /** Local alias for `Js.null('a)` */
+@unboxed /** Local alias for `Js.null<'a>` */
 type t<+'a> = Js.null<'a> =
   | Value('a)
   | @as(null) Null
 
-/** Constructs a value of `Js.null('a)` containing a value of `'a`. */
+/** Constructs a value of `Js.null<'a>` containing a value of `'a`. */
 external return: 'a => t<'a> = "%identity"
 
 @deprecated("Use = Js.null directly ")
@@ -45,9 +45,9 @@ let getExn: t<'a> => 'a
 /**
 Maps the contained value using the given function.
 
-If `Js.null('a)` contains a value, that value is unwrapped, mapped to a `'b`
+If `Js.null<'a>` contains a value, that value is unwrapped, mapped to a `'b`
 using the given function `'a => 'b`, then wrapped back up and returned as
-`Js.null('b)`.
+`Js.null<'b>`.
 
 ```res example
 let maybeGreetWorld = (maybeGreeting: Js.null<string>) =>
@@ -58,7 +58,7 @@ let bind: (t<'a>, (. 'a) => 'b) => t<'b>
 
 /**
 Iterates over the contained value with the given function.
-If `Js.null('a)` contains a value, that value is unwrapped and applied to the given function.
+If `Js.null<'a>` contains a value, that value is unwrapped and applied to the given function.
 
 ```res example
 let maybeSay = (maybeMessage: Js.null<string>) =>
@@ -68,7 +68,7 @@ let maybeSay = (maybeMessage: Js.null<string>) =>
 let iter: (t<'a>, (. 'a) => unit) => unit
 
 /**
-Maps `option('a)` to `Js.null('a)`.
+Maps `option<'a>` to `Js.null<'a>`.
 `Some(a)` => `a`
 `None` => `empty`
 */
@@ -77,7 +77,7 @@ let fromOption: option<'a> => t<'a>
 @deprecated("Use fromOption instead") let from_opt: option<'a> => t<'a>
 
 /**
-Maps `Js.null('a)` to `option('a)`.
+Maps `Js.null<'a>` to `option<'a>`.
 `a` => `Some(a)`
 `empty` => `None`
 */

jscomp/others/js_null_undefined.resi

@@ -24,30 +24,30 @@
 
 /*** Contains functionality for dealing with values that can be both `null` and `undefined` */
 
-@unboxed /** Local alias for `Js.null_undefined('a)`. */
+@unboxed /** Local alias for `Js.null_undefined<'a>`. */
 type t<+'a> = Js.nullable<'a> =
   | Value('a)
   | @as(null) Null
   | @as(undefined) Undefined
 
-/** Constructs a value of `Js.null_undefined('a)` containing a value of `'a`. */
+/** Constructs a value of `Js.null_undefined<'a>` containing a value of `'a`. */
 external return: 'a => t<'a> = "%identity"
 
 /** Returns `true` if the given value is null or undefined, `false` otherwise. */
 external isNullable: t<'a> => bool = "#is_nullable"
 
-/** The null value of type `Js.null_undefined('a)`. */
+/** The null value of type `Js.null_undefined<'a>`. */
 external null: t<'a> = "#null"
 
-/** The undefined value of type `Js.null_undefined('a)`. */
+/** The undefined value of type `Js.null_undefined<'a>`. */
 external undefined: t<'a> = "#undefined"
 
 /**
 Maps the contained value using the given function.
 
-If `Js.null_undefined('a)` contains a value, that value is unwrapped, mapped to
+If `Js.null_undefined<'a>` contains a value, that value is unwrapped, mapped to
 a `'b` using the given function `a' => 'b`, then wrapped back up and returned
-as `Js.null_undefined('b)`.
+as `Js.null_undefined<'b>`.
 
 ```res example
 let maybeGreetWorld = (maybeGreeting: Js.null_undefined<string>) =>
@@ -58,7 +58,7 @@ let bind: (t<'a>, (. 'a) => 'b) => t<'b>
 
 /**
 Iterates over the contained value with the given function.
-If `Js.null_undefined('a)` contains a value, that value is unwrapped and applied to the given function.
+If `Js.null_undefined<'a>` contains a value, that value is unwrapped and applied to the given function.
 
 ```res example
 let maybeSay = (maybeMessage: Js.null_undefined<string>) =>
@@ -68,7 +68,7 @@ let maybeSay = (maybeMessage: Js.null_undefined<string>) =>
 let iter: (t<'a>, (. 'a) => unit) => unit
 
 /**
-Maps `option('a)` to `Js.null_undefined('a)`.
+Maps `option<'a>` to `Js.null_undefined<'a>`.
 `Some(a)` => `a`
 `None` => `undefined`
 */
@@ -77,7 +77,7 @@ let fromOption: option<'a> => t<'a>
 @deprecated("Use fromOption instead") let from_opt: option<'a> => t<'a>
 
 /**
-Maps `Js.null_undefined('a)` to `option('a)`.
+Maps `Js.null_undefined<'a>` to `option<'a>`.
 `a` => `Some(a)`
 `undefined` => `None`
 `null` => `None`

jscomp/others/js_string.res

@@ -117,7 +117,7 @@ external length: t => int = "length"
 /**
 `get(s, n)` returns as a `string` the character at the given index number. If
 `n` is out of range, this function returns `undefined`, so at some point this
-function may be modified to return `option(string)`.
+function may be modified to return `option<string>`.
 
 ```res example
 Js.String2.get("Reason", 0) == "R"

jscomp/others/js_string2.res

@@ -122,7 +122,7 @@ external length: t => int = "length"
 /**
 `get(s, n)` returns as a `string` the character at the given index number. If
 `n` is out of range, this function returns `undefined`,so at some point this
-function may be modified to return `option(string)`.
+function may be modified to return `option<string>`.
 
 ```res example
 Js.String2.get("Reason", 0) == "R"

jscomp/others/js_undefined.resi

@@ -22,12 +22,12 @@
  * along with this program; if not, write to the Free Software
  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
 
-/*** Provides functionality for dealing with the `Js.undefined('a)` type */
+/*** Provides functionality for dealing with the `Js.undefined<'a>` type */
 
-/** Local alias for `Js.undefined('a)` */
+/** Local alias for `Js.undefined<'a>` */
 type t<+'a> = Js.undefined<'a>
 
-/** Constructs a value of `Js.undefined('a)` containing a value of `'a`. */
+/** Constructs a value of `Js.undefined<'a>` containing a value of `'a`. */
 external return: 'a => t<'a> = "%identity"
 
 @deprecated("Use = Js.undefined directly")
@@ -49,9 +49,9 @@ let getExn: t<'a> => 'a
 
 /**
 Maps the contained value using the given function.
-If `Js.undefined('a)` contains a value, that value is unwrapped, mapped to a
+If `Js.undefined<'a>` contains a value, that value is unwrapped, mapped to a
 `'b` using the given function `a' => 'b`, then wrapped back up and returned as
-`Js.undefined('b)`.
+`Js.undefined<'b>`.
 
 ```res example
 let maybeGreetWorld = (maybeGreeting: Js.undefined<string>) =>
@@ -62,7 +62,7 @@ let bind: (t<'a>, (. 'a) => 'b) => t<'b>
 
 /**
 Iterates over the contained value with the given function. If
-`Js.undefined('a)` contains a value, that value is unwrapped and applied to the
+`Js.undefined<'a>` contains a value, that value is unwrapped and applied to the
 given function.
 
 ```res example
@@ -73,7 +73,7 @@ let maybeSay = (maybeMessage: Js.undefined<string>) =>
 let iter: (t<'a>, (. 'a) => unit) => unit
 
 /**
-Maps `option('a)` to `Js.undefined('a)`.
+Maps `option<'a>` to `Js.undefined<'a>`.
 `Some(a)` => `a`
 `None` => `empty`
 */
@@ -82,7 +82,7 @@ let fromOption: option<'a> => t<'a>
 @deprecated("Use fromOption instead") let from_opt: option<'a> => t<'a>
 
 /**
-Maps `Js.undefined('a)` to `option('a)`
+Maps `Js.undefined<'a>` to `option<'a>`
 `a` => `Some(a)`
 `empty` => `None`
 */

jscomp/syntax/src/reactjs_jsx_v3.ml

@@ -228,7 +228,7 @@ let rec recursivelyMakeNamedArgsForExternal list args =
            }
          (* ~foo: int=1 *)
          | _label, Some type_, Some _ -> type_
-         (* ~foo: option(int)=? *)
+         (* ~foo: option<int>=? *)
          | ( label,
              Some {ptyp_desc = Ptyp_constr ({txt = Lident "option"}, [type_])},
              _ )
@@ -477,7 +477,7 @@ let jsxMapper ~config =
               (Preprocessor
                  (Printf.sprintf
                     "React: optional argument annotations must have explicit \
-                     `option`. Did you mean `option(%s)=?`?"
+                     `option`. Did you mean `option<%s>=?`?"
                     currentType)))
         | _ -> ()
       in

jscomp/syntax/src/reactjs_jsx_v4.ml

@@ -628,7 +628,7 @@ let rec recursivelyTransformNamedArgsForMake expr args newtypes coreType =
             (Preprocessor
                (Printf.sprintf
                   "React: optional argument annotations must have explicit \
-                   `option`. Did you mean `option(%s)=?`?"
+                   `option`. Did you mean `option<%s>=?`?"
                   currentType)))
       | _ -> ()
     in