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
|
// high-quality syntax highlighter
// TODO: Implement actual parser (or fix MANY regex bugs)
// TODO: bug: -0 in (-0 0) is not highlighted as index
const term = (t) =>
t
.replaceAll(
/(?<!\([+-]\d*\.?\d*)(?<![a-z][^&; ]*)(?<!["'])([0-9])/g,
"<span class='index'>$1</span>",
)
.replaceAll(/'([^\'])'/g, "<span class='string'>'$1'</span>")
.replaceAll(/"([^\"]*)"/g, "<span class='string'>\"$1\"</span>")
.replaceAll(
/(\([+-][0-9]+\.[0-9]+[frc]?\))/g,
"<span class='number'>$1</span>",
)
.replaceAll(/(\([+-][0-9]+[ubtd]?\))/g, "<span class='number'>$1</span>")
.replaceAll(/(?<!\>)(\()/g, "<span class='left-app'>(</span>")
.replaceAll(/(\))(?!\<)/g, "<span class='right-app'>)</span>")
.replaceAll("[", "<span class='left-abs'>[</span>")
.replaceAll("]", "<span class='right-abs'>]</span>");
const highlightTerm = (elem) => {
elem.innerHTML = term(elem.innerHTML);
};
const highlight = (elem) => {
const fixPath = (p) => p.replace("/", "_");
elem.innerHTML = elem.innerHTML
.replaceAll(
/^:import std\/(.*) (.*)$/gm,
(_, p, s) =>
`<span class="com">:import</span> <a href='/std/${fixPath(
p,
)}.bruijn.html'>std/${p}</a> ${s}`,
)
.replaceAll(
/^:input std\/(.*)$/gm,
(_, p) =>
`<span class="com">:input</span> <a href='/std/${fixPath(
p,
)}.bruijn.html'>std/${p}</a>`,
)
.replaceAll(
/^:import (.*) (.*)$/gm,
(_, p, s) => `<span class="com">:import</span> ${p} ${s}`,
)
.replaceAll(
/^:test (\(.*\)) (\(.*\))$/gm,
(_, t1, t2) => `<span class='com'>:test</span> ${term(t1)} ${term(t2)}`,
)
.replaceAll(
/^:time (.*)$/gm,
(_, t) => `<span class='com'>:time</span> ${term(t)}`,
)
.replaceAll(
/^([ \t]*[^:\n<#][^ ]*) (.*)$/gm,
(_, d, t) => `<span class='def'>${d}</span> ${term(t)}`,
)
.replaceAll(/^# (.*)$/gm, "<span class='comment'># $1</span>")
.replaceAll(/ ⧗ (.*)\n/g, " ⧗ <span class='type'>$1</span>\n");
};
window.onload = () => {
[...document.querySelectorAll("code.language-bruijn")].forEach(highlight);
[...document.querySelectorAll("code.bruijn")].forEach(highlightTerm);
};
|
