| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359 | 
							- // CodeMirror, copyright (c) by Marijn Haverbeke and others
 
- // Distributed under an MIT license: https://codemirror.net/LICENSE
 
- (function(mod) {
 
-   if (typeof exports == "object" && typeof module == "object") // CommonJS
 
-     mod(require("../../lib/codemirror"));
 
-   else if (typeof define == "function" && define.amd) // AMD
 
-     define(["../../lib/codemirror"], mod);
 
-   else // Plain browser env
 
-     mod(CodeMirror);
 
- })(function(CodeMirror) {
 
- "use strict";
 
- CodeMirror.defineMode('mllike', function(_config, parserConfig) {
 
-   var words = {
 
-     'as': 'keyword',
 
-     'do': 'keyword',
 
-     'else': 'keyword',
 
-     'end': 'keyword',
 
-     'exception': 'keyword',
 
-     'fun': 'keyword',
 
-     'functor': 'keyword',
 
-     'if': 'keyword',
 
-     'in': 'keyword',
 
-     'include': 'keyword',
 
-     'let': 'keyword',
 
-     'of': 'keyword',
 
-     'open': 'keyword',
 
-     'rec': 'keyword',
 
-     'struct': 'keyword',
 
-     'then': 'keyword',
 
-     'type': 'keyword',
 
-     'val': 'keyword',
 
-     'while': 'keyword',
 
-     'with': 'keyword'
 
-   };
 
-   var extraWords = parserConfig.extraWords || {};
 
-   for (var prop in extraWords) {
 
-     if (extraWords.hasOwnProperty(prop)) {
 
-       words[prop] = parserConfig.extraWords[prop];
 
-     }
 
-   }
 
-   var hintWords = [];
 
-   for (var k in words) { hintWords.push(k); }
 
-   CodeMirror.registerHelper("hintWords", "mllike", hintWords);
 
-   function tokenBase(stream, state) {
 
-     var ch = stream.next();
 
-     if (ch === '"') {
 
-       state.tokenize = tokenString;
 
-       return state.tokenize(stream, state);
 
-     }
 
-     if (ch === '{') {
 
-       if (stream.eat('|')) {
 
-         state.longString = true;
 
-         state.tokenize = tokenLongString;
 
-         return state.tokenize(stream, state);
 
-       }
 
-     }
 
-     if (ch === '(') {
 
-       if (stream.eat('*')) {
 
-         state.commentLevel++;
 
-         state.tokenize = tokenComment;
 
-         return state.tokenize(stream, state);
 
-       }
 
-     }
 
-     if (ch === '~' || ch === '?') {
 
-       stream.eatWhile(/\w/);
 
-       return 'variable-2';
 
-     }
 
-     if (ch === '`') {
 
-       stream.eatWhile(/\w/);
 
-       return 'quote';
 
-     }
 
-     if (ch === '/' && parserConfig.slashComments && stream.eat('/')) {
 
-       stream.skipToEnd();
 
-       return 'comment';
 
-     }
 
-     if (/\d/.test(ch)) {
 
-       if (ch === '0' && stream.eat(/[bB]/)) {
 
-         stream.eatWhile(/[01]/);
 
-       } if (ch === '0' && stream.eat(/[xX]/)) {
 
-         stream.eatWhile(/[0-9a-fA-F]/)
 
-       } if (ch === '0' && stream.eat(/[oO]/)) {
 
-         stream.eatWhile(/[0-7]/);
 
-       } else {
 
-         stream.eatWhile(/[\d_]/);
 
-         if (stream.eat('.')) {
 
-           stream.eatWhile(/[\d]/);
 
-         }
 
-         if (stream.eat(/[eE]/)) {
 
-           stream.eatWhile(/[\d\-+]/);
 
-         }
 
-       }
 
-       return 'number';
 
-     }
 
-     if ( /[+\-*&%=<>!?|@\.~:]/.test(ch)) {
 
-       return 'operator';
 
-     }
 
-     if (/[\w\xa1-\uffff]/.test(ch)) {
 
-       stream.eatWhile(/[\w\xa1-\uffff]/);
 
-       var cur = stream.current();
 
-       return words.hasOwnProperty(cur) ? words[cur] : 'variable';
 
-     }
 
-     return null
 
-   }
 
-   function tokenString(stream, state) {
 
-     var next, end = false, escaped = false;
 
-     while ((next = stream.next()) != null) {
 
-       if (next === '"' && !escaped) {
 
-         end = true;
 
-         break;
 
-       }
 
-       escaped = !escaped && next === '\\';
 
-     }
 
-     if (end && !escaped) {
 
-       state.tokenize = tokenBase;
 
-     }
 
-     return 'string';
 
-   };
 
-   function tokenComment(stream, state) {
 
-     var prev, next;
 
-     while(state.commentLevel > 0 && (next = stream.next()) != null) {
 
-       if (prev === '(' && next === '*') state.commentLevel++;
 
-       if (prev === '*' && next === ')') state.commentLevel--;
 
-       prev = next;
 
-     }
 
-     if (state.commentLevel <= 0) {
 
-       state.tokenize = tokenBase;
 
-     }
 
-     return 'comment';
 
-   }
 
-   function tokenLongString(stream, state) {
 
-     var prev, next;
 
-     while (state.longString && (next = stream.next()) != null) {
 
-       if (prev === '|' && next === '}') state.longString = false;
 
-       prev = next;
 
-     }
 
-     if (!state.longString) {
 
-       state.tokenize = tokenBase;
 
-     }
 
-     return 'string';
 
-   }
 
-   return {
 
-     startState: function() {return {tokenize: tokenBase, commentLevel: 0, longString: false};},
 
-     token: function(stream, state) {
 
-       if (stream.eatSpace()) return null;
 
-       return state.tokenize(stream, state);
 
-     },
 
-     blockCommentStart: "(*",
 
-     blockCommentEnd: "*)",
 
-     lineComment: parserConfig.slashComments ? "//" : null
 
-   };
 
- });
 
- CodeMirror.defineMIME('text/x-ocaml', {
 
-   name: 'mllike',
 
-   extraWords: {
 
-     'and': 'keyword',
 
-     'assert': 'keyword',
 
-     'begin': 'keyword',
 
-     'class': 'keyword',
 
-     'constraint': 'keyword',
 
-     'done': 'keyword',
 
-     'downto': 'keyword',
 
-     'external': 'keyword',
 
-     'function': 'keyword',
 
-     'initializer': 'keyword',
 
-     'lazy': 'keyword',
 
-     'match': 'keyword',
 
-     'method': 'keyword',
 
-     'module': 'keyword',
 
-     'mutable': 'keyword',
 
-     'new': 'keyword',
 
-     'nonrec': 'keyword',
 
-     'object': 'keyword',
 
-     'private': 'keyword',
 
-     'sig': 'keyword',
 
-     'to': 'keyword',
 
-     'try': 'keyword',
 
-     'value': 'keyword',
 
-     'virtual': 'keyword',
 
-     'when': 'keyword',
 
-     // builtins
 
-     'raise': 'builtin',
 
-     'failwith': 'builtin',
 
-     'true': 'builtin',
 
-     'false': 'builtin',
 
-     // Pervasives builtins
 
-     'asr': 'builtin',
 
-     'land': 'builtin',
 
-     'lor': 'builtin',
 
-     'lsl': 'builtin',
 
-     'lsr': 'builtin',
 
-     'lxor': 'builtin',
 
-     'mod': 'builtin',
 
-     'or': 'builtin',
 
-     // More Pervasives
 
-     'raise_notrace': 'builtin',
 
-     'trace': 'builtin',
 
-     'exit': 'builtin',
 
-     'print_string': 'builtin',
 
-     'print_endline': 'builtin',
 
-      'int': 'type',
 
-      'float': 'type',
 
-      'bool': 'type',
 
-      'char': 'type',
 
-      'string': 'type',
 
-      'unit': 'type',
 
-      // Modules
 
-      'List': 'builtin'
 
-   }
 
- });
 
- CodeMirror.defineMIME('text/x-fsharp', {
 
-   name: 'mllike',
 
-   extraWords: {
 
-     'abstract': 'keyword',
 
-     'assert': 'keyword',
 
-     'base': 'keyword',
 
-     'begin': 'keyword',
 
-     'class': 'keyword',
 
-     'default': 'keyword',
 
-     'delegate': 'keyword',
 
-     'do!': 'keyword',
 
-     'done': 'keyword',
 
-     'downcast': 'keyword',
 
-     'downto': 'keyword',
 
-     'elif': 'keyword',
 
-     'extern': 'keyword',
 
-     'finally': 'keyword',
 
-     'for': 'keyword',
 
-     'function': 'keyword',
 
-     'global': 'keyword',
 
-     'inherit': 'keyword',
 
-     'inline': 'keyword',
 
-     'interface': 'keyword',
 
-     'internal': 'keyword',
 
-     'lazy': 'keyword',
 
-     'let!': 'keyword',
 
-     'match': 'keyword',
 
-     'member': 'keyword',
 
-     'module': 'keyword',
 
-     'mutable': 'keyword',
 
-     'namespace': 'keyword',
 
-     'new': 'keyword',
 
-     'null': 'keyword',
 
-     'override': 'keyword',
 
-     'private': 'keyword',
 
-     'public': 'keyword',
 
-     'return!': 'keyword',
 
-     'return': 'keyword',
 
-     'select': 'keyword',
 
-     'static': 'keyword',
 
-     'to': 'keyword',
 
-     'try': 'keyword',
 
-     'upcast': 'keyword',
 
-     'use!': 'keyword',
 
-     'use': 'keyword',
 
-     'void': 'keyword',
 
-     'when': 'keyword',
 
-     'yield!': 'keyword',
 
-     'yield': 'keyword',
 
-     // Reserved words
 
-     'atomic': 'keyword',
 
-     'break': 'keyword',
 
-     'checked': 'keyword',
 
-     'component': 'keyword',
 
-     'const': 'keyword',
 
-     'constraint': 'keyword',
 
-     'constructor': 'keyword',
 
-     'continue': 'keyword',
 
-     'eager': 'keyword',
 
-     'event': 'keyword',
 
-     'external': 'keyword',
 
-     'fixed': 'keyword',
 
-     'method': 'keyword',
 
-     'mixin': 'keyword',
 
-     'object': 'keyword',
 
-     'parallel': 'keyword',
 
-     'process': 'keyword',
 
-     'protected': 'keyword',
 
-     'pure': 'keyword',
 
-     'sealed': 'keyword',
 
-     'tailcall': 'keyword',
 
-     'trait': 'keyword',
 
-     'virtual': 'keyword',
 
-     'volatile': 'keyword',
 
-     // builtins
 
-     'List': 'builtin',
 
-     'Seq': 'builtin',
 
-     'Map': 'builtin',
 
-     'Set': 'builtin',
 
-     'Option': 'builtin',
 
-     'int': 'builtin',
 
-     'string': 'builtin',
 
-     'not': 'builtin',
 
-     'true': 'builtin',
 
-     'false': 'builtin',
 
-     'raise': 'builtin',
 
-     'failwith': 'builtin'
 
-   },
 
-   slashComments: true
 
- });
 
- CodeMirror.defineMIME('text/x-sml', {
 
-   name: 'mllike',
 
-   extraWords: {
 
-     'abstype': 'keyword',
 
-     'and': 'keyword',
 
-     'andalso': 'keyword',
 
-     'case': 'keyword',
 
-     'datatype': 'keyword',
 
-     'fn': 'keyword',
 
-     'handle': 'keyword',
 
-     'infix': 'keyword',
 
-     'infixr': 'keyword',
 
-     'local': 'keyword',
 
-     'nonfix': 'keyword',
 
-     'op': 'keyword',
 
-     'orelse': 'keyword',
 
-     'raise': 'keyword',
 
-     'withtype': 'keyword',
 
-     'eqtype': 'keyword',
 
-     'sharing': 'keyword',
 
-     'sig': 'keyword',
 
-     'signature': 'keyword',
 
-     'structure': 'keyword',
 
-     'where': 'keyword',
 
-     'true': 'keyword',
 
-     'false': 'keyword',
 
-     // types
 
-     'int': 'builtin',
 
-     'real': 'builtin',
 
-     'string': 'builtin',
 
-     'char': 'builtin',
 
-     'bool': 'builtin'
 
-   },
 
-   slashComments: true
 
- });
 
- });
 
 
  |