Warning, /frameworks/syntax-highlighting/data/syntax/literate-curry.xml is written in an unsupported language. File is not indexed.
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="><" column="0"/> 0013 <!-- \begin{code} and \begin{spec} --> 0014 <StringDetect attribute="Text" context="normals" String="\begin{code}"/> 0015 <StringDetect attribute="Text" context="normals" String="\begin{spec}"/> 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="\end{code}"/> 0025 <StringDetect attribute="Text" context="#pop" String="\end{spec}"/> 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="><" 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>