Typo in the Project Amber page

[Gavin Bierman]

Thanks for spotting! I accepted the pull request.

Gavin

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

I have found the source of the bug and made a pull request here -- https://github.com/openjdk/amber-docs/pull/19

Here is a copy of the commit message explaining the bug.

~~~

Since "2020)" was on its own separate line, markdown interpreted it as a start of an ordered list. Just like this.

1)
2)
3)

And then when that markdown got converted to HTML, it got converted into a literal <ol> tag, which stands for Ordered List - http://html5doctor.com/element-index/#ol

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.

Here is a snippet from the literal HTML from this link -- https://openjdk.org/projects/amber/

<li><a href="design-notes/patterns/type-patterns-in-switch">Type Patterns in <code>switch</code></a> (September
<ol type="1" start="2020"></ol>
</li>

On Wed, Jun 21, 2023 at 3:12 PM David Alayachew <davidalayachew at gmail.com<mailto:davidalayachew at gmail.com>> wrote:
Hello Amber Dev Team,

I was rereading through some of the design documents here, and it appears that there is a typo.

https://openjdk.org/projects/amber/

Ctrl+f "Type Patterns in switch"

It says (September, but no year following after it.

Thank you for your time and attention!
David Alayachew

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/amber-dev/attachments/20230622/455e882d/attachment-0001.htm>