@fraczak/k 6.3.2 → 6.4.0

package/k-vscode/syntaxes/k.tmLanguage.json

@@ -1,599 +0,0 @@
-{
-  "$schema": "https://raw.githubusercontent.com/martinring/tmlanguage/master/tmlanguage.json",
-  "name": "k",
-  "scopeName": "source.k",
-  "patterns": [
-    { "include": "#comment-block" },
-    { "include": "#comment-line" },
-    { "include": "#type-definition" },
-    { "include": "#relation-definition" },
-    { "include": "#main-relation-expression" }
-  ],
-  "repository": {
-    "comment-block": {
-      "name": "comment.block.k",
-      "begin": "/\\*",
-      "end": "\\*/",
-      "beginCaptures": {
-        "0": { "name": "punctuation.definition.comment.begin.k" }
-      },
-      "endCaptures": {
-        "0": { "name": "punctuation.definition.comment.end.k" }
-      }
-    },
-    "comment-line": {
-      "name": "comment.line.k",
-      "match": "(?://|--|%|#|\\\\\\\\).*$"
-    },
-    "type-definition": {
-      "comment": "$ name = code; defines a named code (type)",
-      "name": "meta.definition.type.k",
-      "contentName": "meta.expression.type.k",
-      "begin": "(\\$)\\s*([a-zA-Z0-9_+\\-][a-zA-Z0-9_?!+\\-]*)\\s*(=)",
-      "end": "(;)",
-      "beginCaptures": {
-        "1": { "name": "keyword.operator.type.k" },
-        "2": { "name": "entity.name.type.k" },
-        "3": { "name": "keyword.operator.assignment.k" }
-      },
-      "endCaptures": {
-        "1": { "name": "punctuation.terminator.definition.k" }
-      },
-      "patterns": [
-        { "include": "#type-content" }
-      ]
-    },
-    "relation-definition": {
-      "comment": "name = expression; defines a named relation/function",
-      "name": "meta.definition.function.k",
-      "contentName": "meta.expression.relation.k",
-      "begin": "^\\s*([a-zA-Z0-9_+\\-][a-zA-Z0-9_?!+\\-]*)\\s*(=)",
-      "end": "(;)",
-      "beginCaptures": {
-        "1": { "name": "support.function.identifier.k" },
-        "2": { "name": "keyword.operator.assignment.k" }
-      },
-      "endCaptures": {
-        "1": { "name": "punctuation.terminator.definition.k" }
-      },
-      "patterns": [
-        { "include": "#relation-content" }
-      ]
-    },
-    "main-relation-expression": {
-      "comment": "The parser requires one trailing top-level relation expression after definitions",
-      "name": "meta.expression.relation.k",
-      "begin": "(?=\\S)",
-      "end": "(?=$)",
-      "patterns": [
-        { "include": "#relation-content" }
-      ]
-    },
-    "type-content": {
-      "patterns": [
-        { "include": "#comment-block" },
-        { "include": "#comment-line" },
-        { "include": "#type-product" },
-        { "include": "#type-union" },
-        { "include": "#canonical-type-ref" },
-        { "include": "#type-name" },
-        { "include": "#separator" }
-      ]
-    },
-    "type-product": {
-      "name": "meta.expression.type.product.k",
-      "begin": "(\\{)",
-      "end": "(\\})",
-      "beginCaptures": {
-        "1": { "name": "punctuation.section.product.begin.k" }
-      },
-      "endCaptures": {
-        "1": { "name": "punctuation.section.product.end.k" }
-      },
-      "patterns": [
-        { "include": "#comment-block" },
-        { "include": "#comment-line" },
-        { "include": "#type-product-label" },
-        { "include": "#type-product" },
-        { "include": "#type-union" },
-        { "include": "#canonical-type-ref" },
-        { "include": "#type-name" },
-        { "include": "#separator" }
-      ]
-    },
-    "type-union": {
-      "name": "meta.expression.type.union.k",
-      "begin": "(<)",
-      "end": "(>)",
-      "beginCaptures": {
-        "1": { "name": "punctuation.section.union.begin.k" }
-      },
-      "endCaptures": {
-        "1": { "name": "punctuation.section.union.end.k" }
-      },
-      "patterns": [
-        { "include": "#comment-block" },
-        { "include": "#comment-line" },
-        { "include": "#type-union-tag" },
-        { "include": "#type-product" },
-        { "include": "#type-union" },
-        { "include": "#canonical-type-ref" },
-        { "include": "#type-name" },
-        { "include": "#separator" }
-      ]
-    },
-    "type-product-label": {
-      "patterns": [
-        {
-          "name": "entity.name.label.k",
-          "match": "[a-zA-Z0-9_+\\-][a-zA-Z0-9_?!+\\-]*(?=\\s*[,}])"
-        },
-        {
-          "name": "entity.name.label.k",
-          "match": "(?:\"(?:[^\"\\\\]|\\\\.)*\"|'(?:[^'\\\\]|\\\\.)*')(?=\\s*[,}])"
-        }
-      ]
-    },
-    "type-union-tag": {
-      "patterns": [
-        {
-          "name": "entity.name.tag.k",
-          "match": "[a-zA-Z0-9_+\\-][a-zA-Z0-9_?!+\\-]*(?=\\s*[,>])"
-        },
-        {
-          "name": "entity.name.tag.k",
-          "match": "(?:\"(?:[^\"\\\\]|\\\\.)*\"|'(?:[^'\\\\]|\\\\.)*')(?=\\s*[,>])"
-        }
-      ]
-    },
-    "type-expression": {
-      "patterns": [
-        {
-          "name": "meta.expression.type.k",
-          "match": "(\\$)\\s*(@)([a-zA-Z0-9_+\\-][a-zA-Z0-9_?!+\\-]*)",
-          "captures": {
-            "1": { "name": "keyword.operator.type.k" },
-            "2": { "name": "punctuation.definition.canonical.k" },
-            "3": { "name": "support.type.canonical.k" }
-          }
-        },
-        {
-          "name": "meta.expression.type.k",
-          "match": "(\\$)\\s*([a-zA-Z0-9_+\\-][a-zA-Z0-9_?!+\\-]*)",
-          "captures": {
-            "1": { "name": "keyword.operator.type.k" },
-            "2": { "name": "support.type.k" }
-          }
-        },
-        {
-          "name": "meta.expression.type.k",
-          "begin": "(\\$)\\s*(\\{)",
-          "end": "(\\})",
-          "beginCaptures": {
-            "1": { "name": "keyword.operator.type.k" },
-            "2": { "name": "punctuation.section.product.begin.k" }
-          },
-          "endCaptures": {
-            "1": { "name": "punctuation.section.product.end.k" }
-          },
-          "patterns": [
-            { "include": "#type-product-label" },
-            { "include": "#type-content" }
-          ]
-        },
-        {
-          "name": "meta.expression.type.k",
-          "begin": "(\\$)\\s*(<)",
-          "end": "(>)",
-          "beginCaptures": {
-            "1": { "name": "keyword.operator.type.k" },
-            "2": { "name": "punctuation.section.union.begin.k" }
-          },
-          "endCaptures": {
-            "1": { "name": "punctuation.section.union.end.k" }
-          },
-          "patterns": [
-            { "include": "#type-union-tag" },
-            { "include": "#type-content" }
-          ]
-        }
-      ]
-    },
-    "type-name": {
-      "name": "support.type.k",
-      "match": "[a-zA-Z0-9_+\\-][a-zA-Z0-9_?!+\\-]*"
-    },
-    "canonical-type-ref": {
-      "match": "(@)([a-zA-Z0-9_+\\-][a-zA-Z0-9_?!+\\-]*)",
-      "captures": {
-        "1": { "name": "punctuation.definition.canonical.k" },
-        "2": { "name": "support.type.canonical.k" }
-      }
-    },
-    "relation-content": {
-      "patterns": [
-        { "include": "#comment-block" },
-        { "include": "#comment-line" },
-        { "include": "#filter-expression" },
-        { "include": "#type-expression" },
-        { "include": "#projection-dot" },
-        { "include": "#projection-slash" },
-        { "include": "#variant-intro" },
-        { "include": "#canonical-function-ref" },
-        { "include": "#relation-product" },
-        { "include": "#relation-union" },
-        { "include": "#relation-parens" },
-        { "include": "#string-double" },
-        { "include": "#string-single" },
-        { "include": "#dots" },
-        { "include": "#relation-identifier" },
-        { "include": "#separator" },
-        { "include": "#brackets" }
-      ]
-    },
-    "relation-product": {
-      "begin": "(\\{)",
-      "end": "(\\})",
-      "beginCaptures": {
-        "1": { "name": "punctuation.section.product.begin.k" }
-      },
-      "endCaptures": {
-        "1": { "name": "punctuation.section.product.end.k" }
-      },
-      "patterns": [
-        { "include": "#relation-product-label" },
-        { "include": "#relation-content" }
-      ]
-    },
-    "relation-union": {
-      "begin": "(<)",
-      "end": "(>)",
-      "beginCaptures": {
-        "1": { "name": "punctuation.section.union.begin.k" }
-      },
-      "endCaptures": {
-        "1": { "name": "punctuation.section.union.end.k" }
-      },
-      "patterns": [
-        { "include": "#relation-content" }
-      ]
-    },
-    "relation-parens": {
-      "begin": "(\\()",
-      "end": "(\\))",
-      "beginCaptures": {
-        "1": { "name": "punctuation.section.parens.begin.k" }
-      },
-      "endCaptures": {
-        "1": { "name": "punctuation.section.parens.end.k" }
-      },
-      "patterns": [
-        { "include": "#relation-content" }
-      ]
-    },
-    "relation-product-label": {
-      "patterns": [
-        {
-          "name": "entity.name.label.k",
-          "match": "[a-zA-Z0-9_+\\-][a-zA-Z0-9_?!+\\-]*(?=\\s*[,}])"
-        },
-        {
-          "name": "entity.name.label.k",
-          "match": "(?:\"(?:[^\"\\\\]|\\\\.)*\"|'(?:[^'\\\\]|\\\\.)*')(?=\\s*[,}])"
-        }
-      ]
-    },
-    "filter-expression": {
-      "patterns": [
-        {
-          "name": "meta.expression.filter.k",
-          "begin": "(\\?)\\s*(<)",
-          "end": "(>)(?:\\s*(=)\\s*([a-zA-Z0-9_+\\-][a-zA-Z0-9_?!+\\-]*))?",
-          "beginCaptures": {
-            "1": { "name": "keyword.operator.filter.k" },
-            "2": { "name": "punctuation.section.filter.union.begin.k" }
-          },
-          "endCaptures": {
-            "1": { "name": "punctuation.section.filter.union.end.k" },
-            "2": { "name": "keyword.operator.binding.k" },
-            "3": { "name": "variable.other.pattern.k" }
-          },
-          "patterns": [
-            { "include": "#filter-union-content" }
-          ]
-        },
-        {
-          "name": "meta.expression.filter.k",
-          "begin": "(\\?)\\s*(\\{)",
-          "end": "(\\})(?:\\s*(=)\\s*([a-zA-Z0-9_+\\-][a-zA-Z0-9_?!+\\-]*))?",
-          "beginCaptures": {
-            "1": { "name": "keyword.operator.filter.k" },
-            "2": { "name": "punctuation.section.filter.product.begin.k" }
-          },
-          "endCaptures": {
-            "1": { "name": "punctuation.section.filter.product.end.k" },
-            "2": { "name": "keyword.operator.binding.k" },
-            "3": { "name": "variable.other.pattern.k" }
-          },
-          "patterns": [
-            { "include": "#filter-product-content" }
-          ]
-        },
-        {
-          "name": "meta.expression.filter.k",
-          "begin": "(\\?)\\s*(\\()",
-          "end": "(\\))(?:\\s*(=)\\s*([a-zA-Z0-9_+\\-][a-zA-Z0-9_?!+\\-]*))?",
-          "beginCaptures": {
-            "1": { "name": "keyword.operator.filter.k" },
-            "2": { "name": "punctuation.section.filter.any.begin.k" }
-          },
-          "endCaptures": {
-            "1": { "name": "punctuation.section.filter.any.end.k" },
-            "2": { "name": "keyword.operator.binding.k" },
-            "3": { "name": "variable.other.pattern.k" }
-          },
-          "patterns": [
-            { "include": "#filter-any-content" }
-          ]
-        },
-        {
-          "name": "meta.expression.filter.k",
-          "match": "(\\?)\\s*(\\$)\\s*(@)([a-zA-Z0-9_+\\-][a-zA-Z0-9_?!+\\-]*)",
-          "captures": {
-            "1": { "name": "keyword.operator.filter.k" },
-            "2": { "name": "keyword.operator.type.k" },
-            "3": { "name": "punctuation.definition.canonical.k" },
-            "4": { "name": "support.type.canonical.k" }
-          }
-        },
-        {
-          "name": "meta.expression.filter.k",
-          "match": "(\\?)\\s*(\\$)\\s*([a-zA-Z0-9_+\\-][a-zA-Z0-9_?!+\\-]*)",
-          "captures": {
-            "1": { "name": "keyword.operator.filter.k" },
-            "2": { "name": "keyword.operator.type.k" },
-            "3": { "name": "support.type.k" }
-          }
-        },
-        {
-          "name": "meta.expression.filter.k",
-          "match": "(\\?)\\s*([a-zA-Z0-9_+\\-][a-zA-Z0-9_?!+\\-]*)",
-          "captures": {
-            "1": { "name": "keyword.operator.filter.k" },
-            "2": { "name": "variable.other.pattern.k" }
-          }
-        }
-      ]
-    },
-    "filter-union": {
-      "name": "meta.expression.filter.k",
-      "begin": "(<)",
-      "end": "(>)(?:\\s*(=)\\s*([a-zA-Z0-9_+\\-][a-zA-Z0-9_?!+\\-]*))?",
-      "beginCaptures": {
-        "1": { "name": "punctuation.section.filter.union.begin.k" }
-      },
-      "endCaptures": {
-        "1": { "name": "punctuation.section.filter.union.end.k" },
-        "2": { "name": "keyword.operator.binding.k" },
-        "3": { "name": "variable.other.pattern.k" }
-      },
-      "patterns": [
-        { "include": "#filter-union-content" }
-      ]
-    },
-    "filter-product": {
-      "name": "meta.expression.filter.k",
-      "begin": "(\\{)",
-      "end": "(\\})(?:\\s*(=)\\s*([a-zA-Z0-9_+\\-][a-zA-Z0-9_?!+\\-]*))?",
-      "beginCaptures": {
-        "1": { "name": "punctuation.section.filter.product.begin.k" }
-      },
-      "endCaptures": {
-        "1": { "name": "punctuation.section.filter.product.end.k" },
-        "2": { "name": "keyword.operator.binding.k" },
-        "3": { "name": "variable.other.pattern.k" }
-      },
-      "patterns": [
-        { "include": "#filter-product-content" }
-      ]
-    },
-    "filter-any": {
-      "name": "meta.expression.filter.k",
-      "begin": "(\\()",
-      "end": "(\\))(?:\\s*(=)\\s*([a-zA-Z0-9_+\\-][a-zA-Z0-9_?!+\\-]*))?",
-      "beginCaptures": {
-        "1": { "name": "punctuation.section.filter.any.begin.k" }
-      },
-      "endCaptures": {
-        "1": { "name": "punctuation.section.filter.any.end.k" },
-        "2": { "name": "keyword.operator.binding.k" },
-        "3": { "name": "variable.other.pattern.k" }
-      },
-      "patterns": [
-        { "include": "#filter-any-content" }
-      ]
-    },
-    "filter-union-content": {
-      "patterns": [
-        { "include": "#comment-block" },
-        { "include": "#comment-line" },
-        { "include": "#filter-tag" },
-        { "include": "#filter-product" },
-        { "include": "#filter-union" },
-        { "include": "#filter-any" },
-        { "include": "#filter-type-ref" },
-        { "include": "#dots" },
-        { "include": "#pattern-variable" },
-        { "include": "#separator" }
-      ]
-    },
-    "filter-product-content": {
-      "patterns": [
-        { "include": "#comment-block" },
-        { "include": "#comment-line" },
-        { "include": "#filter-label" },
-        { "include": "#filter-product" },
-        { "include": "#filter-union" },
-        { "include": "#filter-any" },
-        { "include": "#filter-type-ref" },
-        { "include": "#dots" },
-        { "include": "#pattern-variable" },
-        { "include": "#separator" }
-      ]
-    },
-    "filter-any-content": {
-      "patterns": [
-        { "include": "#comment-block" },
-        { "include": "#comment-line" },
-        { "include": "#dots" },
-        { "include": "#separator" }
-      ]
-    },
-    "filter-label": {
-      "patterns": [
-        {
-          "name": "entity.name.label.k",
-          "match": "[a-zA-Z0-9_+\\-][a-zA-Z0-9_?!+\\-]*(?=\\s*[,}])"
-        },
-        {
-          "name": "entity.name.label.k",
-          "match": "(?:\"(?:[^\"\\\\]|\\\\.)*\"|'(?:[^'\\\\]|\\\\.)*')(?=\\s*[,}])"
-        }
-      ]
-    },
-    "filter-tag": {
-      "patterns": [
-        {
-          "name": "entity.name.tag.k",
-          "match": "[a-zA-Z0-9_+\\-][a-zA-Z0-9_?!+\\-]*(?=\\s*[,>])"
-        },
-        {
-          "name": "entity.name.tag.k",
-          "match": "(?:\"(?:[^\"\\\\]|\\\\.)*\"|'(?:[^'\\\\]|\\\\.)*')(?=\\s*[,>])"
-        }
-      ]
-    },
-    "filter-type-ref": {
-      "patterns": [
-        {
-          "match": "(\\$)\\s*(@)([a-zA-Z0-9_+\\-][a-zA-Z0-9_?!+\\-]*)",
-          "captures": {
-            "1": { "name": "keyword.operator.type.k" },
-            "2": { "name": "punctuation.definition.canonical.k" },
-            "3": { "name": "support.type.canonical.k" }
-          }
-        },
-        {
-          "match": "(\\$)\\s*([a-zA-Z0-9_+\\-][a-zA-Z0-9_?!+\\-]*)",
-          "captures": {
-            "1": { "name": "keyword.operator.type.k" },
-            "2": { "name": "support.type.k" }
-          }
-        }
-      ]
-    },
-    "pattern-variable": {
-      "name": "variable.other.pattern.k",
-      "match": "[a-zA-Z0-9_+\\-][a-zA-Z0-9_?!+\\-]*"
-    },
-    "projection-dot": {
-      "comment": ".label projects a product field",
-      "patterns": [
-        {
-          "match": "(\\.)([a-zA-Z0-9_+\\-][a-zA-Z0-9_?!+\\-]*)",
-          "captures": {
-            "1": { "name": "keyword.operator.projection.product.k" },
-            "2": { "name": "entity.name.label.k" }
-          }
-        },
-        {
-          "match": "(\\.)(\"(?:[^\"\\\\]|\\\\.)*\"|'(?:[^'\\\\]|\\\\.)*')",
-          "captures": {
-            "1": { "name": "keyword.operator.projection.product.k" },
-            "2": { "name": "entity.name.label.k" }
-          }
-        }
-      ]
-    },
-    "projection-slash": {
-      "comment": "/tag asserts and unwraps a union variant",
-      "patterns": [
-        {
-          "match": "(/)([a-zA-Z0-9_+\\-][a-zA-Z0-9_?!+\\-]*)",
-          "captures": {
-            "1": { "name": "keyword.operator.projection.union.k" },
-            "2": { "name": "entity.name.tag.k" }
-          }
-        },
-        {
-          "match": "(/)(\"(?:[^\"\\\\]|\\\\.)*\"|'(?:[^'\\\\]|\\\\.)*')",
-          "captures": {
-            "1": { "name": "keyword.operator.projection.union.k" },
-            "2": { "name": "entity.name.tag.k" }
-          }
-        }
-      ]
-    },
-    "variant-intro": {
-      "comment": "|tag or \\tag introduces a union variant",
-      "patterns": [
-        {
-          "match": "([|\\\\])([a-zA-Z0-9_+\\-][a-zA-Z0-9_?!+\\-]*)",
-          "captures": {
-            "1": { "name": "keyword.operator.variant.k" },
-            "2": { "name": "entity.name.tag.k" }
-          }
-        },
-        {
-          "match": "([|\\\\])(\"(?:[^\"\\\\]|\\\\.)*\"|'(?:[^'\\\\]|\\\\.)*')",
-          "captures": {
-            "1": { "name": "keyword.operator.variant.k" },
-            "2": { "name": "entity.name.tag.k" }
-          }
-        }
-      ]
-    },
-    "canonical-function-ref": {
-      "match": "(@)([a-zA-Z0-9_+\\-][a-zA-Z0-9_?!+\\-]*)",
-      "captures": {
-        "1": { "name": "punctuation.definition.canonical.k" },
-        "2": { "name": "support.function.canonical.k" }
-      }
-    },
-    "relation-identifier": {
-      "name": "support.function.identifier.k",
-      "match": "[a-zA-Z0-9_+\\-][a-zA-Z0-9_?!+\\-]*"
-    },
-    "string-double": {
-      "name": "string.quoted.double.k",
-      "begin": "\"",
-      "end": "\"",
-      "patterns": [
-        { "name": "constant.character.escape.k", "match": "\\\\(?:[\"\\\\/bfnrt]|u[0-9a-fA-F]{4})" },
-        { "name": "invalid.illegal.escape.k", "match": "\\\\." }
-      ]
-    },
-    "string-single": {
-      "name": "string.quoted.single.k",
-      "begin": "'",
-      "end": "'",
-      "patterns": [
-        { "name": "constant.character.escape.k", "match": "\\\\(?:['\\\\/bfnrt]|u[0-9a-fA-F]{4})" },
-        { "name": "invalid.illegal.escape.k", "match": "\\\\." }
-      ]
-    },
-    "dots": {
-      "comment": "... is the any/open pattern marker",
-      "name": "constant.language.any.k",
-      "match": "\\.\\.\\."
-    },
-    "separator": {
-      "name": "punctuation.separator.k",
-      "match": "[=;,:~]"
-    },
-    "brackets": {
-      "name": "punctuation.brackets.k",
-      "match": "[{}()<>]"
-    }
-  }
-}

