Mercurial > yakumo_izuru > aya
comparison vendor/github.com/alecthomas/chroma/v2/lexers/embedded/coq.xml @ 66:787b5ee0289d draft
Use vendored modules
Signed-off-by: Izuru Yakumo <yakumo.izuru@chaotic.ninja>
| author | yakumo.izuru |
|---|---|
| date | Sun, 23 Jul 2023 13:18:53 +0000 |
| parents | |
| children |
comparison
equal
deleted
inserted
replaced
| 65:6d985efa0f7a | 66:787b5ee0289d |
|---|---|
| 1 <lexer> | |
| 2 <config> | |
| 3 <name>Coq</name> | |
| 4 <alias>coq</alias> | |
| 5 <filename>*.v</filename> | |
| 6 <mime_type>text/x-coq</mime_type> | |
| 7 </config> | |
| 8 <rules> | |
| 9 <state name="string"> | |
| 10 <rule pattern="[^"]+"> | |
| 11 <token type="LiteralStringDouble"/> | |
| 12 </rule> | |
| 13 <rule pattern=""""> | |
| 14 <token type="LiteralStringDouble"/> | |
| 15 </rule> | |
| 16 <rule pattern="""> | |
| 17 <token type="LiteralStringDouble"/> | |
| 18 <pop depth="1"/> | |
| 19 </rule> | |
| 20 </state> | |
| 21 <state name="dotted"> | |
| 22 <rule pattern="\s+"> | |
| 23 <token type="Text"/> | |
| 24 </rule> | |
| 25 <rule pattern="\."> | |
| 26 <token type="Punctuation"/> | |
| 27 </rule> | |
| 28 <rule pattern="[A-Z][\w\']*(?=\s*\.)"> | |
| 29 <token type="NameNamespace"/> | |
| 30 </rule> | |
| 31 <rule pattern="[A-Z][\w\']*"> | |
| 32 <token type="NameClass"/> | |
| 33 <pop depth="1"/> | |
| 34 </rule> | |
| 35 <rule pattern="[a-z][a-z0-9_\']*"> | |
| 36 <token type="Name"/> | |
| 37 <pop depth="1"/> | |
| 38 </rule> | |
| 39 <rule> | |
| 40 <pop depth="1"/> | |
| 41 </rule> | |
| 42 </state> | |
| 43 <state name="root"> | |
| 44 <rule pattern="\s+"> | |
| 45 <token type="Text"/> | |
| 46 </rule> | |
| 47 <rule pattern="false|true|\(\)|\[\]"> | |
| 48 <token type="NameBuiltinPseudo"/> | |
| 49 </rule> | |
| 50 <rule pattern="\(\*"> | |
| 51 <token type="Comment"/> | |
| 52 <push state="comment"/> | |
| 53 </rule> | |
| 54 <rule pattern="\b(Projections|Monomorphic|Polymorphic|Proposition|CoInductive|Hypothesis|CoFixpoint|Contextual|Definition|Parameters|Hypotheses|Structure|Inductive|Corollary|Implicits|Parameter|Variables|Arguments|Canonical|Printing|Coercion|Reserved|Universe|Notation|Instance|Fixpoint|Variable|Morphism|Relation|Existing|Implicit|Example|Theorem|Delimit|Defined|Rewrite|outside|Require|Resolve|Section|Context|Prenex|Strict|Module|Import|Export|Global|inside|Remark|Tactic|Search|Record|Scope|Unset|Check|Local|Close|Class|Graph|Proof|Lemma|Print|Axiom|Show|Goal|Open|Fact|Hint|Bind|Ltac|Save|View|Let|Set|All|End|Qed)\b"> | |
| 55 <token type="KeywordNamespace"/> | |
| 56 </rule> | |
| 57 <rule pattern="\b(exists2|nosimpl|struct|exists|return|forall|match|cofix|then|with|else|for|fix|let|fun|end|is|of|if|in|as)\b"> | |
| 58 <token type="Keyword"/> | |
| 59 </rule> | |
| 60 <rule pattern="\b(Type|Prop)\b"> | |
| 61 <token type="KeywordType"/> | |
| 62 </rule> | |
| 63 <rule pattern="\b(native_compute|setoid_rewrite|etransitivity|econstructor|transitivity|autorewrite|constructor|cutrewrite|vm_compute|bool_congr|generalize|inversion|induction|injection|nat_congr|intuition|destruct|suffices|erewrite|symmetry|nat_norm|replace|rewrite|compute|pattern|trivial|without|assert|unfold|change|eapply|intros|unlock|revert|rename|refine|eauto|tauto|after|right|congr|split|field|simpl|intro|clear|apply|using|subst|case|left|suff|loss|wlog|have|fold|ring|move|lazy|elim|pose|auto|red|cbv|hnf|cut|set)\b"> | |
| 64 <token type="Keyword"/> | |
| 65 </rule> | |
| 66 <rule pattern="\b(contradiction|discriminate|reflexivity|assumption|congruence|romega|omega|exact|solve|tauto|done|by)\b"> | |
| 67 <token type="KeywordPseudo"/> | |
| 68 </rule> | |
| 69 <rule pattern="\b(repeat|first|idtac|last|try|do)\b"> | |
| 70 <token type="KeywordReserved"/> | |
| 71 </rule> | |
| 72 <rule pattern="\b([A-Z][\w\']*)"> | |
| 73 <token type="Name"/> | |
| 74 </rule> | |
| 75 <rule pattern="(λ|Π|\|\}|\{\||\\/|/\\|=>|~|\}|\|]|\||\{<|\{|`|_|]|\[\||\[>|\[<|\[|\?\?|\?|>\}|>]|>|=|<->|<-|<|;;|;|:>|:=|::|:|\.\.|\.|->|-\.|-|,|\+|\*|\)|\(|&&|&|#|!=)"> | |
| 76 <token type="Operator"/> | |
| 77 </rule> | |
| 78 <rule pattern="([=<>@^|&+\*/$%-]|[!?~])?[!$%&*+\./:<=>?@^|~-]"> | |
| 79 <token type="Operator"/> | |
| 80 </rule> | |
| 81 <rule pattern="\b(unit|nat|bool|string|ascii|list)\b"> | |
| 82 <token type="KeywordType"/> | |
| 83 </rule> | |
| 84 <rule pattern="[^\W\d][\w']*"> | |
| 85 <token type="Name"/> | |
| 86 </rule> | |
| 87 <rule pattern="\d[\d_]*"> | |
| 88 <token type="LiteralNumberInteger"/> | |
| 89 </rule> | |
| 90 <rule pattern="0[xX][\da-fA-F][\da-fA-F_]*"> | |
| 91 <token type="LiteralNumberHex"/> | |
| 92 </rule> | |
| 93 <rule pattern="0[oO][0-7][0-7_]*"> | |
| 94 <token type="LiteralNumberOct"/> | |
| 95 </rule> | |
| 96 <rule pattern="0[bB][01][01_]*"> | |
| 97 <token type="LiteralNumberBin"/> | |
| 98 </rule> | |
| 99 <rule pattern="-?\d[\d_]*(.[\d_]*)?([eE][+\-]?\d[\d_]*)"> | |
| 100 <token type="LiteralNumberFloat"/> | |
| 101 </rule> | |
| 102 <rule pattern="'(?:(\\[\\\"'ntbr ])|(\\[0-9]{3})|(\\x[0-9a-fA-F]{2}))'"> | |
| 103 <token type="LiteralStringChar"/> | |
| 104 </rule> | |
| 105 <rule pattern="'.'"> | |
| 106 <token type="LiteralStringChar"/> | |
| 107 </rule> | |
| 108 <rule pattern="'"> | |
| 109 <token type="Keyword"/> | |
| 110 </rule> | |
| 111 <rule pattern="""> | |
| 112 <token type="LiteralStringDouble"/> | |
| 113 <push state="string"/> | |
| 114 </rule> | |
| 115 <rule pattern="[~?][a-z][\w\']*:"> | |
| 116 <token type="Name"/> | |
| 117 </rule> | |
| 118 </state> | |
| 119 <state name="comment"> | |
| 120 <rule pattern="[^(*)]+"> | |
| 121 <token type="Comment"/> | |
| 122 </rule> | |
| 123 <rule pattern="\(\*"> | |
| 124 <token type="Comment"/> | |
| 125 <push/> | |
| 126 </rule> | |
| 127 <rule pattern="\*\)"> | |
| 128 <token type="Comment"/> | |
| 129 <pop depth="1"/> | |
| 130 </rule> | |
| 131 <rule pattern="[(*)]"> | |
| 132 <token type="Comment"/> | |
| 133 </rule> | |
| 134 </state> | |
| 135 </rules> | |
| 136 </lexer> |