From a98b5ea6fe8e8cc98a55e0fd793e6e8660ea31c1 Mon Sep 17 00:00:00 2001 From: Armand Philippot Date: Thu, 30 Dec 2021 19:47:21 +0100 Subject: chore: add prismjs for syntax highlighting --- public/prism/prism-sml.min.js | 47 +++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 47 insertions(+) create mode 100644 public/prism/prism-sml.min.js (limited to 'public/prism/prism-sml.min.js') diff --git a/public/prism/prism-sml.min.js b/public/prism/prism-sml.min.js new file mode 100644 index 0000000..16ab612 --- /dev/null +++ b/public/prism/prism-sml.min.js @@ -0,0 +1,47 @@ +!(function (e) { + var n = + /\b(?: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|where|while|with|withtype)\b/i; + (e.languages.sml = { + comment: + /\(\*(?:[^*(]|\*(?!\))|\((?!\*)|\(\*(?:[^*(]|\*(?!\))|\((?!\*))*\*\))*\*\)/, + string: { pattern: /#?"(?:[^"\\]|\\.)*"/, greedy: !0 }, + 'class-name': [ + { + pattern: RegExp( + '((?:^|[^:]):\\s*)(?:\\s*(?:(?:\\*|->)\\s*|,\\s*(?:(?=)|(?!)\\s+)))*' + .replace(//g, function () { + return '\\s*(?:[*,]|->)'; + }) + .replace(//g, function () { + return "(?:'[\\w']*||\\((?:[^()]|\\([^()]*\\))*\\)|\\{(?:[^{}]|\\{[^{}]*\\})*\\})(?:\\s+)*"; + }) + .replace(//g, function () { + return "(?!)[a-z\\d_][\\w'.]*"; + }) + .replace(//g, function () { + return n.source; + }), + 'i' + ), + lookbehind: !0, + greedy: !0, + inside: null, + }, + { + pattern: + /((?:^|[^\w'])(?:datatype|exception|functor|signature|structure|type)\s+)[a-z_][\w'.]*/i, + lookbehind: !0, + }, + ], + function: { pattern: /((?:^|[^\w'])fun\s+)[a-z_][\w'.]*/i, lookbehind: !0 }, + keyword: n, + variable: { pattern: /(^|[^\w'])'[\w']*/, lookbehind: !0 }, + number: /~?\b(?:\d+(?:\.\d+)?(?:e~?\d+)?|0x[\da-f]+)\b/i, + word: { pattern: /\b0w(?:\d+|x[\da-f]+)\b/i, alias: 'constant' }, + boolean: /\b(?:false|true)\b/i, + operator: /\.\.\.|:[>=:]|=>?|->|[<>]=?|[!+\-*/^#|@~]/, + punctuation: /[(){}\[\].:,;]/, + }), + (e.languages.sml['class-name'][0].inside = e.languages.sml), + (e.languages.smlnj = e.languages.sml); +})(Prism); -- cgit v1.2.3