github-linguist 4.7.6 → 4.8.0

data/grammars/source.ioke.json

@@ -0,0 +1,272 @@
+{
+  "fileTypes": [
+    "ik"
+  ],
+  "firstLineMatch": "^#!/.*\\bioke\\b",
+  "keyEquivalent": "^~I",
+  "name": "Ioke",
+  "patterns": [
+    {
+      "begin": ";",
+      "end": "$\\n?",
+      "name": "comment.line.ioke"
+    },
+    {
+      "begin": "#!",
+      "end": "$\\n?",
+      "name": "comment.line.ioke"
+    },
+    {
+      "begin": "((?<=fn\\()|(?<=fnx\\()|(?<=method\\()|(?<=macro\\()|(?<=lecro\\()|(?<=syntax\\()|(?<=dmacro\\()|(?<=dlecro\\()|(?<=dlecrox\\()|(?<=dsyntax\\())[[:space]]*\"",
+      "end": "\"",
+      "name": "string.documentation.ioke",
+      "patterns": [
+        {
+          "include": "#text_literal_escapes"
+        },
+        {
+          "include": "#embedded_source"
+        }
+      ]
+    },
+    {
+      "match": "((?<![[:alnum:]!?_:])|(?<![[:alnum:]!?_:]!))[[:alnum:]!?_]+:\\s",
+      "name": "string.literal.keyword-argument.ioke"
+    },
+    {
+      "match": "[[:alnum:]_:][[:alnum:]!?_:]*(?=[[:space:]]*[+*/-]?=[^=].*($|\\.))",
+      "name": "variable.assignment.ioke"
+    },
+    {
+      "include": "#assignments"
+    },
+    {
+      "include": "#kinds"
+    },
+    {
+      "match": "((?<![[:alnum:]!?_:])|(?<![[:alnum:]!?_:]!))[[:alnum:]!?_:]+(?=[[:space:]]*=.*mimic[[:space]])",
+      "name": "constant.object.mimic.ioke"
+    },
+    {
+      "match": "(?<![[:alnum:]])[+-]?[[:digit:]][[:digit:]]*(\\.[[:digit:]])?[[:digit:]]*([eE][+-]?[[:digit:]]+)?(?![[:alnum:]!?_:])",
+      "name": "constant.numeric.ioke"
+    },
+    {
+      "match": "((?<![[:alnum:]!?_:])|(?<![[:alnum:]!?_:]!))0[xX][[:xdigit:]]+\\b",
+      "name": "constant.numeric.hexadecimal.ioke"
+    },
+    {
+      "match": "((?<![[:alnum:]!?_:])|(?<![[:alnum:]!?_:]!)):[[:alnum:]!?_:-]+",
+      "name": "string.literal.symbol.ioke"
+    },
+    {
+      "begin": "#/",
+      "end": "/[oxpniums]*",
+      "name": "string.regexp.ioke",
+      "patterns": [
+        {
+          "include": "#text_literal_escapes"
+        },
+        {
+          "include": "#embedded_source"
+        }
+      ]
+    },
+    {
+      "begin": "#r\\[",
+      "end": "\\][oxpniums]*",
+      "name": "string.regexp.ioke",
+      "patterns": [
+        {
+          "include": "#text_literal_escapes"
+        },
+        {
+          "include": "#embedded_source"
+        }
+      ]
+    },
+    {
+      "begin": ":\"",
+      "end": "\"",
+      "name": "string.literal.symbol.ioke",
+      "patterns": [
+        {
+          "include": "#text_literal_escapes"
+        },
+        {
+          "include": "#embedded_source"
+        }
+      ]
+    },
+    {
+      "begin": "\"",
+      "end": "\"",
+      "name": "string.quoted.double.ioke",
+      "patterns": [
+        {
+          "include": "#text_literal_escapes"
+        },
+        {
+          "include": "#embedded_source"
+        }
+      ]
+    },
+    {
+      "begin": "#\\[",
+      "end": "\\]",
+      "name": "string.quoted.double.ioke",
+      "patterns": [
+        {
+          "include": "#text_literal_escapes"
+        },
+        {
+          "include": "#embedded_source"
+        }
+      ]
+    },
+    {
+      "match": "((?<![[:alnum:]!?_:])|(?<![[:alnum:]!?_:]!))it(?![[:alnum:]!?_:])",
+      "name": "entity.standout-names.ioke"
+    },
+    {
+      "match": "#{",
+      "name": "punctuation.set-literal-start.ioke"
+    },
+    {
+      "include": "#keywords"
+    },
+    {
+      "match": "(\\`\\`|\\`|''|'|\\.|\\,|@|@@|\\[|\\]|\\(|\\))",
+      "name": "punctuation.ioke"
+    },
+    {
+      "match": "[[:alnum:]_][[:alnum:]!?_:$]*[[:alnum:]!?_:]",
+      "name": "source.identifier.ioke"
+    }
+  ],
+  "repository": {
+    "assignments": {
+      "patterns": [
+        {
+          "match": "(?<=[[:space:]])[^[:space:].]+=[[:space:]]*=[[:space:]](fn|fnx|method|macro|lecro|syntax|dmacro|dlecro|dlecrox|dsyntax)",
+          "name": "variable.assignment.function.ioke"
+        }
+      ]
+    },
+    "embedded_source": {
+      "patterns": [
+        {
+          "captures": {
+            "0": {
+              "name": "punctuation.section.embedded.ioke"
+            },
+            "1": {
+              "name": "source.embedded.empty.ioke"
+            }
+          },
+          "match": "#\\{(\\})",
+          "name": "source.embedded.ioke"
+        },
+        {
+          "begin": "#\\{",
+          "captures": {
+            "0": {
+              "name": "punctuation.section.embedded.ioke"
+            }
+          },
+          "end": "\\}",
+          "name": "source.embedded.ioke",
+          "patterns": [
+            {
+              "include": "#nest_curly_and_self"
+            },
+            {
+              "include": "$self"
+            }
+          ]
+        }
+      ]
+    },
+    "keywords": {
+      "patterns": [
+        {
+          "match": "((?<![[:alnum:]!?_:])|(?<![[:alnum:]!?_:]!))(mimic|self|use|true|false|nil)(?![[:alnum:]!?_:])",
+          "name": "keyword.ioke"
+        },
+        {
+          "match": "((?<![[:alnum:]!?_:])|(?<![[:alnum:]!?_:]!))(return|break|continue|unless|true|false|nil)(?![[:alnum:]!?_:])",
+          "name": "keyword.control.ioke"
+        },
+        {
+          "match": "(&&>>|\\|\\|>>|\\*\\*>>|\\.\\.\\.|===|\\*\\*>|\\*\\*=|&&>|&&=|\\|\\|>|\\|\\|=|\\->>|\\+>>|!>>|<>>>|<>>|&>>|%>>|#>>|@>>|/>>|\\*>>|\\?>>|\\|>>|\\^>>|~>>|\\$>>|=>>|<<=|>>=|<=>|<\\->|=~|!~|=>|\\+\\+|\\-\\-|<=|>=|==|!=|&&|\\.\\.|\\+=|\\-=|\\*=|\\/=|%=|&=|\\^=|\\|=|<\\-|\\+>|!>|<>|&>|%>|#>|\\@>|\\/>|\\*>|\\?>|\\|>|\\^>|~>|\\$>|<\\->|\\->|<<|>>|\\*\\*|\\?\\||\\?&|\\|\\||>|<|\\*|\\/|%|\\+|\\-|&|\\^|\\||=|\\$|!|~|\\?|#)",
+          "name": "keyword.operator.ioke"
+        },
+        {
+          "match": "((?<![[:alnum:]!?_:])|(?<![[:alnum:]!?_:]!))(nand|and|nor|xor|or)(?![[:alnum:]!?_:])",
+          "name": "keyword.operator.boolean.ioke"
+        },
+        {
+          "match": "((?<![[:alnum:]!?_:])|(?<![[:alnum:]!?_:]!))(Base|Call|Condition|DateTime|DefaultBehavior|DefaultMacro|DefaultMethod|DefaultSyntax|Dict|FileSystem|Ground|Handler|IO|JavaMethod|LexicalBlock|LexicalMacro|List|Message|Method|Mixins|Number|Number Decimal|Number Integer|Number Rational|Number Real|Origin|Pair|Range|Regexp|Rescue|Restart|Runtime|Set|Symbol|System|Text)(?![[:alnum:]!?_:])",
+          "name": "keyword.prototype-names.ioke"
+        },
+        {
+          "match": "((^)|(?<![[:alnum:]!?_:])|(?<![[:alnum:]!?_:]!))(fn|fnx|method|macro|lecro|syntax|dmacro|dlecro|dlecrox|dsyntax)(?![[:alnum:]!?_:])",
+          "name": "keyword.function.ioke"
+        },
+        {
+          "match": "((?<![[:alnum:]!?_:])|(?<![[:alnum:]!?_:]!))(print|println|cell\\?|cell|keyword|documentation|if|unless|while|until|loop|for|for:set|for:dict|bind|rescue|handle|restart|asText|inspect|notice|do|call|list|dict|set|with|kind)(?![[:alnum:]!?_:])",
+          "name": "keyword.cell-names.ioke"
+        }
+      ]
+    },
+    "kinds": {
+      "patterns": [
+        {
+          "match": "((?<![[:alnum:]!?_:])|(?<![[:alnum:]!?_:]!))[A-Z][[:alnum:]!?_:-]*(?![[:alnum:]!?_:])",
+          "name": "constant.kind.ioke"
+        }
+      ]
+    },
+    "meta_parens": {
+      "patterns": [
+        {
+          "begin": "\\(",
+          "end": "\\)",
+          "include": "#meta_parens",
+          "name": "meta.parens.ioke"
+        }
+      ]
+    },
+    "nest_curly_and_self": {
+      "patterns": [
+        {
+          "begin": "\\{",
+          "captures": {
+            "0": {
+              "name": "punctuation.section.scope.ioke"
+            }
+          },
+          "end": "\\}",
+          "patterns": [
+            {
+              "include": "#nest_curly_and_self"
+            }
+          ]
+        },
+        {
+          "include": "$self"
+        }
+      ]
+    },
+    "text_literal_escapes": {
+      "patterns": [
+        {
+          "match": "(\\\\b|\\\\e|\\\\t|\\\\n|\\\\f|\\\\r|\\\\\"|\\\\\\\\|\\\\#|\\\\\\Z|\\\\u[[:xdigit:]][[:xdigit:]][[:xdigit:]][[:xdigit:]]|\\\\[0-3]?[0-7]?[0-7],[[:space:]]+\\\\[0-3]?[0-7]?[0-7],[[:space:]]+\\\\[0-3]?[0-7]?[0-7]|\\\\[0-3]?[0-7]?[0-7],[[:space:]]+\\\\[0-3]?[0-7]?[0-7]|\\\\[0-3]?[0-7]?[0-7])",
+          "name": "constant.character.escape.ioke"
+        }
+      ]
+    }
+  },
+  "scopeName": "source.ioke",
+  "uuid": "EC751C80-9E93-44B4-AFF3-EF4FF8346C90"
+}

