data/syntax/agda.xml

0001 <?xml version="1.0" encoding="UTF-8"?>
0002 <!DOCTYPE language[
0003   <!ENTITY charsdelim "_;.&#34;(){}@">
0004   <!ENTITY wordsep "(?=[&charsdelim;]|\s|$)">
0005 ]>
0006 <language name="Agda" version="9" kateversion="5.0" section="Sources" extensions="*.agda" mimetype="text/x-agda" author="Matthias C. M. Troffaes" license="LGPL">
0007   <highlighting>
0008     <list name="reserved keywords">
0009       <item>abstract</item>
0010       <item>codata</item>
0011       <item>coinductive</item>
0012       <item>constructor</item>
0013       <item>data</item>
0014       <item>do</item>
0015       <item>eta-equality</item>
0016       <item>field</item>
0017       <item>forall</item>
0018       <item>hiding</item>
0019       <item>import</item>
0020       <item>in</item>
0021       <item>inductive</item>
0022       <item>infix</item>
0023       <item>infixl</item>
0024       <item>infixr</item>
0025       <item>instance</item>
0026       <item>interleaved</item>
0027       <item>let</item>
0028       <item>macro</item>
0029       <item>module</item>
0030       <item>mutual</item>
0031       <item>no-eta-equality</item>
0032       <item>open</item>
0033       <item>overlap</item>
0034       <item>pattern</item>
0035       <item>postulate</item>
0036       <item>primitive</item>
0037       <item>private</item>
0038       <item>public</item>
0039       <item>quote</item>
0040       <item>quoteTerm</item>
0041       <item>record</item>
0042       <item>renaming</item>
0043       <item>rewrite</item>
0044       <item>syntax</item>
0045       <item>tactic</item>
0046       <item>to</item>
0047       <item>unquote</item>
0048       <item>unquoteDecl</item>
0049       <item>unquoteDef</item>
0050       <item>using</item>
0051       <item>variable</item>
0052       <item>where</item>
0053       <item>with</item>
0054     </list>
0055     <contexts>
0056       <context attribute="Normal" lineEndContext="#stay" name="code">
0057         <RegExpr attribute="Pragma"  context="#stay" String="\{-#.*#-\}" />
0058         <keyword attribute="Keyword" context="#stay" String="reserved keywords" />
0059         <RegExpr attribute="Type"    context="#stay" String="(?:Prop[₀-₉]+|Prop[0-9]*|Set[₀-₉]+|Set[0-9]*)&wordsep;" />
0060         <RegExpr attribute="Special" context="#stay" String="(?:\-&gt;|→|∀|λ|:|=|\|)&wordsep;" />
0061         <RegExpr attribute="Float"   context="#stay" String="\d+(?:(?:\.\d+)?[eE][+-]?\d+|\.\d+)&wordsep;" />
0062         <RegExpr attribute="Decimal" context="#stay" String="[0-9]+&wordsep;" />
0063         <DetectChar attribute="Char"   context="char"   char="'" />
0064         <DetectChar attribute="String" context="string" char="&quot;" />
0065         <Detect2Chars attribute="Comment" context="comment"  char="-"  char1="-" />
0066         <Detect2Chars attribute="Comment" context="comments" char="{" char1="-" beginRegion="CommentBlock" />
0067         <Detect2Chars attribute="Hole"    context="hole"     char="{" char1="!" />
0068         <!-- delimiters which cannot be part of an identifier, or
0069              backslash which starts a lambda expression -->
0070         <AnyChar      attribute="Special" context="#stay" String="&charsdelim;\\" />
0071         <!-- any other identifier (can contain backslash and single
0072              quote anywhere except at start, but these two special
0073              cases are already taken care off above) -->
0074         <RegExpr attribute="Normal" context="#stay" String="[^&charsdelim;\s]+" />
0075       </context>
0076       <context attribute="Comment" lineEndContext="#pop" name="comment">
0077         <IncludeRules context="##Comments" />
0078       </context>
0079       <context attribute="Comment" lineEndContext="#stay" name="comments" noIndentationBasedFolding="1">
0080         <Detect2Chars attribute="Comment" context="comments" char="{" char1="-" beginRegion="CommentBlock" /> <!-- for nested comments -->
0081         <Detect2Chars attribute="Comment" context="#pop" char="-" char1="}" endRegion="CommentBlock" />
0082         <IncludeRules context="##Comments" />
0083       </context>
0084       <context attribute="Hole" lineEndContext="#stay" name="hole">
0085         <Detect2Chars attribute="Hole" context="#pop" char="!" char1="}" />
0086       </context>
0087       <context attribute="Char" lineEndContext="#pop" name="char">
0088         <Detect2Chars attribute="Char" context="#stay" char="\" char1="'" />
0089         <DetectChar   attribute="Char" context="#pop"  char="'" />
0090       </context>
0091       <context attribute="String" lineEndContext="#stay" name="string">
0092         <Detect2Chars attribute="String" context="#stay" char="\" char1="&quot;" />
0093         <DetectChar   attribute="String" context="#pop"  char="&quot;" />
0094       </context>
0095     </contexts>
0096     <itemDatas>
0097       <itemData name="Normal"   defStyleNum="dsNormal"   spellChecking="false" />
0098       <itemData name="Comment"  defStyleNum="dsComment" />
0099       <itemData name="Pragma"   defStyleNum="dsPreprocessor" spellChecking="false" />
0100       <itemData name="Hole"     defStyleNum="dsOthers"   spellChecking="false" />
0101       <itemData name="Keyword"  defStyleNum="dsKeyword"  spellChecking="false" />
0102       <itemData name="Type"     defStyleNum="dsDataType" spellChecking="false" />
0103       <itemData name="Special"  defStyleNum="dsOthers"   spellChecking="false" />
0104       <itemData name="Decimal"  defStyleNum="dsDecVal"   spellChecking="false" />
0105       <itemData name="Float"    defStyleNum="dsFloat"    spellChecking="false" />
0106       <itemData name="Char"     defStyleNum="dsChar"     spellChecking="false" />
0107       <itemData name="String"   defStyleNum="dsString" />
0108     </itemDatas>
0109   </highlighting>
0110   <general>
0111     <folding indentationsensitive="1"/>
0112     <comments>
0113       <comment name="singleLine" start="--" position="afterwhitespace" />
0114       <comment name="multiLine" start="{-" end="-}" region="CommentBlock" />
0115     </comments>
0116     <keywords casesensitive="1"
0117               weakDeliminator=":!+,-&lt;=&gt;%&amp;*/?[]^|~\\"
0118               additionalDeliminator="&charsdelim;" />
0119   </general>
0120 </language>
0121 <!-- kate: replace-tabs on; tab-width 2; indent-width 2; -->