github-linguist 7.11.1 → 7.14.0

data/grammars/source.kusto.json

@@ -0,0 +1 @@
+{"name":"kusto file","scopeName":"source.kusto","patterns":[{"name":"keyword.functions.kusto","match":"\\b(let|count|ingestion_time|and|or|max|min|iff|isempty|isnotempty|log|sum|extract|now|false|true|makeset|makelist|any|arg_max|arg_min|any|dcount|sumif|countif|avg|materialize|pack|database|strcat|translate|substring|tostring|toscalar|strlen|contains|in|startswith|endswith|split|typeof)\\b"},{"name":"keyword.control.kusto","match":"\\b(where|summarize|extend|mvexpand|project|sort|project|-away|join|union|limit|order|sort|top|print|datatable)\\b"},{"name":"string.constant.double","match":"\".*?\""},{"name":"string.constant.single","match":"'.*?'"},{"name":"comment","match":"//.*"},{"name":"string.variable","match":"\\{.*?\\}"},{"name":"constant.numeric","match":"\\b((0(x|X)[0-9a-fA-F]*)|(([0-9]+\\.?[0-9]*)|(\\.[0-9]+))((e|E)(\\+|-)?[0-9]+)?)(L|l|UL|ul|u|U|F|f|ll|LL|ull|ULL)?\\b"}]}

data/grammars/source.lark.json

