Skip to content

Commit 600a38e

Browse files
committed
fix polymorphic variant and format
1 parent 5b2554f commit 600a38e

File tree

1 file changed

+22
-9
lines changed

1 file changed

+22
-9
lines changed

jscomp/others/jsxDOM.res

+22-9
Original file line numberDiff line numberDiff line change
@@ -34,26 +34,33 @@ type domProps = {
3434
/* accessibility */
3535
/* https://www.w3.org/TR/wai-aria-1.1/ */
3636
/* https://accessibilityresources.org/<aria-tag> is a great resource for these */
37-
@as("aria-current") ariaCurrent: [#page|#step|#location|#date|#time|#\"true"|#\"false"],
37+
@as("aria-current") ariaCurrent: [#page | #step | #location | #date | #time | #"true" | #"false"],
3838
@as("aria-details")
3939
ariaDetails?: string,
4040
@as("aria-disabled")
4141
ariaDisabled?: bool,
4242
@as("aria-hidden")
4343
ariaHidden?: bool,
44-
@as("aria-invalid") ariaInvalid: [#grammar|#spelling|#"\true"|#\"false"],
44+
@as("aria-invalid") ariaInvalid: [#grammar | #spelling | #"true" | #"false"],
4545
@as("aria-keyshortcuts")
4646
ariaKeyshortcuts?: string,
4747
@as("aria-label")
4848
ariaLabel?: string,
4949
@as("aria-roledescription")
5050
ariaRoledescription?: string,
5151
/* Widget Attributes */
52-
@as("aria-autocomplete") ariaAutocomplete: [#inline|#list|#both|#none],
53-
@as("aria-checked") ariaChecked: [#\"true"|#\"false"|#\"mixed"], /* https://www.w3.org/TR/wai-aria-1.1/#valuetype_tristate */
52+
@as("aria-autocomplete") ariaAutocomplete: [#inline | #list | #both | #none],
53+
@as("aria-checked")
54+
ariaChecked: [
55+
| #"true"
56+
| #"false"
57+
| #mixed
58+
],
59+
/* https://www.w3.org/TR/wai-aria-1.1/#valuetype_tristate */
5460
@as("aria-expanded")
5561
ariaExpanded?: bool,
56-
@as("aria-haspopup") ariaHaspopup: [#menu|#listbox|#tree|#grid|#dialog|#"\true"|#"\false"],
62+
@as("aria-haspopup")
63+
ariaHaspopup: [#menu | #listbox | #tree | #grid | #dialog | #"true" | #"false"],
5764
@as("aria-level")
5865
ariaLevel?: int,
5966
@as("aria-modal")
@@ -62,10 +69,16 @@ type domProps = {
6269
ariaMultiline?: bool,
6370
@as("aria-multiselectable")
6471
ariaMultiselectable?: bool,
65-
@as("aria-orientation") ariaOrientation: [#horizontal|#vertical|#undefined],
72+
@as("aria-orientation") ariaOrientation: [#horizontal | #vertical | #undefined],
6673
@as("aria-placeholder")
6774
ariaPlaceholder?: string,
68-
@as("aria-pressed") ariaPressed: [#\"true"|#\"false"|#mixed], /* https://www.w3.org/TR/wai-aria-1.1/#valuetype_tristate */
75+
@as("aria-pressed")
76+
ariaPressed: [
77+
| #"true"
78+
| #"false"
79+
| #mixed
80+
],
81+
/* https://www.w3.org/TR/wai-aria-1.1/#valuetype_tristate */
6982
@as("aria-readonly")
7083
ariaReadonly?: bool,
7184
@as("aria-required")
@@ -87,11 +100,11 @@ type domProps = {
87100
ariaAtomic?: bool,
88101
@as("aria-busy")
89102
ariaBusy?: bool,
90-
@as("aria-live") ariaLive: [#off|#polite|#assertive|#rude],
103+
@as("aria-live") ariaLive: [#off | #polite | #assertive | #rude],
91104
@as("aria-relevant")
92105
ariaRelevant?: string,
93106
/* Drag-and-Drop Attributes */
94-
@as("aria-dropeffect") ariaDropeffect: [#copy|#move|#link|#execute|#popup|#none],
107+
@as("aria-dropeffect") ariaDropeffect: [#copy | #move | #link | #execute | #popup | #none],
95108
@as("aria-grabbed")
96109
ariaGrabbed?: bool,
97110
/* Relationship Attributes */

0 commit comments

Comments
 (0)