github-linguist 5.3.3 → 6.0.0

data/grammars/source.smalltalk.json

@@ -1,34 +1,29 @@
 {
-  "fileTypes": [
-    "st"
-  ],
-  "foldingStartMarker": "\\[",
-  "foldingStopMarker": "^\\s*\\]|^\\s\\]",
-  "keyEquivalent": "^~S",
   "name": "Smalltalk",
+  "scopeName": "source.smalltalk",
   "patterns": [
     {
-      "match": "\\b(class)\\b",
-      "name": "storage.type.$1.smalltalk"
+      "name": "storage.type.$1.smalltalk",
+      "match": "\\b(class)\\b"
     },
     {
-      "match": "\\b(extend|super|self)\\b",
-      "name": "storage.modifier.$1.smalltalk"
+      "name": "storage.modifier.$1.smalltalk",
+      "match": "\\b(extend|super|self)\\b"
     },
     {
-      "match": "\\b(yourself|new|Smalltalk)\\b",
-      "name": "keyword.control.$1.smalltalk"
+      "name": "keyword.control.$1.smalltalk",
+      "match": "\\b(yourself|new|Smalltalk)\\b"
     },
     {
-      "match": ":=",
-      "name": "keyword.operator.assignment.smalltalk"
+      "name": "keyword.operator.assignment.smalltalk",
+      "match": ":="
     },
     {
-      "comment": "Parse the variable declaration like: |a b c|",
-      "match": "/^:\\w*\\s*\\|/",
-      "name": "constant.other.block.smalltalk"
+      "name": "constant.other.block.smalltalk",
+      "match": "/^:\\w*\\s*\\|/"
     },
     {
+      "match": "(\\|)(\\s*\\w[\\w ]*)(\\|)",
       "captures": {
         "1": {
           "name": "punctuation.definition.instance-variables.begin.smalltalk"
@@ -36,54 +31,52 @@
         "2": {
           "patterns": [
             {
-              "match": "\\w+",
-              "name": "support.type.variable.declaration.smalltalk"
+              "name": "support.type.variable.declaration.smalltalk",
+              "match": "\\w+"
             }
           ]
         },
         "3": {
           "name": "punctuation.definition.instance-variables.end.smalltalk"
         }
-      },
-      "match": "(\\|)(\\s*\\w[\\w ]*)(\\|)"
+      }
     },
     {
+      "match": "\\[((\\s+|:\\w+)*)\\|",
       "captures": {
         "1": {
           "patterns": [
             {
-              "match": ":\\w+",
-              "name": "entity.name.function.block.smalltalk"
+              "name": "entity.name.function.block.smalltalk",
+              "match": ":\\w+"
             }
           ]
         }
-      },
-      "comment": "Parse the blocks like: [ :a :b | ...... ]",
-      "match": "\\[((\\s+|:\\w+)*)\\|"
+      }
     },
     {
-      "match": "<(?!<|=)|>(?!<|=|>)|<=|>=|=|==|~=|~~|>>|\\^",
-      "name": "keyword.operator.comparison.smalltalk"
+      "name": "keyword.operator.comparison.smalltalk",
+      "match": "\u003c(?!\u003c|=)|\u003e(?!\u003c|=|\u003e)|\u003c=|\u003e=|=|==|~=|~~|\u003e\u003e|\\^"
     },
     {
-      "match": "(\\*|\\+|\\-|/|\\\\)",
-      "name": "keyword.operator.arithmetic.smalltalk"
+      "name": "keyword.operator.arithmetic.smalltalk",
+      "match": "(\\*|\\+|\\-|/|\\\\)"
     },
     {
-      "match": "(?<=[ \\t])!+|\\bnot\\b|&|\\band\\b|\\||\\bor\\b",
-      "name": "keyword.operator.logical.smalltalk"
+      "name": "keyword.operator.logical.smalltalk",
+      "match": "(?\u003c=[ \\t])!+|\\bnot\\b|\u0026|\\band\\b|\\||\\bor\\b"
     },
     {
-      "comment": "Fake reserved word -> main Smalltalk messages",
-      "match": "(?<!\\.)\\b(ensure|resume|retry|signal)\\b(?![?!])",
-      "name": "keyword.control.smalltalk"
+      "name": "keyword.control.smalltalk",
+      "match": "(?\u003c!\\.)\\b(ensure|resume|retry|signal)\\b(?![?!])"
     },
     {
-      "comment": "Fake conditionals. Smalltalk Methods.",
-      "match": "ifCurtailed:|ifTrue:|ifFalse:|whileFalse:|whileTrue:",
-      "name": "keyword.control.conditionals.smalltalk"
+      "name": "keyword.control.conditionals.smalltalk",
+      "match": "ifCurtailed:|ifTrue:|ifFalse:|whileFalse:|whileTrue:"
     },
     {
+      "name": "meta.class.smalltalk",
+      "match": "(\\w+)(\\s+(subclass:))\\s*(\\w*)",
       "captures": {
         "1": {
           "name": "entity.other.inherited-class.smalltalk"
@@ -94,109 +87,101 @@
         "4": {
           "name": "entity.name.type.class.smalltalk"
         }
-      },
-      "match": "(\\w+)(\\s+(subclass:))\\s*(\\w*)",
-      "name": "meta.class.smalltalk"
+      }
     },
     {
+      "name": "comment.block.smalltalk",
       "begin": "\"",
+      "end": "\"",
       "beginCaptures": {
         "0": {
           "name": "punctuation.definition.comment.begin.smalltalk"
         }
       },
-      "end": "\"",
       "endCaptures": {
         "0": {
           "name": "punctuation.definition.comment.end.smalltalk"
         }
-      },
-      "name": "comment.block.smalltalk"
+      }
     },
     {
-      "match": "\\b(true|false)\\b",
-      "name": "constant.language.boolean.smalltalk"
+      "name": "constant.language.boolean.smalltalk",
+      "match": "\\b(true|false)\\b"
     },
     {
-      "match": "\\b(nil)\\b",
-      "name": "constant.language.nil.smalltalk"
+      "name": "constant.language.nil.smalltalk",
+      "match": "\\b(nil)\\b"
     },
     {
+      "name": "constant.other.messages.smalltalk",
+      "match": "(?\u003e[a-zA-Z_]\\w*(?\u003e[?!])?)(:)(?!:)",
       "captures": {
         "1": {
           "name": "punctuation.definition.constant.smalltalk"
         }
-      },
-      "comment": "messages/methods",
-      "match": "(?>[a-zA-Z_]\\w*(?>[?!])?)(:)(?!:)",
-      "name": "constant.other.messages.smalltalk"
+      }
     },
     {
+      "name": "constant.other.symbol.smalltalk",
+      "match": "(#)[a-zA-Z_][a-zA-Z0-9_:]*",
       "captures": {
         "1": {
           "name": "punctuation.definition.constant.smalltalk"
         }
-      },
-      "comment": "symbols",
-      "match": "(#)[a-zA-Z_][a-zA-Z0-9_:]*",
-      "name": "constant.other.symbol.smalltalk"
+      }
     },
     {
+      "name": "constant.other.bytearray.smalltalk",
       "begin": "#\\[",
+      "end": "\\]",
       "beginCaptures": {
         "0": {
           "name": "punctuation.definition.constant.begin.smalltalk"
         }
       },
-      "comment": "ByteArray Constructor. Unfortunely this dont validate only numbers. TODO.",
-      "end": "\\]",
       "endCaptures": {
         "0": {
           "name": "punctuation.definition.constant.end.smalltalk"
         }
-      },
-      "name": "constant.other.bytearray.smalltalk"
+      }
     },
     {
+      "name": "constant.other.array.smalltalk",
       "begin": "#\\(",
+      "end": "\\)",
       "beginCaptures": {
         "0": {
           "name": "punctuation.definition.constant.begin.smalltalk"
         }
       },
-      "comment": "Array Constructor",
-      "end": "\\)",
       "endCaptures": {
         "0": {
           "name": "punctuation.definition.constant.end.smalltalk"
         }
-      },
-      "name": "constant.other.array.smalltalk"
+      }
     },
     {
+      "name": "string.quoted.single.smalltalk",
       "begin": "'",
+      "end": "'",
       "beginCaptures": {
         "0": {
           "name": "punctuation.definition.string.begin.smalltalk"
         }
       },
-      "end": "'",
       "endCaptures": {
         "0": {
           "name": "punctuation.definition.string.end.smalltalk"
         }
-      },
-      "name": "string.quoted.single.smalltalk"
+      }
     },
     {
-      "match": "\\b(0[xX][0-9A-Fa-f](?>_?[0-9A-Fa-f])*|\\d(?>_?\\d)*(\\.(?![^[:space:][:digit:]])(?>_?\\d)*)?([eE][-+]?\\d(?>_?\\d)*)?|0[bB][01]+)\\b",
-      "name": "constant.numeric.smalltalk"
+      "name": "constant.numeric.smalltalk",
+      "match": "\\b(0[xX][0-9A-Fa-f](?\u003e_?[0-9A-Fa-f])*|\\d(?\u003e_?\\d)*(\\.(?![^[:space:][:digit:]])(?\u003e_?\\d)*)?([eE][-+]?\\d(?\u003e_?\\d)*)?|0[bB][01]+)\\b"
     },
     {
-      "match": "\\b[A-Z]\\w*\\b",
-      "name": "variable.other.constant.smalltalk"
+      "name": "variable.other.constant.smalltalk",
+      "match": "\\b[A-Z]\\w*\\b"
     }
