author | wenzelm |
Wed, 22 Oct 2008 23:52:40 +0200 | |
changeset 34341 | 6df5642a2204 |
permissions | -rw-r--r-- |
34341
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
1 |
<?xml version="1.0"?> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
2 |
|
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
3 |
<!DOCTYPE MODE SYSTEM "xmode.dtd"> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
4 |
|
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
5 |
<!-- SML MODE 1.0 by Lucas Dixon, based on Ingmar Stein's ml mode --> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
6 |
<MODE> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
7 |
<PROPS> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
8 |
<PROPERTY NAME="commentStart" VALUE="(*"/> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
9 |
<PROPERTY NAME="commentEnd" VALUE="*)"/> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
10 |
<PROPERTY NAME="wordBreakChars" VALUE=",+-=<>/?^&*\\/(){}" /> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
11 |
<PROPERTY NAME="doubleBracketIndent" VALUE="false" /> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
12 |
<PROPERTY NAME="lineUpClosingBracket" VALUE="true" /> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
13 |
<!-- <PROPERTY NAME="unalignedOpenBrackets" VALUE="([{" /> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
14 |
<PROPERTY NAME="unalignedCloseBrackets" VALUE=")]}" /> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
15 |
<PROPERTY NAME="indentOpenBrackets" VALUE="([{" /> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
16 |
<PROPERTY NAME="indentCloseBrackets" VALUE=")]}" /> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
17 |
<PROPERTY NAME="indentNextLines" |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
18 |
VALUE="(^|.*\s+)(let|sig|struct|local)(\W+.*|)$" /> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
19 |
<PROPERTY NAME="unindentNextLines" |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
20 |
VALUE="(^|.*\s+)(end)(\W+.*|)$" /> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
21 |
<PROPERTY NAME="unindentThisLine" |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
22 |
VALUE="(^|\s+)(local|val|fun|end|in|open)(\W+.*|)$" /> --> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
23 |
</PROPS> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
24 |
|
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
25 |
<RULES IGNORE_CASE="FALSE" HIGHLIGHT_DIGITS="TRUE"> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
26 |
<!-- comments --> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
27 |
<SPAN TYPE="COMMENT1"> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
28 |
<BEGIN>(*</BEGIN> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
29 |
<END>*)</END> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
30 |
</SPAN> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
31 |
|
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
32 |
<!-- character literals --> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
33 |
<SPAN TYPE="LITERAL1" ESCAPE="\" NO_LINE_BREAK="TRUE"> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
34 |
<BEGIN>#"</BEGIN> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
35 |
<END>"</END> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
36 |
</SPAN> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
37 |
|
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
38 |
<!-- string literals --> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
39 |
<SPAN TYPE="LITERAL1" ESCAPE="\" NO_LINE_BREAK="TRUE"> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
40 |
<BEGIN>"</BEGIN> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
41 |
<END>"</END> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
42 |
</SPAN> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
43 |
|
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
44 |
<!-- built-in operators --> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
45 |
|
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
46 |
<!-- infix precedence 7 --> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
47 |
<SEQ TYPE="OPERATOR">/</SEQ> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
48 |
<SEQ TYPE="OPERATOR">*</SEQ> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
49 |
|
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
50 |
<!-- reserved & operator characters --> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
51 |
<SEQ TYPE="OPERATOR">+</SEQ> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
52 |
<SEQ TYPE="OPERATOR">-</SEQ> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
53 |
<SEQ TYPE="OPERATOR">^</SEQ> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
54 |
<SEQ TYPE="OPERATOR">@</SEQ> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
55 |
<SEQ TYPE="OPERATOR">=</SEQ> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
56 |
<SEQ TYPE="OPERATOR"><</SEQ> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
57 |
<SEQ TYPE="OPERATOR">></SEQ> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
58 |
<SEQ TYPE="OPERATOR">(</SEQ> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
59 |
<SEQ TYPE="OPERATOR">)</SEQ> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
60 |
<SEQ TYPE="OPERATOR">[</SEQ> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
61 |
<SEQ TYPE="OPERATOR">]</SEQ> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
62 |
<SEQ TYPE="OPERATOR">{</SEQ> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
63 |
<SEQ TYPE="OPERATOR">}</SEQ> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
64 |
<SEQ TYPE="OPERATOR">,</SEQ> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
65 |
<SEQ TYPE="OPERATOR">:</SEQ> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
66 |
<SEQ TYPE="OPERATOR">;</SEQ> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
67 |
<SEQ TYPE="OPERATOR">|</SEQ> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
68 |
<SEQ TYPE="OPERATOR">#</SEQ> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
69 |
|
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
70 |
|
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
71 |
<MARK_FOLLOWING TYPE="FUNCTION" |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
72 |
MATCH_TYPE="KEYWORD1">fun </MARK_FOLLOWING> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
73 |
<MARK_FOLLOWING TYPE="FUNCTION" |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
74 |
MATCH_TYPE="KEYWORD1">val </MARK_FOLLOWING> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
75 |
<MARK_FOLLOWING TYPE="FUNCTION" |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
76 |
MATCH_TYPE="KEYWORD1">exception </MARK_FOLLOWING> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
77 |
|
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
78 |
<MARK_FOLLOWING TYPE="FUNCTION" |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
79 |
MATCH_TYPE="KEYWORD1">type </MARK_FOLLOWING> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
80 |
<MARK_FOLLOWING TYPE="FUNCTION" |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
81 |
MATCH_TYPE="KEYWORD1">abstype </MARK_FOLLOWING> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
82 |
<MARK_FOLLOWING TYPE="FUNCTION" |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
83 |
MATCH_TYPE="KEYWORD1">eqtype </MARK_FOLLOWING> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
84 |
<MARK_FOLLOWING TYPE="FUNCTION" |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
85 |
MATCH_TYPE="KEYWORD1">datatype </MARK_FOLLOWING> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
86 |
|
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
87 |
<MARK_FOLLOWING TYPE="LITERAL3" |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
88 |
MATCH_TYPE="KEYWORD1">functor </MARK_FOLLOWING> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
89 |
<MARK_FOLLOWING TYPE="LITERAL3" |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
90 |
MATCH_TYPE="KEYWORD1">structure </MARK_FOLLOWING> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
91 |
<MARK_FOLLOWING TYPE="LITERAL3" |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
92 |
MATCH_TYPE="KEYWORD1">signature </MARK_FOLLOWING> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
93 |
|
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
94 |
<!-- reserved words --> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
95 |
<KEYWORDS> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
96 |
<!-- built-in operators --> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
97 |
|
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
98 |
<!-- infix precedence 7 --> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
99 |
<OPERATOR>div</OPERATOR> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
100 |
<OPERATOR>mod</OPERATOR> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
101 |
|
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
102 |
<!-- infix precedence 3 --> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
103 |
<OPERATOR>o</OPERATOR> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
104 |
|
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
105 |
<!-- infix precedence 0 --> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
106 |
<OPERATOR>before</OPERATOR> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
107 |
|
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
108 |
<!-- type def --> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
109 |
<KEYWORD1>abstype</KEYWORD1> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
110 |
<KEYWORD1>datatype</KEYWORD1> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
111 |
<KEYWORD1>eqtype</KEYWORD1> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
112 |
<KEYWORD1>type</KEYWORD1> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
113 |
|
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
114 |
<!-- value definitions --> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
115 |
<KEYWORD1>exception</KEYWORD1> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
116 |
<KEYWORD1>fun</KEYWORD1> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
117 |
<KEYWORD1>val</KEYWORD1> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
118 |
<KEYWORD1>fn</KEYWORD1> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
119 |
|
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
120 |
<!-- generic definitional --> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
121 |
<KEYWORD1>and</KEYWORD1> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
122 |
<KEYWORD1>end</KEYWORD1> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
123 |
<KEYWORD1>in</KEYWORD1> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
124 |
<KEYWORD1>infix</KEYWORD1> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
125 |
<KEYWORD1>infixr</KEYWORD1> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
126 |
<KEYWORD1>let</KEYWORD1> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
127 |
<KEYWORD1>local</KEYWORD1> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
128 |
<KEYWORD1>as</KEYWORD1> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
129 |
<KEYWORD1>of</KEYWORD1> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
130 |
<KEYWORD1>op</KEYWORD1> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
131 |
|
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
132 |
<!-- module level --> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
133 |
<KEYWORD1>functor</KEYWORD1> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
134 |
<KEYWORD1>include</KEYWORD1> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
135 |
<KEYWORD1>open</KEYWORD1> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
136 |
<KEYWORD1>sharing</KEYWORD1> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
137 |
<KEYWORD1>sig</KEYWORD1> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
138 |
<KEYWORD1>signature</KEYWORD1> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
139 |
<KEYWORD1>struct</KEYWORD1> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
140 |
<KEYWORD1>structure</KEYWORD1> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
141 |
<KEYWORD1>where</KEYWORD1> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
142 |
<KEYWORD1>with</KEYWORD1> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
143 |
|
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
144 |
<!-- logic/control flow --> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
145 |
<KEYWORD1>andalso</KEYWORD1> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
146 |
<KEYWORD1>orelse</KEYWORD1> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
147 |
<KEYWORD1>else</KEYWORD1> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
148 |
<KEYWORD1>if</KEYWORD1> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
149 |
<KEYWORD1>case</KEYWORD1> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
150 |
<KEYWORD1>handle</KEYWORD1> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
151 |
<KEYWORD1>raise</KEYWORD1> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
152 |
<KEYWORD1>then</KEYWORD1> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
153 |
|
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
154 |
<!--- other --> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
155 |
<KEYWORD1>do</KEYWORD1> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
156 |
<KEYWORD1>nonfix</KEYWORD1> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
157 |
<KEYWORD1>rec</KEYWORD1> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
158 |
<KEYWORD1>withtype</KEYWORD1> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
159 |
<KEYWORD1>while</KEYWORD1> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
160 |
|
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
161 |
<!-- built-in types --> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
162 |
<KEYWORD3>array</KEYWORD3> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
163 |
<KEYWORD3>bool</KEYWORD3> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
164 |
<KEYWORD3>char</KEYWORD3> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
165 |
<KEYWORD3>exn</KEYWORD3> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
166 |
<KEYWORD3>frag</KEYWORD3> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
167 |
<KEYWORD3>int</KEYWORD3> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
168 |
<KEYWORD3>list</KEYWORD3> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
169 |
<KEYWORD3>option</KEYWORD3> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
170 |
<KEYWORD3>order</KEYWORD3> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
171 |
<KEYWORD3>real</KEYWORD3> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
172 |
<KEYWORD3>ref</KEYWORD3> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
173 |
<KEYWORD3>string</KEYWORD3> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
174 |
<KEYWORD3>substring</KEYWORD3> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
175 |
<KEYWORD3>unit</KEYWORD3> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
176 |
<KEYWORD3>vector</KEYWORD3> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
177 |
<KEYWORD3>word</KEYWORD3> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
178 |
<KEYWORD3>word8</KEYWORD3> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
179 |
|
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
180 |
<!-- build-in exception constructors --> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
181 |
<KEYWORD2>Bind</KEYWORD2> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
182 |
<KEYWORD2>Chr</KEYWORD2> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
183 |
<KEYWORD2>Domain</KEYWORD2> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
184 |
<KEYWORD2>Div</KEYWORD2> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
185 |
<KEYWORD2>Fail</KEYWORD2> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
186 |
<KEYWORD2>Graphic</KEYWORD2> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
187 |
<KEYWORD2>Interrupt</KEYWORD2> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
188 |
<KEYWORD2>Io</KEYWORD2> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
189 |
<KEYWORD2>Match</KEYWORD2> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
190 |
<KEYWORD2>Option</KEYWORD2> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
191 |
<KEYWORD2>Ord</KEYWORD2> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
192 |
<KEYWORD2>Overflow</KEYWORD2> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
193 |
<KEYWORD2>Size</KEYWORD2> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
194 |
<KEYWORD2>Subscript</KEYWORD2> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
195 |
<KEYWORD2>SysErr</KEYWORD2> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
196 |
|
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
197 |
<!-- built-in literals --> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
198 |
<LITERAL2>false</LITERAL2> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
199 |
<LITERAL2>true</LITERAL2> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
200 |
<LITERAL2>QUOTE</LITERAL2> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
201 |
<LITERAL2>ANTIQUOTE</LITERAL2> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
202 |
<LITERAL2>nil</LITERAL2> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
203 |
<LITERAL2>NONE</LITERAL2> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
204 |
<LITERAL2>SOME</LITERAL2> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
205 |
<LITERAL2>LESS</LITERAL2> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
206 |
<LITERAL2>EQUAL</LITERAL2> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
207 |
<LITERAL2>GREATER</LITERAL2> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
208 |
</KEYWORDS> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
209 |
|
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
210 |
</RULES> |
6df5642a2204
a version of Dixon's ML mode with less ambitious indentation;
wenzelm
parents:
diff
changeset
|
211 |
</MODE> |