leksah-0.16.2.2: language-specs/haskell.lang
<?xml version="1.0" encoding="UTF-8"?>
<!--
Authors: Duncan Coutts, Anders Carlsson
Copyright (C) 2004, 2007 Duncan Coutts <duncan@haskell.org>
Copyright (C) 2004 Anders Carlsson <andersca@gnome.org>
This library is free software; you can redistribute it and/or
modify it under the terms of the GNU Library General Public
License as published by the Free Software Foundation; either
version 2 of the License, or (at your option) any later version.
This library is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
Library General Public License for more details.
You should have received a copy of the GNU Library General Public
License along with this library; if not, write to the
Free Software Foundation, Inc., 59 Temple Place - Suite 330,
Boston, MA 02111-1307, USA.
-->
<language id="haskell" _name="Haskell" version="2.0" _section="Sources">
<metadata>
<property name="mimetypes">text/x-haskell</property>
<property name="globs">*.hs</property>
</metadata>
<styles>
<style id="preprocessor" _name="Preprocessor" map-to="def:preprocessor"/>
<style id="comment" _name="Comment" map-to="def:comment"/>
<style id="variable" _name="Variable" />
<style id="symbol" _name="Symbol" />
<style id="keyword" _name="Keyword" map-to="def:keyword"/>
<style id="type" _name="Data Type" map-to="def:type"/>
<style id="string" _name="String" map-to="def:string"/>
<style id="character" _name="Character" map-to="def:character"/>
<style id="char-escape" _name="Escaped Character" map-to="def:special-char"/>
<style id="float" _name="Float" map-to="def:floating-point"/>
<style id="decimal" _name="Decimal" map-to="def:decimal"/>
<style id="octal" _name="Octal" map-to="def:base-n-integer"/>
<style id="hexadecimal" _name="Hex" map-to="def:base-n-integer"/>
</styles>
<definitions>
<!-- Spec: http://haskell.org/onlinereport/lexemes.html -->
<define-regex id="symbolchar">[!#$%&*+./>=<?@:\\^|~-]</define-regex>
<context id="line-comment" style-ref="comment" end-at-line-end="true" class="comment" class-disabled="no-spell-check">
<start>(?<!\%{symbolchar})--+(?!\%{symbolchar})</start>
<include>
<context ref="def:in-comment"/>
<context ref="haddock:line-paragraph"/>
<context ref="haddock:directive"/>
</include>
</context>
<context id="block-comment" style-ref="comment" class="comment" class-disabled="no-spell-check">
<start>\{-</start>
<end>-\}</end>
<include>
<context ref="def:in-comment"/>
<context ref="haddock:block-paragraph"/>
<context ref="haddock:directive"/>
<context ref="block-comment"/>
</include>
</context>
<context id="pragma" style-ref="preprocessor">
<start>\{-#</start>
<end>#-\}</end>
</context>
<context id="haskell" class="no-spell-check">
<include>
<context ref="def:shebang"/>
<context ref="c:if0-comment"/>
<context ref="c:include"/>
<context ref="c:preprocessor"/>
<context ref="body"/>
</include>
</context>
<context id="hamlet">
<start>\[\$?(s|i|w|)hamlet\|</start>
<end>\|\]</end>
<include>
<context sub-pattern="0" where="start" style-ref="preprocessor"/>
<context sub-pattern="0" where="end" style-ref="preprocessor"/>
<context ref="hamlet:hamlet"/>
</include>
</context>
<context id="cassius">
<start>\[\$?cassius\|</start>
<end>\|\]</end>
<include>
<context sub-pattern="0" where="start" style-ref="preprocessor"/>
<context sub-pattern="0" where="end" style-ref="preprocessor"/>
<context ref="cassius:cassius"/>
</include>
</context>
<context id="lucius">
<start>\[\$?lucius\|</start>
<end>\|\]</end>
<include>
<context sub-pattern="0" where="start" style-ref="preprocessor"/>
<context sub-pattern="0" where="end" style-ref="preprocessor"/>
<context ref="lucius:lucius"/>
</include>
</context>
<context id="julius">
<start>\[\$?julius\|</start>
<end>\|\]</end>
<include>
<context sub-pattern="0" where="start" style-ref="preprocessor"/>
<context sub-pattern="0" where="end" style-ref="preprocessor"/>
<context ref="julius:julius"/>
</include>
</context>
<context id="jmacro">
<start>\[\$?jmacro\|</start>
<end>\|\]</end>
<include>
<context sub-pattern="0" where="start" style-ref="preprocessor"/>
<context sub-pattern="0" where="end" style-ref="preprocessor"/>
<context ref="jmacro:jmacro"/>
</include>
</context>
<context id="jmacroE">
<start>\[\$?jmacroE\|</start>
<end>\|\]</end>
<include>
<context sub-pattern="0" where="start" style-ref="preprocessor"/>
<context sub-pattern="0" where="end" style-ref="preprocessor"/>
<context ref="jmacro:jmacro"/>
</include>
</context>
<context id="evalJM">
<start>\[\$?evalJM\|</start>
<end>\|\]</end>
<include>
<context sub-pattern="0" where="start" style-ref="preprocessor"/>
<context sub-pattern="0" where="end" style-ref="preprocessor"/>
<context ref="jmacro:jmacro"/>
</include>
</context>
<context id="evalJME">
<start>\[\$?evalJME\|</start>
<end>\|\]</end>
<include>
<context sub-pattern="0" where="start" style-ref="preprocessor"/>
<context sub-pattern="0" where="end" style-ref="preprocessor"/>
<context ref="jmacro:jmacro"/>
</include>
</context>
<context id="j">
<start>\[\$?j\|</start>
<end>\|\]</end>
<include>
<context sub-pattern="0" where="start" style-ref="preprocessor"/>
<context sub-pattern="0" where="end" style-ref="preprocessor"/>
<context ref="jmacro:j"/>
</include>
</context>
<context id="je">
<start>\[\$?je\|</start>
<end>\|\]</end>
<include>
<context sub-pattern="0" where="start" style-ref="preprocessor"/>
<context sub-pattern="0" where="end" style-ref="preprocessor"/>
<context ref="jmacro:j"/>
</include>
</context>
<context id="variable" style-ref="variable">
<match>\b[a-z_][0-9a-zA-Z_'#]*</match>
</context>
<context id="type-or-constructor" style-ref="type">
<match>\b[A-Z][0-9a-zA-Z_'#]*</match>
</context>
<!-- Must not extend parent context, or we end up matching
"\end{code}" as part of the Haskell context, but when in
literate haskell mode it should be terminating a code block. -->
<context id="symbol" style-ref="symbol" extend-parent="false">
<match>\%{symbolchar}+</match>
</context>
<context id="keysymbol" style-ref="keyword">
<prefix>(?<!\%{symbolchar})</prefix>
<suffix>(?!\%{symbolchar})</suffix>
<keyword>\.\.</keyword>
<keyword>::</keyword>
<keyword>=</keyword>
<keyword>\|</keyword>
<keyword>\</keyword>
<keyword>@</keyword>
<keyword>~</keyword>
<keyword>=></keyword>
<keyword>-></keyword>
<keyword><-</keyword>
<keyword>\\</keyword>
</context>
<define-regex id="escaped-character" extended="true">
\\( # leading backslash
[abfnrtv\\"\'&] | # escaped character
[0-9]+ | # decimal digits
o[0-7]+ | # 'o' followed by octal digits
x[0-9A-Fa-f]+ | # 'x' followed by hex digits
\^[A-Z@\[\\\]^_] | # control character codes
NUL | SOH | STX | ETX | EOT | ENQ | ACK |
BEL | BS | HT | LF | VT | FF | CR | SO |
SI | DLE | DC1 | DC2 | DC3 | DC4 | NAK |
SYN | ETB | CAN | EM | SUB | ESC | FS | GS |
RS | US | SP | DEL # control char names
)
</define-regex>
<context id="string" style-ref="string" end-at-line-end="true" class="string" class-disabled="no-spell-check">
<start>"</start>
<end>"</end>
<include>
<context ref="def:line-continue"/>
<context style-ref="char-escape">
<match>\%{escaped-character}</match>
</context>
</include>
</context>
<context id="char" style-ref="character">
<match extended="true">'\%{escaped-character}'|'.'</match>
</context>
<context id="float" style-ref="float">
<match extended="true">
[0-9]+ \. [0-9]+ ([eE][+-]?[0-9]+)?
| [0-9]+ [eE][+-]?[0-9]+
</match>
</context>
<context id="hexadecimal" style-ref="hexadecimal">
<match>0[xX][0-9a-fA-F]+</match>
</context>
<context id="octal" style-ref="octal">
<match>0[oO][0-7]+</match>
</context>
<context id="decimal" style-ref="decimal">
<match>[0-9]+</match>
</context>
<context id="keyword" style-ref="keyword">
<keyword>case</keyword>
<keyword>class</keyword>
<keyword>data</keyword>
<keyword>default</keyword>
<keyword>deriving</keyword>
<keyword>do</keyword>
<keyword>mdo</keyword>
<keyword>else</keyword>
<keyword>forall</keyword>
<keyword>foreign</keyword>
<keyword>hiding</keyword>
<keyword>if</keyword>
<keyword>import</keyword>
<keyword>in</keyword>
<keyword>infix</keyword>
<keyword>infixl</keyword>
<keyword>infixr</keyword>
<keyword>instance</keyword>
<keyword>let</keyword>
<keyword>module</keyword>
<keyword>newtype</keyword>
<keyword>of</keyword>
<keyword>qualified</keyword>
<keyword>then</keyword>
<keyword>where</keyword>
<keyword>type</keyword>
</context>
<context id="body">
<include>
<context ref="line-comment"/>
<context ref="pragma"/>
<context ref="block-comment"/>
<context ref="keyword"/>
<context ref="variable"/>
<context ref="type-or-constructor"/>
<context ref="keysymbol"/>
<context ref="symbol"/>
<context ref="string"/>
<context ref="char"/>
<context ref="float"/>
<context ref="hexadecimal"/>
<context ref="octal"/>
<context ref="decimal"/>
<context ref="hamlet"/>
<context ref="cassius"/>
<context ref="lucius"/>
<context ref="julius"/>
<context ref="jmacro"/>
<context ref="jmacroE"/>
<context ref="evalJM"/>
<context ref="evalJME"/>
<context ref="j"/>
<context ref="je"/>
</include>
</context>
</definitions>
</language>