From 34d8635ca448c76fd936f84392c4a35667521943 Mon Sep 17 00:00:00 2001 From: Ruslan Hryhoriev Date: Thu, 15 Jan 2026 15:50:29 +0100 Subject: [PATCH] add loading attribute to domProps --- src/ReactDOM.re | 2 ++ src/ReactDOM.rei | 2 ++ 2 files changed, 4 insertions(+) diff --git a/src/ReactDOM.re b/src/ReactDOM.re index 648c11024..b20b5bc3a 100644 --- a/src/ReactDOM.re +++ b/src/ReactDOM.re @@ -846,6 +846,8 @@ type domProps = { [@mel.optional] list: option(string), [@mel.optional] + loading: option(string), /* "eager", "lazy" */ + [@mel.optional] loop: option(bool), [@mel.optional] low: option(int), diff --git a/src/ReactDOM.rei b/src/ReactDOM.rei index b6ffb3e90..7bf64dd9f 100644 --- a/src/ReactDOM.rei +++ b/src/ReactDOM.rei @@ -928,6 +928,8 @@ type domProps = { [@mel.optional] list: option(string), [@mel.optional] + loading: option(string), /* "eager", "lazy" */ + [@mel.optional] loop: option(bool), [@mel.optional] low: option(int),