From 7a674d3449b86e0c4fb29c0d8afb08a935181ac2 Mon Sep 17 00:00:00 2001 From: Kirill Kuznetsov Date: Mon, 3 Apr 2023 18:18:36 +0300 Subject: [PATCH] Fix type of defaultChecked property --- codegen/consts.js | 1 + src/React/Basic/DOM/Generated.purs | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/codegen/consts.js b/codegen/consts.js index 9021ffa..3614672 100644 --- 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 index 3f6113b..1ac3f4c 100644 --- 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