src/Tools/VSCode/extension/isabelle-ml-grammar.json
author wenzelm
Fri, 10 Mar 2017 14:16:45 +0100
changeset 65172 365e97f009ed
parent 64804 b2b05fdff3a7
permissions -rw-r--r--
default cygwin_root from Isabelle distribution;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
64749
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
     1
{
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
     2
  "name": "Isabelle/ML",
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
     3
  "scopeName": "source.isabelle-ml",
64804
b2b05fdff3a7 proper name for recursive grammar;
wenzelm
parents: 64749
diff changeset
     4
  "fileTypes": ["ML", "sml", "sig"],
64749
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
     5
  "uuid": "aa32eb5e-d0d9-11e6-b7a4-37ba001f1e6e",
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
     6
  "keyEquivalent": "^~M",
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
     7
  "repository": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
     8
    "comments": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
     9
      "patterns": [
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    10
        {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    11
          "end": "\\*\\)",
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    12
          "begin": "\\(\\*",
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    13
          "beginCaptures": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    14
            "0": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    15
              "name": "punctuation.definition.comment.begin.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    16
            }
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    17
          },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    18
          "patterns": [
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    19
            {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    20
              "include": "#comments"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    21
            }
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    22
          ],
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    23
          "endCaptures": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    24
            "0": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    25
              "name": "punctuation.definition.comment.end.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    26
            }
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    27
          },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    28
          "name": "comment.block.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    29
        }
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    30
      ]
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    31
    },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    32
    "spec": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    33
      "patterns": [
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    34
        {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    35
          "match": "\\b(exception|type)\\s+([a-zA-Z][a-zA-Z0-9'_]*)",
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    36
          "captures": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    37
            "1": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    38
              "name": "keyword.other.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    39
            },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    40
            "2": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    41
              "name": "entity.name.type.abbrev.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    42
            }
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    43
          },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    44
          "name": "meta.spec.ml.type"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    45
        },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    46
        {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    47
          "end": "(?=val|type|eqtype|datatype|structure|include|exception)",
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    48
          "begin": "\\b(datatype)\\s+([a-zA-Z][a-zA-Z0-9'_]*)\\s*(?==)",
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    49
          "patterns": [
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    50
            {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    51
              "match": "\\b(and)\\s+([a-zA-Z][a-zA-Z0-9'_]*)\\s*(?==)",
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    52
              "captures": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    53
                "1": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    54
                  "name": "keyword.other.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    55
                },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    56
                "2": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    57
                  "name": "entity.name.type.datatype.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    58
                }
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    59
              },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    60
              "name": "meta.spec.ml.datatype"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    61
            },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    62
            {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    63
              "match": "(?x)\n\t\t\t\t\t\t\t=\\s*([a-zA-Z][a-zA-Z0-9'_]*)(\\s+of)?",
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    64
              "captures": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    65
                "1": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    66
                  "name": "variable.other.dcon.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    67
                },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    68
                "2": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    69
                  "name": "keyword.other.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    70
                }
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    71
              },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    72
              "name": "meta.datatype.rule.main.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    73
            },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    74
            {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    75
              "match": "\\|\\s*([a-zA-Z][a-zA-Z0-9'_]*)(\\s+of)?",
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    76
              "captures": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    77
                "1": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    78
                  "name": "variable.other.dcon.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    79
                },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    80
                "2": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    81
                  "name": "keyword.other.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    82
                }
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    83
              },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    84
              "name": "meta.datatype.rule.other.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    85
            }
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    86
          ],
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    87
          "captures": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    88
            "1": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    89
              "name": "keyword.other.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    90
            },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    91
            "2": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    92
              "name": "entity.name.type.datatype.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    93
            }
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    94
          },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    95
          "name": "meta.spec.ml.datatype"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    96
        },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    97
        {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    98
          "match": "\\b(val)\\s*([^:]+)\\s*:",
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
    99
          "captures": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   100
            "1": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   101
              "name": "keyword.other.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   102
            }
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   103
          },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   104
          "name": "meta.spec.ml.val"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   105
        },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   106
        {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   107
          "end": "(?=val|type|eqtype|datatype|structure|include)",
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   108
          "begin": "\\b(structure)\\s*(\\w+)\\s*:",
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   109
          "patterns": [
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   110
            {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   111
              "match": "\\b(sharing)\\b",
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   112
              "name": "keyword.other.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   113
            }
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   114
          ],
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   115
          "captures": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   116
            "1": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   117
              "name": "keyword.other.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   118
            },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   119
            "2": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   120
              "name": "entity.name.type.module.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   121
            }
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   122
          },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   123
          "name": "meta.spec.ml.structure"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   124
        },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   125
        {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   126
          "match": "\\b(include)\\b",
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   127
          "captures": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   128
            "1": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   129
              "name": "keyword.other.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   130
            }
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   131
          },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   132
          "name": "meta.spec.ml.include"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   133
        },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   134
        {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   135
          "include": "#comments"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   136
        }
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   137
      ]
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   138
    }
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   139
  },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   140
  "patterns": [
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   141
    {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   142
      "include": "#comments"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   143
    },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   144
    {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   145
      "match": "\\b(val|datatype|signature|type|op|sharing|struct|as|let|in|abstype|local|where|case|of|fn|raise|exception|handle|ref|infix|infixr|before|end|structure|withtype)\\b",
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   146
      "name": "keyword.other.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   147
    },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   148
    {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   149
      "end": "\\b(end)\\b",
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   150
      "begin": "\\b(let)\\b",
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   151
      "patterns": [
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   152
        {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   153
          "include": "$self"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   154
        }
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   155
      ],
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   156
      "captures": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   157
        "1": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   158
          "name": "keyword.other.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   159
        },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   160
        "2": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   161
          "name": "keyword.other.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   162
        }
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   163
      },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   164
      "name": "meta.exp.let.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   165
    },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   166
    {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   167
      "end": "\\b(end)\\b",
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   168
      "begin": "\\b(sig)\\b",
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   169
      "patterns": [
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   170
        {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   171
          "include": "#spec"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   172
        }
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   173
      ],
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   174
      "captures": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   175
        "1": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   176
          "name": "keyword.other.delimiter.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   177
        },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   178
        "2": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   179
          "name": "keyword.other.delimiter.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   180
        }
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   181
      },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   182
      "name": "meta.module.sigdec.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   183
    },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   184
    {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   185
      "match": "\\b(if|then|else)\\b",
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   186
      "name": "keyword.control.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   187
    },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   188
    {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   189
      "end": "(?=val|type|eqtype|datatype|structure|local)",
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   190
      "begin": "\\b(fun|and)\\s+([\\w]+)\\b",
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   191
      "patterns": [
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   192
        {
64804
b2b05fdff3a7 proper name for recursive grammar;
wenzelm
parents: 64749
diff changeset
   193
          "include": "source.isabelle-ml"
64749
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   194
        }
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   195
      ],
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   196
      "captures": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   197
        "1": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   198
          "name": "keyword.control.fun.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   199
        },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   200
        "2": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   201
          "name": "entity.name.function.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   202
        }
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   203
      },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   204
      "name": "meta.definition.fun.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   205
    },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   206
    {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   207
      "end": "\"",
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   208
      "begin": "\"",
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   209
      "beginCaptures": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   210
        "0": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   211
          "name": "punctuation.definition.string.begin.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   212
        }
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   213
      },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   214
      "patterns": [
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   215
        {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   216
          "match": "\\\\.",
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   217
          "name": "constant.character.escape.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   218
        }
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   219
      ],
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   220
      "endCaptures": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   221
        "0": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   222
          "name": "punctuation.definition.string.end.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   223
        }
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   224
      },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   225
      "name": "string.quoted.double.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   226
    },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   227
    {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   228
      "match": "(#\")(\\\\)?.(\")",
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   229
      "captures": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   230
        "3": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   231
          "name": "punctuation.definition.constant.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   232
        },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   233
        "1": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   234
          "name": "punctuation.definition.constant.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   235
        }
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   236
      },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   237
      "name": "constant.character.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   238
    },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   239
    {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   240
      "match": "\\b\\d*\\.?\\d+\\b",
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   241
      "name": "constant.numeric.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   242
    },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   243
    {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   244
      "match": "\\b(andalso|orelse|not)\\b",
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   245
      "name": "keyword.operator.logical.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   246
    },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   247
    {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   248
      "end": "(?==|:|\\()",
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   249
      "begin": "(?x)\\b\n\t\t\t\t\t(functor|structure|signature)\\s+\n\t\t\t\t\t(\\w+)\\s* # identifier",
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   250
      "captures": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   251
        "1": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   252
          "name": "storage.type.module.binder.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   253
        },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   254
        "2": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   255
          "name": "entity.name.type.module.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   256
        }
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   257
      },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   258
      "name": "meta.module.dec.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   259
    },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   260
    {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   261
      "match": "\\b(open)\\b",
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   262
      "name": "keyword.other.module.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   263
    },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   264
    {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   265
      "match": "\\b(nil|true|false|NONE|SOME)\\b",
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   266
      "name": "constant.language.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   267
    },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   268
    {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   269
      "end": "$",
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   270
      "begin": "\\b(type|eqtype) .* =",
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   271
      "patterns": [
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   272
        {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   273
          "match": "(([a-zA-Z0-9\\.\\* ]|(\\->))*)",
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   274
          "name": "meta.typeexp.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   275
        }
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   276
      ],
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   277
      "captures": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   278
        "1": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   279
          "name": "keyword.other.typeabbrev.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   280
        },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   281
        "2": {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   282
          "name": "variable.other.typename.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   283
        }
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   284
      },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   285
      "name": "meta.typeabbrev.ml"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   286
    }
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   287
  ]
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
diff changeset
   288
}