diff options
Diffstat (limited to 'kate/data/literate-curry.xml')
| -rw-r--r-- | kate/data/literate-curry.xml | 50 |
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 (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=">" column="0"/> + <DetectChar attribute="BirdTrack" context="Code" char="<" column="0"/> + <!-- \begin{code} and \begin{spec} --> + <StringDetect attribute="Text" context="normals" String="\begin{code}"/> + <StringDetect attribute="Text" context="normals" String="\begin{spec}"/> + </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="\end{code}"/> + <StringDetect attribute="Normal" context="#pop" String="\end{spec}"/> + <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=">" column="0"/> + <DetectChar attribute="BirdTrack" context="restart" char="<" 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> |