package/k-vscode/test/background-ranges.test.js

@@ -1,50 +0,0 @@
-const assert = require("assert");
-const Module = require("module");
-
-const originalLoad = Module._load;
-Module._load = function load(request, parent, isMain) {
-  if (request === "vscode") return {};
-  return originalLoad.call(this, request, parent, isMain);
-};
-
-const { collectBackgroundRanges } = require("../extension");
-
-function slices(text, ranges) {
-  return ranges.map(({ start, end }) => text.slice(start, end));
-}
-
-const source = [
-  "$ pair = { leaf left, leaf right };",
-  "pick = $pair ?{<$leaf some, ...>=X branch, ...} .branch;",
-  "-- ?<ignored tag>",
-  "/* $ignored */",
-  "$pair pick"
-].join("\n");
-
-const ranges = collectBackgroundRanges(source);
-const type = slices(source, ranges.type);
-const filter = slices(source, ranges.filter);
-
-assert.deepStrictEqual(type, [
-  "$ pair = { leaf left, leaf right };",
-  "$pair",
-  "$leaf",
-  "$pair"
-]);
-assert.deepStrictEqual(filter, ["?{<$leaf some, ...>=X branch, ...}"]);
-
-const nested = "add = ?{ $nat x, ... } = X <{.x pred x, .y succ y} ? X add, .y> ;";
-const nestedRanges = collectBackgroundRanges(nested);
-
-assert.deepStrictEqual(slices(nested, nestedRanges.filter), [
-  "?{ $nat x, ... } = X",
-  "? X"
-]);
-assert.deepStrictEqual(slices(nested, nestedRanges.type), ["$nat"]);
-assert.deepStrictEqual(nestedRanges.filter, [
-  { start: 6, end: 26 },
-  { start: 51, end: 54 }
-]);
-assert.deepStrictEqual(nestedRanges.type, [{ start: 9, end: 13 }]);
-
-console.log("background range scanner tests passed");