1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
|
// https://smlfamily.github.io/sml97-defn.pdf
// https://people.mpi-sws.org/~rossberg/sml.html
(function (Prism) {
var keywords =
/\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;
Prism.languages.sml = {
// allow one level of nesting
comment:
/\(\*(?:[^*(]|\*(?!\))|\((?!\*)|\(\*(?:[^*(]|\*(?!\))|\((?!\*))*\*\))*\*\)/,
string: {
pattern: /#?"(?:[^"\\]|\\.)*"/,
greedy: true,
},
'class-name': [
{
// This is only an approximation since the real grammar is context-free
//
// Why the main loop so complex?
// The main loop is approximately the same as /(?:\s*(?:[*,]|->)\s*<TERMINAL>)*/ which is, obviously, a lot
// simpler. The difference is that if a comma is the last iteration of the loop, then the terminal must be
// followed by a long identifier.
pattern: RegExp(
/((?:^|[^:]):\s*)<TERMINAL>(?:\s*(?:(?:\*|->)\s*<TERMINAL>|,\s*<TERMINAL>(?:(?=<NOT-LAST>)|(?!<NOT-LAST>)\s+<LONG-ID>)))*/.source
.replace(/<NOT-LAST>/g, function () {
return /\s*(?:[*,]|->)/.source;
})
.replace(/<TERMINAL>/g, function () {
return /(?:'[\w']*|<LONG-ID>|\((?:[^()]|\([^()]*\))*\)|\{(?:[^{}]|\{[^{}]*\})*\})(?:\s+<LONG-ID>)*/
.source;
})
.replace(/<LONG-ID>/g, function () {
return /(?!<KEYWORD>)[a-z\d_][\w'.]*/.source;
})
.replace(/<KEYWORD>/g, function () {
return keywords.source;
}),
'i'
),
lookbehind: true,
greedy: true,
inside: null, // see below
},
{
pattern:
/((?:^|[^\w'])(?:datatype|exception|functor|signature|structure|type)\s+)[a-z_][\w'.]*/i,
lookbehind: true,
},
],
function: {
pattern: /((?:^|[^\w'])fun\s+)[a-z_][\w'.]*/i,
lookbehind: true,
},
keyword: keywords,
variable: {
pattern: /(^|[^\w'])'[\w']*/,
lookbehind: true,
},
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: /[(){}\[\].:,;]/,
};
Prism.languages.sml['class-name'][0].inside = Prism.languages.sml;
Prism.languages.smlnj = Prism.languages.sml;
})(Prism);
|
