data/syntax/literate-haskell.xml

0001 <?xml version="1.0" encoding="UTF-8"?>
0002 <!DOCTYPE language>
0003 <language name="Literate Haskell" version="9" kateversion="5.53" section="Sources" extensions="*.lhs" mimetype="text/x-literate-haskell" author="Nicolas Wu (zenzike@gmail.com)" license="LGPL">
0004   <highlighting>
0005   <contexts>
0006     <context attribute="Text" lineEndContext="#stay" name="text">
0007       <AnyChar attribute="BirdTrack" context="normal" String="&gt;&lt;" column="0"/>
0008       <StringDetect attribute="Text" context="normals" String="&#92;begin&#123;code&#125;"/>
0009       <StringDetect attribute="Text" context="normals" String="&#92;begin&#123;spec&#125;"/>
0010     </context>
0011     <context attribute="Text" lineEndContext="#pop" name="normal">
0012       <RegExpr attribute="Comment" context="comments'" String="\{-[^#]" beginRegion="Comment" />
0013       <IncludeRules context="##Haskell" />
0014     </context>
0015     <context attribute="Text" lineEndContext="#stay" name="normals">
0016       <StringDetect attribute="Text" context="#pop" String="&#92;end&#123;code&#125;"/>
0017       <StringDetect attribute="Text" context="#pop" String="&#92;end&#123;spec&#125;"/>
0018       <IncludeRules context="##Haskell" />
0019     </context>
0020     <context attribute="Comment" lineEndContext="uncomments" name="comments'" >
0021       <Detect2Chars attribute="Comment" context="#pop" char="-" char1="}" endRegion="Comment" />
0022       <DetectSpaces />
0023       <IncludeRules context="##Comments" />
0024     </context>
0025     <context attribute="Text" lineEndContext="#stay" name="uncomments">
0026       <AnyChar attribute="BirdTrack" context="recomments" String="&gt;&lt;" column="0"/>
0027     </context>
0028     <context attribute="Comment" lineEndContext="#pop" name="recomments">
0029       <Detect2Chars attribute="Comment" context="#pop#pop#pop" char="-" char1="}" />
0030     </context>
0031   </contexts>
0032   <itemDatas>
0033     <itemData name="Text"             defStyleNum="dsNormal" spellChecking="true" />
0034     <itemData name="BirdTrack"        defStyleNum="dsOthers"  spellChecking="false" />
0035     <itemData name="Comment"          defStyleNum="dsComment" />
0036   </itemDatas>
0037   </highlighting>
0038   <general>
0039     <comments>
0040       <comment name="multiLine" start="{-" end="-}" region="Comment"/>
0041     </comments>
0042   </general>
0043 </language>