aria* type variables for JsxDOM.domProps

Author: mununki

src/ReactDOM.res

@@ -49,7 +49,21 @@ module Ref = {
 }
 
 module Props = {
-  type domProps = JsxDOM.domProps
+  type ariaCurrent = [#page | #step | #location | #date | #time | #"true" | #"false"]
+  type ariaInvalid = [#grammar | #spelling | #"true" | #"false"]
+  type ariaChecked = [#"true" | #"false" | #mixed]
+  type ariaHaspopup = [#menu | #listbox | #tree | #grid | #dialog | #"true" | #"false"]
+  type ariaPressed = [#"true" | #"false" | #mixed]
+  type loading = [#"lazy" | #eager]
+
+  type domProps = JsxDOM.domProps<
+    ariaCurrent,
+    ariaInvalid,
+    ariaHaspopup,
+    ariaChecked,
+    ariaPressed,
+    loading,
+  >
 
   /** DEPRECATED */
   @deriving(abstract)
@@ -1090,16 +1104,16 @@ external createDOMElementVariadic: (
 ) => React.element = "createElement"
 
 @module("react/jsx-runtime")
-external jsxKeyed: (string, JsxDOM.domProps, string) => Jsx.element = "jsx"
+external jsxKeyed: (string, domProps, string) => Jsx.element = "jsx"
 
 @module("react/jsx-runtime")
-external jsx: (string, JsxDOM.domProps) => Jsx.element = "jsx"
+external jsx: (string, domProps) => Jsx.element = "jsx"
 
 @module("react/jsx-runtime")
-external jsxs: (string, JsxDOM.domProps) => Jsx.element = "jsxs"
+external jsxs: (string, domProps) => Jsx.element = "jsxs"
 
 @module("react/jsx-runtime")
-external jsxsKeyed: (string, JsxDOM.domProps, string) => Jsx.element = "jsxs"
+external jsxsKeyed: (string, domProps, string) => Jsx.element = "jsxs"
 
 // Currently, not used by JSX ppx
 @deprecated("Please use ReactDOM.createElement instead.")