summaryrefslogtreecommitdiff
path: root/lambda-calcul/haskell
diff options
context:
space:
mode:
authorArnaud Bailly <arnaud@pankzsoft.com>2025-11-05 22:21:24 +0100
committerArnaud Bailly <arnaud@pankzsoft.com>2025-11-05 22:21:24 +0100
commit2df52c498170fc65c1ce5413be412cf5ba3482ae (patch)
tree86a418c304fa3895fd9df9f9559d969556a3ca20 /lambda-calcul/haskell
parentb2ee60e31ea7f4b48a84269c41e7db7ffaaa061f (diff)
downloadlambda-nantes-2df52c498170fc65c1ce5413be412cf5ba3482ae.tar.gz
clear command output on UI
Diffstat (limited to 'lambda-calcul/haskell')
-rw-r--r--lambda-calcul/haskell/public/repl.js8
1 files changed, 8 insertions, 0 deletions
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"}};