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
88
89
| /*
| Language: Pony
| Author: Joe Eli McIlvain <joe.eli.mac@gmail.com>
| Description: Pony is an open-source, object-oriented, actor-model,
| capabilities-secure, high performance programming language.
| Website: https://www.ponylang.io
| */
|
| function pony(hljs) {
| const KEYWORDS = {
| keyword:
| 'actor addressof and as be break class compile_error compile_intrinsic ' +
| 'consume continue delegate digestof do else elseif embed end error ' +
| 'for fun if ifdef in interface is isnt lambda let match new not object ' +
| 'or primitive recover repeat return struct then trait try type until ' +
| 'use var where while with xor',
| meta:
| 'iso val tag trn box ref',
| literal:
| 'this false true'
| };
|
| const TRIPLE_QUOTE_STRING_MODE = {
| className: 'string',
| begin: '"""',
| end: '"""',
| relevance: 10
| };
|
| const QUOTE_STRING_MODE = {
| className: 'string',
| begin: '"',
| end: '"',
| contains: [ hljs.BACKSLASH_ESCAPE ]
| };
|
| const SINGLE_QUOTE_CHAR_MODE = {
| className: 'string',
| begin: '\'',
| end: '\'',
| contains: [ hljs.BACKSLASH_ESCAPE ],
| relevance: 0
| };
|
| const TYPE_NAME = {
| className: 'type',
| begin: '\\b_?[A-Z][\\w]*',
| relevance: 0
| };
|
| const PRIMED_NAME = {
| begin: hljs.IDENT_RE + '\'',
| relevance: 0
| };
|
| const NUMBER_MODE = {
| className: 'number',
| begin: '(-?)(\\b0[xX][a-fA-F0-9]+|\\b0[bB][01]+|(\\b\\d+(_\\d+)?(\\.\\d*)?|\\.\\d+)([eE][-+]?\\d+)?)',
| relevance: 0
| };
|
| /**
| * The `FUNCTION` and `CLASS` modes were intentionally removed to simplify
| * highlighting and fix cases like
| * ```
| * interface Iterator[A: A]
| * fun has_next(): Bool
| * fun next(): A?
| * ```
| * where it is valid to have a function head without a body
| */
|
| return {
| name: 'Pony',
| keywords: KEYWORDS,
| contains: [
| TYPE_NAME,
| TRIPLE_QUOTE_STRING_MODE,
| QUOTE_STRING_MODE,
| SINGLE_QUOTE_CHAR_MODE,
| PRIMED_NAME,
| NUMBER_MODE,
| hljs.C_LINE_COMMENT_MODE,
| hljs.C_BLOCK_COMMENT_MODE
| ]
| };
| }
|
| module.exports = pony;
|
|