@@ -0,0 +1 @@
+{"name":"Lark","scopeName":"source.lark","patterns":[{"name":"comment.line.number-sign.shebang.lark","begin":"\\A#!","end":"$","beginCaptures":{"0":{"name":"punctuation.definition.comment.shebang.lark"}}},{"include":"#main"}],"repository":{"alias":{"name":"meta.alias.lark","match":"(-\u003e)\\s*((!?[_?]|!)?[a-zA-Z][_a-zA-Z0-9]*)?","captures":{"1":{"name":"storage.type.alias.lark"},"2":{"name":"entity.name.alias.lark"},"3":{"patterns":[{"include":"#name-prefix"}]}}},"comma":{"name":"punctuation.delimiter.separator.list.comma.lark","match":","},"comment":{"name":"comment.line.double-slash.lark","begin":"//","end":"$","beginCaptures":{"0":{"name":"punctuation.definition.comment.lark"}}},"definition":{"patterns":[{"name":"meta.definition.terminal.lark","begin":"^\\s*((!?[_?]|!)?[A-Z][_A-Z0-9]*)\\s*(\\.[-+.\\d]+\\s*)?(:)","end":"(?!\\G|^\\s*$)(?=^\\s*[^\\s|])","patterns":[{"include":"#definition-innards"}],"beginCaptures":{"1":{"name":"entity.name.terminal.lark"},"2":{"patterns":[{"include":"#name-prefix"}]},"3":{"patterns":[{"include":"#priority"}]},"4":{"name":"keyword.operator.assignment.lark"}}},{"name":"meta.definition.rule.lark","begin":"^\\s*((!?[_?]|!)?[a-z][_a-z0-9]*)\\s*(\\.[-+.\\d]+\\s*)?(:)","end":"(?!\\G|^\\s*$)(?=^\\s*[^\\s|])","patterns":[{"include":"#definition-innards"}],"beginCaptures":{"1":{"name":"entity.name.rule.lark"},"2":{"patterns":[{"include":"#name-prefix"}]},"3":{"patterns":[{"include":"#priority"}]},"4":{"name":"keyword.operator.assignment.lark"}}}]},"definition-innards":{"patterns":[{"include":"#groups"},{"include":"#alias"},{"include":"#operators"},{"include":"#comment"},{"include":"#string"},{"include":"#regexp"},{"include":"#flags"},{"include":"#range"},{"include":"#template-usage"},{"include":"#name"},{"include":"#comma"}]},"directives":{"patterns":[{"name":"meta.directive.import.lark","begin":"(?:^|\\G)\\s*((%)import)(?=\\s|$)","end":"$","patterns":[{"name":"meta.import-specification.lark","begin":"\\G\\s+(\\.?\\w+(?:\\.\\w+)*+)(?=\\s|$)[ \\t]*","end":"(?=$)","patterns":[{"include":"#alias"},{"include":"#name-list"},{"include":"#comment"}],"beginCaptures":{"0":{"name":"meta.module-reference.lark"},"1":{"name":"string.unquoted.module.import.lark","patterns":[{"include":"#dot"},{"include":"#name"}]}}},{"include":"#comment"}],"beginCaptures":{"1":{"name":"keyword.control.directive.import.lark"},"2":{"name":"punctuation.definition.directive.lark"}}},{"name":"meta.directive.$3.lark","begin":"(?:^|\\G)\\s*((%)(?!_)([A-Za-z_]+))(?=\\s|$)","end":"(?!\\G|^\\s*$)(?=^\\s*[^\\s|])","patterns":[{"include":"#definition-innards"}],"beginCaptures":{"1":{"name":"keyword.control.directive.$3.lark"},"2":{"name":"punctuation.definition.directive.lark"}}}]},"dot":{"name":"punctuation.delimiter.separator.period.dot.lark","match":"\\."},"flags":{"name":"storage.modifier.flags.lark","match":"(?\u003c=/|\")[imslux]+"},"groups":{"patterns":[{"name":"meta.group.lark","begin":"\\(","end":"\\)","patterns":[{"include":"#definition-innards"}],"beginCaptures":{"0":{"name":"punctuation.section.group.round.bracket.begin.lark"}},"endCaptures":{"0":{"name":"punctuation.section.group.round.bracket.end.lark"}}},{"name":"meta.group.lark","begin":"\\[","end":"\\]","patterns":[{"include":"#definition-innards"}],"beginCaptures":{"0":{"name":"punctuation.section.group.square.bracket.begin.lark"}},"endCaptures":{"0":{"name":"punctuation.section.group.square.bracket.end.lark"}}}]},"main":{"patterns":[{"include":"#comment"},{"include":"#template"},{"include":"#definition"},{"include":"#directives"}]},"name":{"name":"variable.definition.reference.lark","match":"(!?[_?]|!)?(?:[A-Z][_A-Z0-9]*|[a-z][_a-z0-9]*)","captures":{"1":{"patterns":[{"include":"#name-prefix"}]}}},"name-list":{"name":"meta.name-list.lark","begin":"\\G\\s*(\\()","end":"\\)","patterns":[{"include":"#name"},{"include":"#comma"},{"include":"#comment"}],"beginCaptures":{"1":{"name":"punctuation.definition.name-list.round.bracket.begin.lark"}},"endCaptures":{"0":{"name":"punctuation.definition.name-list.round.bracket.end.lark"}}},"name-prefix":{"name":"storage.modifier.tree-shaping.lark","match":"(?:\\G|^)(!?[_?]|!)","captures":{"1":{"name":"punctuation.definition.name.lark"}}},"number":{"name":"constant.numeric.decimal.lark","match":"-?\\d+(?:\\.\\d+)?(?:[eE][+-]?\\d+)?"},"operators":{"patterns":[{"name":"keyword.operator.logical.or.lark","match":"\\|"},{"name":"keyword.operator.quantifier.lark","match":"[+*?]"},{"name":"meta.exact-quantity.lark","match":"(~)\\s*(\\d+)(?:(\\.\\.)(\\d+))?","captures":{"1":{"name":"keyword.operator.quantifier.arbitrary.lark"},"2":{"patterns":[{"include":"#number"}]},"3":{"name":"punctuation.separator.range.quantities.lark"},"4":{"patterns":[{"include":"#number"}]}}}]},"priority":{"name":"meta.priority.lark","begin":"(?:\\G|^)\\.","end":"$|(?=:)","patterns":[{"include":"#number"}],"beginCaptures":{"0":{"patterns":[{"include":"#dot"}]}}},"range":{"name":"punctuation.separator.range.characters.lark","match":"(?\u003c=\")\\.\\."},"regexp":{"name":"string.regexp.lark","begin":"/(?!/)","end":"/","patterns":[{"include":"source.regexp.python"}],"beginCaptures":{"0":{"name":"punctuation.definition.string.begin.lark"}},"endCaptures":{"0":{"name":"punctuation.definition.string.end.lark"}}},"string":{"name":"string.quoted.double.lark","begin":"\"","end":"\"","patterns":[{"name":"constant.character.escape.lark","match":"\\\\."}],"beginCaptures":{"0":{"name":"punctuation.definition.string.begin.lark"}},"endCaptures":{"0":{"name":"punctuation.definition.string.end.lark"}}},"template":{"name":"meta.definition.template.lark","begin":"^\\s*((!?[_?]|!)?\\w+)\\s*(?={.*?}\\s*:)","end":"(?!\\G|^\\s*$)(?=^\\s*[^\\s|])","patterns":[{"include":"#template-args"},{"include":"#definition-innards"}],"beginCaptures":{"1":{"name":"entity.name.template.function.lark"},"2":{"patterns":[{"include":"#name-prefix"}]}}},"template-args":{"name":"meta.function.parameters.lark","begin":"\\G\\s*({)","end":"(})(?:\\s*(:))?|(?=\\s*$)","patterns":[{"include":"#template-usage"},{"name":"variable.parameter.template.argument.lark","match":"\\w+"},{"include":"#definition-innards"}],"beginCaptures":{"1":{"name":"punctuation.definition.parameters.begin.lark"}},"endCaptures":{"1":{"name":"punctuation.definition.parameters.end.lark"},"2":{"name":"keyword.operator.assignment.lark"}}},"template-usage":{"name":"meta.function-call.lark","begin":"((!?[_?]|!)?\\w+)\\s*(?={)","end":"(?!\\G)","patterns":[{"include":"#template-args"}],"beginCaptures":{"1":{"name":"entity.name.template.function.lark"},"2":{"patterns":[{"include":"#name-prefix"}]}}}}}

data/grammars/source.lbnf.json

