比较文本

查找两个文本文件之间的差异

显示

视图

实时编辑器隐藏空白更改折叠未更改行关闭换行

比对精度

语法

处理

Diffchecker Desktop 运行Diffchecker最安全的方式。获取Diffchecker桌面应用：您的差异永远不会离开您的电脑！获取桌面版

wrap-pony-code-snippet

创建于 2年前差异永不过期

6 删除

行
总计
删除

字符
总计
删除

要继续使用此功能，请升级到 Diffchecker Pro 查看价格

647 行

11 添加

行
总计
添加

字符
总计
添加

要继续使用此功能，请升级到 Diffchecker Pro 查看价格

650 行

(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

已保存差异

原始文本

打开文件

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

更改后文本