Compare text

Find the difference between two text files

Real-time diff

Unified diff

Collapse lines

Highlight change

Syntax highlighting

Tools

Diffchecker Desktop The most secure way to run Diffchecker. Get the Diffchecker Desktop app: your diffs never leave your computer!Get Desktop

wrap-pony-code-snippet

Created about a year agoDiff never expires

Lines
Total
Removed

Words
Total
Removed

To continue using this feature, upgrade to Diffchecker Pro View Pricing

647 lines

Lines
Total
Added

Words
Total
Added

To continue using this feature, upgrade to Diffchecker Pro View Pricing

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