44 lines
2.2 KiB
XML
44 lines
2.2 KiB
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<!DOCTYPE language>
|
|
<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">
|
|
<highlighting>
|
|
<contexts>
|
|
<context attribute="Text" lineEndContext="#stay" name="text">
|
|
<AnyChar attribute="BirdTrack" context="normal" String="><" column="0"/>
|
|
<StringDetect attribute="Text" context="normals" String="\begin{code}"/>
|
|
<StringDetect attribute="Text" context="normals" String="\begin{spec}"/>
|
|
</context>
|
|
<context attribute="Text" lineEndContext="#pop" name="normal">
|
|
<RegExpr attribute="Comment" context="comments'" String="\{-[^#]" beginRegion="Comment" />
|
|
<IncludeRules context="##Haskell" />
|
|
</context>
|
|
<context attribute="Text" lineEndContext="#stay" name="normals">
|
|
<StringDetect attribute="Text" context="#pop" String="\end{code}"/>
|
|
<StringDetect attribute="Text" context="#pop" String="\end{spec}"/>
|
|
<IncludeRules context="##Haskell" />
|
|
</context>
|
|
<context attribute="Comment" lineEndContext="uncomments" name="comments'" >
|
|
<Detect2Chars attribute="Comment" context="#pop" char="-" char1="}" endRegion="Comment" />
|
|
<DetectSpaces />
|
|
<IncludeRules context="##Comments" />
|
|
</context>
|
|
<context attribute="Text" lineEndContext="#stay" name="uncomments">
|
|
<AnyChar attribute="BirdTrack" context="recomments" String="><" 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>
|
|
<general>
|
|
<comments>
|
|
<comment name="multiLine" start="{-" end="-}" region="Comment"/>
|
|
</comments>
|
|
</general>
|
|
</language>
|