From 2df52c498170fc65c1ce5413be412cf5ba3482ae Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud@pankzsoft.com>
Date: Wed, 5 Nov 2025 22:21:24 +0100
Subject: clear command output on UI

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

(limited to 'lambda-calcul')

diff --git a/lambda-calcul/haskell/public/repl.js b/lambda-calcul/haskell/public/repl.js
index 27b4ba2..1d1db87 100644
--- a/lambda-calcul/haskell/public/repl.js
+++ b/lambda-calcul/haskell/public/repl.js
@@ -103,11 +103,19 @@ function readMessageAndAppend(reader) {
   };
 };
 
+function clearOutput() {
+  const outputs = document.querySelectorAll('div#minilang > div.output');
+
+  outputs.forEach((node) => node.remove());
+};
+
 function makeCommand(val) {
   const words = val.split(/ +/);
   if(words[0] === ":env") {
     return {tag:"Com",contents:{tag:"DumpEnv"}};
   } else if(words[0] === ":clear") {
+    // FIXME: this is gross
+    clearOutput();
     return {tag:"Com",contents:{tag:"ClearEnv"}};
   } else if(words[0] === ":help") {
     return {tag:"Com",contents:{tag:"Help"}};
-- 
cgit v1.3.1