summaryrefslogtreecommitdiffstats
path: root/kate/data/literate-curry.xml
diff options
context:
space:
mode:
authorMichele Calgaro <[email protected]>2014-01-09 00:24:34 +0100
committerSlávek Banko <[email protected]>2014-01-09 00:24:34 +0100
commitbf4e405e03859bf383f55715944f4f71bd338c34 (patch)
tree293783d05c079b477b9ef396bbd851ca01714e2d /kate/data/literate-curry.xml
parentc5189a79b8621b38b53e3cec952d49630e16dd3a (diff)
downloadtdelibs-bf4e405e03859bf383f55715944f4f71bd338c34.tar.gz
tdelibs-bf4e405e03859bf383f55715944f4f71bd338c34.zip
Update kate syntax highlight files
Diffstat (limited to 'kate/data/literate-curry.xml')
-rw-r--r--kate/data/literate-curry.xml50
1 files changed, 50 insertions, 0 deletions
diff --git a/kate/data/literate-curry.xml b/kate/data/literate-curry.xml
new file mode 100644
index 000000000..2ea3ecd69
--- /dev/null
+++ b/kate/data/literate-curry.xml
@@ -0,0 +1,50 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE language SYSTEM "language.dtd">
+<language name="Literate Curry" version="0.3" kateversion="2.5"
+ section="Sources" extensions="*.lcurry" mimetype="text/x-curry"
+ author="Björn Peemöller ([email protected])" license="LGPL"
+ indenter="haskell">
+ <highlighting>
+ <contexts>
+
+ <context attribute="Text" lineEndContext="#stay" name="Text">
+ <!-- Bird Tracks -->
+ <DetectChar attribute="BirdTrack" context="Code" char="&gt;" column="0"/>
+ <DetectChar attribute="BirdTrack" context="Code" char="&lt;" column="0"/>
+ <!-- \begin{code} and \begin{spec} -->
+ <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="Code">
+ <RegExpr attribute="Comment" context="multiline" String="\{-[^#]" />
+ <IncludeRules context="##Curry" />
+ </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="##Curry" />
+ </context>
+
+ <!-- Handle comments in presence of bird tracks -->
+ <context attribute="Comment" lineEndContext="lineend" name="multiline" >
+ <Detect2Chars attribute="Comment" context="#pop" char="-" char1="}" />
+ </context>
+
+ <context attribute="Text" lineEndContext="#stay" name="lineend">
+ <DetectChar attribute="BirdTrack" context="restart" char="&gt;" column="0"/>
+ <DetectChar attribute="BirdTrack" context="restart" char="&lt;" column="0"/>
+ </context>
+
+ <context attribute="Comment" lineEndContext="#pop" name="restart">
+ <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>