From bf4e405e03859bf383f55715944f4f71bd338c34 Mon Sep 17 00:00:00 2001
From: Michele Calgaro <michele.calgaro@yahoo.it>
Date: Thu, 9 Jan 2014 00:24:34 +0100
Subject: Update kate syntax highlight files

---
 kate/data/literate-curry.xml | 50 ++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 50 insertions(+)
 create mode 100644 kate/data/literate-curry.xml

(limited to 'kate/data/literate-curry.xml')

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 (bjp@informatik.uni-kiel.de)" 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>
-- 
cgit v1.2.1