From 3593232066f3a73e4fff6afb911cbedfbcee3aa3 Mon Sep 17 00:00:00 2001
From: Robin Heggelund Hansen <git@heghan.org>
Date: Sat, 6 Sep 2025 13:08:01 +0200
Subject: [PATCH] Add potential performance improvement when encoding JSON
 values on a recent V8 JS engine.

---
 src/Gren/Kernel/Json.js | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/Gren/Kernel/Json.js b/src/Gren/Kernel/Json.js
index 20098338..f5a4bb6c 100644
--- a/src/Gren/Kernel/Json.js
+++ b/src/Gren/Kernel/Json.js
@@ -385,7 +385,11 @@ function _Json_arrayEquality(aDecoders, bDecoders) {
 // ENCODE
 
 var _Json_encode = F2(function (indentLevel, value) {
-  return JSON.stringify(_Json_unwrap(value), null, indentLevel) + "";
+  return (
+    (indentLevel === 0
+      ? JSON.stringify(_Json_unwrap(value))
+      : JSON.stringify(_Json_unwrap(value), null, indentLevel)) + ""
+  );
 });
 
 function _Json_wrap__DEBUG(value) {