securemark 0.263.0 → 0.264.0

package/index.ts

@@ -1,4 +1,3 @@
-import 'spica/global';
 export * from './src/parser';
 export * from './src/util';
 export * from './src/renderer';

package/markdown.d.ts

@@ -779,8 +779,8 @@ export namespace MarkdownParser {
         }
       }
       export interface IndexerParser extends
-        // [#]
         // [#index]
+        // [#]
         Inline<'extension/indexer'>,
         Parser<HTMLElement, Context, [
           Parser<HTMLAnchorElement, Context, []>,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "securemark",
-  "version": "0.263.0",
+  "version": "0.264.0",
   "description": "Secure markdown renderer working on browsers for user input data.",
   "private": false,
   "homepage": "https://github.com/falsandtru/securemark",
@@ -28,35 +28,35 @@
     "LICENSE"
   ],
   "devDependencies": {
-    "@types/dompurify": "2.3.4",
-    "@types/jquery": "3.5.14",
+    "@types/dompurify": "2.4.0",
+    "@types/jquery": "3.5.16",
     "@types/mathjax": "0.0.37",
-    "@types/mocha": "9.1.1",
+    "@types/mocha": "10.0.1",
     "@types/power-assert": "1.5.8",
     "@types/prismjs": "1.26.0",
-    "@typescript-eslint/parser": "^5.38.1",
-    "babel-loader": "^8.2.5",
+    "@typescript-eslint/parser": "^5.49.0",
+    "babel-loader": "^9.1.2",
     "babel-plugin-unassert": "^3.2.0",
-    "concurrently": "^7.4.0",
-    "eslint": "^8.24.0",
-    "eslint-plugin-redos": "^4.4.1",
+    "concurrently": "^7.6.0",
+    "eslint": "^8.32.0",
+    "eslint-plugin-redos": "^4.4.3",
     "eslint-webpack-plugin": "^3.2.0",
-    "glob": "^8.0.3",
+    "glob": "^8.1.0",
     "karma": "^6.4.1",
     "karma-chrome-launcher": "^3.1.1",
     "karma-coverage": "^2.2.0",
     "karma-firefox-launcher": "^2.1.2",
     "karma-mocha": "^2.0.1",
     "karma-power-assert": "^1.0.0",
-    "mocha": "^10.0.0",
-    "npm-check-updates": "^16.3.2",
-    "semver": "^7.3.7",
-    "spica": "0.0.640",
-    "ts-loader": "^9.4.1",
-    "typed-dom": "^0.0.310",
-    "typescript": "4.8.3",
-    "webpack": "^5.74.0",
-    "webpack-cli": "^4.10.0",
+    "mocha": "^10.2.0",
+    "npm-check-updates": "^16.6.3",
+    "semver": "^7.3.8",
+    "spica": "0.0.719",
+    "ts-loader": "^9.4.2",
+    "typed-dom": "^0.0.315",
+    "typescript": "4.9.4",
+    "webpack": "^5.75.0",
+    "webpack-cli": "^5.0.1",
     "webpack-merge": "^5.8.0"
   },
   "scripts": {

package/src/combinator/control/constraint/block.ts

@@ -1,4 +1,3 @@
-import { undefined } from 'spica/global';
 import { Parser, exec } from '../../data/parser';
 import { Memo } from '../../data/parser/context/memo';
 import { firstline, isEmpty } from './line';
@@ -10,7 +9,7 @@ export function block<T>(parser: Parser<T>, separation = true): Parser<T> {
     if (source === '') return;
     context.memo ??= new Memo();
     const result = parser({ source, context });
-    if (!result) return;
+    if (result === undefined) return;
     const rest = exec(result);
     if (separation && !isEmpty(firstline(rest))) return;
     assert(rest === '' || source[source.length - rest.length - 1] === '\n');

package/src/combinator/control/constraint/contract.ts

@@ -1,4 +1,4 @@
-import { global, undefined } from 'spica/global';
+import 'spica/global';
 import { isArray } from 'spica/alias';
 import { Parser, Ctx, Tree, Context, eval, exec, check } from '../../data/parser';
 
@@ -27,7 +27,7 @@ export function validate<T>(patterns: string | RegExp | (string | RegExp)[], has
     if (!match(source)) return;
     const result = parser!({ source, context });
     assert(check(source, result));
-    if (!result) return;
+    if (result === undefined) return;
     assert(exec(result).length < source.length);
     return exec(result).length < source.length
       ? result
@@ -42,7 +42,7 @@ export function verify<T>(parser: Parser<T>, cond: (results: readonly T[], rest:
     if (source === '') return;
     const result = parser({ source, context });
     assert(check(source, result));
-    if (!result) return;
+    if (result === undefined) return;
     if (!cond(eval(result), exec(result), context)) return;
     assert(exec(result).length < source.length);
     return exec(result).length < source.length

package/src/combinator/control/constraint/line.ts

@@ -1,4 +1,3 @@
-import { undefined } from 'spica/global';
 import { Parser, eval, exec, check } from '../../data/parser';
 import { Memo } from '../../data/parser/context/memo';
 
@@ -14,7 +13,7 @@ export function line<T>(parser: Parser<T>): Parser<T> {
     const result = parser({ source: line, context });
     assert(check(line, result));
     context.offset -= source.length - line.length;
-    if (!result) return;
+    if (result === undefined) return;
     return isEmpty(exec(result))
       ? [eval(result), source.slice(line.length)]
       : undefined;

package/src/combinator/control/manipulation/indent.ts

@@ -1,4 +1,3 @@
-import { undefined } from 'spica/global';
 import { Parser, eval, exec } from '../../data/parser';
 import { some } from '../../data/parser/some';
 import { block } from '../constraint/block';

package/src/combinator/control/manipulation/match.ts

@@ -1,4 +1,3 @@
-import { undefined } from 'spica/global';
 import { Parser, exec, check } from '../../data/parser';
 
 export function match<P extends Parser<unknown>>(pattern: RegExp, f: (matched: RegExpMatchArray) => P): P;
@@ -11,7 +10,7 @@ export function match<T>(pattern: RegExp, f: (matched: RegExpMatchArray) => Pars
     assert(source.startsWith(param[0]));
     const result = f(param)({ source, context });
     assert(check(source, result, false));
-    if (!result) return;
+    if (result === undefined) return;
     return exec(result).length < source.length && exec(result).length <= source.length
       ? result
       : undefined;

package/src/combinator/control/manipulation/scope.ts

@@ -1,4 +1,3 @@
-import { undefined } from 'spica/global';
 import { Parser, Context, eval, exec, check } from '../../data/parser';
 
 export function focus<P extends Parser<unknown>>(scope: string | RegExp, parser: P): P;
@@ -18,7 +17,7 @@ export function focus<T>(scope: string | RegExp, parser: Parser<T>): Parser<T> {
     const result = parser({ source: src, context });
     assert(check(src, result));
     context.offset -= source.length - src.length;
-    if (!result) return;
+    if (result === undefined) return;
     assert(exec(result).length < src.length);
     return exec(result).length < src.length
       ? [eval(result), exec(result) + source.slice(src.length)]
@@ -38,7 +37,7 @@ export function rewrite<T>(scope: Parser<unknown>, parser: Parser<T>): Parser<T>
     const res1 = scope({ source, context });
     assert(check(source, res1));
     context.memo = memo;
-    if (!res1 || exec(res1).length >= source.length) return;
+    if (res1 === undefined || exec(res1).length >= source.length) return;
     const src = source.slice(0, source.length - exec(res1).length);
     assert(src !== '');
     assert(source.startsWith(src));
@@ -47,7 +46,7 @@ export function rewrite<T>(scope: Parser<unknown>, parser: Parser<T>): Parser<T>
     const res2 = parser({ source: src, context });
     assert(check(src, res2));
     context.offset -= source.length - src.length;
-    if (!res2) return;
+    if (res2 === undefined) return;
     assert(exec(res2) === '');
     return exec(res2).length < src.length
       ? [eval(res2), exec(res2) + exec(res1)]

package/src/combinator/control/manipulation/surround.ts

@@ -1,4 +1,3 @@
-import { undefined } from 'spica/global';
 import { Parser, Input, Result, Ctx, Tree, Context, SubParsers, SubTree, IntermediateParser, eval, exec, check } from '../../data/parser';
 import { fmap } from '../monad/fmap';
 import { unshift, push } from 'spica/array';
@@ -43,7 +42,7 @@ export function surround<T>(
     if (lmr_ === '') return;
     const res1 = opener({ source: lmr_, context });
     assert(check(lmr_, res1, false));
-    if (!res1) return;
+    if (res1 === undefined) return;
     const rl = eval(res1);
     const mr_ = exec(res1);
     const res2 = mr_ !== '' ? parser({ source: mr_, context }) : undefined;

package/src/combinator/control/monad/bind.ts

@@ -1,4 +1,3 @@
-import { undefined } from 'spica/global';
 import { Parser, Result, Ctx, Tree, Context, SubParsers, SubTree, IntermediateParser, eval, exec, check } from '../../data/parser';
 
 export function bind<P extends Parser<unknown>>(parser: IntermediateParser<P>, f: (nodes: SubTree<P>[], rest: string, context: Context<P>) => Result<Tree<P>, Context<P>, SubParsers<P>>): P;
@@ -11,11 +10,11 @@ export function bind<T, U>(parser: Parser<T>, f: (nodes: T[], rest: string, cont
     if (source === '') return;
     const res1 = parser({ source, context });
     assert(check(source, res1));
-    if (!res1) return;
+    if (res1 === undefined) return;
     const res2 = f(eval(res1), exec(res1), context);
     assert(check(source, res2));
     assert(check(exec(res1), res2, false));
-    if (!res2) return;
+    if (res2 === undefined) return;
     return exec(res2).length <= exec(res1).length
       ? res2
       : undefined;

package/src/combinator/data/parser/context.ts

@@ -1,6 +1,5 @@
-import { undefined, Array, Object } from 'spica/global';
 import { hasOwnProperty, ObjectCreate } from 'spica/alias';
-import { Parser, Result, Ctx, Context, eval, exec, Tree } from '../../data/parser';
+import { Parser, Result, Ctx, Tree, Context, eval, exec } from '../../data/parser';
 import { Memo } from './context/memo';
 
 export function reset<P extends Parser<unknown>>(base: Context<P>, parser: P): P;
@@ -39,10 +38,11 @@ function apply<T>(parser: Parser<T>, source: string, context: Ctx, changes: [str
         if (prop in context && !hasOwnProperty(context, prop)) break;
         context[prop as string] = ObjectCreate(change[1]);
         break;
+      // @ts-expect-error
       case 'memo':
         if (!reset) break;
         context.memo = new Memo({ targets: context.memo?.targets });
-        break;
+        // fallthrough
       default:
         values[i] = context[prop];
         context[prop] = change[1];

package/src/combinator/data/parser/inits.ts

@@ -1,4 +1,3 @@
-import { undefined } from 'spica/global';
 import { Parser, Ctx, Tree, Context, SubParsers, SubTree, eval, exec, check } from '../parser';
 import { push } from 'spica/array';
 
@@ -14,7 +13,7 @@ export function inits<T, D extends Parser<T>[]>(parsers: D, resume?: (nodes: T[]
       if (context.delimiters?.match(rest, context.precedence)) break;
       const result = parsers[i]({ source: rest, context });
       assert(check(rest, result));
-      if (!result) break;
+      if (result === undefined) break;
       nodes = nodes
         ? push(nodes, eval(result))
         : eval(result);

package/src/combinator/data/parser/sequence.ts

@@ -1,4 +1,3 @@
-import { undefined } from 'spica/global';
 import { Parser, Ctx, Tree, Context, SubParsers, SubTree, eval, exec, check } from '../parser';
 import { push } from 'spica/array';
 
@@ -14,7 +13,7 @@ export function sequence<T, D extends Parser<T>[]>(parsers: D, resume?: (nodes:
       if (context.delimiters?.match(rest, context.precedence)) return;
       const result = parsers[i]({ source: rest, context });
       assert(check(rest, result));
-      if (!result) return;
+      if (result === undefined) return;
       nodes = nodes
         ? push(nodes, eval(result))
         : eval(result);

package/src/combinator/data/parser/some.ts

@@ -1,4 +1,3 @@
-import { undefined } from 'spica/global';
 import { Parser, eval, exec, check } from '../parser';
 import { Delimiters } from './context/delimiter';
 import { unshift, push } from 'spica/array';
@@ -30,7 +29,7 @@ export function some<T>(parser: Parser<T>, end?: string | RegExp | number, delim
       if (context.delimiters?.match(rest, context.precedence)) break;
       const result = parser({ source: rest, context });
       assert.doesNotThrow(() => limit < 0 && check(rest, result));
-      if (!result) break;
+      if (result === undefined) break;
       nodes = nodes
         ? nodes.length < eval(result).length
           ? unshift(nodes, eval(result))

package/src/combinator/data/parser/union.ts

@@ -1,4 +1,3 @@
-import { undefined } from 'spica/global';
 import { Parser, Ctx, Tree, Context, SubParsers, SubTree } from '../parser';
 
 export function union<P extends Parser<unknown>>(parsers: SubParsers<P>): SubTree<P> extends Tree<P> ? P : Parser<SubTree<P>, Context<P>, SubParsers<P>>;
@@ -9,17 +8,10 @@ export function union<T, D extends Parser<T>[]>(parsers: D): Parser<T, Ctx, D> {
       return () => undefined;
     case 1:
       return parsers[0];
-    case 2:
-      return input => parsers[0](input) ?? parsers[1](input);
-    case 3:
-      return input => parsers[0](input) ?? parsers[1](input) ?? parsers[2](input);
     default:
-      return input => {
-        for (let i = 0; i < parsers.length; ++i) {
-          const parser = parsers[i];
-          const result = parser(input);
-          if (result) return result;
-        }
-      };
+      return eval([
+        'input =>',
+        parsers.map((_, i) => `|| parsers[${i}](input)`).join('').slice(2),
+      ].join(''));
   }
 }

package/src/parser/api/bind.test.ts

@@ -126,7 +126,7 @@ describe('Unit: parser/api/bind', () => {
     });
 
     it('normalize', () => {
-      assert.deepStrictEqual(inspect(bind(html('div'), cfgs).parse('a\\\r\nb')), ['<p>a<span class="linebreak"> </span>b</p>']);
+      assert.deepStrictEqual(inspect(bind(html('div'), cfgs).parse('a\\\r\nb')), ['<p>a<br>b</p>']);
     });
 
     it('reentrant', () => {

package/src/parser/api/bind.ts

@@ -1,4 +1,3 @@
-import { undefined, location } from 'spica/global';
 import { ParserSettings, Progress } from '../../..';
 import { MarkdownParser } from '../../../markdown';
 import { eval } from '../../combinator/data/parser';

package/src/parser/api/parse.test.ts

@@ -71,7 +71,7 @@ describe('Unit: parser/api/parse', () => {
         ['<p>a <br>b</p>']);
       assert.deepStrictEqual(
         [...parse('a\\\nb').children].map(el => el.outerHTML),
-        ['<p>a<span class="linebreak"> </span>b</p>']);
+        ['<p>a<br>b</p>']);
       assert.deepStrictEqual(
         [...parse('a\n\\ \nb').children].map(el => el.outerHTML),
         ['<p>a<br>\\<br>b</p>']);
@@ -209,7 +209,7 @@ describe('Unit: parser/api/parse', () => {
         [...parse('$-a\n$$\n$$\n\n(($-a[[b]][[c_d_]]))', { footnotes }).children].map(el => el.outerHTML),
         [
           '<figure data-type="math" data-label="$-a" data-group="$" data-number="1" id="label:$-a"><figcaption><span class="figindex">(1)</span><span class="figtext"></span></figcaption><div><div class="math" translate="no">$$\n$$</div></div></figure>',
-          '<p><sup class="annotation" id="annotation:ref:1" title="(1)[1][2]"><span hidden=""><a class="label" data-label="$-a" href="#label:$-a">(1)</a><sup class="reference" id="reference:ref:1" title="b"><span hidden="">b</span><a href="#reference:def:1">[1]</a></sup><sup class="reference" id="reference:ref:2" title="cd"><span hidden="">c<em>d</em></span><a href="#reference:def:2">[2]</a></sup></span><a href="#annotation:def:1">*1</a></sup></p>',
+          '<p><sup class="annotation" id="annotation:ref:1" title="(1)"><span hidden=""><a class="label" data-label="$-a" href="#label:$-a">(1)</a><sup class="reference" id="reference:ref:1" title="b"><span hidden="">b</span><a href="#reference:def:1">[1]</a></sup><sup class="reference" id="reference:ref:2" title="cd"><span hidden="">c<em>d</em></span><a href="#reference:def:2">[2]</a></sup></span><a href="#annotation:def:1">*1</a></sup></p>',
           '<ol class="annotations"><li id="annotation:def:1" data-marker="*1"><a class="label" data-label="$-a" href="#label:$-a">(1)</a><sup class="reference" id="reference:ref:1" title="b"><span hidden="">b</span><a href="#reference:def:1">[1]</a></sup><sup class="reference" id="reference:ref:2" title="cd"><span hidden="">c<em>d</em></span><a href="#reference:def:2">[2]</a></sup><sup><a href="#annotation:ref:1">^1</a></sup></li></ol>',
         ]);
       assert.deepStrictEqual(
@@ -220,7 +220,7 @@ describe('Unit: parser/api/parse', () => {
     it('normalize', () => {
       assert.deepStrictEqual(
         [...parse('a\\\r\nb').children].map(el => el.outerHTML),
-        ['<p>a<span class="linebreak"> </span>b</p>']);
+        ['<p>a<br>b</p>']);
     });
 
     it('backtrack', () => {

package/src/parser/api/parse.ts

@@ -1,4 +1,3 @@
-import { location } from 'spica/global';
 import { ParserOptions } from '../../..';
 import { MarkdownParser } from '../../../markdown';
 import { eval } from '../../combinator/data/parser';

package/src/parser/block/blockquote.test.ts

@@ -69,9 +69,9 @@ describe('Unit: parser/block/blockquote', () => {
       assert.deepStrictEqual(inspect(parser('!> \\\n')), [['<blockquote><section><p>\\</p><h2>References</h2><ol class="references"></ol></section></blockquote>'], '']);
       assert.deepStrictEqual(inspect(parser('!> a')), [['<blockquote><section><p>a</p><h2>References</h2><ol class="references"></ol></section></blockquote>'], '']);
       assert.deepStrictEqual(inspect(parser('!> a\n')), [['<blockquote><section><p>a</p><h2>References</h2><ol class="references"></ol></section></blockquote>'], '']);
-      assert.deepStrictEqual(inspect(parser('!> a\\\nb')), [['<blockquote><section><p>a<span class="linebreak"> </span>b</p><h2>References</h2><ol class="references"></ol></section></blockquote>'], '']);
-      assert.deepStrictEqual(inspect(parser('!> _a\nb_')), [['<blockquote><section><p><em>a<br>b</em></p><h2>References</h2><ol class="references"></ol></section></blockquote>'], '']);
-      assert.deepStrictEqual(inspect(parser('!> _a\n> b_')), [['<blockquote><section><p><em>a<br>b</em></p><h2>References</h2><ol class="references"></ol></section></blockquote>'], '']);
+      assert.deepStrictEqual(inspect(parser('!> a\\\nb')), [['<blockquote><section><p>a<br>b</p><h2>References</h2><ol class="references"></ol></section></blockquote>'], '']);
+      assert.deepStrictEqual(inspect(parser('!> ++a\nb++')), [['<blockquote><section><p><ins>a<br>b</ins></p><h2>References</h2><ol class="references"></ol></section></blockquote>'], '']);
+      assert.deepStrictEqual(inspect(parser('!> ++a\n> b++')), [['<blockquote><section><p><ins>a<br>b</ins></p><h2>References</h2><ol class="references"></ol></section></blockquote>'], '']);
       assert.deepStrictEqual(inspect(parser('!>  a \n b  c ')), [['<blockquote><section><p> a<br> b  c</p><h2>References</h2><ol class="references"></ol></section></blockquote>'], '']);
       assert.deepStrictEqual(inspect(parser('!>> a')), [['<blockquote><blockquote><section><p>a</p><h2>References</h2><ol class="references"></ol></section></blockquote></blockquote>'], '']);
       assert.deepStrictEqual(inspect(parser('!>> a\n> b')), [['<blockquote><blockquote><section><p>a</p><h2>References</h2><ol class="references"></ol></section></blockquote><section><p>b</p><h2>References</h2><ol class="references"></ol></section></blockquote>'], '']);

package/src/parser/block/codeblock.ts

@@ -1,4 +1,3 @@
-import { undefined } from 'spica/global';
 import { CodeBlockParser } from '../block';
 import { eval } from '../../combinator/data/parser';
 import { some, block, validate, fence, clear, fmap } from '../../combinator';

package/src/parser/block/dlist.ts

@@ -3,19 +3,18 @@ import { union, inits, some, creation, state, block, line, validate, rewrite, op
 import { inline, indexee, indexer } from '../inline';
 import { anyline } from '../source';
 import { State } from '../context';
-import { localize } from '../locale';
 import { visualize, trimBlank } from '../visibility';
 import { push } from 'spica/array';
 import { html, defrag } from 'typed-dom/dom';
 
-export const dlist: DListParser = lazy(() => block(localize(fmap(validate(
+export const dlist: DListParser = lazy(() => block(fmap(validate(
   /^~[^\S\n]+(?=\S)/,
   some(inits([
     state(State.annotation | State.reference | State.index | State.label | State.link | State.media,
     some(term)),
     some(desc),
   ]))),
-  es => [html('dl', fillTrailingDescription(es))]))));
+  es => [html('dl', fillTrailingDescription(es))])));
 
 const term: DListParser.TermParser = creation(1, false, line(indexee(fmap(open(
   /^~[^\S\n]+(?=\S)/,

package/src/parser/block/extension/example.test.ts

@@ -18,7 +18,7 @@ describe('Unit: parser/block/extension/example', () => {
       assert.deepStrictEqual(inspect(parser('~~~example/markdown\n~~~')), [['<aside class="example" data-type="markdown"><pre translate="no"></pre><hr><section><h2>References</h2><ol class="references"></ol></section></aside>'], '']);
       assert.deepStrictEqual(inspect(parser('~~~example/markdown\n\n~~~')), [['<aside class="example" data-type="markdown"><pre translate="no"></pre><hr><section><h2>References</h2><ol class="references"></ol></section></aside>'], '']);
       assert.deepStrictEqual(inspect(parser('~~~example/markdown\na\n~~~')), [['<aside class="example" data-type="markdown"><pre translate="no">a</pre><hr><section><p>a</p><h2>References</h2><ol class="references"></ol></section></aside>'], '']);
-      assert.deepStrictEqual(inspect(parser('~~~example/markdown\n_a\nb_\n~~~')), [['<aside class="example" data-type="markdown"><pre translate="no">_a\nb_</pre><hr><section><p><em>a<br>b</em></p><h2>References</h2><ol class="references"></ol></section></aside>'], '']);
+      assert.deepStrictEqual(inspect(parser('~~~example/markdown\n++a\nb++\n~~~')), [['<aside class="example" data-type="markdown"><pre translate="no">++a\nb++</pre><hr><section><p><ins>a<br>b</ins></p><h2>References</h2><ol class="references"></ol></section></aside>'], '']);
       assert.deepStrictEqual(inspect(parser('~~~example/markdown\n$fig-a\n!https://host\n~~~')), [['<aside class="example" data-type="markdown"><pre translate="no">$fig-a\n!https://host</pre><hr><section><figure data-type="media" data-label="fig-a" data-group="fig" data-number="1"><figcaption><span class="figindex">Fig. 1. </span><span class="figtext"></span></figcaption><div><a href="https://host" target="_blank"><img class="media" data-src="https://host" alt=""></a></div></figure><h2>References</h2><ol class="references"></ol></section></aside>'], '']);
       assert.deepStrictEqual(inspect(parser('~~~example/markdown\n[$fig-a]\n!https://host\n~~~')), [['<aside class="example" data-type="markdown"><pre translate="no">[$fig-a]\n!https://host</pre><hr><section><figure data-type="media" data-label="fig-a" data-group="fig" data-number="1"><figcaption><span class="figindex">Fig. 1. </span><span class="figtext"></span></figcaption><div><a href="https://host" target="_blank"><img class="media" data-src="https://host" alt=""></a></div></figure><h2>References</h2><ol class="references"></ol></section></aside>'], '']);
       assert.deepStrictEqual(inspect(parser('~~~example/markdown\n## a\n~~~')), [['<aside class="example" data-type="markdown"><pre translate="no">## a</pre><hr><section><h2>a</h2><h2>References</h2><ol class="references"></ol></section></aside>'], '']);

package/src/parser/block/extension/fig.ts

@@ -27,7 +27,8 @@ export const segment: FigParser.SegmentParser = block(validate(['[$', '$'],
 
 export const fig: FigParser = block(rewrite(segment, verify(convert(
   (source, context) => {
-    const fence = (/^[^\n]*\n!?>+\s/.test(source) && source.match(/^~{3,}(?=[^\S\n]*$)/mg) || [])
+    // Bug: TypeScript
+    const fence = (/^[^\n]*\n!?>+\s/.test(source) && source.match(/^~{3,}(?=[^\S\n]*$)/mg) as string[] || [])
       .reduce((max, fence) => fence > max ? fence : max, '~~') + '~';
     return parser({ source, context })
       ? `${fence}figure ${source.replace(/^(.+\n.+\n)([\S\s]+?)\n?$/, '$1\n$2')}\n${fence}`

package/src/parser/block/extension/figure.ts

@@ -1,4 +1,3 @@
-import { undefined } from 'spica/global';
 import { ExtensionParser } from '../../block';
 import { union, inits, sequence, some, state, block, line, fence, rewrite, close, match, convert, trimEnd, fallback, fmap } from '../../../combinator';
 import { str, contentline, emptyline } from '../../source';
@@ -14,7 +13,6 @@ import { blockquote, segment as seg_blockquote } from '../blockquote';
 import { placeholder, segment_ as seg_placeholder } from './placeholder';
 import { inline, media, shortmedia } from '../../inline';
 import { State } from '../../context';
-import { localize } from '../../locale';
 import { visualize, trimBlank } from '../../visibility';
 import { memoize } from 'spica/memoize';
 import { html, defrag } from 'typed-dom/dom';
@@ -66,9 +64,9 @@ export const figure: FigureParser = block(fallback(rewrite(segment, fmap(
         line(shortmedia),
       ])),
       emptyline,
-      block(localize(
+      block(
         state(State.media,
-        visualize(trimBlank(trimEnd(some(inline))))))),
+        visualize(trimBlank(trimEnd(some(inline)))))),
     ]),
   ])),
   ([label, param, content, ...caption]: [HTMLAnchorElement, string, ...HTMLElement[]]) => [

package/src/parser/block/extension/table.ts

@@ -1,11 +1,9 @@
-import { undefined, BigInt, Array } from 'spica/global';
 import { max, min, isArray } from 'spica/alias';
 import { ExtensionParser } from '../../block';
 import { Tree, eval } from '../../../combinator/data/parser';
 import { union, subsequence, inits, some, creation, block, line, validate, fence, rewrite, open, clear, convert, trim, dup, lazy, fmap } from '../../../combinator';
 import { inline } from '../../inline';
 import { str, anyline, emptyline, contentline } from '../../source';
-import { localize } from '../../locale';
 import { visualize } from '../../visibility';
 import { unshift, splice } from 'spica/array';
 import { html, define, defrag } from 'typed-dom/dom';
@@ -53,9 +51,9 @@ export const table: TableParser = block(validate('~~~', fmap(
     }
   })));
 
-const parser: TableParser = lazy(() => block(localize(fmap(
+const parser: TableParser = lazy(() => block(fmap(
   some(union([row])),
-  rows => [html('table', format(rows))]))));
+  rows => [html('table', format(rows))])));
 
 const row: RowParser = lazy(() => dup(fmap(
   subsequence([

package/src/parser/block/heading.test.ts

@@ -75,7 +75,7 @@ describe('Unit: parser/block/heading', () => {
       assert.deepStrictEqual(inspect(parser('# a [#!http://host]')), [['<h1 id="index:!http://host">a<span class="indexer" data-index="!http://host"></span></h1>'], '']);
       assert.deepStrictEqual(inspect(parser('# a [#a((b))]')), [['<h1 id="index:a((b))">a<span class="indexer" data-index="a((b))"></span></h1>'], '']);
       assert.deepStrictEqual(inspect(parser('# a [#a[[b]]]')), [['<h1 id="index:a[[b]]">a<span class="indexer" data-index="a[[b]]"></span></h1>'], '']);
-      assert.deepStrictEqual(inspect(parser('# a [#b |#c]')), [['<h1 id="index:c">a<span class="indexer" data-index="c"></span></h1>'], '']);
+      assert.deepStrictEqual(inspect(parser('# a [#b |c]')), [['<h1 id="index:c">a<span class="indexer" data-index="c"></span></h1>'], '']);
       assert.deepStrictEqual(inspect(parser('# a [#b] [#c]')), [['<h1 id="index:c">a [#b]<span class="indexer" data-index="c"></span></h1>'], '']);
       assert.deepStrictEqual(inspect(parser('# a  [#b] \n')), [['<h1 id="index:b">a<span class="indexer" data-index="b"></span></h1>'], '']);
       assert.deepStrictEqual(inspect(parser('# a \\[#b]')), [['<h1 id="index:a_[#b]">a [#b]</h1>'], '']);

package/src/parser/block/mathblock.ts

@@ -1,4 +1,3 @@
-import { undefined } from 'spica/global';
 import { MathBlockParser } from '../block';
 import { block, validate, fence, clear, fmap } from '../../combinator';
 import { html } from 'typed-dom/dom';

package/src/parser/block/olist.ts

@@ -1,4 +1,3 @@
-import { undefined } from 'spica/global';
 import { OListParser } from '../block';
 import { Parser } from '../../combinator/data/parser';
 import { union, inits, subsequence, some, creation, state, block, line, validate, indent, focus, rewrite, open, match, fallback, lazy, fmap } from '../../combinator';

package/src/parser/block/paragraph.test.ts

@@ -19,7 +19,7 @@ describe('Unit: parser/block/paragraph', () => {
       assert.deepStrictEqual(inspect(parser('a\\ ')), [['<p>a</p>'], '']);
       assert.deepStrictEqual(inspect(parser('a\\ \n')), [['<p>a</p>'], '']);
       assert.deepStrictEqual(inspect(parser('a\\\n')), [['<p>a</p>'], '']);
-      assert.deepStrictEqual(inspect(parser('a\\\nb')), [['<p>a<span class="linebreak"> </span>b</p>'], '']);
+      assert.deepStrictEqual(inspect(parser('a\\\nb')), [['<p>a<br>b</p>'], '']);
       assert.deepStrictEqual(inspect(parser('a&NewLine;b')), [['<p>a b</p>'], '']);
       assert.deepStrictEqual(inspect(parser('&Tab;&NewLine;')), [['<p>&amp;Tab;&amp;NewLine;</p>'], '']);
       assert.deepStrictEqual(inspect(parser('<wbr>')), [['<p>&lt;wbr&gt;</p>'], '']);

package/src/parser/block/paragraph.ts

@@ -1,10 +1,9 @@
 import { ParagraphParser } from '../block';
 import { union, some, block, trimEnd, fmap } from '../../combinator';
 import { inline } from '../inline';
-import { localize } from '../locale';
 import { visualize } from '../visibility';
 import { html, defrag } from 'typed-dom/dom';
 
-export const paragraph: ParagraphParser = block(localize(fmap(
+export const paragraph: ParagraphParser = block(fmap(
   visualize(trimEnd(some(union([inline])))),
-  ns => [html('p', defrag(ns))])));
+  ns => [html('p', defrag(ns))]));

package/src/parser/block/reply.ts

@@ -4,7 +4,6 @@ import { cite } from './reply/cite';
 import { quote, syntax as delimiter } from './reply/quote';
 import { inline } from '../inline';
 import { anyline } from '../source';
-import { localize } from '../locale';
 import { visualize } from '../visibility';
 import { push, pop } from 'spica/array';
 import { html, defrag } from 'typed-dom/dom';
@@ -16,7 +15,7 @@ import { html, defrag } from 'typed-dom/dom';
 対象と引用は1:N(分割)、N:1(統合)のみ可能、N:N(混合)は不可能
 */
 
-export const reply: ReplyParser = block(validate('>', localize(fmap(
+export const reply: ReplyParser = block(validate('>', fmap(
   inits([
     some(inits([
       cite,
@@ -30,4 +29,4 @@ export const reply: ReplyParser = block(validate('>', localize(fmap(
         ns => push(ns, [html('br')])),
     ])),
   ]),
-  ns => [html('p', defrag(pop(ns)[0]))]))));
+  ns => [html('p', defrag(pop(ns)[0]))])));

package/src/parser/block.ts

@@ -1,4 +1,3 @@
-import { undefined } from 'spica/global';
 import { MarkdownParser } from '../../markdown';
 import { union, reset, creation, open, fallback, recover } from '../combinator';
 import { emptyline } from './source';

package/src/parser/context.ts

@@ -1,28 +1,23 @@
 export const enum Syntax {
-  reference = 1 << 13,
-  comment = 1 << 12,
-  index = 1 << 11,
-  placeholder = 1 << 10,
-  ruby = 1 << 9,
-  link = 1 << 8,
-  bracket = 1 << 7,
-  media = 1 << 6,
-  annotation = 1 << 5,
-  mathbracket = 1 << 4,
-  html = 1 << 3,
-  math = 1 << 2,
+  reference = 1 << 8,
+  index = 1 << 7,
+  placeholder = 1 << 6,
+  ruby = 1 << 5,
+  link = 1 << 4,
+  bracket = 1 << 3,
+  media = 1 << 2,
   autolink = 1 << 1,
-  quote = 1 << 0,
   none = 0,
 }
 
 export const enum State {
-  annotation = 1 << 7,
-  reference = 1 << 6,
-  index = 1 << 5,
-  label = 1 << 4,
-  link = 1 << 3,
-  media = 1 << 2,
+  annotation = 1 << 8,
+  reference = 1 << 7,
+  index = 1 << 6,
+  label = 1 << 5,
+  link = 1 << 4,
+  media = 1 << 3,
+  mark = 1 << 2,
   autolink = 1 << 1,
   shortcut = 1 << 0,
   none = 0,
@@ -33,6 +28,7 @@ export const enum State {
     | State.index
     | State.label
     | State.link
+    | State.mark
     | State.autolink,
   backtrackers = 0
     | State.annotation