From 6aab2439095f27a8f4c754343f8d8f6674576c2c Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud@pankzsoft.com>
Date: Sun, 2 Nov 2025 21:38:48 +0100
Subject: better rendering for evaluation output

---
 lambda-calcul/haskell/public/repl.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'lambda-calcul/haskell/public')

diff --git a/lambda-calcul/haskell/public/repl.js b/lambda-calcul/haskell/public/repl.js
index 599d1f8..1d4453f 100644
--- a/lambda-calcul/haskell/public/repl.js
+++ b/lambda-calcul/haskell/public/repl.js
@@ -51,7 +51,9 @@ function appendOutput(text) {
 
 function formatResult(text) {
     const result = JSON.parse(text);
-    if (result.tag === "Msg") {
+    if (result.rendered) {
+        return result.rendered;
+    } else if (result.tag === "Msg" ) {
         return result.contents;
     }
     return text;
-- 
cgit v1.3.1