<div dir="ltr"><div class="gmail_default" style="font-family:monospace">I have found the source of the bug and made a pull request here -- <a href="https://github.com/openjdk/amber-docs/pull/19">https://github.com/openjdk/amber-docs/pull/19</a></div><div class="gmail_default" style="font-family:monospace"><br></div><div class="gmail_default" style="font-family:monospace">Here is a copy of the commit message explaining the bug.</div><div class="gmail_default" style="font-family:monospace"><br></div><div class="gmail_default" style="font-family:monospace">~~~<br></div><div class="gmail_default" style="font-family:monospace"><br></div><div class="gmail_default" style="font-family:monospace">Since "2020)" was on its own separate line, markdown interpreted it as a start of an ordered list. Just like this.<br><br>1)<br>2)<br>3)<br><br>And then when that markdown got converted to HTML, it got converted into a literal <ol> tag, which stands for Ordered List - <a href="http://html5doctor.com/element-index/#ol">http://html5doctor.com/element-index/#ol</a><br><br>However, in order for an Ordered List to show anything, it must have within it an <li> tag, which stands for List Item. Since there is no such tag, HTML treats this as an empty list and shows nothing, resulting in the bug.<br><br>Here is a snippet from the literal HTML from this link -- <a href="https://openjdk.org/projects/amber/">https://openjdk.org/projects/amber/</a><br><br><li><a href="design-notes/patterns/type-patterns-in-switch">Type Patterns in <code>switch</code></a> (September<br><ol type="1" start="2020"></ol><br></li></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Jun 21, 2023 at 3:12 PM David Alayachew <<a href="mailto:davidalayachew@gmail.com">davidalayachew@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div class="gmail_default" style="font-family:monospace">Hello Amber Dev Team,</div><div class="gmail_default" style="font-family:monospace"><br></div><div class="gmail_default" style="font-family:monospace">I was rereading through some of the design documents here, and it appears that there is a typo.</div><div class="gmail_default" style="font-family:monospace"><br></div><div class="gmail_default" style="font-family:monospace"><a href="https://openjdk.org/projects/amber/" target="_blank">https://openjdk.org/projects/amber/</a></div><div class="gmail_default" style="font-family:monospace"><br></div><div class="gmail_default" style="font-family:monospace">Ctrl+f "Type Patterns in switch"</div><div class="gmail_default" style="font-family:monospace"><br></div><div class="gmail_default" style="font-family:monospace">It says (September, but no year following after it.</div><div class="gmail_default" style="font-family:monospace"><br></div><div class="gmail_default" style="font-family:monospace">Thank you for your time and attention!</div><div class="gmail_default" style="font-family:monospace">David Alayachew<br></div></div>
</blockquote></div>