Skip to content

Add typechecker to demo and support multiple error line highlighting #61

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
Oct 30, 2025
Merged

Add typechecker to demo and support multiple error line highlighting #61

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
fd655f7
Add typechecker to demo and support multiple error line highlighting
annieetang Oct 23, 2025
452f98f
update executeScript lastErrors handling
annieetang Oct 23, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
38 changes: 32 additions & 6 deletions _includes/repl.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,7 @@
<br>
<textarea rows="10" cols="80" id="script"></textarea>
<div class="button-group">
<button onclick="checkScript(); return false;">Typecheck</button>
<button onclick="executeScript(); return false;">Run</button>
<button onclick="shareScript(); return false;">Share</button>
<input type="checkbox" checked="true" id="output-clear" />
Expand Down Expand Up @@ -157,6 +158,13 @@
}
}

function clearErrors() {
for (var i = 0; i < lastErrors.length; i++) {
editor.removeLineClass(lastErrors[i], "background", "line-error");
}
lastErrors = [];
}

var textValue = "print(\"Hello World!\")\n";
var editor = CodeMirror.fromTextArea(document.getElementById("script"), {
theme: localStorage.getItem('theme'),
Expand All @@ -178,7 +186,7 @@
}
});

var lastError = undefined;
var lastErrors = [];

function output(text) {
var output_box = document.getElementById("output");
Expand All @@ -191,11 +199,29 @@
'print': function (msg) { output(msg) }
};

function executeScript() {
if (lastError) {
editor.removeLineClass(lastError, "background", "line-error");
lastError = undefined;
function checkScript() {
clearErrors();

maybeClearOutput()

var err = Module.ccall('checkScript', 'string', ['string'], [editor.getValue()]);
if (err) {
output('Errors:\n');
var errLines = err.split('\n');
for (var i = 0; i < errLines.length; i++) {
output(errLines[i]);
var err_line = parseInt(errLines[i]);
if (err_line) {
lastErrors.push(editor.addLineClass(err_line - 1, "background", "line-error"));
}
}
} else {
output('No type errors found!');
}
}

function executeScript() {
clearErrors();

maybeClearOutput()

Expand All @@ -206,7 +232,7 @@

var err_line = parseInt(err_text);
if (err_line) {
lastError = editor.addLineClass(err_line - 1, "background", "line-error");
lastErrors.push(editor.addLineClass(err_line - 1, "background", "line-error"));
}
}
}
Expand Down