@@ -0,0 +1 @@
+{"name":"Labelled Backus-Naur Form","scopeName":"source.lbnf","patterns":[{"include":"#main"}],"repository":{"braces":{"name":"meta.braces.lbnf","begin":"{","end":"}","patterns":[{"include":"#rhs"}],"beginCaptures":{"0":{"name":"punctuation.definition.curly.bracket.begin.lbnf"}},"endCaptures":{"0":{"name":"punctuation.definition.curly.bracket.end.lbnf"}}},"category":{"match":"(?:(?\u003c=\\.)|(?\u003c=\\[)\\G)\\s*((?!\\d)\\w+)","captures":{"1":{"name":"entity.name.tag.category.lbnf"}}},"character":{"name":"string.quoted.single.character.lbnf","match":"(').(')","captures":{"1":{"name":"punctuation.definition.string.begin.lbnf"},"2":{"name":"punctuation.definition.string.end.lbnf"}}},"comments":{"patterns":[{"name":"comment.line.double-dash.lbnf","begin":"--","end":"$","beginCaptures":{"0":{"name":"punctuation.definition.comment.lbnf"}}},{"name":"comment.block.lbnf","begin":"{-","end":"-}","beginCaptures":{"0":{"name":"punctuation.definition.comment.begin.lbnf"}},"endCaptures":{"0":{"name":"punctuation.definition.comment.end.lbnf"}}}]},"definition":{"name":"meta.definition.lbnf","begin":"::=","end":"(?=;)","patterns":[{"include":"#rhs"}],"beginCaptures":{"0":{"name":"keyword.operator.assignment.lbnf"}}},"label":{"match":"(?:(?:^|\\G)\\s*(?!\\d)(\\w+)\\s*|(?\u003c=\\]|\\))\\s*)(\\.)","captures":{"1":{"name":"entity.name.label.lbnf"},"2":{"name":"keyword.operator.label-separator.lbnf"}}},"list":{"patterns":[{"name":"meta.list.cons-rule.lbnf","match":"(\\()(:)(\\))","captures":{"1":{"name":"punctuation.section.round.bracket.begin.lbnf"},"2":{"patterns":[{"include":"#misc-operators"}]},"3":{"name":"punctuation.section.round.bracket.end.lbnf"}}},{"name":"meta.list.one-element.lbnf","match":"(\\()(:)(\\[\\])(\\))","captures":{"1":{"name":"punctuation.section.round.bracket.begin.lbnf"},"2":{"patterns":[{"include":"#misc-operators"}]},"3":{"patterns":[{"include":"#list-empty"}]},"4":{"name":"punctuation.section.round.bracket.end.lbnf"}}},{"include":"#list-empty"},{"name":"meta.list.lbnf","begin":"\\[","end":"\\]","patterns":[{"include":"#list-innards"}],"beginCaptures":{"0":{"name":"punctuation.section.group.square.bracket.begin.lbnf"}},"endCaptures":{"0":{"name":"punctuation.section.group.square.bracket.end.lbnf"}}},{"name":"meta.list.parenthetical.lbnf","begin":"\\(","end":"\\)","patterns":[{"include":"#list-innards"}],"beginCaptures":{"0":{"name":"punctuation.section.round.bracket.begin.lbnf"}},"endCaptures":{"0":{"name":"punctuation.section.round.bracket.end.lbnf"}}}]},"list-empty":{"name":"meta.list.empty.lbnf","match":"(\\[)(\\])","captures":{"1":{"name":"punctuation.section.group.square.bracket.begin.lbnf"},"2":{"name":"punctuation.section.group.square.bracket.end.lbnf"}}},"list-innards":{"patterns":[{"include":"#reference"},{"include":"#comments"},{"include":"#list"},{"include":"#rhs"}]},"main":{"patterns":[{"include":"#comments"},{"include":"#list"},{"include":"#label"},{"include":"#category"},{"include":"#pragmas"},{"include":"#definition"},{"include":"#rhs"}]},"misc-keywords":{"name":"keyword.operator.reserved-word.$1.lbnf","match":"(?x) \\b\n( char\n| coercions\n| comment\n| digit\n| entrypoints\n| eps\n| internal\n| layout\n| letter\n| lower\n| nonempty\n| position\n| rules\n| separator\n| stop\n| terminator\n| token\n| toplevel\n| upper\n) \\b"},"misc-operators":{"patterns":[{"name":"punctuation.definition.cons-rule.colon.lbnf","match":":"},{"name":"punctuation.delimiter.comma.lbnf","match":","},{"name":"keyword.operator.arithmetic.subtraction.lbnf","match":"-"}]},"number":{"name":"constant.numeric.decimal.lbnf","match":"-?\\d+(?:\\.\\d+)?"},"pragmas":{"patterns":[{"name":"meta.praga.$1.lbnf","begin":"(?:^|\\G)\\s*(rules)\\s+(\\w+)\\s*(?=::=)","end":"(?=;)","patterns":[{"include":"#definition"}],"beginCaptures":{"1":{"name":"keyword.control.directive.pragma.$1.lbnf"},"2":{"name":"entity.name.type.lbnf"}}},{"name":"meta.pragma.comment-syntax.lbnf","begin":"(?:^|\\G)\\s*(comment)(?=\\s|$)","end":"(?=;|$)","patterns":[{"include":"#rhs"}],"beginCaptures":{"1":{"name":"keyword.control.directive.pragma.$1-syntax.lbnf"}}},{"name":"meta.pragma.$1.lbnf","begin":"(?x) (?:^|\\G)\\s*\n( coercions\n| entrypoints\n| layout (?:\\s+(stop|toplevel))?\n| (position\\s+)? token\n| rules\n| separator\n| terminator\n) (?=\\s|$)","end":"$|(?=;)","patterns":[{"include":"#rhs"}],"beginCaptures":{"1":{"name":"keyword.control.directive.pragma.$1.lbnf"},"2":{"name":"keyword.control.layout-command.lbnf"}}}]},"reference":{"name":"entity.name.tag.reference.lbnf","match":"(?!\\d)\\w+"},"rhs":{"patterns":[{"include":"#string"},{"include":"#character"},{"include":"#semicolon"},{"include":"#misc-keywords"},{"include":"#misc-operators"},{"include":"#reference"},{"include":"#list"},{"include":"source.bnf#operators"},{"include":"#number"},{"include":"#comments"},{"include":"#braces"}]},"semicolon":{"name":"punctuation.terminator.statement.semicolon.lbnf","match":";"},"string":{"name":"string.quoted.double.lbnf","begin":"\"","end":"\"","patterns":[{"name":"constant.character.escape.quote.lbnf","match":"\\\\\""}],"beginCaptures":{"0":{"name":"punctuation.definition.string.begin.lbnf"}},"endCaptures":{"0":{"name":"punctuation.definition.string.end.lbnf"}}}}}

