<div dir="ltr"><p>Dear all,</p><p>I hope this message finds you well.</p><p>I have identified a few typographical errors in the Verifier section of the JVM 23 specification, specifically within the Prolog code. Below are the details of the corrections required:</p><p><strong>4.10.1.8. Type Checking for protected Members</strong><br></p><p><strong>Current:</strong></p><pre style="text-wrap: wrap;"><div><div dir="ltr"><code>classesInOtherPkgWithProtectedMember(Class, MemberName,
                                     MemberDescriptor, MemberClassName,
                                     [class(MemberClassName, L) | Tail],
                                     T] :-
</code></div></div></pre><p><strong>Correction:</strong></p><pre style="text-wrap: wrap;"><div><div dir="ltr"><code>classesInOtherPkgWithProtectedMember(Class, MemberName,
                                     MemberDescriptor, MemberClassName,
                                     [class(MemberClassName, L) | Tail],
                                     T) :-
</code></div></div></pre><p><strong>Change:</strong> Corrected the mismatched bracket from <code>T]</code> to <code>T)</code>.</p><p><strong>4.10.1.9. Type Checking Instructions: baload</strong></p><p><strong>Current:</strong></p><pre style="text-wrap: wrap;"><div><div dir="ltr"><code>instructionIsTypeSafe(baload, Environment, _Offset, StackFrame,
                      NextStackFrame, ExceptionStackFrame) :
   nth1OperandStackIs(2, StackFrame, ArrayType),
   isSmallArray(ArrayType),
   validTypeTransition(Environment, [int, top], int,
                       StackFrame, NextStackFrame),
   exceptionStackFrame(StackFrame, ExceptionStackFrame).
</code></div></div></pre><p><strong>Correction:</strong></p><pre style="text-wrap: wrap;"><div><div dir="ltr"><code>instructionIsTypeSafe(baload, Environment, _Offset, StackFrame,
                      NextStackFrame, ExceptionStackFrame) :-
   nth1OperandStackIs(2, StackFrame, ArrayType),
   isSmallArray(ArrayType),
   validTypeTransition(Environment, [int, top], int,
                       StackFrame, NextStackFrame),
   exceptionStackFrame(StackFrame, ExceptionStackFrame).
</code></div></div></pre><p><strong>Change:</strong> Corrected the colon (:) to a double colon (:-) to indicate the correct predicate definition.</p><p><strong>4.10.1.9. Type Checking Instructions: ldc, ldc_w, ldc2_w</strong></p><p><strong>Current:</strong></p><pre style="text-wrap: wrap;"><div><div dir="ltr"><code>instructionHasEquivalentTypeRule(ldc_w(CP), ldc(CP))
</code></div></div></pre><p><strong>Correction:</strong></p><pre style="text-wrap: wrap;"><div><div dir="ltr"><code>instructionHasEquivalentTypeRule(ldc_w(CP), ldc(CP)).
</code></div></div></pre><p><strong>Change:</strong> Added a period (.) at the end to properly terminate the clause.</p><p>I hope these corrections are helpful. Please let me know if any further clarification is needed.</p><p>Best regards,<br>Thiago</p></div>