Multi-paragraph list item nested in blockquote

[mity]

Input:

>* foo
>
>  bar

Expected output:

<blockquote>
<ul>
<li>
<p>foo</p>
<p>bar</p>
</li>
</ul>
</blockquote>

Actual output:

<blockquote>
<ul>
<li>foo</li>
</ul>
<p>bar</p>
</blockquote>

Rationale:
See https://spec.commonmark.org/0.29/#example-226. If I prepend every line of it with blockquote mark, it should be the same output, just wrapped in the blockquote, as per https://spec.commonmark.org/0.29/#block-quotes, the "basic case".

(Originally reported at pulldown-cmark/pulldown-cmark#358)

[jgm]

Is this the same issue as commonmark/commonmark-spec#460 ?

[mity]

Probably yes, at least the input in this comment seems to be.

EDIT: At the 2nd glance, it's not same. In the referred issue the problem is that when nesting a two-item list inside a block quote, we actually get two one-item lists instead. Here we have one-item list where the item consists of two paragraphs and the parent blockquote breaks that one item into two separate blocks.

In both cases parent container block should not change how we parse its contents. (And that's why I reported here, because imho spec is quite clear in this regard so I considered this just a bug in implementation.)

If we agree on that, then on the implementation level they both may just be multiple manifestations of a single problem, and maybe they may be be different bugs in it. It can even differ in different implementations. So I don't know.

[jgm]

I think the underlying problem has to do with whether a following space is included in the block quote start marker. Currently a following space is always gobbled, and that can lead to violations of the Principle of Uniformity when (a) the quoted content contains significant indentation, and (b) a space is not uniformly added after >. The linked issue contains some ideas for how to solve this.

[jgm]

And yes, I believe it is a spec bug. Spec says:

If a string of lines Ls constitute a sequence of blocks Bs, then the result of prepending a block quote marker to the beginning of each line in Ls is a block quote containing Bs.

A block quote marker

consists of 0-3 spaces of initial indent, plus (a) the character > together with a following space, or (b) a single character > not followed by a space.

So in your example the block quote marker on line 1 is just >, while the block quote markers on the following lines are >+SPACE. If we strip these off, then, we get

* foo

 bar

which is a list followed by a paragraph. Thus the implementations are giving you just what the spec says.

[mity]

I see. I missed the > + space makes the sign here.

Indeed, if I change the input into

> * foo
>
>   bar

(i.e. spaces added after each >), it then works as expected in all the noted implementations.

Sorry for the noise.