mllike.js 4.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202
  1. (function(mod) {
  2. if (typeof exports == "object" && typeof module == "object") // CommonJS
  3. mod(require("../../lib/codemirror"));
  4. else if (typeof define == "function" && define.amd) // AMD
  5. define(["../../lib/codemirror"], mod);
  6. else // Plain browser env
  7. mod(CodeMirror);
  8. })(function(CodeMirror) {
  9. "use strict";
  10. CodeMirror.defineMode('mllike', function(_config, parserConfig) {
  11. var words = {
  12. 'let': 'keyword',
  13. 'rec': 'keyword',
  14. 'in': 'keyword',
  15. 'of': 'keyword',
  16. 'and': 'keyword',
  17. 'if': 'keyword',
  18. 'then': 'keyword',
  19. 'else': 'keyword',
  20. 'for': 'keyword',
  21. 'to': 'keyword',
  22. 'while': 'keyword',
  23. 'do': 'keyword',
  24. 'done': 'keyword',
  25. 'fun': 'keyword',
  26. 'function': 'keyword',
  27. 'val': 'keyword',
  28. 'type': 'keyword',
  29. 'mutable': 'keyword',
  30. 'match': 'keyword',
  31. 'with': 'keyword',
  32. 'try': 'keyword',
  33. 'open': 'builtin',
  34. 'ignore': 'builtin',
  35. 'begin': 'keyword',
  36. 'end': 'keyword'
  37. };
  38. var extraWords = parserConfig.extraWords || {};
  39. for (var prop in extraWords) {
  40. if (extraWords.hasOwnProperty(prop)) {
  41. words[prop] = parserConfig.extraWords[prop];
  42. }
  43. }
  44. function tokenBase(stream, state) {
  45. var ch = stream.next();
  46. if (ch === '"') {
  47. state.tokenize = tokenString;
  48. return state.tokenize(stream, state);
  49. }
  50. if (ch === '(') {
  51. if (stream.eat('*')) {
  52. state.commentLevel++;
  53. state.tokenize = tokenComment;
  54. return state.tokenize(stream, state);
  55. }
  56. }
  57. if (ch === '~') {
  58. stream.eatWhile(/\w/);
  59. return 'variable-2';
  60. }
  61. if (ch === '`') {
  62. stream.eatWhile(/\w/);
  63. return 'quote';
  64. }
  65. if (ch === '/' && parserConfig.slashComments && stream.eat('/')) {
  66. stream.skipToEnd();
  67. return 'comment';
  68. }
  69. if (/\d/.test(ch)) {
  70. stream.eatWhile(/[\d]/);
  71. if (stream.eat('.')) {
  72. stream.eatWhile(/[\d]/);
  73. }
  74. return 'number';
  75. }
  76. if ( /[+\-*&%=<>!?|]/.test(ch)) {
  77. return 'operator';
  78. }
  79. stream.eatWhile(/\w/);
  80. var cur = stream.current();
  81. return words[cur] || 'variable';
  82. }
  83. function tokenString(stream, state) {
  84. var next, end = false, escaped = false;
  85. while ((next = stream.next()) != null) {
  86. if (next === '"' && !escaped) {
  87. end = true;
  88. break;
  89. }
  90. escaped = !escaped && next === '\\';
  91. }
  92. if (end && !escaped) {
  93. state.tokenize = tokenBase;
  94. }
  95. return 'string';
  96. };
  97. function tokenComment(stream, state) {
  98. var prev, next;
  99. while(state.commentLevel > 0 && (next = stream.next()) != null) {
  100. if (prev === '(' && next === '*') state.commentLevel++;
  101. if (prev === '*' && next === ')') state.commentLevel--;
  102. prev = next;
  103. }
  104. if (state.commentLevel <= 0) {
  105. state.tokenize = tokenBase;
  106. }
  107. return 'comment';
  108. }
  109. return {
  110. startState: function() {return {tokenize: tokenBase, commentLevel: 0};},
  111. token: function(stream, state) {
  112. if (stream.eatSpace()) return null;
  113. return state.tokenize(stream, state);
  114. },
  115. blockCommentStart: "(*",
  116. blockCommentEnd: "*)",
  117. lineComment: parserConfig.slashComments ? "//" : null
  118. };
  119. });
  120. CodeMirror.defineMIME('text/x-ocaml', {
  121. name: 'mllike',
  122. extraWords: {
  123. 'succ': 'keyword',
  124. 'trace': 'builtin',
  125. 'exit': 'builtin',
  126. 'print_string': 'builtin',
  127. 'print_endline': 'builtin',
  128. 'true': 'atom',
  129. 'false': 'atom',
  130. 'raise': 'keyword'
  131. }
  132. });
  133. CodeMirror.defineMIME('text/x-fsharp', {
  134. name: 'mllike',
  135. extraWords: {
  136. 'abstract': 'keyword',
  137. 'as': 'keyword',
  138. 'assert': 'keyword',
  139. 'base': 'keyword',
  140. 'class': 'keyword',
  141. 'default': 'keyword',
  142. 'delegate': 'keyword',
  143. 'downcast': 'keyword',
  144. 'downto': 'keyword',
  145. 'elif': 'keyword',
  146. 'exception': 'keyword',
  147. 'extern': 'keyword',
  148. 'finally': 'keyword',
  149. 'global': 'keyword',
  150. 'inherit': 'keyword',
  151. 'inline': 'keyword',
  152. 'interface': 'keyword',
  153. 'internal': 'keyword',
  154. 'lazy': 'keyword',
  155. 'let!': 'keyword',
  156. 'member' : 'keyword',
  157. 'module': 'keyword',
  158. 'namespace': 'keyword',
  159. 'new': 'keyword',
  160. 'null': 'keyword',
  161. 'override': 'keyword',
  162. 'private': 'keyword',
  163. 'public': 'keyword',
  164. 'return': 'keyword',
  165. 'return!': 'keyword',
  166. 'select': 'keyword',
  167. 'static': 'keyword',
  168. 'struct': 'keyword',
  169. 'upcast': 'keyword',
  170. 'use': 'keyword',
  171. 'use!': 'keyword',
  172. 'val': 'keyword',
  173. 'when': 'keyword',
  174. 'yield': 'keyword',
  175. 'yield!': 'keyword',
  176. 'List': 'builtin',
  177. 'Seq': 'builtin',
  178. 'Map': 'builtin',
  179. 'Set': 'builtin',
  180. 'int': 'builtin',
  181. 'string': 'builtin',
  182. 'raise': 'builtin',
  183. 'failwith': 'builtin',
  184. 'not': 'builtin',
  185. 'true': 'builtin',
  186. 'false': 'builtin'
  187. },
  188. slashComments: true
  189. });
  190. });