data/grammars/source.isabelle.root.json

@@ -0,0 +1,68 @@
+{
+  "fileTypes": [
+    "ROOT"
+  ],
+  "name": "Isabelle ROOT",
+  "patterns": [
+    {
+      "match": "\\b(chapter|session|in|description|options|global_theories|theories|files|document_files)\\b",
+      "name": "keyword.control"
+    },
+    {
+      "match": "\\b(browser_info|condition|document|document_graph|document_output|document_variants|eta_contract|goals_limit|names_long|names_short|names_unique|pretty_margin|print_mode|show_brackets|show_consts|show_main_goal|show_question_marks|show_sorts|show_types|thy_output_break|thy_output_display|thy_output_indent|thy_output_modes|thy_output_quotes|thy_output_source|timeout)\\b",
+      "name": "keyword.other.option"
+    },
+    {
+      "match": "\\b(true|false)\\b",
+      "name": "support.constant"
+    },
+    {
+      "captures": {
+        "1": {
+          "name": "keyword.other.option"
+        },
+        "2": {
+          "name": "keyword.operator"
+        },
+        "3": {
+          "name": "support.constant"
+        }
+      },
+      "match": "\\b(quick_and_dirty|skip_proofs)[ ]*(\\=)[ ]*(false)\\b",
+      "name": "meta.abandon-proof.false"
+    },
+    {
+      "match": "\\b(quick_and_dirty|skip_proofs)\\b",
+      "name": "invalid.illegal.abandon-proof"
+    },
+    {
+      "begin": "\"",
+      "end": "\"",
+      "name": "string.quoted.double"
+    },
+    {
+      "begin": "\\{\\*",
+      "end": "\\*\\}",
+      "name": "comment.block.documentation"
+    },
+    {
+      "begin": "\\(\\*",
+      "end": "\\*\\)",
+      "name": "comment.block"
+    },
+    {
+      "match": "\\(|\\)|\\[|\\]|\\=|\\+|\\,",
+      "name": "keyword.operator"
+    },
+    {
+      "match": "\\??'?([^\\W\\d]|\\\\<\\w+\\>)([.\\w\\']|\\\\<\\w+\\>)*",
+      "name": "variable.other"
+    },
+    {
+      "match": "[0-9]+",
+      "name": "constant.numeric"
+    }
+  ],
+  "scopeName": "source.isabelle.root",
+  "uuid": "D9EB4C04-5E72-4D19-A640-4035F9A762C8"
+}

