diff options
author | Florian Dold <florian.dold@gmail.com> | 2019-03-27 21:01:33 +0100 |
---|---|---|
committer | Florian Dold <florian.dold@gmail.com> | 2019-03-27 21:01:33 +0100 |
commit | cc97a4dd2a967e1c2273bd5f4c5f49a5bf2e2585 (patch) | |
tree | 92c5d88706a6ffc654d1b133618d357890e7096b /node_modules/highlight.js/lib/languages/sml.js | |
parent | 3771b4d6b67b34c130f3a9a1a15f42deefdb2eda (diff) |
remove node_modules
Diffstat (limited to 'node_modules/highlight.js/lib/languages/sml.js')
-rw-r--r-- | node_modules/highlight.js/lib/languages/sml.js | 65 |
1 files changed, 0 insertions, 65 deletions
diff --git a/node_modules/highlight.js/lib/languages/sml.js b/node_modules/highlight.js/lib/languages/sml.js deleted file mode 100644 index e7a34ce5e..000000000 --- a/node_modules/highlight.js/lib/languages/sml.js +++ /dev/null @@ -1,65 +0,0 @@ -module.exports = function(hljs) { - return { - aliases: ['ml'], - keywords: { - keyword: - /* according to Definition of Standard ML 97 */ - 'abstype and andalso as case datatype do else end eqtype ' + - 'exception fn fun functor handle if in include infix infixr ' + - 'let local nonfix of op open orelse raise rec sharing sig ' + - 'signature struct structure then type val with withtype where while', - built_in: - /* built-in types according to basis library */ - 'array bool char exn int list option order real ref string substring vector unit word', - literal: - 'true false NONE SOME LESS EQUAL GREATER nil' - }, - illegal: /\/\/|>>/, - lexemes: '[a-z_]\\w*!?', - contains: [ - { - className: 'literal', - begin: /\[(\|\|)?\]|\(\)/, - relevance: 0 - }, - hljs.COMMENT( - '\\(\\*', - '\\*\\)', - { - contains: ['self'] - } - ), - { /* type variable */ - className: 'symbol', - begin: '\'[A-Za-z_](?!\')[\\w\']*' - /* the grammar is ambiguous on how 'a'b should be interpreted but not the compiler */ - }, - { /* polymorphic variant */ - className: 'type', - begin: '`[A-Z][\\w\']*' - }, - { /* module or constructor */ - className: 'type', - begin: '\\b[A-Z][\\w\']*', - relevance: 0 - }, - { /* don't color identifiers, but safely catch all identifiers with '*/ - begin: '[a-z_]\\w*\'[\\w\']*' - }, - hljs.inherit(hljs.APOS_STRING_MODE, {className: 'string', relevance: 0}), - hljs.inherit(hljs.QUOTE_STRING_MODE, {illegal: null}), - { - className: 'number', - begin: - '\\b(0[xX][a-fA-F0-9_]+[Lln]?|' + - '0[oO][0-7_]+[Lln]?|' + - '0[bB][01_]+[Lln]?|' + - '[0-9][0-9_]*([Lln]|(\\.[0-9_]*)?([eE][-+]?[0-9_]+)?)?)', - relevance: 0 - }, - { - begin: /[-=]>/ // relevance booster - } - ] - }; -};
\ No newline at end of file |