Compare text

Find the difference between two text files

Real-time diff

Unified diff

Collapse lines

Highlight change

Syntax highlighting

Tools

wrap-pony-code-snippet

Created 4 months agoDiff never expires

9 removals

647 lines

12 additions

650 lines

(function () {

"use strict";

const PLAYPEN_URL = "https://playground.ponylang.io";

var samples = 2;

function optionalLocalStorageGetItem(key) {

try {

return localStorage.getItem(key);

} catch (e) {

return null;

}

function optionalLocalStorageSetItem(key, value) {

try {

window.localStorage.setItem(key, value);

} catch (e) {

// ignore

}

function build_themes(themelist) {

// Load all ace themes, sorted by their proper name.

var themes = themelist.themes;

themes.sort(function (a, b) {

if (a.caption < b.caption) {

return -1;

} else if (a.caption > b.caption) {

return 1;

}

return 0;

});

var themeopt,

themefrag = document.createDocumentFragment();

for (var i = 0; i < themes.length; i++) {

themeopt = document.createElement("option");

themeopt.setAttribute("val", themes[i].theme);

themeopt.textContent = themes[i].caption;

themefrag.appendChild(themeopt);

}

document.getElementById("themes").appendChild(themefrag);

}

function send(path, data, callback, button, message, result) {

button.disabled = true;

set_result(result, "" + message);

var request = new XMLHttpRequest();

request.open("POST", path, true);

request.setRequestHeader("Content-Type", "application/json");

request.onreadystatechange = function () {

button.disabled = false;

if (request.readyState == 4) {

var json;

try {

json = JSON.parse(request.response);

} catch (e) {

console.log("JSON.parse(): " + e);

}

if (request.status == 200) {

callback(json);

} else if (request.status === 0) {

set_result(result, "Connection failure" +

"Are you connected to the Internet?");

} else {

set_result(result, "Something went wrong" +

"The HTTP request produced a response with status code " + request.status + ".");

}

};

request.timeout = 20000;

request.ontimeout = function () {

set_result(result, "Connection timed out" +

"Are you connected to the Internet?");

};

request.send(JSON.stringify(data));

}

var PYGMENTS_TO_ACE_MAPPINGS = {

'asm': {

'c': 'ace_comment', // Comment,

'na': 'ace_support ace_function ace_directive', // Name.Attribute,

'no': 'ace_constant', // Name.Constant,

'nl': 'ace_entity ace_name ace_function', // Name.Label,

'nv': 'ace_variable ace_parameter ace_register', // Name.Variable,

'mh': 'ace_constant ace_character ace_hexadecimal', // Number.Hex,

'mi': 'ace_constant ace_character ace_decimal', // Number.Integer,

'p': 'ace_punctuation', // Punctuation,

's': 'ace_string', // String,

'sc': 'ace_string', // String.Char,

'': '', // Text,

'llvm-ir': {

'c': 'ace_comment', // Comment

'k': 'ace_keyword', // Keyword

'kt': 'ace_storage ace_type', // Keyword.Type

'nl': 'ace_identifier', // Name.Label

'nv': 'ace_variable', // Name.Variable

'nv-Anonymous': 'ace_support ace_variable', // Name.Variable.Anonymous

'vg': 'ace_variable ace_other', // Name.Variable.Global

'm': 'ace_constant ace_numeric', // Number

'p': 'ace_punctuation', // Punctuation

's': 'ace_string', // String

'': '', // Text

}

};

function rehighlight(pygmentized, language) {

var mappings = PYGMENTS_TO_ACE_MAPPINGS[language];

return pygmentized.replace(/([^<]*)<\/span>/g, function () {

var classes = mappings[arguments[1]];

if (classes) {

return '' + arguments[2] + '';

} else {

return arguments[2];

}

});

}

function redrawResult(result) {

// Sadly the fun letter-spacing animation can leave artefacts,

// so we want to manually trigger a redraw. It doesn’t matter

// whether it’s relative or static for now, so we’ll flip that.

result.parentNode.style.visibility = "hidden";

var _ = result.parentNode.offsetHeight; // This empty assignment is intentional

result.parentNode.style.visibility = "";

}

function evaluate(result, code, button) {

send("/evaluate.json", {

code: code,

separate_output: true,

color: true,

branch: branch

}, function (object) {

var samp, pre, h;

set_result(result);

if (object.compiler) {

h = document.createElement("span");

h.className = "output-header";

h.textContent = "Ponyc Output";

result.appendChild(h);

samp = document.createElement("samp");

samp.innerHTML = formatCompilerOutput(object.compiler);

pre = document.createElement("pre");

pre.classList.add("ponyc-output");

pre.classList.add("output");

pre.appendChild(samp);

result.appendChild(pre);

}

if (object.stdout) {

h = document.createElement("span");

h.className = "output-header";

h.textContent = "Standard Output";

result.appendChild(h);

samp = document.createElement("samp");

samp.className = "output-stdout";

pre.classList.add("output");

samp.innerHTML = formatCompilerOutput(object.stdout);

pre = document.createElement("pre");

pre.appendChild(samp);

result.appendChild(pre);

}

if (object.stderr) {

h = document.createElement("span");

h.className = "output-header";

pre.classList.add("output");

h.textContent = "Standard Error";

result.appendChild(h);

samp = document.createElement("samp");

samp.className = "output";

samp.innerHTML = formatCompilerOutput(object.stderr);

pre = document.createElement("pre");

pre.classList.add("output");

pre.classList.add("stderr");

pre.appendChild(samp);

result.appendChild(pre);

}

var div = document.createElement("p");

div.className = "message";

if (object.success) {

if (object.stdout || object.stderr) {

div.textContent = "Program ended.";

} else {

div.textContent = "Program ended with no output.";

}

} else {

div.textContent = "Compilation failed.";

}

result.appendChild(div);

}, button, "Running…", result);

}

function compile(emit, result, code, button) {

send("/compile.json", {

emit: emit,

code: code,

color: true,

highlight: true,

branch: branch

}, function (object) {

if ("error" in object) {

set_result(result, "<pre class=\"rustc-output rustc-errors\"><samp></samp></pre>");

result.firstElementChild.firstElementChild.innerHTML = formatCompilerOutput(object.error);

} else {

set_result(result, "<pre class=highlight><code>" + rehighlight(object.result, emit) + "</code></pre>");

}

}, button, "Compiling…", result);

}

function shareGist(result, code, button) {

send("/gist.json", {

code: code,

base_url: PLAYPEN_URL,

branch: branch,

}, function (response) {

var gist_id = response.gist_id;

var gist_url = response.gist_url;

var play_url = PLAYPEN_URL + "/?gist=" + encodeURIComponent(gist_id);

if (branch != "release") {

play_url += "&branch=" + branch;

}

set_result(

result,

"<a href=" + play_url + ">Permalink to the playground</a>" +

"<a href=" + gist_url + ">Direct link to the gist</a>"

);

}, button, "Creating Gist…", result);

}

function httpRequest(method, url, data, expect, on_success, on_fail) {

var req = new XMLHttpRequest();

req.open(method, url, true);

req.onreadystatechange = function () {

if (req.readyState == XMLHttpRequest.DONE) {

if (req.status == expect) {

if (on_success) {

on_success(req.responseText);

}

} else {

if (on_fail) {

on_fail(req.status, req.responseText);

}

};

if (method === "GET") {

req.send();

} else if (method === "POST") {

req.send(data);

}

function fetchGist(session, result, gist_id, do_evaluate, evaluateButton) {

session.setValue("// Loading Gist: https://gist.github.com/" + gist_id + " ...");

httpRequest("GET", "https://api.github.com/gists/" + gist_id, null, 200,

function (response) {

response = JSON.parse(response);

if (response) {

var files = response.files;

for (var name in files) {

if (files.hasOwnProperty(name)) {

session.setValue(files[name].content);

if (do_evaluate) {

doEvaluate();

}

break;

}

function (status, response) {

set_result(result, "Failed to fetch Gist" +

"Are you connected to the Internet?");

}

);

}

function fetchSnippet(session, result, snippet_file_name, do_evaluate, evaluateButton) {

function fetchSnippet(session, result, snippet_file_name, do_evaluate, evaluateButton, wrap) {

session.setValue("// Loading snippet: https://github.com/ponylang/pony-tutorial/blob/main/code-samples/" + snippet_file_name + " ...");

httpRequest("GET", "https://raw.githubusercontent.com/ponylang/pony-tutorial/main/code-samples/" + snippet_file_name, null, 200,

function (response) {

session.setValue(response);

if (wrap) {

session.setValue(`

actor Main

new create(env: Env) =>

${response}

`.trim());

} else {

session.setValue(response);

}

if (do_evaluate) {

doEvaluate();

}

function (status, response) {

set_result(result, "Failed to fetch snippet" +

"Are you connected to the Internet?");

}

);

}

function getQueryParameters() {

var a = window.location.search.substr(1).split('&');

if (a === "") return {};

var b = {};

for (var i = 0; i < a.length; i++) {

var p = a[i].split('=');

if (p.length != 2) continue;

b[p[0]] = decodeURIComponent(p[1].replace(/\+/g, " "));

}

return b;

}

function clear_result(result) {

result.innerHTML = "";

result.parentNode.setAttribute("data-empty", "");

set_result.editor.resize();

}

function set_result(result, contents) {

result.parentNode.removeAttribute("data-empty");

if (contents === undefined) {

result.textContent = "";

} else if (typeof contents == "string") {

result.innerHTML = contents;

} else {

result.textContent = "";

result.appendChild(contents);

}

set_result.editor.resize();

}

function set_keyboard(editor, mode) {

if (mode == "Emacs") {

editor.setKeyboardHandler("ace/keyboard/emacs");

} else if (mode == "Vim") {

editor.setKeyboardHandler("ace/keyboard/vim");

if (!set_keyboard.vim_set_up) {

ace.config.loadModule("ace/keyboard/vim", function (m) {

var Vim = ace.require("ace/keyboard/vim").CodeMirror.Vim;

Vim.defineEx("write", "w", function (cm, input) {

cm.ace.execCommand("evaluate");

});

}

set_keyboard.vim_set_up = true;

} else {

editor.setKeyboardHandler(null);

}

function set_theme(editor, themelist, theme) {

var themes = document.getElementById("themes");

var themepath = null,

i = 0,

themelen = themelist.themes.length,

selected = themes.options[themes.selectedIndex];

if (selected.textContent === theme) {

themepath = selected.getAttribute("val");

} else {

for (i; i < themelen; i++) {

if (themelist.themes[i].caption == theme) {

themes.selectedIndex = i;

themepath = themelist.themes[i].theme;

break;

}

if (themepath !== null) {

editor.setTheme(themepath);

optionalLocalStorageSetItem("theme", theme);

}

function getRadioValue(name) {

var nodes = document.getElementsByName(name);

for (var i = 0; i < nodes.length; i++) {

var node = nodes[i];

if (node.checked) {

return node.value;

}

var evaluateButton;

var asmButton;

var irButton;

var formatButton;

var gistButton;

var configureEditorButton;

var result;

var clearResultButton;

var keyboard;

var themes;

var editor;

var session;

var themelist;

var theme;

var mode;

var query;

function doEvaluate() {

var code = session.getValue();

evaluate(result, session.getValue(), evaluateButton);

}

var COLOR_CODES = ['black', 'red', 'green', 'yellow', 'blue', 'magenta', 'cyan', 'white'];

// A simple function to decode ANSI escape codes into HTML.

// This is very basic, with lots of very obvious omissions and holes;

// it’s designed purely to cope with rustc output.

// TERM=xterm rustc uses these:

// - bug/fatal/error = red

// - warning = yellow

// - note = green

// - help = cyan

// - error code = magenta

// - bold

function ansi2html(text) {

return text.replace(/&/g, '&')

.replace(/</g, '<')

.replace(/>/g, '>')

.replace(/\x1b\[1m\x1b\[3([0-7])m([^\x1b]*)(?:\x1b\(B)?\x1b\[0?m/g, function (original, colorCode, text) {

return '' + text + '';

}).replace(/\x1b\[3([0-7])m([^\x1b]*)(?:\x1b\(B)?\x1b\[0?m/g, function (original, colorCode, text) {

return '' + text + '';

}).replace(/\x1b\[1m([^\x1b]*)(?:\x1b\(B)?\x1b\[0?m/g, function (original, text) {

return "" + text + "";

}).replace(/(?:\x1b\(B)?\x1b\[0?m/g, '');

}

//This affects how mouse acts on the program output.

//Screenshots here: https://github.com/rust-lang/rust-playpen/pull/192#issue-145465630

//If mouse hovers on eg. "<anon>:3", temporarily show that line(3) into view by

//selecting it entirely and move editor's cursor to the beginning of it;

//Moves back to original view when mouse moved away.

//If mouse left click on eg. "<anon>:3" then the editor's cursor is moved

//to the beginning of that line

function jumpToLine(text, r1) {

return "<a onclick=\"javascript:editGo(" + r1 + ",1)\"" +

" onmouseover=\"javascript:editShowLine(" + r1 + ")\"" +

" onmouseout=\"javascript:editRestore()\"" +

" class=\"linejump\">" + text + "</a>";

}

//Similarly to jumpToLine, except this one acts on eg. "<anon>:2:31: 2:32"

//and thus selects a region on mouse hover, or when clicked sets cursor to

//the beginning of region.

function jumpToRegion(text, r1, c1, r2, c2) {

return "<a onclick=\"javascript:editGo(" + r1 + "," + c1 + ")\"" +

" onmouseover=\"javascript:editShowRegion(" + r1 + "," + c1 + ", " + r2 + "," + c2 + ")\"" +

" onmouseout=\"javascript:editRestore()\"" +

" class=\"linejump\">" + text + "</a>";

}

//Similarly to jumpToLine, except this one acts on eg. "<anon>:2:31"

function jumpToPoint(text, r1, c1) {

return "<a onclick=\"javascript:editGo(" + r1 + "," + c1 + ")\"" +

" onmouseover=\"javascript:editShowPoint(" + r1 + "," + c1 + ")\"" +

" onmouseout=\"javascript:editRestore()\"" +

" class=\"linejump\">" + text + "</a>";

}

function formatCompilerOutput(text) {

return ansi2html(text)

.replace(/\/.*\/main.pony/mg, "main.pony")

.replace(/\/usr\/local\/lib\/pony\/[^\/]*\//mg, "")

.replace(/main\.pony:(\d+):(\d+)/mg, jumpToPoint);

}

addEventListener("DOMContentLoaded", function () {

evaluateButton = document.getElementById("evaluate");

asmButton = document.getElementById("asm");

irButton = document.getElementById("llvm-ir");

formatButton = document.getElementById("format");

gistButton = document.getElementById("gist");

configureEditorButton = document.getElementById("configure-editor");

result = document.getElementById("result").firstElementChild;

clearResultButton = document.getElementById("clear-result");

keyboard = document.getElementById("keyboard");

themes = document.getElementById("themes");

editor = ace.edit("editor");

set_result.editor = editor;

editor.$blockScrolling = Infinity;

editor.setAnimatedScroll(true);

session = editor.getSession();

themelist = ace.require("ace/ext/themelist");

window.branch = "release"

editor.focus();

build_themes(themelist);

editor.renderer.on('themeChange', function (e) {

var path = e.theme;

ace.config.loadModule(['theme', e.theme], function (t) {

document.getElementById("result").className = t.cssClass + (t.isDark ? " ace_dark" : "");

});

theme = optionalLocalStorageGetItem("theme");

if (theme === null) {

set_theme(editor, themelist, "GitHub");

} else {

set_theme(editor, themelist, theme);

}

session.setMode("ace/mode/pony");

// Match the tab style of the Pony standard library.

session.setTabSize(2);

session.setUseSoftTabs(true);

mode = optionalLocalStorageGetItem("keyboard");

if (mode !== null) {

set_keyboard(editor, mode);

keyboard.value = mode;

}

query = getQueryParameters();

if ("code" in query) {

session.setValue(query.code);

} else if ("gist" in query) {

// fetchGist() must defer evaluation until after the content has been loaded

fetchGist(session, result, query.gist, query.run === "1", evaluateButton);

query.run = 0;

} else if ("snippet" in query) {

// fetchSnippet() must defer evaluation until after the content has been loaded

fetchSnippet(session, result, query.snippet, query.run === "1", evaluateButton);

fetchSnippet(session, result, query.snippet, query.run === "1", evaluateButton, query.wrap === '1');

query.run = 0;

} else {

var code = optionalLocalStorageGetItem("code");

if (code !== null) {

session.setValue(code);

}

if ("branch" in query) {

branch = query.branch

}

if (query.run === "1") {

doEvaluate();

}

addEventListener("resize", function () {

editor.resize();

});

//This helps re-focus editor after a Run or any other action that caused

//editor to lose focus. Just press Enter or Esc key to focus editor.

//Without this, you'd most likely have to LMB somewhere in the editor

//area which would change the location of its cursor to where you clicked.

addEventListener("keyup", function (e) {

if ((document.body == document.activeElement) && //needed to avoid when editor has focus already

(13 == e.keyCode || 27 == e.keyCode)) { //Enter or Escape keys

editor.focus();

}

});

session.on("change", function () {

var code = session.getValue();

optionalLocalStorageSetItem("code", code);

});

keyboard.onkeyup = keyboard.onchange = function () {

var mode = keyboard.options[keyboard.selectedIndex].value;

optionalLocalStorageSetItem("keyboard", mode);

set_keyboard(editor, mode);

};

evaluateButton.onclick = function () {

doEvaluate(true);

editor.focus();

};

editor.commands.addCommand({

name: "evaluate",

exec: evaluateButton.onclick,

bindKey: { win: "Ctrl-Enter", mac: "Ctrl-Enter" }

});

// ACE uses the "cstyle" behaviour for all languages by default, which

// gives us nice things like quote and paren autopairing. However this

// also autopairs single quotes, which makes writing lifetimes annoying.

// To avoid having to duplicate the other functionality provided by the

// cstyle behaviour, we work around this situation by hijacking the

// single quote as a hotkey and modifying the document ourselves, which

// does not trigger this behaviour.

editor.commands.addCommand({

name: "rust_no_single_quote_autopairing",

exec: function (editor, line) {

var sess = editor.getSession();

var doc = sess.getDocument();

var selection = sess.getSelection();

var ranges = selection.getAllRanges();

var prev_range = null;

// no selection = zero width range, so we don't need to handle this case specially

// start from the back, so changes to earlier ranges don't invalidate later ranges

for (var i = ranges.length - 1; i >= 0; i--) {

// sanity check: better to do no modification than to do something wrong

// see the compareRange docs:

// https://github.com/ajaxorg/ace/blob/v1.2.6/lib/ace/range.js#L106-L120

if (prev_range && prev_range.compareRange(ranges[i]) != -2) {

console.log("ranges intersect or are not in ascending order, skipping",

ranges[i]);

}

prev_range = ranges[i];

doc.replace(ranges[i], "'");

}

// the selection contents were replaced, so clear the selection

selection.clearSelection();

bindKey: { win: "'", mac: "'" },

});

// We’re all pretty much agreed that such an obscure command as transposing

// letters hogging Ctrl-T, normally “open new tab”, is a bad thing.

var transposeletters = editor.commands.commands.transposeletters;

editor.commands.removeCommand("transposeletters");

delete transposeletters.bindKey;

editor.commands.addCommand(transposeletters);

asmButton.onclick = function () {

compile("asm", result, session.getValue(), asmButton);

};

irButton.onclick = function () {

irButton.onclick = function ()

compile("llvm-ir", result, session.getValue(), irButton);

};

gistButton.onclick = function () {

shareGist(result, sessio

Saved diffs

Original text

Open file

(function () {
    "use strict";
    const PLAYPEN_URL = "https://playground.ponylang.io";

var samples = 2;

function optionalLocalStorageGetItem(key) {
        try {
            return localStorage.getItem(key);
        } catch (e) {
            return null;
        }
    }

function optionalLocalStorageSetItem(key, value) {
        try {
            window.localStorage.setItem(key, value);
        } catch (e) {
            // ignore
        }
    }

var themeopt,
 themefrag = document.createDocumentFragment();
 for (var i = 0; i < themes.length; i++) {
 themeopt = document.createElement("option");
 themeopt.setAttribute("val", themes[i].theme);
 themeopt.textContent = themes[i].caption;
 themefrag.appendChild(themeopt);
 }
 document.getElementById("themes").appendChild(themefrag);
 }

function send(path, data, callback, button, message, result) {
        button.disabled = true;

set_result(result, "" + message);

var request = new XMLHttpRequest();
        request.open("POST", path, true);
        request.setRequestHeader("Content-Type", "application/json");
        request.onreadystatechange = function () {
            button.disabled = false;
            if (request.readyState == 4) {
                var json;

try {
                    json = JSON.parse(request.response);
                } catch (e) {
                    console.log("JSON.parse(): " + e);
                }

if (request.status == 200) {
 callback(json);
 } else if (request.status === 0) {
 set_result(result, "Connection failure" +
 "Are you connected to the Internet?");
 } else {
 set_result(result, "Something went wrong" +
 "The HTTP request produced a response with status code " + request.status + ".");
 }
 }
 };
 request.timeout = 20000;
 request.ontimeout = function () {
 set_result(result, "Connection timed out" +
 "Are you connected to the Internet?");
 };
 request.send(JSON.stringify(data));
 }

var PYGMENTS_TO_ACE_MAPPINGS = {
        'asm': {
            'c': 'ace_comment', // Comment,
            'na': 'ace_support ace_function ace_directive', // Name.Attribute,
            'no': 'ace_constant', // Name.Constant,
            'nl': 'ace_entity ace_name ace_function', // Name.Label,
            'nv': 'ace_variable ace_parameter ace_register', // Name.Variable,
            'mh': 'ace_constant ace_character ace_hexadecimal', // Number.Hex,
            'mi': 'ace_constant ace_character ace_decimal', // Number.Integer,
            'p': 'ace_punctuation', // Punctuation,
            's': 'ace_string', // String,
            'sc': 'ace_string', // String.Char,
            '': '', // Text,
        },
        'llvm-ir': {
            'c': 'ace_comment', // Comment
            'k': 'ace_keyword', // Keyword
            'kt': 'ace_storage ace_type', // Keyword.Type
            'nl': 'ace_identifier', // Name.Label
            'nv': 'ace_variable', // Name.Variable
            'nv-Anonymous': 'ace_support ace_variable', // Name.Variable.Anonymous
            'vg': 'ace_variable ace_other', // Name.Variable.Global
            'm': 'ace_constant ace_numeric', // Number
            'p': 'ace_punctuation', // Punctuation
            's': 'ace_string', // String
            '': '', // Text
        }
    };

function redrawResult(result) {
        // Sadly the fun letter-spacing animation can leave artefacts,
        // so we want to manually trigger a redraw. It doesn’t matter
        // whether it’s relative or static for now, so we’ll flip that.
        result.parentNode.style.visibility = "hidden";
        var _ = result.parentNode.offsetHeight;  // This empty assignment is intentional
        result.parentNode.style.visibility = "";
    }

function evaluate(result, code, button) {
        send("/evaluate.json", {
            code: code,
            separate_output: true,
            color: true,
            branch: branch
        }, function (object) {
            var samp, pre, h;
            set_result(result);
            if (object.compiler) {
                h = document.createElement("span");
                h.className = "output-header";
                h.textContent = "Ponyc Output";
                result.appendChild(h);

samp = document.createElement("samp");
                samp.innerHTML = formatCompilerOutput(object.compiler);
                pre = document.createElement("pre");
                pre.classList.add("ponyc-output");
                pre.classList.add("output");
                pre.appendChild(samp);
                result.appendChild(pre);
            }

if (object.stdout) {
                h = document.createElement("span");
                h.className = "output-header";
                h.textContent = "Standard Output";
                result.appendChild(h);

samp = document.createElement("samp");
                samp.className = "output-stdout";
                pre.classList.add("output");
                samp.innerHTML = formatCompilerOutput(object.stdout);
                pre = document.createElement("pre");
                pre.appendChild(samp);
                result.appendChild(pre);
            }
            if (object.stderr) {
                h = document.createElement("span");
                h.className = "output-header";
                pre.classList.add("output");
                h.textContent = "Standard Error";
                result.appendChild(h);

samp = document.createElement("samp");
                samp.className = "output";
                samp.innerHTML = formatCompilerOutput(object.stderr);
                pre = document.createElement("pre");
                pre.classList.add("output");
                pre.classList.add("stderr");
                pre.appendChild(samp);
                result.appendChild(pre);
            }

function shareGist(result, code, button) {
        send("/gist.json", {
            code: code,
            base_url: PLAYPEN_URL,
            branch: branch,
        }, function (response) {
            var gist_id = response.gist_id;
            var gist_url = response.gist_url;

var play_url = PLAYPEN_URL + "/?gist=" + encodeURIComponent(gist_id);

if (branch != "release") {
                play_url += "&branch=" + branch;
            }

set_result(
 result,
 "<a href=" + play_url + ">Permalink to the playground</a>" +
 "<a href=" + gist_url + ">Direct link to the gist</a>"
 );
 }, button, "Creating Gist…", result);
 }

function httpRequest(method, url, data, expect, on_success, on_fail) {
        var req = new XMLHttpRequest();

req.open(method, url, true);
        req.onreadystatechange = function () {
            if (req.readyState == XMLHttpRequest.DONE) {
                if (req.status == expect) {
                    if (on_success) {
                        on_success(req.responseText);
                    }
                } else {
                    if (on_fail) {
                        on_fail(req.status, req.responseText);
                    }
                }
            }
        };

if (method === "GET") {
            req.send();
        } else if (method === "POST") {
            req.send(data);
        }
    }

function fetchGist(session, result, gist_id, do_evaluate, evaluateButton) {
        session.setValue("// Loading Gist: https://gist.github.com/" + gist_id + " ...");
        httpRequest("GET", "https://api.github.com/gists/" + gist_id, null, 200,
            function (response) {
                response = JSON.parse(response);
                if (response) {
                    var files = response.files;
                    for (var name in files) {
                        if (files.hasOwnProperty(name)) {
                            session.setValue(files[name].content);

if (do_evaluate) {
 doEvaluate();
 }
 break;
 }
 }
 }
 },
 function (status, response) {
 set_result(result, "Failed to fetch Gist" +
 "Are you connected to the Internet?");
 }
 );
 }

function fetchSnippet(session, result, snippet_file_name, do_evaluate, evaluateButton) {
        session.setValue("// Loading snippet: https://github.com/ponylang/pony-tutorial/blob/main/code-samples/" + snippet_file_name + " ...");
        httpRequest("GET", "https://raw.githubusercontent.com/ponylang/pony-tutorial/main/code-samples/" + snippet_file_name, null, 200,
            function (response) {
                session.setValue(response);

if (do_evaluate) {
 doEvaluate();
 }
 },
 function (status, response) {
 set_result(result, "Failed to fetch snippet" +
 "Are you connected to the Internet?");
 }
 );
 }

function clear_result(result) {
        result.innerHTML = "";
        result.parentNode.setAttribute("data-empty", "");
        set_result.editor.resize();
    }

function getRadioValue(name) {
 var nodes = document.getElementsByName(name);
 for (var i = 0; i < nodes.length; i++) {
 var node = nodes[i];
 if (node.checked) {
 return node.value;
 }
 }
 }

var evaluateButton;
    var asmButton;
    var irButton;
    var formatButton;
    var gistButton;
    var configureEditorButton;
    var result;
    var clearResultButton;
    var keyboard;
    var themes;
    var editor;
    var session;
    var themelist;
    var theme;
    var mode;
    var query;

function doEvaluate() {
        var code = session.getValue();
        evaluate(result, session.getValue(), evaluateButton);
    }

var COLOR_CODES = ['black', 'red', 'green', 'yellow', 'blue', 'magenta', 'cyan', 'white'];

// A simple function to decode ANSI escape codes into HTML.
 // This is very basic, with lots of very obvious omissions and holes;
 // it’s designed purely to cope with rustc output.
 //
 // TERM=xterm rustc uses these:
 //
 // - bug/fatal/error = red
 // - warning = yellow
 // - note = green
 // - help = cyan
 // - error code = magenta
 // - bold
 function ansi2html(text) {
 return text.replace(/&/g, '&amp;')
 .replace(/</g, '&lt;')
 .replace(/>/g, '&gt;')
 .replace(/\x1b\[1m\x1b\[3([0-7])m([^\x1b]*)(?:\x1b\(B)?\x1b\[0?m/g, function (original, colorCode, text) {
 return '' + text + '';
 }).replace(/\x1b\[3([0-7])m([^\x1b]*)(?:\x1b\(B)?\x1b\[0?m/g, function (original, colorCode, text) {
 return '' + text + '';
 }).replace(/\x1b\[1m([^\x1b]*)(?:\x1b\(B)?\x1b\[0?m/g, function (original, text) {
 return "" + text + "";
 }).replace(/(?:\x1b\(B)?\x1b\[0?m/g, '');
 }

//This affects how mouse acts on the program output.
 //Screenshots here: https://github.com/rust-lang/rust-playpen/pull/192#issue-145465630
 //If mouse hovers on eg. "<anon>:3", temporarily show that line(3) into view by
 //selecting it entirely and move editor's cursor to the beginning of it;
 //Moves back to original view when mouse moved away.
 //If mouse left click on eg. "<anon>:3" then the editor's cursor is moved
 //to the beginning of that line
 function jumpToLine(text, r1) {
 return "<a onclick=\"javascript:editGo(" + r1 + ",1)\"" +
 " onmouseover=\"javascript:editShowLine(" + r1 + ")\"" +
 " onmouseout=\"javascript:editRestore()\"" +
 " class=\"linejump\">" + text + "</a>";
 }

//Similarly to jumpToLine, except this one acts on eg. "<anon>:2:31: 2:32"
 //and thus selects a region on mouse hover, or when clicked sets cursor to
 //the beginning of region.
 function jumpToRegion(text, r1, c1, r2, c2) {
 return "<a onclick=\"javascript:editGo(" + r1 + "," + c1 + ")\"" +
 " onmouseover=\"javascript:editShowRegion(" + r1 + "," + c1 + ", " + r2 + "," + c2 + ")\"" +
 " onmouseout=\"javascript:editRestore()\"" +
 " class=\"linejump\">" + text + "</a>";
 }

//Similarly to jumpToLine, except this one acts on eg. "<anon>:2:31"
 function jumpToPoint(text, r1, c1) {
 return "<a onclick=\"javascript:editGo(" + r1 + "," + c1 + ")\"" +
 " onmouseover=\"javascript:editShowPoint(" + r1 + "," + c1 + ")\"" +
 " onmouseout=\"javascript:editRestore()\"" +
 " class=\"linejump\">" + text + "</a>";
 }

function formatCompilerOutput(text) {
        return ansi2html(text)
            .replace(/\/.*\/main.pony/mg, "main.pony")
            .replace(/\/usr\/local\/lib\/pony\/[^\/]*\//mg, "")
            .replace(/main\.pony:(\d+):(\d+)/mg, jumpToPoint);
    }

addEventListener("DOMContentLoaded", function () {
        evaluateButton = document.getElementById("evaluate");
        asmButton = document.getElementById("asm");
        irButton = document.getElementById("llvm-ir");
        formatButton = document.getElementById("format");
        gistButton = document.getElementById("gist");
        configureEditorButton = document.getElementById("configure-editor");
        result = document.getElementById("result").firstElementChild;
        clearResultButton = document.getElementById("clear-result");
        keyboard = document.getElementById("keyboard");
        themes = document.getElementById("themes");
        editor = ace.edit("editor");
        set_result.editor = editor;
        editor.$blockScrolling = Infinity;
        editor.setAnimatedScroll(true);
        session = editor.getSession();
        themelist = ace.require("ace/ext/themelist");
        window.branch = "release"

editor.focus();

build_themes(themelist);

editor.renderer.on('themeChange', function (e) {
            var path = e.theme;
            ace.config.loadModule(['theme', e.theme], function (t) {
                document.getElementById("result").className = t.cssClass + (t.isDark ? " ace_dark" : "");
            });
        });

theme = optionalLocalStorageGetItem("theme");
        if (theme === null) {
            set_theme(editor, themelist, "GitHub");
        } else {
            set_theme(editor, themelist, theme);
        }

session.setMode("ace/mode/pony");

// Match the tab style of the Pony standard library.
        session.setTabSize(2);
        session.setUseSoftTabs(true);

mode = optionalLocalStorageGetItem("keyboard");
        if (mode !== null) {
            set_keyboard(editor, mode);
            keyboard.value = mode;
        }

query = getQueryParameters();
        if ("code" in query) {
            session.setValue(query.code);
        } else if ("gist" in query) {
            // fetchGist() must defer evaluation until after the content has been loaded
            fetchGist(session, result, query.gist, query.run === "1", evaluateButton);
            query.run = 0;
        } else if ("snippet" in query) {
            // fetchSnippet() must defer evaluation until after the content has been loaded
            fetchSnippet(session, result, query.snippet, query.run === "1", evaluateButton);
            query.run = 0;
        } else {
            var code = optionalLocalStorageGetItem("code");
            if (code !== null) {
                session.setValue(code);
            }
        }

if ("branch" in query) {
            branch = query.branch
        }

if (query.run === "1") {
            doEvaluate();
        }

addEventListener("resize", function () {
            editor.resize();
        });

//This helps re-focus editor after a Run or any other action that caused
        //editor to lose focus. Just press Enter or Esc key to focus editor.
        //Without this, you'd most likely have to LMB somewhere in the editor
        //area which would change the location of its cursor to where you clicked.
        addEventListener("keyup", function (e) {
            if ((document.body == document.activeElement) && //needed to avoid when editor has focus already
                (13 == e.keyCode || 27 == e.keyCode)) { //Enter or Escape keys
                editor.focus();
            }
        });

session.on("change", function () {
            var code = session.getValue();
            optionalLocalStorageSetItem("code", code);
        });

keyboard.onkeyup = keyboard.onchange = function () {
            var mode = keyboard.options[keyboard.selectedIndex].value;
            optionalLocalStorageSetItem("keyboard", mode);
            set_keyboard(editor, mode);
        };

evaluateButton.onclick = function () {
            doEvaluate(true);
            editor.focus();
        };

editor.commands.addCommand({
            name: "evaluate",
            exec: evaluateButton.onclick,
            bindKey: { win: "Ctrl-Enter", mac: "Ctrl-Enter" }
        });

// ACE uses the "cstyle" behaviour for all languages by default, which
        // gives us nice things like quote and paren autopairing. However this
        // also autopairs single quotes, which makes writing lifetimes annoying.
        // To avoid having to duplicate the other functionality provided by the
        // cstyle behaviour, we work around this situation by hijacking the
        // single quote as a hotkey and modifying the document ourselves, which
        // does not trigger this behaviour.
        editor.commands.addCommand({
            name: "rust_no_single_quote_autopairing",
            exec: function (editor, line) {
                var sess = editor.getSession();
                var doc = sess.getDocument();
                var selection = sess.getSelection();
                var ranges = selection.getAllRanges();
                var prev_range = null;

// no selection = zero width range, so we don't need to handle this case specially
                // start from the back, so changes to earlier ranges don't invalidate later ranges
                for (var i = ranges.length - 1; i >= 0; i--) {
                    // sanity check: better to do no modification than to do something wrong
                    // see the compareRange docs:
                    // https://github.com/ajaxorg/ace/blob/v1.2.6/lib/ace/range.js#L106-L120
                    if (prev_range && prev_range.compareRange(ranges[i]) != -2) {
                        console.log("ranges intersect or are not in ascending order, skipping",
                            ranges[i]);
                    }
                    prev_range = ranges[i];

doc.replace(ranges[i], "'");
                }
                // the selection contents were replaced, so clear the selection
                selection.clearSelection();
            },
            bindKey: { win: "'", mac: "'" },
        });

// We’re all pretty much agreed that such an obscure command as transposing
        // letters hogging Ctrl-T, normally “open new tab”, is a bad thing.
        var transposeletters = editor.commands.commands.transposeletters;
        editor.commands.removeCommand("transposeletters");
        delete transposeletters.bindKey;
        editor.commands.addCommand(transposeletters);

asmButton.onclick = function () {
            compile("asm", result, session.getValue(), asmButton);
        };

irButton.onclick = function () {
            compile("llvm-ir", result, session.getValue(), irButton);
        };

gistButton.onclick = function () {
            shareGist(result, session.getValue(), gistButton);
        };

configureEditorButton.onclick = function () {
            var dropdown = configureEditorButton.nextElementSibling;
            dropdown.style.display = dropdown.style.display ? "" : "block";
        };

clearResultButton.onclick = function () {
            clear_result(result);
        };

themes.onkeyup = themes.onchange = function () {
            set_theme(editor, themelist, themes.options[themes.selectedIndex].text);
        };

}, false);
}());

// called via javascript:fn events from formatCompilerOutput
var old_range;

function editorGet() {
    return window.ace.edit("editor");
}

function editGo(r1, c1) {
    var e = editorGet();
    old_range = undefined;
    e.focus();
    e.selection.clearSelection();
    e.scrollToLine(r1 - 1, true, true);
    e.selection.moveCursorTo(r1 - 1, c1 - 1, false);
}

function editShowRegion(r1, c1, r2, c2) {
    var e = editorGet();
    var es = e.selection;
    old_range = es.getRange();
    es.clearSelection();
    e.scrollToLine(Math.round((r1 + r2) / 2), true, true);
    es.setSelectionAnchor(r1 - 1, c1 - 1);
    es.selectTo(r2 - 1, c2 - 1);
}

function editShowLine(r1) {
    var e = editorGet();
    var es = e.selection;
    old_range = es.getRange();
    es.clearSelection();
    e.scrollToLine(r1, true, true);
    es.moveCursorTo(r1 - 1, 0);
    es.moveCursorLineEnd();
    es.selectTo(r1 - 1, 0);
}

function editShowPoint(r1, c1) {
    var e = editorGet();
    var es = e.selection;
    old_range = es.getRange();
    es.clearSelection();
    e.scrollToLine(r1, true, true);
    es.moveCursorTo(r1 - 1, 0);
    es.moveCursorLineEnd();
    es.selectTo(r1 - 1, c1 - 1);
}

Changed text