data/grammars/source.isabelle.theory.json

@@ -0,0 +1,106 @@
+{
+  "fileTypes": [
+    "thy"
+  ],
+  "name": "Isabelle Theory",
+  "patterns": [
+    {
+      "begin": "\\{\\*",
+      "end": "\\*\\}",
+      "name": "comment.block.documentation"
+    },
+    {
+      "begin": "\\\\\\<open\\>",
+      "end": "\\\\\\<close\\>",
+      "name": "comment.block.documentation"
+    },
+    {
+      "begin": "\\(\\*",
+      "end": "\\*\\)",
+      "name": "comment.block"
+    },
+    {
+      "match": "--([ ]*\"[^\"]+\")?",
+      "name": "comment.line"
+    },
+    {
+      "captures": {
+        "1": {
+          "name": "keyword.other.isabelle.theory"
+        },
+        "2": {
+          "name": "storage"
+        }
+      },
+      "match": "\\b(theory)[ ]+([a-zA-Z0-9_]+)"
+    },
+    {
+      "match": "\\b(header|chapter|section|subsection|subsubsection|sect|subsect|subsubsect)\\b",
+      "name": "markup.heading"
+    },
+    {
+      "match": "\\b(and|assumes|attach|avoids|binder|checking|class_instance|class_relation|code_module|congs|constant|constrains|datatypes|defines|file|fixes|for|functions|hints|identifier|if|imports|in|includes|infix|infixl|infixr|is|keywords|lazy|module_name|monos|morphisms|no_discs_sels|notes|obtains|open|output|overloaded|parametric|permissive|pervasive|rep_compat|shows|structure|type_class|type_constructor|unchecked|unsafe|where|begin|end)\\b",
+      "name": "keyword.other.minor"
+    },
+    {
+      "match": "\\b(ML_command|ML_val|class_deps|code_deps|code_thms|display_drafts|find_consts|find_theorems|find_unused_assms|full_prf|help|locale_deps|nitpick|pr|prf|print_abbrevs|print_antiquotations|print_attributes|print_binds|print_bnfs|print_bundles|print_case_translations|print_cases|print_claset|print_classes|print_codeproc|print_codesetup|print_coercions|print_commands|print_context|print_defn_rules|print_dependencies|print_facts|print_induct_rules|print_inductives|print_interps|print_locale|print_locales|print_methods|print_options|print_orders|print_quot_maps|print_quotconsts|print_quotients|print_quotientsQ3|print_quotmapsQ3|print_rules|print_simpset|print_state|print_statement|print_syntax|print_theorems|print_theory|print_trans_rules|prop|pwd|quickcheck|refute|sledgehammer|smt_status|solve_direct|spark_status|term|thm|thm_deps|thy_deps|try|try0|typ|unused_thms|value|values|welcome|print_ML_antiquotations|print_term_bindings|values_prolog)\\b",
+      "name": "keyword.other.diagnostic"
+    },
+    {
+      "match": "\\b(ML|ML_file|abbreviation|adhoc_overloading|arities|atom_decl|attribute_setup|axiomatization|bundle|case_of_simps|class|classes|classrel|codatatype|code_abort|code_class|code_const|code_datatype|code_identifier|code_include|code_instance|code_modulename|code_monad|code_printing|code_reflect|code_reserved|code_type|coinductive|coinductive_set|consts|context|datatype|datatype_new|datatype_new_compat|declaration|declare|default_sort|defer_recdef|definition|defs|domain|domain_isomorphism|domaindef|equivariance|export_code|extract|extract_type|fixrec|fun|fun_cases|hide_class|hide_const|hide_fact|hide_type|import_const_map|import_file|import_tptp|import_type_map|inductive|inductive_set|instantiation|judgment|lifting_forget|lifting_update|local_setup|locale|method_setup|nitpick_params|no_adhoc_overloading|no_notation|no_syntax|no_translations|no_type_notation|nominal_datatype|nonterminal|notation|notepad|oracle|overloading|parse_ast_translation|parse_translation|partial_function|primcorec|primrec|primrec_new|print_ast_translation|print_translation|quickcheck_generator|quickcheck_params|realizability|realizers|recdef|record|refute_params|setup|setup_lifting|simproc_setup|simps_of_case|sledgehammer_params|spark_end|spark_open|spark_open_siv|spark_open_vcg|spark_proof_functions|spark_types|statespace|syntax|syntax_declaration|text|text_raw|txt|txt_raw|theorems|translations|type_notation|type_synonym|typed_print_translation|typedecl|hoarestate|install_C_file|install_C_types|wpc_setup|c_defs|c_types|memsafe|SML_export|SML_file|SML_import|approximate|bnf_axiomatization|cartouche|datatype_compat|free_constructors|functor|nominal_function|nominal_termination|permanent_interpretation|binds|defining|smt2_status|term_cartouche|boogie_file|text_cartouche|autocorres|sep_instance)\\b",
+      "name": "keyword.other.declaration"
+    },
+    {
+      "match": "\\b(inductive_cases|inductive_simps|crunch)\\b",
+      "name": "keyword.other.script"
+    },
+    {
+      "match": "\\b(ax_specification|bnf|code_pred|corollary|cpodef|crunch_ignore|enriched_type|function|instance|interpretation|lift_definition|nominal_inductive|nominal_inductive2|nominal_primrec|pcpodef|primcorecursive|quotient_definition|quotient_type|recdef_tc|rep_datatype|spark_vc|specification|subclass|sublocale|termination|theorem|typedef|wrap_free_constructors)\\b",
+      "name": "keyword.other.goal"
+    },
+    {
+      "match": "\\b(have|hence|interpret|next|proof|finally|from|then|ultimately|with|ML_prf|also|include|including|let|moreover|note|unfolding|using|write|ML_prf|also|include|including|let|moreover|note|txt|txt_raw|unfolding|using|write|assume|case|def|fix|presume|guess|obtain|show|thus|apply|apply_end|apply_trace|back|defer|prefer|and|by|done|qed)\\b",
+      "name": "keyword.control.proof"
+    },
+    {
+      "match": "\\b(lemma|schematic_lemma|theorem|schematic_theorem|corollary|schematic_corollary|lemmas)\\b",
+      "name": "support.constant"
+    },
+    {
+      "match": "\\b(sorry|oops)\\b",
+      "name": "invalid.illegal.abandon-proof"
+    },
+    {
+      "begin": "\"",
+      "end": "\"",
+      "name": "string"
+    },
+    {
+      "begin": "`",
+      "end": "`",
+      "name": "string"
+    },
+    {
+      "match": "\\??'?([^\\W\\d]|\\\\<\\w+\\>)([.\\w\\']|\\\\<\\w+\\>)*",
+      "name": "variable.other"
+    },
+    {
+      "match": "::|:|\\(|\\)|\\[|\\]|_|\\=|\\,|\\+|\\-|\\!|\\?|\\|",
+      "name": "keyword.operator"
+    },
+    {
+      "match": "\\.\\.|\\{|\\}|\\.",
+      "name": "keyword.operator.proof"
+    },
+    {
+      "match": ";",
+      "name": "punctuation.terminator.isabelle"
+    },
+    {
+      "match": "[0-9]+",
+      "name": "constant.numeric"
+    }
+  ],
+  "scopeName": "source.isabelle.theory",
+  "uuid": "37F7FDEA-2EAA-47C2-8EBF-2E8128D8ADD9"
+}

