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
77
78
79
80
81
82
83
84
85
86
87
| module.exports = function(hljs) {
|
| var ATOM = {
|
| begin: /[a-z][A-Za-z0-9_]*/,
| relevance: 0
| };
|
| var VAR = {
|
| className: 'symbol',
| variants: [
| {begin: /[A-Z][a-zA-Z0-9_]*/},
| {begin: /_[A-Za-z0-9_]*/},
| ],
| relevance: 0
| };
|
| var PARENTED = {
|
| begin: /\(/,
| end: /\)/,
| relevance: 0
| };
|
| var LIST = {
|
| begin: /\[/,
| end: /\]/
| };
|
| var LINE_COMMENT = {
|
| className: 'comment',
| begin: /%/, end: /$/,
| contains: [hljs.PHRASAL_WORDS_MODE]
| };
|
| var BACKTICK_STRING = {
|
| className: 'string',
| begin: /`/, end: /`/,
| contains: [hljs.BACKSLASH_ESCAPE]
| };
|
| var CHAR_CODE = {
|
| className: 'string', // 0'a etc.
| begin: /0\'(\\\'|.)/
| };
|
| var SPACE_CODE = {
|
| className: 'string',
| begin: /0\'\\s/ // 0'\s
| };
|
| var PRED_OP = { // relevance booster
| begin: /:-/
| };
|
| var inner = [
|
| ATOM,
| VAR,
| PARENTED,
| PRED_OP,
| LIST,
| LINE_COMMENT,
| hljs.C_BLOCK_COMMENT_MODE,
| hljs.QUOTE_STRING_MODE,
| hljs.APOS_STRING_MODE,
| BACKTICK_STRING,
| CHAR_CODE,
| SPACE_CODE,
| hljs.C_NUMBER_MODE
| ];
|
| PARENTED.contains = inner;
| LIST.contains = inner;
|
| return {
| contains: inner.concat([
| {begin: /\.$/} // relevance booster
| ])
| };
| };
|
|
