From 82d01c81089de61083b0bb52c5525384a38dc964 Mon Sep 17 00:00:00 2001
From: Omar Rizwan <omar@omar.website>
Date: Tue, 27 Jun 2023 15:40:13 -0400
Subject: Fix error rendering in web editor

---
 virtual-programs/new-program-web-editor.folk | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

(limited to 'virtual-programs/new-program-web-editor.folk')

diff --git a/virtual-programs/new-program-web-editor.folk b/virtual-programs/new-program-web-editor.folk
index 692b00e0..5797365b 100644
--- a/virtual-programs/new-program-web-editor.folk
+++ b/virtual-programs/new-program-web-editor.folk
@@ -113,9 +113,9 @@ Wish the web server handles route "/new" with handler {
 	    ws.close();
 	  }
 	  ws.onmessage = (msg) => {
-	    if (msg.data.startsWith("ERROR:")) {
+	    if (msg.data.startsWith("Error:")) {
 	      const errorEl = document.getElementById("error");
-	      if (msg.data == "ERROR: {}") {
+	      if (msg.data === "Error:") {
 		errorEl.style.backgroundColor = "";
 		errorEl.innerText = "";
 	      } else {
@@ -153,7 +153,10 @@ Wish the web server handles route "/new" with handler {
 	    if {$::isLaptop} { Step }
 	  `);
 	  setTimeout(() => {
-	    send(`list ERROR: [Statements::findMatches [list {${program}} has error /err/ with info /errorInfo/]]`);
+	    send(`
+set errors [Statements::findMatches [list {${program}} has error /err/ with info /errorInfo/]]
+join [list "Error:" {*}[lmap e $errors {dict get $e errorInfo}]] "\n"
+`);
 	  }, 500);
 	}
 	let jobid;
-- 
cgit v1.2.3