data/grammars/source.lcov.json

@@ -1,398 +1 @@
-{
-  "name": "LCOV Tracefile",
-  "scopeName": "source.lcov",
-  "patterns": [
-    {
-      "include": "#main"
-    }
-  ],
-  "repository": {
-    "BRDA": {
-      "name": "meta.branch-coverage.lcov",
-      "begin": "^(BRDA)(:)",
-      "end": "$",
-      "patterns": [
-        {
-          "match": "\\G\\s*(\\d+)\\s*(,)\\s*(\\d+)\\s*(,)\\s*(\\d+)\\s*(,)\\s*(?:(\\d+)|(-))",
-          "captures": {
-            "1": {
-              "name": "entity.other.branch.line-number.lcov"
-            },
-            "2": {
-              "patterns": [
-                {
-                  "include": "etc#comma"
-                }
-              ]
-            },
-            "3": {
-              "name": "entity.other.branch.block-number.lcov"
-            },
-            "4": {
-              "patterns": [
-                {
-                  "include": "etc#comma"
-                }
-              ]
-            },
-            "5": {
-              "name": "entity.other.branch.branch-number.lcov"
-            },
-            "6": {
-              "patterns": [
-                {
-                  "include": "etc#comma"
-                }
-              ]
-            },
-            "7": {
-              "name": "entity.other.branch.use-count.lcov"
-            },
-            "8": {
-              "name": "comment.other.never-executed.lcov"
-            }
-          }
-        }
-      ],
-      "beginCaptures": {
-        "1": {
-          "name": "storage.type.var.lcov"
-        },
-        "2": {
-          "patterns": [
-            {
-              "include": "etc#kolon"
-            }
-          ]
-        }
-      }
-    },
-    "BRF": {
-      "name": "meta.number-of-branches.found.lcov",
-      "begin": "^(BRF)(:)",
-      "end": "$",
-      "patterns": [
-        {
-          "include": "etc#num"
-        }
-      ],
-      "beginCaptures": {
-        "1": {
-          "name": "storage.type.var.lcov"
-        },
-        "2": {
-          "patterns": [
-            {
-              "include": "etc#kolon"
-            }
-          ]
-        }
-      }
-    },
-    "BRH": {
-      "name": "meta.number-of-branches.found.lcov",
-      "begin": "^(BRH)(:)",
-      "end": "$",
-      "patterns": [
-        {
-          "include": "etc#num"
-        }
-      ],
-      "beginCaptures": {
-        "1": {
-          "name": "storage.type.var.lcov"
-        },
-        "2": {
-          "patterns": [
-            {
-              "include": "etc#kolon"
-            }
-          ]
-        }
-      }
-    },
-    "DA": {
-      "name": "meta.execution-counts.lcov",
-      "begin": "^(DA)(:)",
-      "end": "$",
-      "patterns": [
-        {
-          "match": "\\G\\s*(\\d+)(,)(\\d+)",
-          "captures": {
-            "1": {
-              "name": "constant.numeric.line-number.lcov"
-            },
-            "2": {
-              "patterns": [
-                {
-                  "include": "etc#comma"
-                }
-              ]
-            },
-            "3": {
-              "name": "constant.numeric.execution-count.lcov"
-            }
-          }
-        },
-        {
-          "match": "(?\u003c=\\d)(,)\\s*(\\S.*)\\s*$",
-          "captures": {
-            "1": {
-              "patterns": [
-                {
-                  "include": "etc#comma"
-                }
-              ]
-            },
-            "2": {
-              "name": "string.other.md5.checksum.hash.lcov"
-            }
-          }
-        }
-      ],
-      "beginCaptures": {
-        "1": {
-          "name": "storage.type.var.lcov"
-        },
-        "2": {
-          "patterns": [
-            {
-              "include": "etc#kolon"
-            }
-          ]
-        }
-      }
-    },
-    "FN": {
-      "name": "meta.function-name.lcov",
-      "begin": "^(FN)(:)[ \\t]*",
-      "end": "\\s*$",
-      "patterns": [
-        {
-          "include": "etc#comma"
-        },
-        {
-          "name": "constant.numeric.line-number.function-start.lcov",
-          "match": "\\G\\d+"
-        },
-        {
-          "name": "entity.function.name.lcov",
-          "match": "(?!\\d)\\S.*"
-        }
-      ],
-      "beginCaptures": {
-        "1": {
-          "name": "storage.type.var.lcov"
-        },
-        "2": {
-          "patterns": [
-            {
-              "include": "etc#kolon"
-            }
-          ]
-        }
-      }
-    },
-    "FNDA": {
-      "name": "meta.execution-count.lcov",
-      "begin": "^(FNDA)(:)[ \\t]*",
-      "end": "\\s*$",
-      "patterns": [
-        {
-          "include": "etc#comma"
-        },
-        {
-          "name": "constant.numeric.execution-count.lcov",
-          "match": "\\G\\d+"
-        },
-        {
-          "name": "entity.function.name.lcov",
-          "match": "(?!\\d)\\S.*"
-        }
-      ],
-      "beginCaptures": {
-        "1": {
-          "name": "storage.type.var.lcov"
-        },
-        "2": {
-          "patterns": [
-            {
-              "include": "etc#kolon"
-            }
-          ]
-        }
-      }
-    },
-    "FNF": {
-      "name": "meta.number-of-functions.found.lcov",
-      "begin": "^(FNF)(:)",
-      "end": "$",
-      "patterns": [
-        {
-          "include": "etc#num"
-        }
-      ],
-      "beginCaptures": {
-        "1": {
-          "name": "storage.type.var.lcov"
-        },
-        "2": {
-          "patterns": [
-            {
-              "include": "etc#kolon"
-            }
-          ]
-        }
-      }
-    },
-    "FNH": {
-      "name": "meta.number-of-functions.hit.lcov",
-      "begin": "^(FNH)(:)",
-      "end": "$",
-      "patterns": [
-        {
-          "include": "etc#num"
-        }
-      ],
-      "beginCaptures": {
-        "1": {
-          "name": "storage.type.var.lcov"
-        },
-        "2": {
-          "patterns": [
-            {
-              "include": "etc#kolon"
-            }
-          ]
-        }
-      }
-    },
-    "LF": {
-      "name": "meta.number-of-instrumented-lines.lcov",
-      "begin": "^(LF)(:)[ \\t]*",
-      "end": "\\s*$",
-      "patterns": [
-        {
-          "include": "etc#num"
-        }
-      ],
-      "beginCaptures": {
-        "1": {
-          "name": "storage.type.var.lcov"
-        },
-        "2": {
-          "patterns": [
-            {
-              "include": "etc#kolon"
-            }
-          ]
-        }
-      }
-    },
-    "LH": {
-      "name": "meta.number-of-lines-with-non-zero-execution-count.lcov",
-      "begin": "^(LH)(:)[ \\t]*",
-      "end": "\\s*$",
-      "patterns": [
-        {
-          "include": "etc#num"
-        }
-      ],
-      "beginCaptures": {
-        "1": {
-          "name": "storage.type.var.lcov"
-        },
-        "2": {
-          "patterns": [
-            {
-              "include": "etc#kolon"
-            }
-          ]
-        }
-      }
-    },
-    "SF": {
-      "name": "meta.source-file.lcov",
-      "contentName": "entity.name.source-file.path.lcov",
-      "begin": "^(SF)(:)[ \\t]*",
-      "end": "\\s*$",
-      "beginCaptures": {
-        "1": {
-          "name": "storage.type.var.lcov"
-        },
-        "2": {
-          "patterns": [
-            {
-              "include": "etc#kolon"
-            }
-          ]
-        }
-      }
-    },
-    "TN": {
-      "name": "meta.test-name.lcov",
-      "contentName": "markup.heading.1.test-name.lcov",
-      "begin": "^(TN)(:)[ \\t]*",
-      "end": "\\s*$",
-      "beginCaptures": {
-        "1": {
-          "name": "storage.type.var.lcov"
-        },
-        "2": {
-          "patterns": [
-            {
-              "include": "etc#kolon"
-            }
-          ]
-        }
-      }
-    },
-    "end": {
-      "name": "keyword.control.end-of-record.end.lcov",
-      "match": "^end_of_record\\b"
-    },
-    "main": {
-      "patterns": [
-        {
-          "include": "#TN"
-        },
-        {
-          "include": "#SF"
-        },
-        {
-          "include": "#FN"
-        },
-        {
-          "include": "#FNDA"
-        },
-        {
-          "include": "#FNF"
-        },
-        {
-          "include": "#FNH"
-        },
-        {
-          "include": "#DA"
-        },
-        {
-          "include": "#LH"
-        },
-        {
-          "include": "#LF"
-        },
-        {
-          "include": "#BRDA"
-        },
-        {
-          "include": "#BRF"
-        },
-        {
-          "include": "#BRH"
-        },
-        {
-          "include": "#end"
-        }
-      ]
-    }
-  }
-}
+{"name":"LCOV Tracefile","scopeName":"source.lcov","patterns":[{"include":"#main"}],"repository":{"BRDA":{"name":"meta.branch-coverage.lcov","begin":"^(BRDA)(:)","end":"$","patterns":[{"match":"\\G\\s*(\\d+)\\s*(,)\\s*(\\d+)\\s*(,)\\s*(\\d+)\\s*(,)\\s*(?:(\\d+)|(-))","captures":{"1":{"name":"entity.other.branch.line-number.lcov"},"2":{"patterns":[{"include":"etc#comma"}]},"3":{"name":"entity.other.branch.block-number.lcov"},"4":{"patterns":[{"include":"etc#comma"}]},"5":{"name":"entity.other.branch.branch-number.lcov"},"6":{"patterns":[{"include":"etc#comma"}]},"7":{"name":"entity.other.branch.use-count.lcov"},"8":{"name":"comment.other.never-executed.lcov"}}}],"beginCaptures":{"1":{"name":"storage.type.var.lcov"},"2":{"patterns":[{"include":"etc#kolon"}]}}},"BRF":{"name":"meta.number-of-branches.found.lcov","begin":"^(BRF)(:)","end":"$","patterns":[{"include":"etc#num"}],"beginCaptures":{"1":{"name":"storage.type.var.lcov"},"2":{"patterns":[{"include":"etc#kolon"}]}}},"BRH":{"name":"meta.number-of-branches.found.lcov","begin":"^(BRH)(:)","end":"$","patterns":[{"include":"etc#num"}],"beginCaptures":{"1":{"name":"storage.type.var.lcov"},"2":{"patterns":[{"include":"etc#kolon"}]}}},"DA":{"name":"meta.execution-counts.lcov","begin":"^(DA)(:)","end":"$","patterns":[{"match":"\\G\\s*(\\d+)(,)(\\d+)","captures":{"1":{"name":"constant.numeric.line-number.lcov"},"2":{"patterns":[{"include":"etc#comma"}]},"3":{"name":"constant.numeric.execution-count.lcov"}}},{"match":"(?\u003c=\\d)(,)\\s*(\\S.*)\\s*$","captures":{"1":{"patterns":[{"include":"etc#comma"}]},"2":{"name":"string.other.md5.checksum.hash.lcov"}}}],"beginCaptures":{"1":{"name":"storage.type.var.lcov"},"2":{"patterns":[{"include":"etc#kolon"}]}}},"FN":{"name":"meta.function-name.lcov","begin":"^(FN)(:)[ \\t]*","end":"\\s*$","patterns":[{"include":"etc#comma"},{"name":"constant.numeric.line-number.function-start.lcov","match":"\\G\\d+"},{"name":"entity.function.name.lcov","match":"(?!\\d)\\S.*"}],"beginCaptures":{"1":{"name":"storage.type.var.lcov"},"2":{"patterns":[{"include":"etc#kolon"}]}}},"FNDA":{"name":"meta.execution-count.lcov","begin":"^(FNDA)(:)[ \\t]*","end":"\\s*$","patterns":[{"include":"etc#comma"},{"name":"constant.numeric.execution-count.lcov","match":"\\G\\d+"},{"name":"entity.function.name.lcov","match":"(?!\\d)\\S.*"}],"beginCaptures":{"1":{"name":"storage.type.var.lcov"},"2":{"patterns":[{"include":"etc#kolon"}]}}},"FNF":{"name":"meta.number-of-functions.found.lcov","begin":"^(FNF)(:)","end":"$","patterns":[{"include":"etc#num"}],"beginCaptures":{"1":{"name":"storage.type.var.lcov"},"2":{"patterns":[{"include":"etc#kolon"}]}}},"FNH":{"name":"meta.number-of-functions.hit.lcov","begin":"^(FNH)(:)","end":"$","patterns":[{"include":"etc#num"}],"beginCaptures":{"1":{"name":"storage.type.var.lcov"},"2":{"patterns":[{"include":"etc#kolon"}]}}},"LF":{"name":"meta.number-of-instrumented-lines.lcov","begin":"^(LF)(:)[ \\t]*","end":"\\s*$","patterns":[{"include":"etc#num"}],"beginCaptures":{"1":{"name":"storage.type.var.lcov"},"2":{"patterns":[{"include":"etc#kolon"}]}}},"LH":{"name":"meta.number-of-lines-with-non-zero-execution-count.lcov","begin":"^(LH)(:)[ \\t]*","end":"\\s*$","patterns":[{"include":"etc#num"}],"beginCaptures":{"1":{"name":"storage.type.var.lcov"},"2":{"patterns":[{"include":"etc#kolon"}]}}},"SF":{"name":"meta.source-file.lcov","contentName":"entity.name.source-file.path.lcov","begin":"^(SF)(:)[ \\t]*","end":"\\s*$","beginCaptures":{"1":{"name":"storage.type.var.lcov"},"2":{"patterns":[{"include":"etc#kolon"}]}}},"TN":{"name":"meta.test-name.lcov","contentName":"markup.heading.1.test-name.lcov","begin":"^(TN)(:)[ \\t]*","end":"\\s*$","beginCaptures":{"1":{"name":"storage.type.var.lcov"},"2":{"patterns":[{"include":"etc#kolon"}]}}},"end":{"name":"keyword.control.end-of-record.end.lcov","match":"^end_of_record\\b"},"main":{"patterns":[{"include":"#TN"},{"include":"#SF"},{"include":"#FN"},{"include":"#FNDA"},{"include":"#FNF"},{"include":"#FNH"},{"include":"#DA"},{"include":"#LH"},{"include":"#LF"},{"include":"#BRDA"},{"include":"#BRF"},{"include":"#BRH"},{"include":"#end"}]}}}

