mllike.min.js (3167B)
1 (function(e){if(typeof exports=='object'&&typeof module=='object')e(require('../../lib/codemirror'));else if(typeof define=='function'&&define.amd)define(['../../lib/codemirror'],e);else e(CodeMirror)})(function(e){'use strict';e.defineMode('mllike',function(r,e){var o={'let':'keyword','rec':'keyword','in':'keyword','of':'keyword','and':'keyword','if':'keyword','then':'keyword','else':'keyword','for':'keyword','to':'keyword','while':'keyword','do':'keyword','done':'keyword','fun':'keyword','function':'keyword','val':'keyword','type':'keyword','mutable':'keyword','match':'keyword','with':'keyword','try':'keyword','open':'builtin','ignore':'builtin','begin':'keyword','end':'keyword'};var i=e.extraWords||{};for(var t in i){if(i.hasOwnProperty(t)){o[t]=e.extraWords[t]}};function n(r,t){var n=r.next();if(n==='"'){t.tokenize=d;return t.tokenize(r,t)};if(n==='('){if(r.eat('*')){t.commentLevel++;t.tokenize=l;return t.tokenize(r,t)}};if(n==='~'){r.eatWhile(/\w/);return'variable-2'};if(n==='`'){r.eatWhile(/\w/);return'quote'};if(n==='/'&&e.slashComments&&r.eat('/')){r.skipToEnd();return'comment'};if(/\d/.test(n)){r.eatWhile(/[\d]/);if(r.eat('.')){r.eatWhile(/[\d]/)};return'number'};if(/[+\-*&%=<>!?|]/.test(n)){return'operator'};if(/[\w\xa1-\uffff]/.test(n)){r.eatWhile(/[\w\xa1-\uffff]/);var i=r.current();return o.hasOwnProperty(i)?o[i]:'variable'};return null};function d(e,r){var o,i=!1,t=!1;while((o=e.next())!=null){if(o==='"'&&!t){i=!0;break};t=!t&&o==='\\'};if(i&&!t){r.tokenize=n};return'string'};function l(r,e){var o,t;while(e.commentLevel>0&&(t=r.next())!=null){if(o==='('&&t==='*')e.commentLevel++;if(o==='*'&&t===')')e.commentLevel--;o=t};if(e.commentLevel<=0){e.tokenize=n};return'comment'};return{startState:function(){return{tokenize:n,commentLevel:0}},token:function(e,r){if(e.eatSpace())return null;return r.tokenize(e,r)},blockCommentStart:'(*',blockCommentEnd:'*)',lineComment:e.slashComments?'//':null}});e.defineMIME('text/x-ocaml',{name:'mllike',extraWords:{'succ':'keyword','trace':'builtin','exit':'builtin','print_string':'builtin','print_endline':'builtin','true':'atom','false':'atom','raise':'keyword'}});e.defineMIME('text/x-fsharp',{name:'mllike',extraWords:{'abstract':'keyword','as':'keyword','assert':'keyword','base':'keyword','class':'keyword','default':'keyword','delegate':'keyword','downcast':'keyword','downto':'keyword','elif':'keyword','exception':'keyword','extern':'keyword','finally':'keyword','global':'keyword','inherit':'keyword','inline':'keyword','interface':'keyword','internal':'keyword','lazy':'keyword','let!':'keyword','member':'keyword','module':'keyword','namespace':'keyword','new':'keyword','null':'keyword','override':'keyword','private':'keyword','public':'keyword','return':'keyword','return!':'keyword','select':'keyword','static':'keyword','struct':'keyword','upcast':'keyword','use':'keyword','use!':'keyword','val':'keyword','when':'keyword','yield':'keyword','yield!':'keyword','List':'builtin','Seq':'builtin','Map':'builtin','Set':'builtin','int':'builtin','string':'builtin','raise':'builtin','failwith':'builtin','not':'builtin','true':'builtin','false':'builtin'},slashComments:!0})});