securemark 0.299.3 → 0.300.0

package/src/parser/inline/htmlentity.test.ts

@@ -1,7 +1,6 @@
 import { htmlentity } from './htmlentity';
 import { some } from '../../combinator';
-import { input } from '../../combinator/data/parser';
-import { Context } from '../context';
+import { input } from '../context';
 import { inspect } from '../../debug.test';
 
 describe('Unit: parser/inline/htmlentity', () => {
@@ -9,45 +8,45 @@ describe('Unit: parser/inline/htmlentity', () => {
     const parser = some(htmlentity);
 
     it('invalid', () => {
-      assert.deepStrictEqual(inspect(parser, input('', new Context())), undefined);
-      assert.deepStrictEqual(inspect(parser, input('&', new Context())), [['&'], '']);
-      assert.deepStrictEqual(inspect(parser, input('&amp', new Context())), [['&amp'], '']);
-      assert.deepStrictEqual(inspect(parser, input('&;', new Context())), [['&'], ';']);
-      assert.deepStrictEqual(inspect(parser, input('& ;', new Context())), [['&'], ' ;']);
-      assert.deepStrictEqual(inspect(parser, input('&\n;', new Context())), [['&'], '\n;']);
-      assert.deepStrictEqual(inspect(parser, input('&a;', new Context())), [['<span class="invalid">&amp;a;</span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('&#;', new Context())), [['&'], '#;']);
-      assert.deepStrictEqual(inspect(parser, input('&#g;', new Context())), [['&'], '#g;']);
-      assert.deepStrictEqual(inspect(parser, input('&#x;', new Context())), [['&'], '#x;']);
-      assert.deepStrictEqual(inspect(parser, input('&#-1;', new Context())), [['&'], '#-1;']);
-      assert.deepStrictEqual(inspect(parser, input('&&amp;;', new Context())), [['&', '&'], ';']);
-      assert.deepStrictEqual(inspect(parser, input('&*&amp*', new Context())), [['&'], '*&amp*']);
-      assert.deepStrictEqual(inspect(parser, input('&<;', new Context())), [['&'], '<;']);
-      assert.deepStrictEqual(inspect(parser, input('&<>;', new Context())), [['&'], '<>;']);
-      assert.deepStrictEqual(inspect(parser, input('&>;', new Context())), [['&'], '>;']);
-      assert.deepStrictEqual(inspect(parser, input('&#35;', new Context())), [['&'], '#35;']);
-      assert.deepStrictEqual(inspect(parser, input('&#1234;', new Context())), [['&'], '#1234;']);
-      assert.deepStrictEqual(inspect(parser, input('&#992;', new Context())), [['&'], '#992;']);
-      assert.deepStrictEqual(inspect(parser, input('&#98765432;', new Context())), [['&'], '#98765432;']);
-      assert.deepStrictEqual(inspect(parser, input('&#0;', new Context())), [['&'], '#0;']);
-      assert.deepStrictEqual(inspect(parser, input('&#X22;', new Context())), [['&'], '#X22;']);
-      assert.deepStrictEqual(inspect(parser, input('&#XD06;', new Context())), [['&'], '#XD06;']);
-      assert.deepStrictEqual(inspect(parser, input('&#xcab;', new Context())), [['&'], '#xcab;']);
-      assert.deepStrictEqual(inspect(parser, input('&NewLine;', new Context())), [['<span class="invalid">&amp;NewLine;</span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input(' &amp;', new Context())), undefined);
+      assert.deepStrictEqual(inspect(parser, input('')), undefined);
+      assert.deepStrictEqual(inspect(parser, input('&')), [['&'], '']);
+      assert.deepStrictEqual(inspect(parser, input('&amp')), [['&amp'], '']);
+      assert.deepStrictEqual(inspect(parser, input('&;')), [['&'], ';']);
+      assert.deepStrictEqual(inspect(parser, input('& ;')), [['&'], ' ;']);
+      assert.deepStrictEqual(inspect(parser, input('&\n;')), [['&'], '\n;']);
+      assert.deepStrictEqual(inspect(parser, input('&a;')), [['<span class="invalid">&amp;a;</span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('&#;')), [['&'], '#;']);
+      assert.deepStrictEqual(inspect(parser, input('&#g;')), [['&'], '#g;']);
+      assert.deepStrictEqual(inspect(parser, input('&#x;')), [['&'], '#x;']);
+      assert.deepStrictEqual(inspect(parser, input('&#-1;')), [['&'], '#-1;']);
+      assert.deepStrictEqual(inspect(parser, input('&&amp;;')), [['&', '&'], ';']);
+      assert.deepStrictEqual(inspect(parser, input('&*&amp*')), [['&'], '*&amp*']);
+      assert.deepStrictEqual(inspect(parser, input('&<;')), [['&'], '<;']);
+      assert.deepStrictEqual(inspect(parser, input('&<>;')), [['&'], '<>;']);
+      assert.deepStrictEqual(inspect(parser, input('&>;')), [['&'], '>;']);
+      assert.deepStrictEqual(inspect(parser, input('&#35;')), [['&'], '#35;']);
+      assert.deepStrictEqual(inspect(parser, input('&#1234;')), [['&'], '#1234;']);
+      assert.deepStrictEqual(inspect(parser, input('&#992;')), [['&'], '#992;']);
+      assert.deepStrictEqual(inspect(parser, input('&#98765432;')), [['&'], '#98765432;']);
+      assert.deepStrictEqual(inspect(parser, input('&#0;')), [['&'], '#0;']);
+      assert.deepStrictEqual(inspect(parser, input('&#X22;')), [['&'], '#X22;']);
+      assert.deepStrictEqual(inspect(parser, input('&#XD06;')), [['&'], '#XD06;']);
+      assert.deepStrictEqual(inspect(parser, input('&#xcab;')), [['&'], '#xcab;']);
+      assert.deepStrictEqual(inspect(parser, input('&NewLine;')), [['<span class="invalid">&amp;NewLine;</span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input(' &amp;')), undefined);
     });
 
     it('entity', () => {
-      assert.deepStrictEqual(inspect(parser, input('&nbsp;', new Context())), [['\u00A0'], '']);
-      assert.deepStrictEqual(inspect(parser, input('&amp;', new Context())), [['&'], '']);
-      assert.deepStrictEqual(inspect(parser, input('&copy;', new Context())), [['©'], '']);
-      assert.deepStrictEqual(inspect(parser, input('&AElig;', new Context())), [['Æ'], '']);
-      assert.deepStrictEqual(inspect(parser, input('&Dcaron;', new Context())), [['Ď'], '']);
-      assert.deepStrictEqual(inspect(parser, input('&frac34;', new Context())), [['¾'], '']);
-      assert.deepStrictEqual(inspect(parser, input('&HilbertSpace;', new Context())), [['ℋ'], '']);
-      assert.deepStrictEqual(inspect(parser, input('&DifferentialD;', new Context())), [['ⅆ'], '']);
-      assert.deepStrictEqual(inspect(parser, input('&ClockwiseContourIntegral;', new Context())), [['∲'], '']);
-      assert.deepStrictEqual(inspect(parser, input('&ngE;', new Context())), [['≧̸'], '']);
+      assert.deepStrictEqual(inspect(parser, input('&nbsp;')), [['\u00A0'], '']);
+      assert.deepStrictEqual(inspect(parser, input('&amp;')), [['&'], '']);
+      assert.deepStrictEqual(inspect(parser, input('&copy;')), [['©'], '']);
+      assert.deepStrictEqual(inspect(parser, input('&AElig;')), [['Æ'], '']);
+      assert.deepStrictEqual(inspect(parser, input('&Dcaron;')), [['Ď'], '']);
+      assert.deepStrictEqual(inspect(parser, input('&frac34;')), [['¾'], '']);
+      assert.deepStrictEqual(inspect(parser, input('&HilbertSpace;')), [['ℋ'], '']);
+      assert.deepStrictEqual(inspect(parser, input('&DifferentialD;')), [['ⅆ'], '']);
+      assert.deepStrictEqual(inspect(parser, input('&ClockwiseContourIntegral;')), [['∲'], '']);
+      assert.deepStrictEqual(inspect(parser, input('&ngE;')), [['≧̸'], '']);
     });
 
   });

package/src/parser/inline/htmlentity.ts

@@ -1,7 +1,7 @@
 import { HTMLEntityParser, UnsafeHTMLEntityParser } from '../inline';
 import { Backtrack } from '../context';
-import { List, Node } from '../../combinator/data/parser';
 import { Flag, isBlankHTMLEntityName } from '../node';
+import { List, Node } from '../../combinator/parser';
 import { union, surround, fmap } from '../../combinator';
 import { str } from '../source';
 import { invalid } from '../util';
@@ -11,14 +11,13 @@ export const unsafehtmlentity: UnsafeHTMLEntityParser = surround(
   str('&'), str(/[0-9A-Za-z]+/y), str(';'),
   false,
   [3 | Backtrack.unescapable],
-  ([as, bs, cs]) =>
-    new List([
+  ([as, bs, cs], _, output) =>
+    output.append(
       new Node(
         parser(as.head!.value + bs.head!.value + cs.head!.value),
-        isBlankHTMLEntityName(bs.head!.value) ? Flag.blank : Flag.none)
-    ]),
-  ([as, bs]) =>
-    new List([new Node(as.head!.value + (bs?.head?.value ?? ''))]));
+        isBlankHTMLEntityName(bs.head!.value) ? Flag.blank : Flag.none)),
+  ([as, bs], _, output) =>
+    output.append(new Node(as.head!.value + (bs?.head?.value ?? ''))));
 
 export const htmlentity: HTMLEntityParser = fmap(
   union([unsafehtmlentity]),

package/src/parser/inline/insertion.test.ts

@@ -1,7 +1,6 @@
 import { insertion } from './insertion';
 import { some } from '../../combinator';
-import { input } from '../../combinator/data/parser';
-import { Context } from '../context';
+import { input } from '../context';
 import { inspect } from '../../debug.test';
 
 describe('Unit: parser/inline/insertion', () => {
@@ -9,38 +8,38 @@ describe('Unit: parser/inline/insertion', () => {
     const parser = some(insertion);
 
     it('invalid', () => {
-      assert.deepStrictEqual(inspect(parser, input('', new Context())), undefined);
-      assert.deepStrictEqual(inspect(parser, input('+', new Context())), undefined);
-      assert.deepStrictEqual(inspect(parser, input('++', new Context())), [['++'], '']);
-      assert.deepStrictEqual(inspect(parser, input('++a', new Context())), [['++', 'a'], '']);
-      assert.deepStrictEqual(inspect(parser, input('++a+', new Context())), [['++', 'a+'], '']);
-      assert.deepStrictEqual(inspect(parser, input(' ++a++', new Context())), undefined);
+      assert.deepStrictEqual(inspect(parser, input('')), undefined);
+      assert.deepStrictEqual(inspect(parser, input('+')), undefined);
+      assert.deepStrictEqual(inspect(parser, input('++')), [['++'], '']);
+      assert.deepStrictEqual(inspect(parser, input('++a')), [['++', 'a'], '']);
+      assert.deepStrictEqual(inspect(parser, input('++a+')), [['++', 'a+'], '']);
+      assert.deepStrictEqual(inspect(parser, input(' ++a++')), undefined);
     });
 
     it('basic', () => {
-      assert.deepStrictEqual(inspect(parser, input('++a++', new Context())), [['<ins>a</ins>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('++a+b++', new Context())), [['<ins>a+b</ins>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('++ ++', new Context())), [['<ins> </ins>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('++ a++', new Context())), [['<ins> a</ins>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('++ a ++', new Context())), [['<ins> a </ins>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('++  a  ++', new Context())), [['<ins> a </ins>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('++\na++', new Context())), [['<ins><br>a</ins>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('++\\\na++', new Context())), [['<ins><br>a</ins>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('++<wbr>a++', new Context())), [['<ins><wbr>a</ins>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('++a ++', new Context())), [['<ins>a </ins>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('++a \n ++', new Context())), [['<ins>a </ins>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('++a\n++', new Context())), [['<ins>a</ins>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('++a\n ++', new Context())), [['<ins>a </ins>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('++a\n<wbr>++', new Context())), [['<ins>a<wbr></ins>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('++a\nb++', new Context())), [['<ins>a<br>b</ins>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('++a\\\nb++', new Context())), [['<ins>a<br>b</ins>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('++\\+++', new Context())), [['<ins>+</ins>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('++a+++', new Context())), [['<ins>a</ins>'], '+']);
+      assert.deepStrictEqual(inspect(parser, input('++a++')), [['<ins>a</ins>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('++a+b++')), [['<ins>a+b</ins>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('++ ++')), [['<ins> </ins>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('++ a++')), [['<ins> a</ins>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('++ a ++')), [['<ins> a </ins>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('++  a  ++')), [['<ins> a </ins>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('++\na++')), [['<ins><br>a</ins>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('++\\\na++')), [['<ins><br>a</ins>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('++<wbr>a++')), [['<ins><wbr>a</ins>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('++a ++')), [['<ins>a </ins>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('++a \n ++')), [['<ins>a </ins>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('++a\n++')), [['<ins>a</ins>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('++a\n ++')), [['<ins>a </ins>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('++a\n<wbr>++')), [['<ins>a<wbr></ins>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('++a\nb++')), [['<ins>a<br>b</ins>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('++a\\\nb++')), [['<ins>a<br>b</ins>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('++\\+++')), [['<ins>+</ins>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('++a+++')), [['<ins>a</ins>'], '+']);
     });
 
     it('nest', () => {
-      assert.deepStrictEqual(inspect(parser, input('++*++a++*++', new Context())), [['<ins><em><ins>a</ins></em></ins>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('++*~~a~~*++', new Context())), [['<ins><em><del>a</del></em></ins>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('++*++a++*++')), [['<ins><em><ins>a</ins></em></ins>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('++*~~a~~*++')), [['<ins><em><del>a</del></em></ins>'], '']);
     });
 
   });

package/src/parser/inline/insertion.ts

@@ -1,7 +1,7 @@
 import { InsertionParser } from '../inline';
 import { Recursion, Command } from '../context';
-import { List, Node } from '../../combinator/data/parser';
-import { union, some, precedence, surround, open, lazy } from '../../combinator';
+import { List, Node } from '../../combinator/parser';
+import { union, some, precedence, backtrack, surround, open, lazy } from '../../combinator';
 import { inline } from '../inline';
 import { repeat } from '../repeat';
 import { blankWith } from '../visibility';
@@ -9,7 +9,7 @@ import { unwrap } from '../util';
 import { html, defrag } from 'typed-dom/dom';
 
 export const insertion: InsertionParser = lazy(() =>
-  repeat('++', '', '++', Recursion.inline, precedence(0, surround(
+  repeat('++', '', '++', Recursion.inline, precedence(0, backtrack(surround(
     '',
     some(union([
       some(inline, blankWith('\n', '++')),
@@ -17,6 +17,6 @@ export const insertion: InsertionParser = lazy(() =>
     ])),
     '++',
     false, [],
-    ([, bs], { buffer }) => buffer.import(bs),
-    ([, bs], { buffer }) => bs && buffer.import(bs).push(new Node(Command.Cancel)) && buffer)),
+    ([, bs], _, output) => output.import(bs),
+    ([, bs], _, output) => bs && output.import(bs.push(new Node(Command.Cancel)))))),
     nodes => new List([new Node(html('ins', defrag(unwrap(nodes))))])));

package/src/parser/inline/italic.test.ts

@@ -1,7 +1,6 @@
 import { italic } from './italic';
 import { some } from '../../combinator';
-import { input } from '../../combinator/data/parser';
-import { Context } from '../context';
+import { input } from '../context';
 import { inspect } from '../../debug.test';
 
 describe('Unit: parser/inline/italic', () => {
@@ -9,66 +8,66 @@ describe('Unit: parser/inline/italic', () => {
     const parser = some(italic);
 
     it('invalid', () => {
-      assert.deepStrictEqual(inspect(parser, input('///', new Context())), [['///'], '']);
-      assert.deepStrictEqual(inspect(parser, input('///a', new Context())), [['///', 'a'], '']);
-      assert.deepStrictEqual(inspect(parser, input('///a ///', new Context())), [['///', 'a ', '///'], '']);
-      assert.deepStrictEqual(inspect(parser, input('///a  ///', new Context())), [['///', 'a', ' ', '///'], '']);
-      assert.deepStrictEqual(inspect(parser, input('///a\n///', new Context())), [['///', 'a', '<br>', '///'], '']);
-      assert.deepStrictEqual(inspect(parser, input('///a\\ ///', new Context())), [['///', 'a', ' ', '///'], '']);
-      assert.deepStrictEqual(inspect(parser, input('///a\\\n///', new Context())), [['///', 'a', '<br>', '///'], '']);
-      assert.deepStrictEqual(inspect(parser, input('///a/b', new Context())), [['///', 'a/b'], '']);
-      assert.deepStrictEqual(inspect(parser, input('///a//b', new Context())), [['///', 'a//b'], '']);
-      assert.deepStrictEqual(inspect(parser, input('///a*b///', new Context())), [['///', 'a', '*', 'b', '///'], '']);
-      assert.deepStrictEqual(inspect(parser, input('/// ///', new Context())), undefined);
-      assert.deepStrictEqual(inspect(parser, input('/// a///', new Context())), undefined);
-      assert.deepStrictEqual(inspect(parser, input('/// a ///', new Context())), undefined);
-      assert.deepStrictEqual(inspect(parser, input('///\n///', new Context())), undefined);
-      assert.deepStrictEqual(inspect(parser, input('///\na///', new Context())), undefined);
-      assert.deepStrictEqual(inspect(parser, input('///\\ a///', new Context())), undefined);
-      assert.deepStrictEqual(inspect(parser, input('///\\\na///', new Context())), undefined);
-      assert.deepStrictEqual(inspect(parser, input('///<wbr>a///', new Context())), undefined);
-      assert.deepStrictEqual(inspect(parser, input(' ///a///', new Context())), undefined);
+      assert.deepStrictEqual(inspect(parser, input('///')), [['///'], '']);
+      assert.deepStrictEqual(inspect(parser, input('///a')), [['///', 'a'], '']);
+      assert.deepStrictEqual(inspect(parser, input('///a ///')), [['///', 'a ', '///'], '']);
+      assert.deepStrictEqual(inspect(parser, input('///a  ///')), [['///', 'a', ' ', '///'], '']);
+      assert.deepStrictEqual(inspect(parser, input('///a\n///')), [['///', 'a', '<br>', '///'], '']);
+      assert.deepStrictEqual(inspect(parser, input('///a\\ ///')), [['///', 'a', ' ', '///'], '']);
+      assert.deepStrictEqual(inspect(parser, input('///a\\\n///')), [['///', 'a', '<br>', '///'], '']);
+      assert.deepStrictEqual(inspect(parser, input('///a/b')), [['///', 'a/b'], '']);
+      assert.deepStrictEqual(inspect(parser, input('///a//b')), [['///', 'a//b'], '']);
+      assert.deepStrictEqual(inspect(parser, input('///a*b///')), [['///', 'a', '*', 'b', '///'], '']);
+      assert.deepStrictEqual(inspect(parser, input('/// ///')), undefined);
+      assert.deepStrictEqual(inspect(parser, input('/// a///')), undefined);
+      assert.deepStrictEqual(inspect(parser, input('/// a ///')), undefined);
+      assert.deepStrictEqual(inspect(parser, input('///\n///')), undefined);
+      assert.deepStrictEqual(inspect(parser, input('///\na///')), undefined);
+      assert.deepStrictEqual(inspect(parser, input('///\\ a///')), undefined);
+      assert.deepStrictEqual(inspect(parser, input('///\\\na///')), undefined);
+      assert.deepStrictEqual(inspect(parser, input('///<wbr>a///')), undefined);
+      assert.deepStrictEqual(inspect(parser, input(' ///a///')), undefined);
     });
 
     it('basic', () => {
-      assert.deepStrictEqual(inspect(parser, input('///a///', new Context())), [['<i>a</i>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('///ab///', new Context())), [['<i>ab</i>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('///a////', new Context())), [['<i>a</i>'], '/']);
-      assert.deepStrictEqual(inspect(parser, input('///a\nb///', new Context())), [['<i>a<br>b</i>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('///a\\\nb///', new Context())), [['<i>a<br>b</i>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('///a///')), [['<i>a</i>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('///ab///')), [['<i>ab</i>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('///a////')), [['<i>a</i>'], '/']);
+      assert.deepStrictEqual(inspect(parser, input('///a\nb///')), [['<i>a<br>b</i>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('///a\\\nb///')), [['<i>a<br>b</i>'], '']);
     });
 
     it('nest', () => {
-      assert.deepStrictEqual(inspect(parser, input('////a///', new Context())), [['/', '<i>a</i>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('////a///b', new Context())), [['/', '<i>a</i>'], 'b']);
-      assert.deepStrictEqual(inspect(parser, input('////a////', new Context())), [['/', '<i>a</i>', '/'], '']);
-      assert.deepStrictEqual(inspect(parser, input('////a////b', new Context())), [['/', '<i>a</i>', '/'], 'b']);
-      assert.deepStrictEqual(inspect(parser, input('/////a///', new Context())), [['//', '<i>a</i>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('/////a///b', new Context())), [['//', '<i>a</i>'], 'b']);
-      assert.deepStrictEqual(inspect(parser, input('/////a////', new Context())), [['//', '<i>a</i>', '/'], '']);
-      assert.deepStrictEqual(inspect(parser, input('/////a////b', new Context())), [['//', '<i>a</i>', '/'], 'b']);
-      assert.deepStrictEqual(inspect(parser, input('/////a/////', new Context())), [['//', '<i>a</i>', '//'], '']);
-      assert.deepStrictEqual(inspect(parser, input('/////a/////b', new Context())), [['//', '<i>a</i>', '//'], 'b']);
-      assert.deepStrictEqual(inspect(parser, input('//////a///', new Context())), [['///', '<i>a</i>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('//////a///b', new Context())), [['///', '<i>a</i>', 'b'], '']);
-      assert.deepStrictEqual(inspect(parser, input('//////a////', new Context())), [['///', '<i>a</i>', '/'], '']);
-      assert.deepStrictEqual(inspect(parser, input('//////a////b', new Context())), [['///', '<i>a</i>', '/b'], '']);
-      assert.deepStrictEqual(inspect(parser, input('//////a/////', new Context())), [['///', '<i>a</i>', '//'], '']);
-      assert.deepStrictEqual(inspect(parser, input('//////a/////b', new Context())), [['///', '<i>a</i>', '//b'], '']);
-      assert.deepStrictEqual(inspect(parser, input('//////a//////', new Context())), [['<i><i>a</i></i>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('//////a///b///', new Context())), [['<i><i>a</i>b</i>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('//////a/// b///', new Context())), [['<i><i>a</i> b</i>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('///a ///b//////', new Context())), [['<i>a <i>b</i></i>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('///- ///b//////', new Context())), [['<i>- <i>b</i></i>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('///a\\ ///b//////', new Context())), [['<i>a <i>b</i></i>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('///a //////b/////////', new Context())), [['<i>a <i><i>b</i></i></i>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('///a ///b///c///', new Context())), [['<i>a <i>b</i>c</i>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('///a ///b ///c/////////', new Context())), [['<i>a <i>b <i>c</i></i></i>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('///a&Tab;///b//////', new Context())), [['<i>a\t<i>b</i></i>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('///a<wbr>///b//////', new Context())), [['<i>a<wbr><i>b</i></i>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('///`a`///', new Context())), [['<i><code data-src="`a`">a</code></i>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('///(///a///)///', new Context())), [['<i><span class="paren">(<i>a</i>)</span></i>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('///{http://host/}///', new Context())), [['<i><a class="url" href="http://host/" target="_blank">http://host/</a></i>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('////a///')), [['/', '<i>a</i>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('////a///b')), [['/', '<i>a</i>'], 'b']);
+      assert.deepStrictEqual(inspect(parser, input('////a////')), [['/', '<i>a</i>', '/'], '']);
+      assert.deepStrictEqual(inspect(parser, input('////a////b')), [['/', '<i>a</i>', '/'], 'b']);
+      assert.deepStrictEqual(inspect(parser, input('/////a///')), [['//', '<i>a</i>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('/////a///b')), [['//', '<i>a</i>'], 'b']);
+      assert.deepStrictEqual(inspect(parser, input('/////a////')), [['//', '<i>a</i>', '/'], '']);
+      assert.deepStrictEqual(inspect(parser, input('/////a////b')), [['//', '<i>a</i>', '/'], 'b']);
+      assert.deepStrictEqual(inspect(parser, input('/////a/////')), [['//', '<i>a</i>', '//'], '']);
+      assert.deepStrictEqual(inspect(parser, input('/////a/////b')), [['//', '<i>a</i>', '//'], 'b']);
+      assert.deepStrictEqual(inspect(parser, input('//////a///')), [['///', '<i>a</i>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('//////a///b')), [['///', '<i>a</i>', 'b'], '']);
+      assert.deepStrictEqual(inspect(parser, input('//////a////')), [['///', '<i>a</i>', '/'], '']);
+      assert.deepStrictEqual(inspect(parser, input('//////a////b')), [['///', '<i>a</i>', '/b'], '']);
+      assert.deepStrictEqual(inspect(parser, input('//////a/////')), [['///', '<i>a</i>', '//'], '']);
+      assert.deepStrictEqual(inspect(parser, input('//////a/////b')), [['///', '<i>a</i>', '//b'], '']);
+      assert.deepStrictEqual(inspect(parser, input('//////a//////')), [['<i><i>a</i></i>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('//////a///b///')), [['<i><i>a</i>b</i>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('//////a/// b///')), [['<i><i>a</i> b</i>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('///a ///b//////')), [['<i>a <i>b</i></i>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('///- ///b//////')), [['<i>- <i>b</i></i>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('///a\\ ///b//////')), [['<i>a <i>b</i></i>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('///a //////b/////////')), [['<i>a <i><i>b</i></i></i>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('///a ///b///c///')), [['<i>a <i>b</i>c</i>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('///a ///b ///c/////////')), [['<i>a <i>b <i>c</i></i></i>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('///a&Tab;///b//////')), [['<i>a\t<i>b</i></i>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('///a<wbr>///b//////')), [['<i>a<wbr><i>b</i></i>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('///`a`///')), [['<i><code data-src="`a`">a</code></i>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('///(///a///)///')), [['<i><span class="paren">(<i>a</i>)</span></i>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('///{http://host/}///')), [['<i><a class="url" href="http://host/" target="_blank">http://host/</a></i>'], '']);
     });
 
   });

package/src/parser/inline/italic.ts

@@ -1,7 +1,7 @@
 import { ItalicParser } from '../inline';
 import { Recursion, Command } from '../context';
-import { List, Node } from '../../combinator/data/parser';
-import { union, some, precedence, surround, lazy } from '../../combinator';
+import { List, Node } from '../../combinator/parser';
+import { union, some, precedence, backtrack, surround, lazy } from '../../combinator';
 import { inline } from '../inline';
 import { repeat } from '../repeat';
 import { beforeNonblank, afterNonblank } from '../visibility';
@@ -12,11 +12,11 @@ import { html, defrag } from 'typed-dom/dom';
 // 斜体は単語に使うとかえって見づらく読み飛ばしやすくなるため使わないべきであり
 // ある程度の長さのある文に使うのが望ましい。
 export const italic: ItalicParser = lazy(() =>
-  repeat('///', beforeNonblank, '///', Recursion.inline, precedence(0, surround(
+  repeat('///', beforeNonblank, '///', Recursion.inline, precedence(0, backtrack(surround(
     '',
     some(union([inline]), '///', afterNonblank),
     '///',
     false, [],
-    ([, bs], { buffer }) => buffer.import(bs),
-    ([, bs], { buffer }) => bs && buffer.import(bs).push(new Node(Command.Cancel)) && buffer)),
+    ([, bs], _, output) => output.import(bs),
+    ([, bs], _, output) => bs && output.import(bs.push(new Node(Command.Cancel)))))),
     nodes => new List([new Node(html('i', defrag(unwrap(nodes))))])));