securemark 0.299.4 → 0.300.0

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

@@ -1,7 +1,6 @@
 import { emstrong } from './emstrong';
 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/emstrong', () => {
@@ -9,112 +8,112 @@ describe('Unit: parser/inline/emstrong', () => {
     const parser = some(emstrong);
 
     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('*** ***', 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('*** ***')), 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())), [['<em><strong>a</strong></em>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('***ab***', new Context())), [['<em><strong>ab</strong></em>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('***a****', new Context())), [['<em><strong>a</strong></em>'], '*']);
-      assert.deepStrictEqual(inspect(parser, input('***a\nb***', new Context())), [['<em><strong>a<br>b</strong></em>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('***a\\\nb***', new Context())), [['<em><strong>a<br>b</strong></em>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('***a***')), [['<em><strong>a</strong></em>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('***ab***')), [['<em><strong>ab</strong></em>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('***a****')), [['<em><strong>a</strong></em>'], '*']);
+      assert.deepStrictEqual(inspect(parser, input('***a\nb***')), [['<em><strong>a<br>b</strong></em>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('***a\\\nb***')), [['<em><strong>a<br>b</strong></em>'], '']);
     });
 
     it('nest', () => {
-      assert.deepStrictEqual(inspect(parser, input('***`a`***', new Context())), [['<em><strong><code data-src="`a`">a</code></strong></em>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('***(*a*)***', new Context())), [['<em><strong><span class="paren">(<em>a</em>)</span></strong></em>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('***(**a**)***', new Context())), [['<em><strong><span class="paren">(<strong>a</strong>)</span></strong></em>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('***(***a***)***', new Context())), [['<em><strong><span class="paren">(<em><strong>a</strong></em>)</span></strong></em>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('***a*', new Context())), [['**', '<em>a</em>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('***a*b', new Context())), [['**', '<em>a</em>', 'b'], '']);
-      assert.deepStrictEqual(inspect(parser, input('***a*b*', new Context())), [['**', '<em>a</em>', 'b'], '*']);
-      assert.deepStrictEqual(inspect(parser, input('***a*b*c', new Context())), [['**', '<em>a</em>', 'b', '*', 'c'], '']);
-      assert.deepStrictEqual(inspect(parser, input('***a*b*c*', new Context())), [['**', '<em>a</em>', 'b', '<em>c</em>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('***a*b*c**', new Context())), [['**', '<em>a</em>', 'b', '<em>c</em>'], '*']);
-      assert.deepStrictEqual(inspect(parser, input('***a*b*c***', new Context())), [['<strong><em>a</em>b<em>c</em></strong>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('***a*b**', new Context())), [['<strong><em>a</em>b</strong>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('***a*b**c', new Context())), [['<strong><em>a</em>b</strong>'], 'c']);
-      assert.deepStrictEqual(inspect(parser, input('***a**', new Context())), [['*', '<strong>a</strong>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('***a**b', new Context())), [['*', '<strong>a</strong>', 'b'], '']);
-      assert.deepStrictEqual(inspect(parser, input('***a**b*', new Context())), [['<em><strong>a</strong>b</em>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('***a**b**', new Context())), [['<em><strong>a</strong>b</em>'], '*']);
-      assert.deepStrictEqual(inspect(parser, input('***a**b**c', new Context())), [['*', '<strong>a</strong>', 'b', '**', 'c'], '']);
-      assert.deepStrictEqual(inspect(parser, input('***a**b**c*', new Context())), [['<em><strong>a</strong>b**c</em>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('***a**b**c**', new Context())), [['*', '<strong>a</strong>', 'b', '<strong>c</strong>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('***a**b**c***', new Context())), [['<em><strong>a</strong>b<strong>c</strong></em>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('***a *b****', new Context())), [['<em><strong>a <em>b</em></strong></em>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('***a\\ *b****', new Context())), [['<em><strong>a <em>b</em></strong></em>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('***a&Tab;*b****', new Context())), [['<em><strong>a\t<em>b</em></strong></em>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('***a<wbr>*b****', new Context())), [['<em><strong>a<wbr><em>b</em></strong></em>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('***a *b****', new Context())), [['<em><strong>a <em>b</em></strong></em>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('***a* **b****', new Context())), [['<strong><em>a</em> <strong>b</strong></strong>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('***a*\\ **b****', new Context())), [['<strong><em>a</em> <strong>b</strong></strong>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('***a*&Tab;**b****', new Context())), [['<strong><em>a</em>\t<strong>b</strong></strong>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('***a*<wbr>**b****', new Context())), [['<strong><em>a</em><wbr><strong>b</strong></strong>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('***a*b **', new Context())), [['**', '<em>a</em>', 'b ', '**'], '']);
-      assert.deepStrictEqual(inspect(parser, input('***a*b\\ **', new Context())), [['**', '<em>a</em>', 'b', ' ', '**'], '']);
-      assert.deepStrictEqual(inspect(parser, input('***a**b*', new Context())), [['<em><strong>a</strong>b</em>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('***a**b*c', new Context())), [['<em><strong>a</strong>b</em>'], 'c']);
-      assert.deepStrictEqual(inspect(parser, input('***a**b*c**', new Context())), [['<em><strong>a</strong>b</em>'], 'c**']);
-      assert.deepStrictEqual(inspect(parser, input('***a**b**c***', new Context())), [['<em><strong>a</strong>b<strong>c</strong></em>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('***a**b**c***d', new Context())), [['<em><strong>a</strong>b<strong>c</strong></em>'], 'd']);
-      assert.deepStrictEqual(inspect(parser, input('***a** *b**', new Context())), [['<em><strong>a</strong> <em>b</em></em>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('***a**\\ *b**', new Context())), [['<em><strong>a</strong> <em>b</em></em>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('***a**&Tab;*b**', new Context())), [['<em><strong>a</strong>\t<em>b</em></em>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('***a**<wbr>*b**', new Context())), [['<em><strong>a</strong><wbr><em>b</em></em>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('***a**b *', new Context())), [['*', '<strong>a</strong>', 'b ', '*'], '']);
-      assert.deepStrictEqual(inspect(parser, input('***a**b\\ *', new Context())), [['*', '<strong>a</strong>', 'b', ' ', '*'], '']);
-      assert.deepStrictEqual(inspect(parser, input('***a*', new Context())), [['**', '<em>a</em>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('***a**', new Context())), [['*', '<strong>a</strong>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('***a***', new Context())), [['<em><strong>a</strong></em>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('***a***b', new Context())), [['<em><strong>a</strong></em>'], 'b']);
-      assert.deepStrictEqual(inspect(parser, input('***a****', new Context())), [['<em><strong>a</strong></em>'], '*']);
-      assert.deepStrictEqual(inspect(parser, input('***a*****', new Context())), [['<em><strong>a</strong></em>'], '**']);
-      assert.deepStrictEqual(inspect(parser, input('***a******', new Context())), [['<em><strong>a</strong></em>', '***'], '']);
-      assert.deepStrictEqual(inspect(parser, input('****a***', new Context())), [['*', '<em><strong>a</strong></em>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('****a***b', new Context())), [['*', '<em><strong>a</strong></em>', 'b'], '']);
-      assert.deepStrictEqual(inspect(parser, input('****a***b*', new Context())), [['<em><em><strong>a</strong></em>b</em>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('****a****', new Context())), [['<em><em><strong>a</strong></em></em>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('****a****b', new Context())), [['<em><em><strong>a</strong></em></em>'], 'b']);
-      assert.deepStrictEqual(inspect(parser, input('*****a***', new Context())), [['**', '<em><strong>a</strong></em>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('*****a***b', new Context())), [['**', '<em><strong>a</strong></em>', 'b'], '']);
-      assert.deepStrictEqual(inspect(parser, input('*****a***b**', new Context())), [['<strong><em><strong>a</strong></em>b</strong>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('*****a****', new Context())), [['*', '<em><em><strong>a</strong></em></em>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('*****a****b', new Context())), [['*', '<em><em><strong>a</strong></em></em>', 'b'], '']);
-      assert.deepStrictEqual(inspect(parser, input('*****a****b*', new Context())), [['<em><em><em><strong>a</strong></em></em>b</em>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('*****a*****', new Context())), [['<strong><em><strong>a</strong></em></strong>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('******a***', new Context())), [['***', '<em><strong>a</strong></em>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('******a***b', new Context())), [['***', '<em><strong>a</strong></em>', 'b'], '']);
-      assert.deepStrictEqual(inspect(parser, input('******a****', new Context())), [['**', '<em><em><strong>a</strong></em></em>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('******a****b', new Context())), [['**', '<em><em><strong>a</strong></em></em>', 'b'], '']);
-      assert.deepStrictEqual(inspect(parser, input('******a****b**', new Context())), [['<strong><em><em><strong>a</strong></em></em>b</strong>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('******a*****', new Context())), [['*', '<strong><em><strong>a</strong></em></strong>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('******a*****b', new Context())), [['*', '<strong><em><strong>a</strong></em></strong>', 'b'], '']);
-      assert.deepStrictEqual(inspect(parser, input('******a*****b*', new Context())), [['<em><strong><em><strong>a</strong></em></strong>b</em>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('******a******', new Context())), [['<em><strong><em><strong>a</strong></em></strong></em>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('******a******b', new Context())), [['<em><strong><em><strong>a</strong></em></strong></em>'], 'b']);
-      assert.deepStrictEqual(inspect(parser, input('******a*b', new Context())), [['*****', '<em>a</em>', 'b'], '']);
-      assert.deepStrictEqual(inspect(parser, input('******a*b *', new Context())), [['*****', '<em>a</em>', 'b ', '*'], '']);
-      assert.deepStrictEqual(inspect(parser, input('******a*b **', new Context())), [['*****', '<em>a</em>', 'b ', '**'], '']);
-      assert.deepStrictEqual(inspect(parser, input('******a*b ***', new Context())), [['*****', '<em>a</em>', 'b ', '***'], '']);
-      assert.deepStrictEqual(inspect(parser, input('******a*b ****', new Context())), [['*****', '<em>a</em>', 'b ', '****'], '']);
-      assert.deepStrictEqual(inspect(parser, input('******a*b *****', new Context())), [['*****', '<em>a</em>', 'b ', '*****'], '']);
-      assert.deepStrictEqual(inspect(parser, input('******a*** b***', new Context())), [['<em><strong><em><strong>a</strong></em> b</strong></em>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('***`a`***')), [['<em><strong><code data-src="`a`">a</code></strong></em>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('***(*a*)***')), [['<em><strong><span class="paren">(<em>a</em>)</span></strong></em>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('***(**a**)***')), [['<em><strong><span class="paren">(<strong>a</strong>)</span></strong></em>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('***(***a***)***')), [['<em><strong><span class="paren">(<em><strong>a</strong></em>)</span></strong></em>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('***a*')), [['**', '<em>a</em>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('***a*b')), [['**', '<em>a</em>', 'b'], '']);
+      assert.deepStrictEqual(inspect(parser, input('***a*b*')), [['**', '<em>a</em>', 'b'], '*']);
+      assert.deepStrictEqual(inspect(parser, input('***a*b*c')), [['**', '<em>a</em>', 'b', '*', 'c'], '']);
+      assert.deepStrictEqual(inspect(parser, input('***a*b*c*')), [['**', '<em>a</em>', 'b', '<em>c</em>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('***a*b*c**')), [['**', '<em>a</em>', 'b', '<em>c</em>'], '*']);
+      assert.deepStrictEqual(inspect(parser, input('***a*b*c***')), [['<strong><em>a</em>b<em>c</em></strong>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('***a*b**')), [['<strong><em>a</em>b</strong>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('***a*b**c')), [['<strong><em>a</em>b</strong>'], 'c']);
+      assert.deepStrictEqual(inspect(parser, input('***a**')), [['*', '<strong>a</strong>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('***a**b')), [['*', '<strong>a</strong>', 'b'], '']);
+      assert.deepStrictEqual(inspect(parser, input('***a**b*')), [['<em><strong>a</strong>b</em>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('***a**b**')), [['<em><strong>a</strong>b</em>'], '*']);
+      assert.deepStrictEqual(inspect(parser, input('***a**b**c')), [['*', '<strong>a</strong>', 'b', '**', 'c'], '']);
+      assert.deepStrictEqual(inspect(parser, input('***a**b**c*')), [['<em><strong>a</strong>b**c</em>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('***a**b**c**')), [['*', '<strong>a</strong>', 'b', '<strong>c</strong>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('***a**b**c***')), [['<em><strong>a</strong>b<strong>c</strong></em>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('***a *b****')), [['<em><strong>a <em>b</em></strong></em>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('***a\\ *b****')), [['<em><strong>a <em>b</em></strong></em>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('***a&Tab;*b****')), [['<em><strong>a\t<em>b</em></strong></em>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('***a<wbr>*b****')), [['<em><strong>a<wbr><em>b</em></strong></em>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('***a *b****')), [['<em><strong>a <em>b</em></strong></em>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('***a* **b****')), [['<strong><em>a</em> <strong>b</strong></strong>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('***a*\\ **b****')), [['<strong><em>a</em> <strong>b</strong></strong>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('***a*&Tab;**b****')), [['<strong><em>a</em>\t<strong>b</strong></strong>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('***a*<wbr>**b****')), [['<strong><em>a</em><wbr><strong>b</strong></strong>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('***a*b **')), [['**', '<em>a</em>', 'b ', '**'], '']);
+      assert.deepStrictEqual(inspect(parser, input('***a*b\\ **')), [['**', '<em>a</em>', 'b', ' ', '**'], '']);
+      assert.deepStrictEqual(inspect(parser, input('***a**b*')), [['<em><strong>a</strong>b</em>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('***a**b*c')), [['<em><strong>a</strong>b</em>'], 'c']);
+      assert.deepStrictEqual(inspect(parser, input('***a**b*c**')), [['<em><strong>a</strong>b</em>'], 'c**']);
+      assert.deepStrictEqual(inspect(parser, input('***a**b**c***')), [['<em><strong>a</strong>b<strong>c</strong></em>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('***a**b**c***d')), [['<em><strong>a</strong>b<strong>c</strong></em>'], 'd']);
+      assert.deepStrictEqual(inspect(parser, input('***a** *b**')), [['<em><strong>a</strong> <em>b</em></em>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('***a**\\ *b**')), [['<em><strong>a</strong> <em>b</em></em>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('***a**&Tab;*b**')), [['<em><strong>a</strong>\t<em>b</em></em>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('***a**<wbr>*b**')), [['<em><strong>a</strong><wbr><em>b</em></em>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('***a**b *')), [['*', '<strong>a</strong>', 'b ', '*'], '']);
+      assert.deepStrictEqual(inspect(parser, input('***a**b\\ *')), [['*', '<strong>a</strong>', 'b', ' ', '*'], '']);
+      assert.deepStrictEqual(inspect(parser, input('***a*')), [['**', '<em>a</em>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('***a**')), [['*', '<strong>a</strong>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('***a***')), [['<em><strong>a</strong></em>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('***a***b')), [['<em><strong>a</strong></em>'], 'b']);
+      assert.deepStrictEqual(inspect(parser, input('***a****')), [['<em><strong>a</strong></em>'], '*']);
+      assert.deepStrictEqual(inspect(parser, input('***a*****')), [['<em><strong>a</strong></em>'], '**']);
+      assert.deepStrictEqual(inspect(parser, input('***a******')), [['<em><strong>a</strong></em>', '***'], '']);
+      assert.deepStrictEqual(inspect(parser, input('****a***')), [['*', '<em><strong>a</strong></em>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('****a***b')), [['*', '<em><strong>a</strong></em>', 'b'], '']);
+      assert.deepStrictEqual(inspect(parser, input('****a***b*')), [['<em><em><strong>a</strong></em>b</em>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('****a****')), [['<em><em><strong>a</strong></em></em>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('****a****b')), [['<em><em><strong>a</strong></em></em>'], 'b']);
+      assert.deepStrictEqual(inspect(parser, input('*****a***')), [['**', '<em><strong>a</strong></em>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('*****a***b')), [['**', '<em><strong>a</strong></em>', 'b'], '']);
+      assert.deepStrictEqual(inspect(parser, input('*****a***b**')), [['<strong><em><strong>a</strong></em>b</strong>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('*****a****')), [['*', '<em><em><strong>a</strong></em></em>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('*****a****b')), [['*', '<em><em><strong>a</strong></em></em>', 'b'], '']);
+      assert.deepStrictEqual(inspect(parser, input('*****a****b*')), [['<em><em><em><strong>a</strong></em></em>b</em>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('*****a*****')), [['<strong><em><strong>a</strong></em></strong>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('******a***')), [['***', '<em><strong>a</strong></em>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('******a***b')), [['***', '<em><strong>a</strong></em>', 'b'], '']);
+      assert.deepStrictEqual(inspect(parser, input('******a****')), [['**', '<em><em><strong>a</strong></em></em>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('******a****b')), [['**', '<em><em><strong>a</strong></em></em>', 'b'], '']);
+      assert.deepStrictEqual(inspect(parser, input('******a****b**')), [['<strong><em><em><strong>a</strong></em></em>b</strong>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('******a*****')), [['*', '<strong><em><strong>a</strong></em></strong>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('******a*****b')), [['*', '<strong><em><strong>a</strong></em></strong>', 'b'], '']);
+      assert.deepStrictEqual(inspect(parser, input('******a*****b*')), [['<em><strong><em><strong>a</strong></em></strong>b</em>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('******a******')), [['<em><strong><em><strong>a</strong></em></strong></em>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('******a******b')), [['<em><strong><em><strong>a</strong></em></strong></em>'], 'b']);
+      assert.deepStrictEqual(inspect(parser, input('******a*b')), [['*****', '<em>a</em>', 'b'], '']);
+      assert.deepStrictEqual(inspect(parser, input('******a*b *')), [['*****', '<em>a</em>', 'b ', '*'], '']);
+      assert.deepStrictEqual(inspect(parser, input('******a*b **')), [['*****', '<em>a</em>', 'b ', '**'], '']);
+      assert.deepStrictEqual(inspect(parser, input('******a*b ***')), [['*****', '<em>a</em>', 'b ', '***'], '']);
+      assert.deepStrictEqual(inspect(parser, input('******a*b ****')), [['*****', '<em>a</em>', 'b ', '****'], '']);
+      assert.deepStrictEqual(inspect(parser, input('******a*b *****')), [['*****', '<em>a</em>', 'b ', '*****'], '']);
+      assert.deepStrictEqual(inspect(parser, input('******a*** b***')), [['<em><strong><em><strong>a</strong></em> b</strong></em>'], '']);
     });
 
   });

package/src/parser/inline/emstrong.ts

@@ -1,7 +1,7 @@
 import { EmStrongParser, EmphasisParser, StrongParser } from '../inline';
 import { Recursion, Command } from '../context';
-import { Parser, Result, List, Node } from '../../combinator/data/parser';
-import { union, some, precedence, surround, lazy, bind } from '../../combinator';
+import { Parser, Output, List, Node } from '../../combinator/parser';
+import { union, some, precedence, backtrack, surround, lazy, bind } from '../../combinator';
 import { inline } from '../inline';
 import { strong } from './strong';
 import { emphasis } from './emphasis';
@@ -20,68 +20,114 @@ const subemphasis: Parser.IntermediateParser<EmphasisParser> = lazy(() => some(u
   strong,
 ])));
 
+const c1 = lazy(() => union([
+  bind(subemphasis, (ds, input, output) => {
+    const { source } = input;
+    const bs = output.pop();
+    if (source.startsWith('*', input.position)) {
+      input.position += 1;
+      const buffer = new List<Node<HTMLElement | string>>().import(output.peek());
+      buffer.push(new Node(html('strong', defrag(unwrap(bs)))));
+      buffer.import(ds);
+      return new List([
+        new Node(html('em', defrag(unwrap(buffer)))),
+        new Node(Command.Separator),
+      ]);
+    }
+    else {
+      const buffer = new List<Node<HTMLElement | string>>().import(output.peek());
+      buffer.push(new Node(html('strong', defrag(unwrap(bs)))));
+      buffer.import(ds);
+      buffer.push(new Node(Command.Separator));
+      return prepend('*', buffer);
+    }
+  }),
+  (_, output: Output<string | HTMLElement>) =>
+    output.import(prepend('*', new List([new Node(html('strong', defrag(unwrap(output.pop())))), new Node(Command.Separator)]))),
+]));
+const c2 = lazy(() => union([
+  bind(substrong, (ds, input, output) => {
+    const { source } = input;
+    const bs = output.pop();
+    if (source.startsWith('**', input.position)) {
+      input.position += 2;
+      const buffer = new List<Node<HTMLElement | string>>().import(output.peek());
+      buffer.push(new Node(html('em', defrag(unwrap(bs)))));
+      buffer.import(ds);
+      return new List([
+        new Node(html('strong', defrag(unwrap(buffer)))),
+        new Node(Command.Separator),
+      ]);
+    }
+    else {
+      const buffer = new List<Node<HTMLElement | string>>().import(output.peek());
+      buffer.push(new Node(html('em', defrag(unwrap(bs)))));
+      buffer.import(ds);
+      buffer.push(new Node(Command.Separator));
+      return prepend('**', buffer);
+    }
+  }),
+  (_, output: Output<string | HTMLElement>) =>
+    output.import(prepend('**', new List([new Node(html('em', defrag(unwrap(output.pop())))), new Node(Command.Separator)]))),
+]));
+const t1 = lazy(() => union([
+  bind(subemphasis, (ds, input, output) => {
+    const { source } = input;
+    if (source.startsWith('*', input.position)) {
+      input.position += 1;
+      return new List([new Node(html('em', defrag(unwrap(output.pop().import(ds)))))]);
+    }
+    else {
+      return prepend('*', output.pop().import(ds));
+    }
+  }),
+  (_, output: Output<string | HTMLElement>) =>
+    output.import(prepend('*', output.pop())),
+]));
+const t2 = lazy(() => union([
+  bind(substrong, (ds, input, output) => {
+    const { source } = input;
+    if (source.startsWith('**', input.position)) {
+      input.position += 2;
+      return new List([new Node(html('strong', defrag(unwrap(output.pop().import(ds)))))]);
+    }
+    else {
+      return prepend('**', output.pop().import(ds));
+    }
+  }),
+  (_, output: Output<string | HTMLElement>) =>
+    output.import(prepend('**', output.pop())),
+]));
+
 // 開閉が明示的でない構文は開閉の不明確な記号による再帰的適用を行わず
 // 可能な限り早く閉じるよう解析しなければならない。
 // このため終端記号の後ろを見て終端を中止し同じ構文を再帰的に適用してはならない。
 export const emstrong: EmStrongParser = lazy(() =>
-  repeat('***', beforeNonblank, '***', Recursion.inline, precedence(0, surround(
+  repeat('***', beforeNonblank, '***', Recursion.inline, precedence(0, backtrack(surround(
     '',
     some(union([some(inline, '*', afterNonblank)])),
     strs('*', 1, 3),
     false, [],
-    ([, bs, cs], context): Result<Parser.Node<EmStrongParser>, Parser.Context<EmStrongParser>> => {
+    ([, bs, cs], input, output) => {
       assert(cs.length === 1);
-      const { buffer } = context;
       switch (cs.head!.value) {
         case '***':
-          return buffer.import(bs);
+          return output.import(bs);
         case '**':
-          return bind<EmphasisParser>(
-            subemphasis,
-            ds => {
-              const { source } = context;
-              if (source.startsWith('*', context.position)) {
-                context.position += 1;
-                buffer.push(new Node(html('strong', defrag(unwrap(bs)))));
-                buffer.import(ds);
-                return new List([new Node(html('em', defrag(unwrap(buffer)))), new Node(Command.Separator)]);
-              }
-              else {
-                buffer.push(new Node(html('strong', defrag(unwrap(bs)))));
-                buffer.import(ds);
-                buffer.push(new Node(Command.Separator));
-                return prepend('*', buffer);
-              }
-            })
-            (context) ?? prepend('*', buffer.import(new List([new Node(html('strong', defrag(unwrap(bs)))), new Node(Command.Separator)])));
+          output.push(bs);
+          return c1(input, output);
         case '*':
-          return bind<StrongParser>(
-            substrong,
-            ds => {
-              const { source } = context;
-              if (source.startsWith('**', context.position)) {
-                context.position += 2;
-                buffer.push(new Node(html('em', defrag(unwrap(bs)))));
-                buffer.import(ds);
-                return new List([new Node(html('strong', defrag(unwrap(buffer)))), new Node(Command.Separator)]);
-              }
-              else {
-                buffer.push(new Node(html('em', defrag(unwrap(bs)))));
-                buffer.import(ds);
-                buffer.push(new Node(Command.Separator));
-                return prepend('**', buffer);
-              }
-            })
-            (context) ?? prepend('**', buffer.import(new List([new Node(html('em', defrag(unwrap(bs)))), new Node(Command.Separator)])));
+          output.push(bs);
+          return c2(input, output);
       }
       assert(false);
     },
-    ([, bs], { buffer }) => bs && buffer.import(bs) && buffer.push(new Node(Command.Cancel)) && buffer)),
+    ([, bs], _, output) => bs && output.import(bs.push(new Node(Command.Cancel)))))),
     // 3以上の`*`に対してemの適用を保証する
     nodes => new List([new Node(html('em', [html('strong', defrag(unwrap(nodes)))]))]),
-    (nodes, context, prefix, postfix, state) => {
-      context.position += postfix;
-      context.range += postfix;
+    (nodes, input, output, prefix, postfix, state) => {
+      input.position += postfix;
+      input.range += postfix;
       assert(postfix < 3);
       if (state) {
         switch (postfix) {
@@ -98,60 +144,32 @@ export const emstrong: EmStrongParser = lazy(() =>
         }
         prefix -= postfix;
         postfix -= postfix;
-        context.range += postfix;
+        input.range += postfix;
         switch (prefix) {
           case 0:
-            break;
+            return output.import(nodes);
           case 1:
-            nodes = bind<EmphasisParser>(
-              subemphasis,
-              ds => {
-                const { source } = context;
-                if (source.startsWith('*', context.position)) {
-                  context.position += 1;
-                  return new List([new Node(html('em', defrag(unwrap(nodes.import(ds)))))]);
-                }
-                else {
-                  return prepend('*', nodes.import(ds));
-                }
-              })
-              (context) ?? prepend('*', nodes);
-            prefix -= 1;
-            context.range += 1;
-            break;
+            output.push(nodes);
+            return t1(input, output);
           case 2:
-            nodes = bind<StrongParser>(
-              substrong,
-              ds => {
-                const { source } = context;
-                if (source.startsWith('**', context.position)) {
-                  context.position += 2;
-                  return new List([new Node(html('strong', defrag(unwrap(nodes.import(ds)))))]);
-                }
-                else {
-                  return prepend('**', nodes.import(ds));
-                }
-              })
-              (context) ?? prepend('**', nodes);
-            prefix -= 2;
-            context.range += 2;
-            break;
+            output.push(nodes);
+            return t2(input, output);
         }
       }
       if (prefix > postfix) {
         nodes = prepend('*'.repeat(prefix - postfix), nodes);
         prefix = 0;
-        context.range += prefix - postfix;
+        input.range += prefix - postfix;
       }
-      return nodes;
+      return output.import(nodes);
     }));
 
-function prepend<N>(prefix: string, nodes: List<Node<N>>): List<Node<N>> {
+function prepend(prefix: string, nodes: List<Node<string | HTMLElement>>): List<Node<string | HTMLElement>> {
   if (typeof nodes.head?.value === 'string') {
-    nodes.head.value = prefix + nodes.head.value as N;
+    nodes.head.value = prefix + nodes.head.value;
   }
   else {
-    nodes.unshift(new Node(prefix as N));
+    nodes.unshift(new Node(prefix));
   }
   return nodes;
 }