-  ],
-  "scopeName": "source.smalltalk",
-  "uuid": "1ED64A34-BCB1-44E1-A0FE-84053003E232"
-}
+  ]
+}

data/grammars/source.smt.json

@@ -1,33 +1,31 @@
 {
-  "comment": "\n\t This grammar is written by non-textmate users; mainly in order to push the \n\t grammar to the linguist repository. This is to enable highlighting of SMT code\n\t on GitHub.\n\t\n\t Any improvements are welcome. We are confirmed novices.\n\t\tiam@csl.sri.com\n\t\tbruno@csl.sri.com\n\t",
-  "fileTypes": [
-    "smt2",
-    "smt"
-  ],
   "name": "smt",
+  "scopeName": "source.smt",
   "patterns": [
     {
       "begin": "(^[ \\t]+)?(?=;)",
-      "beginCaptures": {
-        "1": {
-          "name": "punctuation.whitespace.comment.leading.smt"
-        }
-      },
       "end": "(?!\\G)",
       "patterns": [
         {
+          "name": "comment.line.semicolon.smt",
           "begin": ";",
+          "end": "\\n",
           "beginCaptures": {
             "0": {
               "name": "punctuation.definition.comment.smt"
             }
-          },
-          "end": "\\n",
-          "name": "comment.line.semicolon.smt"
+          }
         }
-      ]
+      ],
+      "beginCaptures": {
+        "1": {
+          "name": "punctuation.whitespace.comment.leading.smt"
+        }
+      }
     },
     {
+      "name": "meta.function.define.smt",
+      "match": "(?x)                                                  (?# multiline mode )\n\t\t\t         (\\b(?i:(define-fun|define-fun-rec|define-sort))\\b)\n\t\t\t\t\t (\\s+)\n\t\t\t\t\t ((\\w|\\.|\\||_|@|%|\\-|\\!|\\?)*)",
       "captures": {
         "2": {
           "name": "storage.type.function-type.smt"
@@ -35,12 +33,11 @@
         "4": {
           "name": "entity.name.function.smt"
         }
-      },
-      "comment": "define-fun\n                       define-fun-rec\n                       define-sort\n\t\t\t\n\t\t\t\tOur notion of symbol is currently wrong. Here is what the standard says:\n\n\t\t\t\t<simple_symbol> ::= non-empty sequence of letters, digits and the characters\n\t\t\t\t+ - / * = % ? ! . $ _  ̃ & ˆ <> @\n\t\t\t\tthat does not start with a digit (or . and @ )\n\t\t\t\n                <symbol> ::= <simple_symbol>  |\n                             a sequence of whitespace and printable characters that\n                             starts and ends with | and does not otherwise include | or /\n\t\t\t\n\t\t\t\n\t\t\t\n\t\t\t",
-      "match": "(?x)                                                  (?# multiline mode )\n\t\t\t         (\\b(?i:(define-fun|define-fun-rec|define-sort))\\b)\n\t\t\t\t\t (\\s+)\n\t\t\t\t\t ((\\w|\\.|\\||_|@|%|\\-|\\!|\\?)*)",
-      "name": "meta.function.define.smt"
+      }
     },
     {
+      "name": "meta.function.declare.smt",
+      "match": "(\\b(?i:(declare-sort|declare-fun|declare-const))\\b)(\\s+)((\\w|\\.|\\||_|@|%|\\-|\\!|\\?)*)",
       "captures": {
         "2": {
           "name": "storage.type.function-type.smt"
@@ -48,126 +45,114 @@
         "4": {
           "name": "entity.name.function.smt"
         }
-      },
-      "comment": "declare-const\n                       declare-fun\n                       declare-sort",
-      "match": "(\\b(?i:(declare-sort|declare-fun|declare-const))\\b)(\\s+)((\\w|\\.|\\||_|@|%|\\-|\\!|\\?)*)",
-      "name": "meta.function.declare.smt"
+      }
     },
     {
+      "name": "constant.character.smt",
+      "match": "(#|\\?)(\\w|[\\\\+-=\u003c\u003e'\"\u0026#])+",
       "captures": {
         "1": {
           "name": "punctuation.definition.constant.smt"
         }
-      },
-      "match": "(#|\\?)(\\w|[\\\\+-=<>'\"&#])+",
-      "name": "constant.character.smt"
+      }
     },
     {
-      "comment": "! ( FIXME  ! currently lives down with the symbols in keyword.operator.logical.smt)\n                     _\n                     as\n                     exists\n                     forall\n                     let\n                     par",
-      "match": "\\b(?i:as|let|exists|forall|par|_)\\b",
-      "name": "keyword.control.smt"
+      "name": "keyword.control.smt",
+      "match": "\\b(?i:as|let|exists|forall|par|_)\\b"
     },
     {
-      "comment": "\n\t\t\t\t(FIXME word boundaries are needed here.)\n\t\t\t          :all-statistics              \n                      :assertion-stack-levels\n                      :authors\n                      :chainable\n                      :definition\n                      :diagnostic-output-channel\n                      :error-behavior\n                      :extensions\n                      :funs\n                      :funs-description\n                      :global-declarations\n                      :interactive-mode\n                      :language\n                      :left-assoc\n                      :name\n                      :named\n                      :notes\n                      :pattern\n                      :print-success\n                      :produce-assignments\n                      :produce-models\n                      :produce-proofs\n                      :produce-unsat-assumptions\n                      :produce-unsat-cores\n                      :random-seed\n                      :reason-unknown\n                      :regular-output-channel\n                      :reproducible-resource-limit\n                      :right-assoc\n                      :sorts\n                      :sorts-description\n                      :status\n                      :theories\n                      :values\n                      :verbosity\n                      :version",
-      "match": "(?x)(\\:)(assertion-stack-levels|authors|chainable|definition|diagnostic-output-channel\n                      |error-behavior|extensions|funs|funs-description|global-declarations|interactive-mode\n                      |language|left-assoc|name|named|notes|pattern|print-success|produce-assignments\n                      |produce-models|produce-proofs|produce-unsat-assumptions|produce-unsat-cores\n                      |random-seed|reason-unknown|regular-output-channel|reproducible-resource-limit|right-assoc\n                      |sorts|sorts-description|status|theories|values|verbosity|version)",
-      "name": "keyword.other.predefined.smt"
+      "name": "keyword.other.predefined.smt",
+      "match": "(?x)(\\:)(assertion-stack-levels|authors|chainable|definition|diagnostic-output-channel\n                      |error-behavior|extensions|funs|funs-description|global-declarations|interactive-mode\n                      |language|left-assoc|name|named|notes|pattern|print-success|produce-assignments\n                      |produce-models|produce-proofs|produce-unsat-assumptions|produce-unsat-cores\n                      |random-seed|reason-unknown|regular-output-channel|reproducible-resource-limit|right-assoc\n                      |sorts|sorts-description|status|theories|values|verbosity|version)"
     },
     {
-      "comment": "assert\n                     check-sat\n                     check-sat-assuming\n                     echo\n                     exit\n                     get-assertions\n                     get-assignment\n                     get-info\n                     get-model\n                     get-option\n                     get-proof\n                     get-unsat-assumptions\n                     get-unsat-core\n                     get-value\n                     pop\n                     push\n                     reset\n                     reset-assertions\n                     set-info\n                     set-logic\n                     set-option",
-      "match": "(?x)\\b(?i:assert|check-sat|check-sat-assuming|echo|exit\n                     |get-assertions|get-assignment|get-info|get-model|get-option\n                     |get-proof|get-unsat-assumptions|get-unsat-core|get-value\n\t\t\t\t\t |pop|push|reset|reset-assertions|set-info|set-logic|set-option)\\b",
-      "name": "keyword.control.commands.smt"
+      "name": "keyword.control.commands.smt",
+      "match": "(?x)\\b(?i:assert|check-sat|check-sat-assuming|echo|exit\n                     |get-assertions|get-assignment|get-info|get-model|get-option\n                     |get-proof|get-unsat-assumptions|get-unsat-core|get-value\n\t\t\t\t\t |pop|push|reset|reset-assertions|set-info|set-logic|set-option)\\b"
     },
     {
-      "match": "\\b(?i:ite|not|or|and|xor|distinct)\\b",
-      "name": "keyword.operator.core.smt"
+      "name": "keyword.operator.core.smt",
+      "match": "\\b(?i:ite|not|or|and|xor|distinct)\\b"
     },
     {
-      "match": "\\b(?i:array|select|store)\\b",
-      "name": "keyword.operator.array.smt"
+      "name": "keyword.operator.array.smt",
+      "match": "\\b(?i:array|select|store)\\b"
     },
     {
-      "comment": "OK so there are theories, and there are logics. Seems like a lot of the\n\t\t\t bitvector operations are defined not in the bitvector theory, but rather in the\n\t\t\t QF_BV logic. We shall try to be systematic. Sooooooo:\n\t\t\t\n\t\t\t\n\t\t\t\n\t\t\t",
-      "match": "(?x)\n\t\t\t\t\t \\b(BitVec|concat|extract|bvnot|bvneg|bvand|bvor|bvadd|bvmul|bvudiv|bvurem|bvshl|bvlshr|bvult   (?#  FixedSizeBitVectors )\n\t\t\t\t\t |bvnand|bvnor|bvxor|bvxnor|bvcomp|bvsub|bvsdiv|bvsrem|bvsmod|bvashr|repeat|zero_extend         (?#  QF_BV)\n\t\t\t\t\t |sign_extend|rotate_left|rotate_right|bvule|bvugt|bvuge|bvslt|bvsle|bvsgt|bvsge|bv[0-9]+       (?#  QF_BV)\n\t\t\t\t \t)\\b",
-      "name": "keyword.operator.bitvector.smt"
+      "name": "keyword.operator.bitvector.smt",
+      "match": "(?x)\n\t\t\t\t\t \\b(BitVec|concat|extract|bvnot|bvneg|bvand|bvor|bvadd|bvmul|bvudiv|bvurem|bvshl|bvlshr|bvult   (?#  FixedSizeBitVectors )\n\t\t\t\t\t |bvnand|bvnor|bvxor|bvxnor|bvcomp|bvsub|bvsdiv|bvsrem|bvsmod|bvashr|repeat|zero_extend         (?#  QF_BV)\n\t\t\t\t\t |sign_extend|rotate_left|rotate_right|bvule|bvugt|bvuge|bvslt|bvsle|bvsgt|bvsge|bv[0-9]+       (?#  QF_BV)\n\t\t\t\t \t)\\b"
     },
     {
-      "match": "\\b(Int|div|mod|abs)\\b",
-      "name": "keyword.operator.ints.smt"
+      "name": "keyword.operator.ints.smt",
+      "match": "\\b(Int|div|mod|abs)\\b"
     },
     {
-      "comment": "\n\t\t\t    roundNearestTiesToEven RNE \n                roundNearestTiesToAway RNA \n                roundTowardPositive    RTP \n                roundTowardNegative    RTN \n                roundTowardZero        RTZ \n               \n\t\t\t    Float16 Float32 Float64 Float128\n\t\t\t \n\t\t\t    +oo  \n\t\t\t\t-oo\n\t\t\t  \n\t\t\t    +zero\n\t\t\t    -zero\n",
-      "match": "\\b(RoundingMode|FloatingPoint|Nan|div|mod|abs)\\b",
-      "name": "keyword.operator.floatingpoint.smt"
+      "name": "keyword.operator.floatingpoint.smt",
+      "match": "\\b(RoundingMode|FloatingPoint|Nan|div|mod|abs)\\b"
     },
     {
-      "match": "\\b(Real)\\b",
-      "name": "keyword.operator.reals.smt"
+      "name": "keyword.operator.reals.smt",
+      "match": "\\b(Real)\\b"
     },
     {
-      "match": "\\b(divisible|to_real|to_int|is_int)\\b",
-      "name": "keyword.operator.reals_ints.smt"
+      "name": "keyword.operator.reals_ints.smt",
+      "match": "\\b(divisible|to_real|to_int|is_int)\\b"
     },
     {
-      "match": "\\b(?i:eq|neq|and|or)\\b",
-      "name": "keyword.operator.smt"
+      "name": "keyword.operator.smt",
+      "match": "\\b(?i:eq|neq|and|or)\\b"
     },
     {
-      "comment": "Bool\n                     continued-execution\n                     error\n                     false\n                     immediate-exit\n                     incomplete\n                     logic\n                     memout\n                     sat\n                     success\n                     theory\n                     true\n                     unknown\n                     unsupported\n                     unsat\n\t\t\t",
-      "match": "(?x)\\b(Bool|continued-execution|error|false|immediate-exit|incomplete|logic\n                    \t|memout|sat|success|theory|true|unknown|unsupported|unsat)\\b",
-      "name": "constant.language.smt"
+      "name": "constant.language.smt",
+      "match": "(?x)\\b(Bool|continued-execution|error|false|immediate-exit|incomplete|logic\n                    \t|memout|sat|success|theory|true|unknown|unsupported|unsat)\\b"
     },
     {
-      "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",
-      "name": "constant.numeric.smt"
+      "name": "constant.numeric.smt",
+      "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"
     },
     {
-      "comment": "\n\t\t\t\tThe symbols (always quirky in regex).\n\t\t\t",
-      "match": "(?x)\n\t\t\t\t(?<=(\\s|\\()) # preceded by space or (\n\t\t\t\t( > | < | >= | <= | => | = | ! | [*/+-] )\n\t\t\t\t(?=(\\s|\\()) # followed by space or (\n\t\t\t\t",
-      "name": "keyword.operator.logical.smt"
+      "name": "keyword.operator.logical.smt",
+      "match": "(?x)\n\t\t\t\t(?\u003c=(\\s|\\()) # preceded by space or (\n\t\t\t\t( \u003e | \u003c | \u003e= | \u003c= | =\u003e | = | ! | [*/+-] )\n\t\t\t\t(?=(\\s|\\()) # followed by space or (\n\t\t\t\t"
     },
     {
+      "name": "variable.parameter.symbol.smt",
       "begin": "\\|",
+      "end": "\\|",
+      "patterns": [
+        {
+          "name": "constant.character.escape.smt",
+          "match": "\\\\."
+        }
+      ],
       "beginCaptures": {
         "0": {
           "name": "punctuation.definition.symbol.begin.smt"
         }
       },
-      "end": "\\|",
       "endCaptures": {
         "0": {
           "name": "punctuation.definition.symbol.end.smt"
         }
-      },
-      "name": "variable.parameter.symbol.smt",
-      "patterns": [
-        {
-          "match": "\\\\.",
-          "name": "constant.character.escape.smt"
-        }
-      ]
+      }
     },
     {
+      "name": "string.quoted.double.smt",
       "begin": "\"",
+      "end": "\"",
+      "patterns": [
+        {
+          "name": "constant.character.escape.smt",
+          "match": "\\\\."
+        }
+      ],
       "beginCaptures": {
         "0": {
           "name": "punctuation.definition.string.begin.smt"
         }
       },
-      "end": "\"",
       "endCaptures": {
         "0": {
           "name": "punctuation.definition.string.end.smt"
         }
-      },
-      "name": "string.quoted.double.smt",
-      "patterns": [
-        {
-          "match": "\\\\.",
-          "name": "constant.character.escape.smt"
-        }
-      ]
+      }
     }
-  ],
-  "scopeName": "source.smt",
-  "uuid": "347F9A84-DA5E-4A31-8EDB-7F354E784B67"
-}
+  ]
+}