PageRenderTime 41ms CodeModel.GetById 17ms RepoModel.GetById 1ms app.codeStats 0ms

/jEdit/tags/jedit-4-2-pre14/modes/ml.xml

#
XML | 180 lines | 176 code | 3 blank | 1 comment | 0 complexity | c880e338eb74a4313f54d47de50bb224 MD5 | raw file
Possible License(s): BSD-3-Clause, AGPL-1.0, Apache-2.0, LGPL-2.0, LGPL-3.0, GPL-2.0, CC-BY-SA-3.0, LGPL-2.1, GPL-3.0, MPL-2.0-no-copyleft-exception, IPL-1.0
  1. <?xml version="1.0"?>
  2. <!DOCTYPE MODE SYSTEM "xmode.dtd">
  3. <!-- SML MODE by Ingmar Stein -->
  4. <MODE>
  5. <PROPS>
  6. <PROPERTY NAME="commentStart" VALUE="(*"/>
  7. <PROPERTY NAME="commentEnd" VALUE="*)"/>
  8. </PROPS>
  9. <RULES ESCAPE="\" IGNORE_CASE="FALSE" HIGHLIGHT_DIGITS="TRUE">
  10. <!-- comments -->
  11. <SPAN TYPE="COMMENT1">
  12. <BEGIN>(*</BEGIN>
  13. <END>*)</END>
  14. </SPAN>
  15. <!-- character literals -->
  16. <SPAN TYPE="LITERAL1" NO_LINE_BREAK="TRUE">
  17. <BEGIN>#"</BEGIN>
  18. <END>"</END>
  19. </SPAN>
  20. <!-- string literals -->
  21. <SPAN TYPE="LITERAL1" NO_LINE_BREAK="TRUE">
  22. <BEGIN>"</BEGIN>
  23. <END>"</END>
  24. </SPAN>
  25. <!-- built-in operators -->
  26. <!-- infix precedence 7 -->
  27. <SEQ TYPE="OPERATOR">/</SEQ>
  28. <SEQ TYPE="OPERATOR">*</SEQ>
  29. <!-- infix precedence 6 -->
  30. <SEQ TYPE="OPERATOR">+</SEQ>
  31. <SEQ TYPE="OPERATOR">-</SEQ>
  32. <SEQ TYPE="OPERATOR">^</SEQ>
  33. <!-- infix precedence 5 -->
  34. <SEQ TYPE="OPERATOR">::</SEQ>
  35. <SEQ TYPE="OPERATOR">@</SEQ>
  36. <!-- infix precedence 4 -->
  37. <SEQ TYPE="OPERATOR">=</SEQ>
  38. <SEQ TYPE="OPERATOR">&lt;&gt;</SEQ>
  39. <SEQ TYPE="OPERATOR">&lt;=</SEQ>
  40. <SEQ TYPE="OPERATOR">&lt;</SEQ>
  41. <SEQ TYPE="OPERATOR">&gt;=</SEQ>
  42. <SEQ TYPE="OPERATOR">&gt;</SEQ>
  43. <!-- infix precedence 3 -->
  44. <SEQ TYPE="OPERATOR">:=</SEQ>
  45. <!-- reserved words -->
  46. <!-- <SEQ TYPE="NULL">(</SEQ>
  47. <SEQ TYPE="NULL">)</SEQ>
  48. <SEQ TYPE="NULL">[</SEQ>
  49. <SEQ TYPE="NULL">]</SEQ>
  50. <SEQ TYPE="NULL">{</SEQ>
  51. <SEQ TYPE="NULL">}</SEQ>
  52. <SEQ TYPE="NULL">,</SEQ>
  53. <SEQ TYPE="NULL">:&gt;</SEQ>
  54. <SEQ TYPE="NULL">:</SEQ>
  55. <SEQ TYPE="NULL">;</SEQ>
  56. <SEQ TYPE="NULL">...</SEQ>
  57. <SEQ TYPE="NULL">_</SEQ>
  58. <SEQ TYPE="NULL">|</SEQ>
  59. <SEQ TYPE="NULL">=&gt;</SEQ>
  60. <SEQ TYPE="NULL">-&gt;</SEQ>
  61. <SEQ TYPE="NULL">#</SEQ> -->
  62. <KEYWORDS>
  63. <!-- built-in operators -->
  64. <!-- infix precedence 7 -->
  65. <OPERATOR>div</OPERATOR>
  66. <OPERATOR>mod</OPERATOR>
  67. <!-- infix precedence 3 -->
  68. <OPERATOR>o</OPERATOR>
  69. <!-- infix precedence 0 -->
  70. <OPERATOR>before</OPERATOR>
  71. <!-- reserved words -->
  72. <KEYWORD1>abstype</KEYWORD1>
  73. <KEYWORD1>and</KEYWORD1>
  74. <KEYWORD1>andalso</KEYWORD1>
  75. <KEYWORD1>as</KEYWORD1>
  76. <KEYWORD1>case</KEYWORD1>
  77. <KEYWORD1>do</KEYWORD1>
  78. <KEYWORD1>datatype</KEYWORD1>
  79. <KEYWORD1>else</KEYWORD1>
  80. <KEYWORD1>end</KEYWORD1>
  81. <KEYWORD1>eqtype</KEYWORD1>
  82. <KEYWORD1>exception</KEYWORD1>
  83. <KEYWORD1>fn</KEYWORD1>
  84. <KEYWORD1>fun</KEYWORD1>
  85. <KEYWORD1>functor</KEYWORD1>
  86. <KEYWORD1>handle</KEYWORD1>
  87. <KEYWORD1>if</KEYWORD1>
  88. <KEYWORD1>in</KEYWORD1>
  89. <KEYWORD1>include</KEYWORD1>
  90. <KEYWORD1>infix</KEYWORD1>
  91. <KEYWORD1>infixr</KEYWORD1>
  92. <KEYWORD1>let</KEYWORD1>
  93. <KEYWORD1>local</KEYWORD1>
  94. <KEYWORD1>nonfix</KEYWORD1>
  95. <KEYWORD1>of</KEYWORD1>
  96. <KEYWORD1>op</KEYWORD1>
  97. <KEYWORD1>open</KEYWORD1>
  98. <KEYWORD1>orelse</KEYWORD1>
  99. <KEYWORD1>raise</KEYWORD1>
  100. <KEYWORD1>rec</KEYWORD1>
  101. <KEYWORD1>sharing</KEYWORD1>
  102. <KEYWORD1>sig</KEYWORD1>
  103. <KEYWORD1>signature</KEYWORD1>
  104. <KEYWORD1>struct</KEYWORD1>
  105. <KEYWORD1>structure</KEYWORD1>
  106. <KEYWORD1>then</KEYWORD1>
  107. <KEYWORD1>type</KEYWORD1>
  108. <KEYWORD1>val</KEYWORD1>
  109. <KEYWORD1>where</KEYWORD1>
  110. <KEYWORD1>with</KEYWORD1>
  111. <KEYWORD1>withtype</KEYWORD1>
  112. <KEYWORD1>while</KEYWORD1>
  113. <!-- built-in types -->
  114. <KEYWORD3>array</KEYWORD3>
  115. <KEYWORD3>bool</KEYWORD3>
  116. <KEYWORD3>char</KEYWORD3>
  117. <KEYWORD3>exn</KEYWORD3>
  118. <KEYWORD3>frag</KEYWORD3>
  119. <KEYWORD3>int</KEYWORD3>
  120. <KEYWORD3>list</KEYWORD3>
  121. <KEYWORD3>option</KEYWORD3>
  122. <KEYWORD3>order</KEYWORD3>
  123. <KEYWORD3>real</KEYWORD3>
  124. <KEYWORD3>ref</KEYWORD3>
  125. <KEYWORD3>string</KEYWORD3>
  126. <KEYWORD3>substring</KEYWORD3>
  127. <KEYWORD3>unit</KEYWORD3>
  128. <KEYWORD3>vector</KEYWORD3>
  129. <KEYWORD3>word</KEYWORD3>
  130. <KEYWORD3>word8</KEYWORD3>
  131. <!-- build-in exception constructors -->
  132. <KEYWORD2>Bind</KEYWORD2>
  133. <KEYWORD2>Chr</KEYWORD2>
  134. <KEYWORD2>Domain</KEYWORD2>
  135. <KEYWORD2>Div</KEYWORD2>
  136. <KEYWORD2>Fail</KEYWORD2>
  137. <KEYWORD2>Graphic</KEYWORD2>
  138. <KEYWORD2>Interrupt</KEYWORD2>
  139. <KEYWORD2>Io</KEYWORD2>
  140. <KEYWORD2>Match</KEYWORD2>
  141. <KEYWORD2>Option</KEYWORD2>
  142. <KEYWORD2>Ord</KEYWORD2>
  143. <KEYWORD2>Overflow</KEYWORD2>
  144. <KEYWORD2>Size</KEYWORD2>
  145. <KEYWORD2>Subscript</KEYWORD2>
  146. <KEYWORD2>SysErr</KEYWORD2>
  147. <!-- built-in literals -->
  148. <LITERAL2>false</LITERAL2>
  149. <LITERAL2>true</LITERAL2>
  150. <LITERAL2>QUOTE</LITERAL2>
  151. <LITERAL2>ANTIQUOTE</LITERAL2>
  152. <LITERAL2>nil</LITERAL2>
  153. <LITERAL2>NONE</LITERAL2>
  154. <LITERAL2>SOME</LITERAL2>
  155. <LITERAL2>LESS</LITERAL2>
  156. <LITERAL2>EQUAL</LITERAL2>
  157. <LITERAL2>GREATER</LITERAL2>
  158. </KEYWORDS>
  159. </RULES>
  160. </MODE>