From 47d108d1d3e05877c69b5fe8b5373c06c3965222 Mon Sep 17 00:00:00 2001 From: Lukas deConantsesznak <lukas@occasional.ly> Date: Tue, 10 May 2022 20:35:29 -0400 Subject: [PATCH 1/2] Feat: add loading dom prop --- src/ReactDOM.res | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/ReactDOM.res b/src/ReactDOM.res index 4f05d42..f7c16d5 100644 --- a/src/ReactDOM.res +++ b/src/ReactDOM.res @@ -291,6 +291,8 @@ module Props = { @optional list: string, @optional + loading: string, /* "lazy", "eager" */, + @optional loop: bool, @optional low: int, From ed335a6057641040ca0054be4206bb8063d30070 Mon Sep 17 00:00:00 2001 From: Lukas deConantsesznak <lukas@occasional.ly> Date: Thu, 19 May 2022 19:23:15 -0400 Subject: [PATCH 2/2] Feat: use variant for loading prop --- src/ReactDOM.res | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ReactDOM.res b/src/ReactDOM.res index f7c16d5..5faa99b 100644 --- a/src/ReactDOM.res +++ b/src/ReactDOM.res @@ -291,7 +291,7 @@ module Props = { @optional list: string, @optional - loading: string, /* "lazy", "eager" */, + loading: [#"lazy" | #eager], @optional loop: bool, @optional