diff options
Diffstat (limited to 'docs/code.js')
| -rw-r--r-- | docs/code.js | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/docs/code.js b/docs/code.js index 7572c0b..a00818e 100644 --- a/docs/code.js +++ b/docs/code.js @@ -12,7 +12,7 @@ const decodeHTML = (html) => { }; const encodeHTML = (str) => - str.replace(/[\u00A0-\u9999<>\&]/g, (i) => "&#" + i.charCodeAt(0) + ";"); + str.replace(/[\u00A0-\u9999<>\&\#]/g, (i) => "&#" + i.charCodeAt(0) + ";"); // just basic token parsing const parseTerm = (str) => { @@ -58,6 +58,9 @@ const parseFile = (str) => { tree.push({ kind: "input", path: matches[1] }); } else if ((matches = line.match(/^:import (.*) (.*)$/))) { tree.push({ kind: "import", path: matches[1], namespace: matches[2] }); + } else if ((matches = line.match(/^:import (.*)$/))) { + const namespace = matches[1].split("/").slice(-1)[0]; + tree.push({ kind: "import", path: matches[1], namespace: namespace }); } else if ((matches = line.match(/^:test (\(.*\)) (\(.*\))$/))) { tree.push({ kind: "test", |