data/syntax/literate-curry.xml

0001 <?xml version="1.0" encoding="UTF-8"?>
0002 <!DOCTYPE language>
0003 <language name="Literate Curry" version="6" kateversion="5.0"
0004           section="Sources" extensions="*.lcurry" mimetype="text/x-curry"
0005           author="Björn Peemöller (bjp@informatik.uni-kiel.de)" license="LGPL"
0006           indenter="haskell">
0007   <highlighting>
0008   <contexts>
0009
0010     <context attribute="Text" lineEndContext="#stay" name="Text">
0011       <!-- Bird Tracks -->
0012       <AnyChar attribute="BirdTrack" context="Code" String="&gt;&lt;" column="0"/>
0013       <!-- \begin{code} and \begin{spec} -->
0014       <StringDetect attribute="Text" context="normals" String="&#92;begin&#123;code&#125;"/>
0015       <StringDetect attribute="Text" context="normals" String="&#92;begin&#123;spec&#125;"/>
0016     </context>
0017
0018     <context attribute="Text" lineEndContext="#pop" name="Code">
0019       <RegExpr attribute="Comment" context="multiline" String="\{-[^#]" beginRegion="Comment" />
0020       <IncludeRules context="##Curry" />
0021     </context>
0022
0023     <context attribute="Text" lineEndContext="#stay" name="normals">
0024       <StringDetect attribute="Text" context="#pop" String="&#92;end&#123;code&#125;"/>
0025       <StringDetect attribute="Text" context="#pop" String="&#92;end&#123;spec&#125;"/>
0026       <IncludeRules context="##Curry" />
0027     </context>
0028
0029     <!-- Handle comments in presence of bird tracks -->
0030     <context attribute="Comment" lineEndContext="lineend" name="multiline" >
0031       <Detect2Chars attribute="Comment" context="#pop" char="-" char1="}" endRegion="Comment" />
0032       <DetectSpaces />
0033       <IncludeRules context="##Comments" />
0034     </context>
0035
0036     <context attribute="Text" lineEndContext="#stay" name="lineend">
0037       <AnyChar attribute="BirdTrack" context="restart" String="&gt;&lt;" column="0"/>
0038     </context>
0039
0040     <context attribute="Comment" lineEndContext="#pop" name="restart">
0041       <Detect2Chars attribute="Comment" context="#pop#pop#pop" char="-" char1="}" />
0042     </context>
0043   </contexts>
0044   <itemDatas>
0045     <itemData name="Text"      defStyleNum="dsNormal"  spellChecking="true"  />
0046     <itemData name="BirdTrack" defStyleNum="dsOthers"  spellChecking="false" />
0047     <itemData name="Comment"   defStyleNum="dsComment" />
0048   </itemDatas>
0049   </highlighting>
0050   <general>
0051     <comments>
0052       <comment name="multiLine" start="{-" end="-}" region="Comment"/>
0053     </comments>
0054   </general>
0055 </language>