On Fri, 3 Feb 2023 18:57:06 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:

>> Note that all the proposed escape sequences are context-sensitive, and are 
>> only enabled in appropriate circumstances.
>
> updated code, comments and spec.

> (FWIW, @jonathan-gibbons, note that the caret positions differ: the former 
> points to / while the latter points to @. )

I see the problem and think I understand the fix, but it is unrelated to the 
work here.  I'll defer this to a separate JBS issue and PR.

-------------

PR: https://git.openjdk.org/jdk/pull/12372

Reply via email to