From 643505bbe187a59133ba680f92e9451a36cf0cc4 Mon Sep 17 00:00:00 2001 From: Ubuntu Date: Tue, 2 Dec 2025 16:17:13 +0000 Subject: [PATCH] Things for the poster. --- _includes/head_custom.html | 1 + logo.svg | 211 +++++++++++++++++++++++++++++++++++++ playground/editor.ts | 20 ++-- 3 files changed, 220 insertions(+), 12 deletions(-) create mode 100644 _includes/head_custom.html create mode 100644 logo.svg diff --git a/_includes/head_custom.html b/_includes/head_custom.html new file mode 100644 index 0000000..e378544 --- /dev/null +++ b/_includes/head_custom.html @@ -0,0 +1 @@ + diff --git a/logo.svg b/logo.svg new file mode 100644 index 0000000..7c8eaf9 --- /dev/null +++ b/logo.svg @@ -0,0 +1,211 @@ + + + + diff --git a/playground/editor.ts b/playground/editor.ts index 0644d56..7affefd 100644 --- a/playground/editor.ts +++ b/playground/editor.ts @@ -697,7 +697,7 @@ function buildErrorNote(diagnostics: GraphAlgDiagnostic[]): HTMLQuoteElement { const quote = document.createElement("blockquote"); quote.setAttribute('class', 'error-title'); const title = document.createElement("p"); - title.textContent = "Run failed"; + title.textContent = "Compiler error"; quote.appendChild(title); for (let diag of diagnostics) { @@ -712,17 +712,13 @@ function buildErrorNote(diagnostics: GraphAlgDiagnostic[]): HTMLQuoteElement { function buildCompileSuccessNote(): HTMLQuoteElement { const quote = document.createElement("blockquote"); quote.setAttribute('class', 'success-title'); - const messages = [ - "Compiled successfully", - "Parser: OK, syntax is valid", - "Type checker: OK, types are valid", - ]; - - for (let msg of messages) { - const pelem = document.createElement("p"); - pelem.textContent = msg; - quote.appendChild(pelem); - } + quote.innerHTML = ` +

Compiled successfully

+

+ Parser: Syntax valid ✓ +
+ Type checker: Types valid ✓ +

`; return quote; }