Fix type of defaultChecked property (#52)

purescript-react · Apr 3, 2023 · 12cc426 · 12cc426
1 parent a3406d6
commit 12cc426
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/codegen/consts.js b/codegen/consts.js
@@ -44,6 +44,7 @@ module.exports.types = {
   "controls": "Boolean",
   "dangerouslySetInnerHTML": "{ __html :: String }",
   "default": "Boolean",
+  "defaultChecked": "Boolean",
   "defer": "Boolean",
   "disabled": "Boolean",
   "draggable": "Boolean",

diff --git a/src/React/Basic/DOM/Generated.purs b/src/React/Basic/DOM/Generated.purs
@@ -8180,7 +8180,7 @@ type Props_input =
   , dangerouslySetInnerHTML :: { __html :: String }
   , datatype :: String
   , dateTime :: String
-  , defaultChecked :: String
+  , defaultChecked :: Boolean
   , defaultValue :: String
   , dir :: String
   , disabled :: Boolean