Diffstat (limited to 'share/tinykate/syntax/sml.xml') (more/less context) (ignore whitespace changes)
-rw-r--r-- | share/tinykate/syntax/sml.xml | 100 |
1 files changed, 100 insertions, 0 deletions
diff --git a/share/tinykate/syntax/sml.xml b/share/tinykate/syntax/sml.xml new file mode 100644 index 0000000..0d882fd --- a/dev/null +++ b/share/tinykate/syntax/sml.xml | |||
@@ -0,0 +1,100 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | ||
2 | <!DOCTYPE language SYSTEM "language.dtd"> | ||
3 | <language name="SML" version="1.00" kateversion="2.0" section="Scripts" extensions="*.sml" mimetype=""> | ||
4 | <highlighting> | ||
5 | <list name="keywords"> | ||
6 | <item> abstype </item> | ||
7 | <item> and </item> | ||
8 | <item> andalso </item> | ||
9 | <item> as </item> | ||
10 | <item> case </item> | ||
11 | <item> do </item> | ||
12 | <item> datatype </item> | ||
13 | <item> else </item> | ||
14 | <item> end </item> | ||
15 | <item> eqtype </item> | ||
16 | <item> exception </item> | ||
17 | <item> fn </item> | ||
18 | <item> fun </item> | ||
19 | <item> functor </item> | ||
20 | <item> handle </item> | ||
21 | <item> if </item> | ||
22 | <item> in </item> | ||
23 | <item> include </item> | ||
24 | <item> infix </item> | ||
25 | <item> infixr </item> | ||
26 | <item> let </item> | ||
27 | <item> local </item> | ||
28 | <item> nonfix </item> | ||
29 | <item> of </item> | ||
30 | <item> op </item> | ||
31 | <item> open </item> | ||
32 | <item> orelse </item> | ||
33 | <item> raise </item> | ||
34 | <item> rec </item> | ||
35 | <item> sharing </item> | ||
36 | <item> sig </item> | ||
37 | <item> signature </item> | ||
38 | <item> struct </item> | ||
39 | <item> structure </item> | ||
40 | <item> then </item> | ||
41 | <item> type </item> | ||
42 | <item> val </item> | ||
43 | <item> where </item> | ||
44 | <item> with </item> | ||
45 | <item> withtype </item> | ||
46 | <item> while </item> | ||
47 | </list> | ||
48 | <list name="types"> | ||
49 | <item> unit </item> | ||
50 | <item> int </item> | ||
51 | <item> real </item> | ||
52 | <item> char </item> | ||
53 | <item> string </item> | ||
54 | <item> substring </item> | ||
55 | <item> word </item> | ||
56 | <item> ref </item> | ||
57 | <item> array </item> | ||
58 | <item> vector </item> | ||
59 | <item> bool </item> | ||
60 | <item> list </item> | ||
61 | <item> option </item> | ||
62 | <item> order </item> | ||
63 | </list> | ||
64 | <contexts> | ||
65 | <context attribute="0" lineEndContext="#stay" name="Normal"> | ||
66 | <Detect2Chars attribute="6" context="1" char="(" char1="*" /> | ||
67 | <DetectChar attribute="5" context="2" char=""" /> | ||
68 | <keyword attribute="1" context="#stay" String="keywords" /> | ||
69 | <keyword attribute="2" context="#stay" String="types" /> | ||
70 | <Float attribute="4" context="#stay"> | ||
71 | <AnyChar String="fF" attribute="4" context="#stay"/> | ||
72 | </Float> | ||
73 | <HlCHex attribute="3" context="#stay"/> | ||
74 | <Int attribute="3" context="#stay" /> | ||
75 | </context> | ||
76 | <context attribute="6" lineEndContext="#stay" name="Multiline/Inline Comment"> | ||
77 | <Detect2Chars attribute="6" context="#pop" char="*" char1=")" /> | ||
78 | </context> | ||
79 | <context attribute="5" lineEndContext="#stay" name="String"> | ||
80 | <DetectChar attribute="5" context="#pop" char=""" /> | ||
81 | </context> | ||
82 | </contexts> | ||
83 | <itemDatas> | ||
84 | <itemData name="Normal Text" defStyleNum="dsNormal"/> | ||
85 | <itemData name="Keyword" defStyleNum="dsKeyword"/> | ||
86 | <itemData name="Data Type" defStyleNum="dsDataType"/> | ||
87 | <itemData name="Decimal" defStyleNum="dsDecVal"/> | ||
88 | <itemData name="Float" defStyleNum="dsFloat"/> | ||
89 | <itemData name="String" defStyleNum="dsString"/> | ||
90 | <itemData name="Comment" defStyleNum="dsComment" /> | ||
91 | <itemData name="Notice" defStyleNum="dsString" /> | ||
92 | </itemDatas> | ||
93 | </highlighting> | ||
94 | <general> | ||
95 | <keywords casesensitive="1" /> | ||
96 | <comments> | ||
97 | <comment name="multiLine" start="(*" end="*)" /> | ||
98 | </comments> | ||
99 | </general> | ||
100 | </language> | ||