<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=utf-8">

</head>

<body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">

Thanks for spotting! I accepted the pull request.

<div><br>

</div>

<div>Gavin<br>

<div><br>

<blockquote type="cite">

<div>On 22 Jun 2023, at 14:00, David Alayachew <davidalayachew@gmail.com> wrote:</div>

<br class="Apple-interchange-newline">

<div>

<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>

</div>

</blockquote>

</div>

<br>

</div>

</body>

</html>