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; }