securemark 0.291.1 → 0.293.0

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

@@ -1,9 +1,11 @@
 import { extension } from './extension';
 import { some } from '../../combinator';
+import { input } from '../../combinator/data/parser';
 
 describe('Unit: parser/block/extension', () => {
   describe('extension', () => {
-    const parser = (source: string) => some(extension)({ source, context: {} });
+    const parser = (source: string) => some(extension)(input(source, ctx));
+    const { context: ctx } = input('', {});
 
     it('invalid', () => {
       assert(!parser(''));

package/src/parser/block/extension.ts

@@ -9,12 +9,12 @@ import { aside } from './extension/aside';
 import { example } from './extension/example';
 import { placeholder, segment as seg_placeholder } from './extension/placeholder';
 
-export const segment: ExtensionParser.SegmentParser = validate(['~~~', '[$', '$'], validate(/^~{3,}|^\[?\$[A-Za-z-]\S+[^\S\n]*(?:$|\n)/, union([
+export const segment: ExtensionParser.SegmentParser = validate(/~~~|\[?\$|~{3,}|\[?\$[A-Za-z-]\S+[^\S\n]*(?:$|\n)/y, union([
   seg_fig,
   seg_figure,
   seg_table,
   seg_placeholder,
-])));
+]));
 
 export const extension: ExtensionParser = union([
   figbase,

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

@@ -1,84 +1,85 @@
 import { heading, segment } from './heading';
-import { eval, exec } from '../../combinator/data/parser';
+import { input, eval } from '../../combinator/data/parser';
 import { some } from '../../combinator';
 import { inspect } from '../../debug.test';
 
 describe('Unit: parser/block/heading', () => {
   describe('heading', () => {
     const parser = (source: string) => {
-      const result = segment({ source, context: {} });
+      const result = segment(input(source, ctx));
       return result
-        ? [eval(result).flatMap(seg => eval<HTMLElement | string>(heading({ source: seg, context: {} }), [seg])), exec(result)] as const
-        : some(heading)({ source, context: {} });
+        ? [eval(result).flatMap(seg => eval<HTMLElement | string>(heading(input(seg, {})), [seg]))] as const
+        : some(heading)(input(source, ctx));
     };
+    const { context: ctx } = input('', {});
 
     it('invalid', () => {
-      assert.deepStrictEqual(inspect(parser('')), undefined);
-      assert.deepStrictEqual(inspect(parser('\n')), undefined);
-      assert.deepStrictEqual(inspect(parser('#')), undefined);
-      assert.deepStrictEqual(inspect(parser('#\n')), undefined);
-      assert.deepStrictEqual(inspect(parser('#a\n')), undefined);
-      assert.deepStrictEqual(inspect(parser('#a \n')), undefined);
-      assert.deepStrictEqual(inspect(parser('#a\n#')), undefined);
-      assert.deepStrictEqual(inspect(parser('#a\\\n#')), undefined);
-      assert.deepStrictEqual(inspect(parser('# ')), undefined);
-      assert.deepStrictEqual(inspect(parser('#\n')), undefined);
-      assert.deepStrictEqual(inspect(parser('# \n')), undefined);
-      assert.deepStrictEqual(inspect(parser('# a\nb')), undefined);
-      assert.deepStrictEqual(inspect(parser('# *a\nb*')), undefined);
-      assert.deepStrictEqual(inspect(parser('# a\n#b')), undefined);
-      assert.deepStrictEqual(inspect(parser('####### a')), [['<h6 class="invalid" id="index::a">a</h6>'], '']);
-      assert.deepStrictEqual(inspect(parser(' # a')), undefined);
+      assert.deepStrictEqual(inspect(parser(''), ctx), undefined);
+      assert.deepStrictEqual(inspect(parser('\n'), ctx), undefined);
+      assert.deepStrictEqual(inspect(parser('#'), ctx), undefined);
+      assert.deepStrictEqual(inspect(parser('#\n'), ctx), undefined);
+      assert.deepStrictEqual(inspect(parser('#a\n'), ctx), undefined);
+      assert.deepStrictEqual(inspect(parser('#a \n'), ctx), undefined);
+      assert.deepStrictEqual(inspect(parser('#a\n#'), ctx), undefined);
+      assert.deepStrictEqual(inspect(parser('#a\\\n#'), ctx), undefined);
+      assert.deepStrictEqual(inspect(parser('# '), ctx), undefined);
+      assert.deepStrictEqual(inspect(parser('#\n'), ctx), undefined);
+      assert.deepStrictEqual(inspect(parser('# \n'), ctx), undefined);
+      assert.deepStrictEqual(inspect(parser('# a\nb'), ctx), undefined);
+      assert.deepStrictEqual(inspect(parser('# *a\nb*'), ctx), undefined);
+      assert.deepStrictEqual(inspect(parser('# a\n#b'), ctx), undefined);
+      assert.deepStrictEqual(inspect(parser('####### a'), ctx), [['<h6 class="invalid" id="index::#######_a">####### a</h6>'], '']);
+      assert.deepStrictEqual(inspect(parser(' # a'), ctx), undefined);
     });
 
     it('basic', () => {
-      assert.deepStrictEqual(inspect(parser('# a')), [['<h1 id="index::a">a</h1>'], '']);
-      assert.deepStrictEqual(inspect(parser('# a ')), [['<h1 id="index::a">a</h1>'], '']);
-      assert.deepStrictEqual(inspect(parser('# a b  c \n')), [['<h1 id="index::a_b__c">a b  c</h1>'], '']);
-      assert.deepStrictEqual(inspect(parser('# a\n')), [['<h1 id="index::a">a</h1>'], '']);
-      assert.deepStrictEqual(inspect(parser('# *a*`b`${c}$')), [['<h1 id="index::a`b`${c}$"><em>a</em><code data-src="`b`">b</code><span class="math" translate="no" data-src="${c}$">${c}$</span></h1>'], '']);
-      assert.deepStrictEqual(inspect(parser('# a\\')), [['<h1 id="index::a">a</h1>'], '']);
-      assert.deepStrictEqual(inspect(parser('# a\\\n')), [['<h1 id="index::a">a</h1>'], '']);
-      assert.deepStrictEqual(inspect(parser('# \\')), [['<h1 id="index::\\">\\</h1>'], '']);
-      assert.deepStrictEqual(inspect(parser('# \\ a')), [['<h1 id="index::a">a</h1>'], '']);
-      assert.deepStrictEqual(inspect(parser('## \\')), [['<h2 id="index::\\">\\</h2>'], '']);
-      assert.deepStrictEqual(inspect(parser('# @a')), [['<h1 id="index::@a">@a</h1>'], '']);
-      assert.deepStrictEqual(inspect(parser('## @a')), [['<h2 id="index::@a"><a class="account" href="/@a">@a</a></h2>'], '']);
-      assert.deepStrictEqual(inspect(parser('# http://host')), [['<h1 id="index::http://host">http://host</h1>'], '']);
-      assert.deepStrictEqual(inspect(parser('## http://host')), [['<h2 id="index::http://host"><a class="url" href="http://host" target="_blank">http://host</a></h2>'], '']);
-      assert.deepStrictEqual(inspect(parser('# !http://host')), [['<h1 id="index::!http://host">!http://host</h1>'], '']);
-      assert.deepStrictEqual(inspect(parser('## !http://host')), [['<h2 id="index::!http://host">!<a class="url" href="http://host" target="_blank">http://host</a></h2>'], '']);
-      assert.deepStrictEqual(inspect(parser('# a((b))')), [['<h1 id="index::a((b))">a<span class="paren">((b))</span></h1>'], '']);
-      assert.deepStrictEqual(inspect(parser('## a((b))')), [['<h2 id="index::a((b))">a<span class="paren">((b))</span></h2>'], '']);
-      assert.deepStrictEqual(inspect(parser('# a[[b]]')), [['<h1 id="index::a[[b]]">a[[b]]</h1>'], '']);
-      assert.deepStrictEqual(inspect(parser('## a[[b]]')), [['<h2 id="index::a[[b]]">a[[b]]</h2>'], '']);
-      assert.deepStrictEqual(inspect(parser('###### a')), [['<h6 id="index::a">a</h6>'], '']);
-      assert.deepStrictEqual(inspect(parser('# a\n##')), [['<h1 id="index::a">a</h1>', '##'], '']);
-      assert.deepStrictEqual(inspect(parser('# a\n## ')), [['<h1 id="index::a">a</h1>', '## '], '']);
-      assert.deepStrictEqual(inspect(parser('# a\n## b')), [['<h1 id="index::a">a</h1>', '<h2 id="index::b">b</h2>'], '']);
-      assert.deepStrictEqual(inspect(parser('# a\n##\n## b')), [['<h1 id="index::a">a</h1>', '##\n', '<h2 id="index::b">b</h2>'], '']);
+      assert.deepStrictEqual(inspect(parser('# a'), ctx), [['<h1 id="index::a">a</h1>'], '']);
+      assert.deepStrictEqual(inspect(parser('# a '), ctx), [['<h1 id="index::a">a</h1>'], '']);
+      assert.deepStrictEqual(inspect(parser('# a b  c \n'), ctx), [['<h1 id="index::a_b_c">a b c</h1>'], '']);
+      assert.deepStrictEqual(inspect(parser('# a\n'), ctx), [['<h1 id="index::a">a</h1>'], '']);
+      assert.deepStrictEqual(inspect(parser('# *a*`b`${c}$'), ctx), [['<h1 id="index::a`b`${c}$"><em>a</em><code data-src="`b`">b</code><span class="math" translate="no" data-src="${c}$">${c}$</span></h1>'], '']);
+      assert.deepStrictEqual(inspect(parser('# a\\'), ctx), [['<h1 id="index::a">a</h1>'], '']);
+      assert.deepStrictEqual(inspect(parser('# a\\\n'), ctx), [['<h1 id="index::a">a</h1>'], '']);
+      assert.deepStrictEqual(inspect(parser('# \\'), ctx), [['<h1 id="index::\\">\\</h1>'], '']);
+      assert.deepStrictEqual(inspect(parser('# \\ a'), ctx), [['<h1 id="index::a">a</h1>'], '']);
+      assert.deepStrictEqual(inspect(parser('## \\'), ctx), [['<h2 id="index::\\">\\</h2>'], '']);
+      assert.deepStrictEqual(inspect(parser('# @a'), ctx), [['<h1 id="index::@a">@a</h1>'], '']);
+      assert.deepStrictEqual(inspect(parser('## @a'), ctx), [['<h2 id="index::@a"><a class="account" href="/@a">@a</a></h2>'], '']);
+      assert.deepStrictEqual(inspect(parser('# http://host'), ctx), [['<h1 id="index::http://host">http://host</h1>'], '']);
+      assert.deepStrictEqual(inspect(parser('## http://host'), ctx), [['<h2 id="index::http://host"><a class="url" href="http://host" target="_blank">http://host</a></h2>'], '']);
+      assert.deepStrictEqual(inspect(parser('# !http://host'), ctx), [['<h1 id="index::!http://host">!http://host</h1>'], '']);
+      assert.deepStrictEqual(inspect(parser('## !http://host'), ctx), [['<h2 id="index::!http://host">!<a class="url" href="http://host" target="_blank">http://host</a></h2>'], '']);
+      assert.deepStrictEqual(inspect(parser('# a((b))'), ctx), [['<h1 id="index::a((b))">a<span class="paren">((b))</span></h1>'], '']);
+      assert.deepStrictEqual(inspect(parser('## a((b))'), ctx), [['<h2 id="index::a((b))">a<span class="paren">((b))</span></h2>'], '']);
+      assert.deepStrictEqual(inspect(parser('# a[[b]]'), ctx), [['<h1 id="index::a[[b]]">a[[b]]</h1>'], '']);
+      assert.deepStrictEqual(inspect(parser('## a[[b]]'), ctx), [['<h2 id="index::a[[b]]">a[[b]]</h2>'], '']);
+      assert.deepStrictEqual(inspect(parser('###### a'), ctx), [['<h6 id="index::a">a</h6>'], '']);
+      assert.deepStrictEqual(inspect(parser('# a\n##'), ctx), [['<h1 id="index::a">a</h1>', '##'], '']);
+      assert.deepStrictEqual(inspect(parser('# a\n## '), ctx), [['<h1 id="index::a">a</h1>', '## '], '']);
+      assert.deepStrictEqual(inspect(parser('# a\n## b'), ctx), [['<h1 id="index::a">a</h1>', '<h2 id="index::b">b</h2>'], '']);
+      assert.deepStrictEqual(inspect(parser('# a\n##\n## b'), ctx), [['<h1 id="index::a">a</h1>', '##\n', '<h2 id="index::b">b</h2>'], '']);
     });
 
     it('indexer', () => {
-      assert.deepStrictEqual(inspect(parser('# [|a]')), [['<h1 id="index::a"><span class="invalid">a</span></h1>'], '']);
-      assert.deepStrictEqual(inspect(parser('# a[|b]')), [['<h1 id="index::ab">a<span class="invalid">b</span></h1>'], '']);
-      assert.deepStrictEqual(inspect(parser('# a [|b]')), [['<h1 id="index::b">a<span class="indexer" data-index="b"></span></h1>'], '']);
-      assert.deepStrictEqual(inspect(parser('# a [|b] ')), [['<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 <span class="invalid">b</span></h1>'], '']);
-      assert.deepStrictEqual(inspect(parser('# a [|B]')), [['<h1 id="index::B">a<span class="indexer" data-index="B"></span></h1>'], '']);
-      assert.deepStrictEqual(inspect(parser('# a [|b ]')), [['<h1 id="index::b">a<span class="indexer" data-index="b"></span></h1>'], '']);
-      assert.deepStrictEqual(inspect(parser('# a [|b  ]')), [['<h1 id="index::b">a<span class="indexer" data-index="b"></span></h1>'], '']);
-      assert.deepStrictEqual(inspect(parser('# a [|b c]')), [['<h1 id="index::b_c">a<span class="indexer" data-index="b_c"></span></h1>'], '']);
-      assert.deepStrictEqual(inspect(parser('# a [|*b*`c`${d}$]')), [['<h1 id="index::*b*`c`${d}$">a<span class="indexer" data-index="*b*`c`${d}$"></span></h1>'], '']);
-      assert.deepStrictEqual(inspect(parser('# a [|@a]')), [['<h1 id="index::@a">a<span class="indexer" data-index="@a"></span></h1>'], '']);
-      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 [|!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="invalid">b</span><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>'], '']);
-      assert.deepStrictEqual(inspect(parser('## a [|b] [|c]')), [['<h2 id="index::c">a <span class="invalid">b</span><span class="indexer" data-index="c"></span></h2>'], '']);
+      assert.deepStrictEqual(inspect(parser('# [|a]'), ctx), [['<h1 id="index::[|a]"><span class="invalid">[|a]</span></h1>'], '']);
+      assert.deepStrictEqual(inspect(parser('# a[|b]'), ctx), [['<h1 id="index::a[|b]">a<span class="invalid">[|b]</span></h1>'], '']);
+      assert.deepStrictEqual(inspect(parser('# a [|b]'), ctx), [['<h1 id="index::b">a<span class="indexer" data-index="b"></span></h1>'], '']);
+      assert.deepStrictEqual(inspect(parser('# a [|b] '), ctx), [['<h1 id="index::b">a<span class="indexer" data-index="b"></span></h1>'], '']);
+      assert.deepStrictEqual(inspect(parser('# a [|b]\\'), ctx), [['<h1 id="index::a_[|b]">a <span class="invalid">[|b]</span></h1>'], '']);
+      assert.deepStrictEqual(inspect(parser('# a [|B]'), ctx), [['<h1 id="index::B">a<span class="indexer" data-index="B"></span></h1>'], '']);
+      assert.deepStrictEqual(inspect(parser('# a [|b ]'), ctx), [['<h1 id="index::b">a<span class="indexer" data-index="b"></span></h1>'], '']);
+      assert.deepStrictEqual(inspect(parser('# a [|b  ]'), ctx), [['<h1 id="index::b">a<span class="indexer" data-index="b"></span></h1>'], '']);
+      assert.deepStrictEqual(inspect(parser('# a [|b c]'), ctx), [['<h1 id="index::b_c">a<span class="indexer" data-index="b_c"></span></h1>'], '']);
+      assert.deepStrictEqual(inspect(parser('# a [|*b*\\`c\\`\\$\\{d\\}\\$]'), ctx), [['<h1 id="index::*b*`c`${d}$">a<span class="indexer" data-index="*b*`c`${d}$"></span></h1>'], '']);
+      assert.deepStrictEqual(inspect(parser('# a [|@a]'), ctx), [['<h1 id="index::@a">a<span class="indexer" data-index="@a"></span></h1>'], '']);
+      assert.deepStrictEqual(inspect(parser('# a [|http://host]'), ctx), [['<h1 id="index::http://host">a<span class="indexer" data-index="http://host"></span></h1>'], '']);
+      assert.deepStrictEqual(inspect(parser('# a [|!http://host]'), ctx), [['<h1 id="index::!http://host">a<span class="indexer" data-index="!http://host"></span></h1>'], '']);
+      assert.deepStrictEqual(inspect(parser('# a [|a\\(\\(b\\)\\)]'), ctx), [['<h1 id="index::a((b))">a<span class="indexer" data-index="a((b))"></span></h1>'], '']);
+      assert.deepStrictEqual(inspect(parser('# a [|a\\[\\[b\\]\\]]'), ctx), [['<h1 id="index::a[[b]]">a<span class="indexer" data-index="a[[b]]"></span></h1>'], '']);
+      assert.deepStrictEqual(inspect(parser('# a [|b] [|c]'), ctx), [['<h1 id="index::c">a <span class="invalid">[|b]</span><span class="indexer" data-index="c"></span></h1>'], '']);
+      assert.deepStrictEqual(inspect(parser('# a  [|b] \n'), ctx), [['<h1 id="index::b">a<span class="indexer" data-index="b"></span></h1>'], '']);
+      assert.deepStrictEqual(inspect(parser('# a \\[|b]'), ctx), [['<h1 id="index::a_[|b]">a [|b]</h1>'], '']);
+      assert.deepStrictEqual(inspect(parser('## a [|b] [|c]'), ctx), [['<h2 id="index::c">a <span class="invalid">[|b]</span><span class="indexer" data-index="c"></span></h2>'], '']);
     });
 
   });

package/src/parser/block/heading.ts

@@ -8,26 +8,26 @@ import { invalid } from '../util';
 import { html, defrag } from 'typed-dom/dom';
 
 export const segment: HeadingParser.SegmentParser = block(validate('#', focus(
-  /^#+[^\S\n]+\S[^\n]*(?:\n#+(?!\S)[^\n]*)*(?:$|\n)/,
-  some(line(({ source }) => [[source], ''])))));
+  /#+[^\S\n]+\S[^\n]*(?:\n#+(?!\S)[^\n]*)*(?:$|\n)/y,
+  some(line(({ context: { source } }) => [[source]])))));
 
 export const heading: HeadingParser = block(rewrite(segment,
   // その他の表示制御は各所のCSSで行う。
   state(State.annotation | State.reference | State.index | State.label | State.link,
   line(indexee(fmap(union([
     open(
-      str(/^##+/),
+      str(/##+/y),
       visualize(trimBlank(some(union([indexer, inline])))), true),
     open(
       str('#'),
       state(State.linkers,
       visualize(trimBlank(some(union([indexer, inline]))))), true),
   ]),
-  ([h, ...ns]: [string, ...(HTMLElement | string)[]]) => [
+  ([h, ...ns]: [string, ...(HTMLElement | string)[]], context) => [
     h.length <= 6
       ? html(`h${h.length as 1}`, { 'data-index': dataindex(ns) }, defrag(ns))
       : html(`h6`, {
           class: 'invalid',
           ...invalid('heading', 'syntax', 'Heading level must be up to 6'),
-        }, defrag(ns))
+        }, context.source.slice(context.position - context.range!, context.position))
   ]))))));

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

@@ -1,9 +1,11 @@
 import { ilist } from './ilist';
 import { some } from '../../combinator';
+import { input } from '../../combinator/data/parser';
 
 describe('Unit: parser/block/ilist', () => {
   describe('ilist', () => {
-    const parser = (source: string) => some(ilist)({ source, context: {} });
+    const parser = (source: string) => some(ilist)(input(source, ctx));
+    const { context: ctx } = input('', {});
 
     it('single', () => {
       assert(!parser('-'));
@@ -13,9 +15,9 @@ describe('Unit: parser/block/ilist', () => {
       assert(parser('- '));
       assert(parser('+ '));
       assert(parser('* '));
-      assert(parser('-\n-'));
-      assert(parser('+\n+'));
-      assert(parser('*\n*'));
+      assert(parser('- \n-'));
+      assert(parser('+ \n+'));
+      assert(parser('* \n*'));
     });
 
   });

package/src/parser/block/ilist.ts

@@ -7,19 +7,19 @@ import { olist_ } from './olist';
 import { inline } from '../inline';
 import { contentline } from '../source';
 import { visualize, trimBlank } from '../visibility';
-import { lineable, invalid } from '../util';
+import { linearize, invalid } from '../util';
 import { html, defrag } from 'typed-dom/dom';
 
 export const ilist: IListParser = lazy(() => block(validate(
-  /^[-+*](?=[^\S\n]|\n[^\S\n]*\S)/,
+  /[-+*] /y,
   ilist_)));
 
 export const ilist_: IListParser = lazy(() => block(fmap(validate(
-  /^[-+*](?:$|\s)/,
+  /[-+*](?:$|[ \n])/y,
   some(recursion(Recursion.listitem, union([
     fmap(fallback(
       inits([
-        line(open(/^[-+*](?:$|\s)/, trim(visualize(trimBlank(lineable(some(inline))))), true)),
+        line(open(/[-+*](?:$|[ \n])/y, trim(visualize(trimBlank(linearize(some(inline), -1)))), true)),
         indent(union([ulist_, olist_, ilist_])),
       ]),
       ilistitem),
@@ -33,11 +33,11 @@ export const ilist_: IListParser = lazy(() => block(fmap(validate(
   ])));
 
 export const ilistitem = rewrite(
-  inits([contentline, indent<Parser<string>>(({ source }) => [[source], ''])]),
-  ({ source }) => [[
+  inits([contentline, indent<Parser<string>>(({ context: { source } }) => [[source]])]),
+  ({ context: { source } }) => [[
     '',
     html('span', {
       class: 'invalid',
       ...invalid('list', 'syntax', 'Fix the indent or the head of the list item'),
     }, source.replace('\n', ''))
-  ], '']);
+  ]]);

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

@@ -1,45 +1,47 @@
 import { mathblock } from './mathblock';
 import { some } from '../../combinator';
+import { input } from '../../combinator/data/parser';
 import { inspect } from '../../debug.test';
 
 describe('Unit: parser/block/mathblock', () => {
   describe('mathblock', () => {
-    const parser = (source: string) => some(mathblock)({ source, context: {} });
+    const parser = (source: string) => some(mathblock)(input(source, ctx));
+    const { context: ctx } = input('', {});
 
     it('invalid', () => {
-      assert.deepStrictEqual(inspect(parser('')), undefined);
-      assert.deepStrictEqual(inspect(parser('\n')), undefined);
-      assert.deepStrictEqual(inspect(parser('$$')), undefined);
-      assert.deepStrictEqual(inspect(parser('$$\n')), undefined);
-      assert.deepStrictEqual(inspect(parser('$$\na')), [['<pre class="invalid" translate="no">$$\na</pre>'], '']);
-      assert.deepStrictEqual(inspect(parser('$$\na$$')), [['<pre class="invalid" translate="no">$$\na$$</pre>'], '']);
-      assert.deepStrictEqual(inspect(parser('$$\na\n$$b')), [['<pre class="invalid" translate="no">$$\na\n$$b</pre>'], '']);
-      assert.deepStrictEqual(inspect(parser('$$\na\n$$\nb')), [['<pre class="invalid" translate="no">$$\na\n$$\nb</pre>'], '']);
-      assert.deepStrictEqual(inspect(parser('$$$\n\n\n$$$')), undefined);
-      assert.deepStrictEqual(inspect(parser('$$ $$\n$$')), undefined);
-      assert.deepStrictEqual(inspect(parser('$$lang\n$$')), [['<pre class="invalid" translate="no">$$lang\n$$</pre>'], '']);
-      assert.deepStrictEqual(inspect(parser('$$ param\n$$')), [['<pre class="invalid" translate="no">$$ param\n$$</pre>'], '']);
-      assert.deepStrictEqual(inspect(parser('$$\n$$\n$$')), [['<pre class="invalid" translate="no">$$\n$$\n$$</pre>'], '']);
-      assert.deepStrictEqual(inspect(parser('$$\n$$$')), [['<pre class="invalid" translate="no">$$\n$$$</pre>'], '']);
-      assert.deepStrictEqual(inspect(parser('$$$\n$$')), [['<pre class="invalid" translate="no">$$$\n$$</pre>'], '']);
-      assert.deepStrictEqual(inspect(parser('$$$\n$$$')), [['<pre class="invalid" translate="no">$$$\n$$$</pre>'], '']);
-      assert.deepStrictEqual(inspect(parser(' $$\n$$')), undefined);
-      assert.deepStrictEqual(inspect(parser(`$$\n0${'\n'.repeat(301)}$$`), '>'), [['<pre class="invalid" translate="no">'], '']);
+      assert.deepStrictEqual(inspect(parser(''), ctx), undefined);
+      assert.deepStrictEqual(inspect(parser('\n'), ctx), undefined);
+      assert.deepStrictEqual(inspect(parser('$$'), ctx), undefined);
+      assert.deepStrictEqual(inspect(parser('$$\n'), ctx), undefined);
+      assert.deepStrictEqual(inspect(parser('$$\na'), ctx), [['<pre class="invalid" translate="no">$$\na</pre>'], '']);
+      assert.deepStrictEqual(inspect(parser('$$\na$$'), ctx), [['<pre class="invalid" translate="no">$$\na$$</pre>'], '']);
+      assert.deepStrictEqual(inspect(parser('$$\na\n$$b'), ctx), [['<pre class="invalid" translate="no">$$\na\n$$b</pre>'], '']);
+      assert.deepStrictEqual(inspect(parser('$$\na\n$$\nb'), ctx), [['<pre class="invalid" translate="no">$$\na\n$$\nb</pre>'], '']);
+      assert.deepStrictEqual(inspect(parser('$$$\n\n\n$$$'), ctx), undefined);
+      assert.deepStrictEqual(inspect(parser('$$ $$\n$$'), ctx), undefined);
+      assert.deepStrictEqual(inspect(parser('$$lang\n$$'), ctx), [['<pre class="invalid" translate="no">$$lang\n$$</pre>'], '']);
+      assert.deepStrictEqual(inspect(parser('$$ param\n$$'), ctx), [['<pre class="invalid" translate="no">$$ param\n$$</pre>'], '']);
+      assert.deepStrictEqual(inspect(parser('$$\n$$\n$$'), ctx), [['<pre class="invalid" translate="no">$$\n$$\n$$</pre>'], '']);
+      assert.deepStrictEqual(inspect(parser('$$\n$$$'), ctx), [['<pre class="invalid" translate="no">$$\n$$$</pre>'], '']);
+      assert.deepStrictEqual(inspect(parser('$$$\n$$'), ctx), [['<pre class="invalid" translate="no">$$$\n$$</pre>'], '']);
+      assert.deepStrictEqual(inspect(parser('$$$\n$$$'), ctx), [['<pre class="invalid" translate="no">$$$\n$$$</pre>'], '']);
+      assert.deepStrictEqual(inspect(parser(' $$\n$$'), ctx), undefined);
+      assert.deepStrictEqual(inspect(parser(`$$\n0${'\n'.repeat(301)}$$`), ctx, '>'), [['<pre class="invalid" translate="no">'], '']);
     });
 
     it('basic', () => {
-      assert.deepStrictEqual(inspect(parser('$$\n$$')), [['<div class="math" translate="no">$$\n$$</div>'], '']);
-      assert.deepStrictEqual(inspect(parser('$$\n\n$$')), [['<div class="math" translate="no">$$\n\n$$</div>'], '']);
-      assert.deepStrictEqual(inspect(parser('$$\na\n$$')), [['<div class="math" translate="no">$$\na\n$$</div>'], '']);
-      assert.deepStrictEqual(inspect(parser('$$\na\n$$\n')), [['<div class="math" translate="no">$$\na\n$$</div>'], '']);
-      assert.deepStrictEqual(inspect(parser('$$\na\nb\n$$')), [['<div class="math" translate="no">$$\na\nb\n$$</div>'], '']);
-      assert.deepStrictEqual(inspect(parser('$$\n\\\n$$')), [['<div class="math" translate="no">$$\n\\\n$$</div>'], '']);
-      assert.deepStrictEqual(inspect(parser('$$\n$\n$$')), [['<div class="math" translate="no">$$\n$\n$$</div>'], '']);
-      assert.deepStrictEqual(inspect(parser('$$\n$\n\n$$')), [['<div class="math" translate="no">$$\n$\n\n$$</div>'], '']);
-      assert.deepStrictEqual(inspect(parser('$$\n$$\n\n$$')), [['<div class="math" translate="no">$$\n$$</div>'], '\n$$']);
-      assert.deepStrictEqual(inspect(parser('$$\n$$$\n$$')), [['<div class="math" translate="no">$$\n$$$\n$$</div>'], '']);
-      assert.deepStrictEqual(inspect(parser('$$\n$$$\n\n$$')), [['<div class="math" translate="no">$$\n$$$\n\n$$</div>'], '']);
-      assert.deepStrictEqual(inspect(parser(`$$\n0${'\n'.repeat(300)}$$`), '>'), [['<div class="math" translate="no">'], '']);
+      assert.deepStrictEqual(inspect(parser('$$\n$$'), ctx), [['<div class="math" translate="no">$$\n$$</div>'], '']);
+      assert.deepStrictEqual(inspect(parser('$$\n\n$$'), ctx), [['<div class="math" translate="no">$$\n\n$$</div>'], '']);
+      assert.deepStrictEqual(inspect(parser('$$\na\n$$'), ctx), [['<div class="math" translate="no">$$\na\n$$</div>'], '']);
+      assert.deepStrictEqual(inspect(parser('$$\na\n$$\n'), ctx), [['<div class="math" translate="no">$$\na\n$$</div>'], '']);
+      assert.deepStrictEqual(inspect(parser('$$\na\nb\n$$'), ctx), [['<div class="math" translate="no">$$\na\nb\n$$</div>'], '']);
+      assert.deepStrictEqual(inspect(parser('$$\n\\\n$$'), ctx), [['<div class="math" translate="no">$$\n\\\n$$</div>'], '']);
+      assert.deepStrictEqual(inspect(parser('$$\n$\n$$'), ctx), [['<div class="math" translate="no">$$\n$\n$$</div>'], '']);
+      assert.deepStrictEqual(inspect(parser('$$\n$\n\n$$'), ctx), [['<div class="math" translate="no">$$\n$\n\n$$</div>'], '']);
+      assert.deepStrictEqual(inspect(parser('$$\n$$\n\n$$'), ctx), [['<div class="math" translate="no">$$\n$$</div>'], '\n$$']);
+      assert.deepStrictEqual(inspect(parser('$$\n$$$\n$$'), ctx), [['<div class="math" translate="no">$$\n$$$\n$$</div>'], '']);
+      assert.deepStrictEqual(inspect(parser('$$\n$$$\n\n$$'), ctx), [['<div class="math" translate="no">$$\n$$$\n\n$$</div>'], '']);
+      assert.deepStrictEqual(inspect(parser(`$$\n0${'\n'.repeat(300)}$$`), ctx, '>'), [['<div class="math" translate="no">'], '']);
     });
 
   });

package/src/parser/block/mathblock.ts

@@ -3,7 +3,7 @@ import { block, validate, fence, clear, fmap } from '../../combinator';
 import { invalid } from '../util';
 import { html } from 'typed-dom/dom';
 
-const opener = /^(\${2,})(?!\$)([^\n]*)(?:$|\n)/;
+const opener = /(\${2,})(?!\$)([^\n]*)(?:$|\n)/y;
 
 export const segment: MathBlockParser.SegmentParser = block(validate('$$',
   clear(fence(opener, 300))));
@@ -14,7 +14,7 @@ export const segment_: MathBlockParser.SegmentParser = block(validate('$$',
 export const mathblock: MathBlockParser = block(validate('$$', fmap(
   fence(opener, 300),
   // Bug: Type mismatch between outer and inner.
-  ([body, overflow, closer, opener, delim, param]: string[], _, { caches: { math: cache = undefined } = {} }) => [
+  ([body, overflow, closer, opener, delim, param]: string[], { caches: { math: cache = undefined } = {} }) => [
     delim.length === 2 && closer && !overflow && param.trimStart() === ''
       ? cache?.get(`${delim}\n${body}${delim}`)?.cloneNode(true) as HTMLDivElement ||
         html('div', { class: 'math', translate: 'no' }, `${delim}\n${body}${delim}`)

package/src/parser/block/mediablock.ts

@@ -4,7 +4,7 @@ import { medialink, media, shortmedia } from '../inline';
 import { invalid } from '../util';
 import { html } from 'typed-dom/dom';
 
-export const mediablock: MediaBlockParser = block(validate(['[!', '!'], fmap(
+export const mediablock: MediaBlockParser = block(validate(/\[?!/y, fmap(
   inits([
     line(union([
       medialink,
@@ -15,9 +15,9 @@ export const mediablock: MediaBlockParser = block(validate(['[!', '!'], fmap(
       medialink,
       media,
       shortmedia,
-    ]), ({ source }) => [[html('span', {
+    ]), ({ context: { source } }) => [[html('span', {
       class: 'invalid',
       ...invalid('mediablock', 'syntax', 'Not media syntax'),
-    }, source.replace('\n', ''))], '']))),
+    }, source.replace('\n', ''))]]))),
   ]),
   ns => [html('div', ns)])));