aria* type variables instead rewrite to res

Author: mununki

jscomp/main/builtin_cmi_datasets.ml

@@ -27,8 +27,9 @@ type domRef
 
 (*
   This list isn't exhaustive. We'll add more as we go.
+  'aria* type variables can be removed once we can rewrite *.ml libs to *res.
 *)
-type domProps = {
+type ('ariaCurrent, 'ariaInvalid, 'ariaHaspopup, 'ariaChecked, 'ariaPressed, 'loading) domProps = {
   (* V10 compiler will enable to change label declaration to `key?: string` *)
   key: string
   [@ns.optional];
@@ -39,15 +40,17 @@ type domProps = {
   (* accessibility *)
   (* https://www.w3.org/TR/wai-aria-1.1/ *)
   (* https://accessibilityresources.org/<aria-tag> is a great resource for these *)
-  ariaCurrent: [`page | `step | `location | `date | `time | `_true | `_false]
+  (* ariaCurrent: [`page | `step | `location | `date | `time | `_true | `_false] *)
+  ariaCurrent: 'ariaCurrent
   [@ns.optional] [@bs.as "aria-current"];
   ariaDetails: string
   [@ns.optional] [@bs.as "aria-details"];
   ariaDisabled: bool
   [@ns.optional] [@bs.as "aria-disabled"];
   ariaHidden: bool
   [@ns.optional] [@bs.as "aria-hidden"];
-  ariaInvalid: [`grammar | `spelling | `_true| `_false]
+  (* ariaInvalid: [`grammar | `spelling | `_true | `_false ] *)
+  ariaInvalid: 'ariaInvalid
   [@ns.optional] [@bs.as "aria-invalid"];
   ariaKeyshortcuts: string
   [@ns.optional] [@bs.as "aria-keyshortcuts"];
@@ -58,11 +61,13 @@ type domProps = {
   (* Widget Attributes *)
   ariaAutocomplete: [`inline | `list | `both | `none]
   [@ns.optional] [@bs.as "aria-autocomplete"];
-  ariaChecked: [`_true | `_false | `mixed] (* https://www.w3.org/TR/wai-aria-1.1/#valuetype_tristate *)
+  (* ariaChecked: [`_true | `_false | `mixed] https://www.w3.org/TR/wai-aria-1.1/#valuetype_tristate *)
+  ariaChecked: 'ariaChecked
   [@ns.optional] [@bs.as "aria-checked"];
   ariaExpanded: bool
   [@ns.optional] [@bs.as "aria-expanded"];
-  ariaHaspopup: [`menu | `listbox | `tree | `grid | `dialog | `_true | `_false]
+  (* ariaHaspopup: [`menu | `listbox | `tree | `grid | `dialog | `_true | `_false] *)
+  ariaHaspopup: 'ariaHaspopup
   [@ns.optional] [@bs.as "aria-haspopup"];
   ariaLevel: int
   [@ns.optional] [@bs.as "aria-lavel"];
@@ -76,7 +81,8 @@ type domProps = {
   [@ns.optional] [@bs.as "aria-orientation"];
   ariaPlaceholder: string
   [@ns.optional] [@bs.as "aria-placeholder"];
-  ariaPressed: [`_true | `_false| `mixed] (* https://www.w3.org/TR/wai-aria-1.1/#valuetype_tristate *)
+  (* ariaPressed: [`_true | `_false| `mixed] https://www.w3.org/TR/wai-aria-1.1/#valuetype_tristate *)
+  ariaPressed: 'ariaPressed
   [@ns.optional] [@bs.as "aria-pressed"];
   ariaReadonly: bool
   [@ns.optional] [@bs.as "aria-readonly"];
@@ -275,7 +281,8 @@ type domProps = {
   [@ns.optional];
   list: string
   [@ns.optional];
-  loading: [`_lazy | `eager]
+  (* loading: [`_lazy | `eager] *)
+  loading: 'loading
   [@ns.optional];
   loop: bool
   [@ns.optional];