data/grammars/source.lean.json

@@ -1,226 +1 @@
-{
-  "name": "Lean",
-  "scopeName": "source.lean",
-  "patterns": [
-    {
-      "include": "#comments"
-    },
-    {
-      "name": "meta.definitioncommand.lean",
-      "begin": "\\b(?\u003c!\\.)(inductive|coinductive|structure|theorem|axiom|axioms|abbreviation|lemma|definition|def|instance|class|constant)\\b\\s+(\\{[^}]*\\})?",
-      "end": "(?=\\bwith\\b|\\bextends\\b|[:\\|\\(\\[\\{⦃\u003c\u003e])",
-      "patterns": [
-        {
-          "include": "#comments"
-        },
-        {
-          "include": "#definitionName"
-        },
-        {
-          "match": ","
-        }
-      ],
-      "beginCaptures": {
-        "1": {
-          "name": "keyword.other.definitioncommand.lean"
-        }
-      }
-    },
-    {
-      "name": "storage.type.lean",
-      "match": "\\b(Prop|Type|Sort)\\b"
-    },
-    {
-      "name": "storage.modifier.lean",
-      "match": "\\battribute\\b\\s*\\[[^\\]]*\\]"
-    },
-    {
-      "name": "storage.modifier.lean",
-      "match": "@\\[[^\\]]*\\]"
-    },
-    {
-      "name": "keyword.control.definition.modifier.lean",
-      "match": "\\b(?\u003c!\\.)(private|meta|mutual|protected|noncomputable)\\b"
-    },
-    {
-      "name": "invalid.illegal.lean",
-      "match": "\\b(sorry)\\b"
-    },
-    {
-      "name": "keyword.other.command.lean",
-      "match": "#print\\s+(def|definition|inductive|instance|structure|axiom|axioms|class)\\b"
-    },
-    {
-      "name": "keyword.other.command.lean",
-      "match": "#(print|eval|reduce|check|help|exit|find|where)\\b"
-    },
-    {
-      "name": "keyword.other.lean",
-      "match": "\\b(?\u003c!\\.)(import|export|prelude|theory|definition|def|abbreviation|instance|renaming|hiding|exposing|parameter|parameters|begin|constant|constants|lemma|variable|variables|theorem|example|open|axiom|inductive|coinductive|with|structure|universe|universes|alias|precedence|reserve|postfix|prefix|infix|infixl|infixr|notation|end|using|namespace|section|local|set_option|extends|include|omit|class|classes|instances|raw|run_cmd|restate_axiom)(?!\\.)\\b"
-    },
-    {
-      "name": "keyword.other.lean",
-      "match": "\\b(?\u003c!\\.)(calc|have|this|match|do|suffices|show|by|in|at|let|forall|fun|exists|assume|from|obtain|haveI|λ)(?!\\.)\\b"
-    },
-    {
-      "contentName": "entity.name.lean",
-      "begin": "«",
-      "end": "»"
-    },
-    {
-      "name": "keyword.control.lean",
-      "match": "\\b(?\u003c!\\.)(if|then|else)\\b"
-    },
-    {
-      "name": "string.quoted.double.lean",
-      "begin": "\"",
-      "end": "\"",
-      "patterns": [
-        {
-          "name": "constant.character.escape.lean",
-          "match": "\\\\[\\\\\"nt']"
-        },
-        {
-          "name": "constant.character.escape.lean",
-          "match": "\\\\x[0-9A-Fa-f][0-9A-Fa-f]"
-        },
-        {
-          "name": "constant.character.escape.lean",
-          "match": "\\\\u[0-9A-Fa-f][0-9A-Fa-f][0-9A-Fa-f][0-9A-Fa-f]"
-        }
-      ],
-      "beginCaptures": {
-        "0": {
-          "name": "punctuation.definition.string.begin.lean"
-        }
-      },
-      "endCaptures": {
-        "0": {
-          "name": "punctuation.definition.string.end.lean"
-        }
-      }
-    },
-    {
-      "name": "string.quoted.single.lean",
-      "match": "'[^\\\\']'"
-    },
-    {
-      "name": "string.quoted.single.lean",
-      "match": "'(\\\\(x..|u....|.))'",
-      "captures": {
-        "1": {
-          "name": "constant.character.escape.lean"
-        }
-      }
-    },
-    {
-      "name": "entity.name.lean",
-      "match": "`+[^\\[(]\\S+"
-    },
-    {
-      "name": "constant.numeric.lean",
-      "match": "\\b([0-9]+|0([xX][0-9a-fA-F]+))\\b"
-    }
-  ],
-  "repository": {
-    "blockComment": {
-      "name": "comment.block.lean",
-      "begin": "/-",
-      "end": "-/",
-      "patterns": [
-        {
-          "include": "source.lean.markdown"
-        },
-        {
-          "include": "#blockComment"
-        }
-      ]
-    },
-    "comments": {
-      "patterns": [
-        {
-          "include": "#dashComment"
-        },
-        {
-          "include": "#docComment"
-        },
-        {
-          "include": "#stringBlock"
-        },
-        {
-          "include": "#modDocComment"
-        },
-        {
-          "include": "#blockComment"
-        }
-      ]
-    },
-    "dashComment": {
-      "name": "comment.line.double-dash.lean",
-      "begin": "(--)",
-      "end": "$",
-      "patterns": [
-        {
-          "include": "source.lean.markdown"
-        }
-      ],
-      "beginCaptures": {
-        "0": {
-          "name": "punctuation.definition.comment.lean"
-        }
-      }
-    },
-    "definitionName": {
-      "patterns": [
-        {
-          "name": "entity.name.function.lean",
-          "match": "\\b[^:«»\\(\\)\\{\\}[:space:]=→λ∀?][^:«»\\(\\)\\{\\}[:space:]]*"
-        },
-        {
-          "contentName": "entity.name.function.lean",
-          "begin": "«",
-          "end": "»"
-        }
-      ]
-    },
-    "docComment": {
-      "name": "comment.block.documentation.lean",
-      "begin": "/--",
-      "end": "-/",
-      "patterns": [
-        {
-          "include": "source.lean.markdown"
-        },
-        {
-          "include": "#blockComment"
-        }
-      ]
-    },
-    "modDocComment": {
-      "name": "comment.block.documentation.lean",
-      "begin": "/-!",
-      "end": "-/",
-      "patterns": [
-        {
-          "include": "source.lean.markdown"
-        },
-        {
-          "include": "#blockComment"
-        }
-      ]
-    },
-    "stringBlock": {
-      "name": "comment.block.string.lean",
-      "begin": "/-\"",
-      "end": "\"-/",
-      "patterns": [
-        {
-          "include": "source.lean.markdown"
-        },
-        {
-          "include": "#blockComment"
-        }
-      ]
-    }
-  }
-}
+{"name":"Lean","scopeName":"source.lean","patterns":[{"include":"#comments"},{"name":"meta.definitioncommand.lean","begin":"\\b(?\u003c!\\.)(inductive|coinductive|structure|theorem|axiom|axioms|abbreviation|lemma|definition|def|instance|class|constant)\\b\\s+(\\{[^}]*\\})?","end":"(?=\\bwith\\b|\\bextends\\b|[:\\|\\(\\[\\{⦃\u003c\u003e])","patterns":[{"include":"#comments"},{"include":"#definitionName"},{"match":","}],"beginCaptures":{"1":{"name":"keyword.other.definitioncommand.lean"}}},{"name":"storage.type.lean","match":"\\b(Prop|Type|Sort)\\b"},{"name":"storage.modifier.lean","match":"\\battribute\\b\\s*\\[[^\\]]*\\]"},{"name":"storage.modifier.lean","match":"@\\[[^\\]]*\\]"},{"name":"keyword.control.definition.modifier.lean","match":"\\b(?\u003c!\\.)(private|meta|mutual|protected|noncomputable)\\b"},{"name":"invalid.illegal.lean","match":"\\b(sorry)\\b"},{"name":"keyword.other.command.lean","match":"#print\\s+(def|definition|inductive|instance|structure|axiom|axioms|class)\\b"},{"name":"keyword.other.command.lean","match":"#(print|eval|reduce|check|help|exit|find|where)\\b"},{"name":"keyword.other.lean","match":"\\b(?\u003c!\\.)(import|export|prelude|theory|definition|def|abbreviation|instance|renaming|hiding|exposing|parameter|parameters|begin|constant|constants|lemma|variable|variables|theorem|example|open|axiom|inductive|coinductive|with|structure|universe|universes|alias|precedence|reserve|postfix|prefix|infix|infixl|infixr|notation|end|using|namespace|section|local|set_option|extends|include|omit|class|classes|instances|raw|run_cmd|restate_axiom)(?!\\.)\\b"},{"name":"keyword.other.lean","match":"\\b(?\u003c!\\.)(calc|have|this|match|do|suffices|show|by|in|at|let|forall|fun|exists|assume|from|obtain|haveI|λ)(?!\\.)\\b"},{"contentName":"entity.name.lean","begin":"«","end":"»"},{"name":"keyword.control.lean","match":"\\b(?\u003c!\\.)(if|then|else)\\b"},{"name":"string.quoted.double.lean","begin":"\"","end":"\"","patterns":[{"name":"constant.character.escape.lean","match":"\\\\[\\\\\"nt']"},{"name":"constant.character.escape.lean","match":"\\\\x[0-9A-Fa-f][0-9A-Fa-f]"},{"name":"constant.character.escape.lean","match":"\\\\u[0-9A-Fa-f][0-9A-Fa-f][0-9A-Fa-f][0-9A-Fa-f]"}],"beginCaptures":{"0":{"name":"punctuation.definition.string.begin.lean"}},"endCaptures":{"0":{"name":"punctuation.definition.string.end.lean"}}},{"name":"string.quoted.single.lean","match":"'[^\\\\']'"},{"name":"string.quoted.single.lean","match":"'(\\\\(x..|u....|.))'","captures":{"1":{"name":"constant.character.escape.lean"}}},{"name":"entity.name.lean","match":"`+[^\\[(]\\S+"},{"name":"constant.numeric.lean","match":"\\b([0-9]+|0([xX][0-9a-fA-F]+))\\b"}],"repository":{"blockComment":{"name":"comment.block.lean","begin":"/-","end":"-/","patterns":[{"include":"source.lean.markdown"},{"include":"#blockComment"}]},"comments":{"patterns":[{"include":"#dashComment"},{"include":"#docComment"},{"include":"#stringBlock"},{"include":"#modDocComment"},{"include":"#blockComment"}]},"dashComment":{"name":"comment.line.double-dash.lean","begin":"(--)","end":"$","patterns":[{"include":"source.lean.markdown"}],"beginCaptures":{"0":{"name":"punctuation.definition.comment.lean"}}},"definitionName":{"patterns":[{"name":"entity.name.function.lean","match":"\\b[^:«»\\(\\)\\{\\}[:space:]=→λ∀?][^:«»\\(\\)\\{\\}[:space:]]*"},{"contentName":"entity.name.function.lean","begin":"«","end":"»"}]},"docComment":{"name":"comment.block.documentation.lean","begin":"/--","end":"-/","patterns":[{"include":"source.lean.markdown"},{"include":"#blockComment"}]},"modDocComment":{"name":"comment.block.documentation.lean","begin":"/-!","end":"-/","patterns":[{"include":"source.lean.markdown"},{"include":"#blockComment"}]},"stringBlock":{"name":"comment.block.string.lean","begin":"/-\"","end":"\"-/","patterns":[{"include":"source.lean.markdown"},{"include":"#blockComment"}]}}}