You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
tdelibs/kate/data/literate-haskell.xml

39 lines
2.1 KiB

<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE language SYSTEM "language.dtd">
<language name="Literate Haskell" version="2.0.2-1" kateversion="2.3" section="Sources" extensions="*.lhs" mimetype="text/x-haskell" author="Nicolas Wu (zenzike@gmail.com)" license="LGPL" indenter="haskell">
<highlighting>
<contexts>
<context attribute="Text" lineEndContext="#stay" name="text">
<DetectChar attribute="BirdTrack" context="normal" char="&gt;" column="0"/>
<DetectChar attribute="BirdTrack" context="normal" char="&lt;" column="0"/>
<StringDetect attribute="Text" context="normals" String="&#92;begin&#123;code&#125;"/>
<StringDetect attribute="Text" context="normals" String="&#92;begin&#123;spec&#125;"/>
</context>
<context attribute="Normal" lineEndContext="#pop" name="normal">
<RegExpr attribute="Comment" context="comments'" String="\{-[^#]" />
<IncludeRules context="##Haskell" />
</context>
<context attribute="Normal" lineEndContext="#stay" name="normals">
<StringDetect attribute="Normal" context="#pop" String="&#92;end&#123;code&#125;"/>
<StringDetect attribute="Normal" context="#pop" String="&#92;end&#123;spec&#125;"/>
<IncludeRules context="##Haskell" />
</context>
<context attribute="Comment" lineEndContext="uncomments" name="comments'" >
<Detect2Chars attribute="Comment" context="#pop" char="-" char1="}" />
</context>
<context attribute="Text" lineEndContext="#stay" name="uncomments">
<DetectChar attribute="BirdTrack" context="recomments" char="&gt;" column="0"/>
<DetectChar attribute="BirdTrack" context="recomments" char="&lt;" column="0"/>
</context>
<context attribute="Comment" lineEndContext="#pop" name="recomments">
<Detect2Chars attribute="Comment" context="#pop#pop#pop" char="-" char1="}" />
</context>
</contexts>
<itemDatas>
<itemData name="Text" defStyleNum="dsNormal" spellChecking="true" />
<itemData name="BirdTrack" defStyleNum="dsOthers" spellChecking="false" />
<itemData name="Comment" defStyleNum="dsComment" />
</itemDatas>
</highlighting>
</language>