data/grammars/source.j.json

@@ -0,0 +1,49 @@
+{
+  "fileTypes": [
+    "ijs"
+  ],
+  "name": "J",
+  "patterns": [
+    {
+      "name": "string.j",
+      "match": "('[^']*')"
+    },
+    {
+      "name": "constant.numeric.j",
+      "match": "(_?\\d*\\.?\\d+)"
+    },
+    {
+      "name": "comment.j",
+      "match": "(?:^|[ )])(NB\\..*$)"
+    },
+    {
+      "name": "copula.global.j",
+      "match": "=\\:"
+    },
+    {
+      "name": "copula.local.j",
+      "match": "=\\."
+    },
+    {
+      "name": "keyword.j",
+      "match": "(?:^|(?<=[) ]))((?:while\\.)|(?:whilst\\.)|(?:if\\.)|(?:elseif\\.)|(?:else\\.)|(?:do\\.)|(?:end\\.))"
+    },
+    {
+      "name": "noun.j",
+      "match": "(?:_(?=[^\\d:]))|(?:a[.:])"
+    },
+    {
+      "name": "conjunction.j",
+      "match": "(?:\\^\\:)|(?:[.:`@][.:]?)|(?:;\\.)|(?:![.:])|(?:[\"](?![.:]))|(?:\\&\\.?\\:?)|(?:[dHT]\\.)|(?:D[.:])|(?:[LS]\\:)"
+    },
+    {
+      "name": "adverb.j",
+      "match": "(?:[~}](?![.:]))|(?:[/\\\\]\\.?)|(?:[bfM]\\.)|(?:t[.:])"
+    },
+    {
+      "name": "verb.j",
+      "match": "(?:[=!](?![.:]))|(?:[<>+*%$|,#{-][.:]?)|(?:_\\:)|(?:\\^\\.?)|(?:\\^\\!\\.)|(?:[~}\"ip][.:])|(?:[;\\[]\\:?)|(?:[/\\\\]\\:)|\\]|(?:\\{\\:\\:)|(?:\\?\\.?)|(?:[AeEIjLr]\\.)|(?:p\\.\\.)|(?:[qsux0]\\:)|(?:_?[1-9]\\s?\\:)"
+    }
+  ],
+  "scopeName": "source.j"
+}