blob: 52dcebe27a1440273596b8934ade2989bda7d1ad (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE language SYSTEM "language.dtd">
<language name="Literate Haskell" version="2.0.1" kateversion="2.3" section="Sources" extensions="*.lhs" mimetype="text/x-haskell" author="Nicolas Wu ([email protected])" license="LGPL" indenter="haskell">
<highlighting>
<contexts>
<context attribute="Text" lineEndContext="#stay" name="text">
<DetectChar attribute="BirdTrack" context="normal" char=">" column="0"/>
<DetectChar attribute="BirdTrack" context="normal" char="<" column="0"/>
<StringDetect attribute="Text" context="normals" String="\begin{code}"/>
<StringDetect attribute="Text" context="normals" String="\begin{spec}"/>
</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="\end{code}"/>
<StringDetect attribute="Normal" context="#pop" String="\end{spec}"/>
<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=">" column="0"/>
<DetectChar attribute="BirdTrack" context="recomments" char="<" 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>
|