On Sat, 10 May 2025 16:03:37 GMT, Vicente Romero wrote:
> > heh, I was doing the same, thanks anyway :)
>
> Awesome, thanks!
>
> Apologies for the mid-air collision :) I've merged your latest merge into my
> merge, leaving just a few minor fixes.
thanks!
-
PR Comment: https://gi
On Sat, 10 May 2025 15:41:18 GMT, Archie Cobbs wrote:
> > heh, I was doing the same, thanks anyway :)
>
> Awesome, thanks!
>
> Apologies for the mid-air collision :) I've merged your latest merge into my
> merge, leaving just a few minor fixes.
thanks!
-
PR Comment: https://git.
On Sat, 10 May 2025 15:31:17 GMT, Chen Liang wrote:
> Thanks. Looks good, but the Lint to all option names streaming can be
> replaced by the static map lookup/iteration.
Good point... I prototyped that in commit be160a3261b.
-
PR Comment: https://git.openjdk.org/jdk/pull/24746#is
On Sat, 10 May 2025 15:35:16 GMT, Vicente Romero wrote:
> heh, I was doing the same, thanks anyway :)
Awesome, thanks!
Apologies for the mid-air collision :) I've merged your latest merge into my
merge, leaving just a few minor fixes.
-
PR Comment: https://git.openjdk.org/jdk/pul
On Sat, 10 May 2025 15:31:17 GMT, Chen Liang wrote:
>> Vicente Romero has updated the pull request incrementally with one
>> additional commit since the last revision:
>>
>> fixing bugs, removing dead code
>
> Thanks. Looks good, but the Lint to all option names streaming can be
> replaced b
On Fri, 9 May 2025 20:28:12 GMT, Vicente Romero wrote:
>> This PR is defining a new internal annotation,
>> `@jdk.internal.RequiresIdentity`, with target types PARAMETER and
>> TYPE_PARAMETER. The @RequiresIdentity annotation expresses the expectation
>> that an argument to a given method or c
On Fri, 9 May 2025 20:28:12 GMT, Vicente Romero wrote:
>> This PR is defining a new internal annotation,
>> `@jdk.internal.RequiresIdentity`, with target types PARAMETER and
>> TYPE_PARAMETER. The @RequiresIdentity annotation expresses the expectation
>> that an argument to a given method or c
On Fri, 9 May 2025 20:43:46 GMT, Chen Liang wrote:
>> Vicente Romero has updated the pull request incrementally with one
>> additional commit since the last revision:
>>
>> fixing bugs, removing dead code
>
> make/langtools/src/classes/build/tools/symbolgenerator/CreateSymbols.java
> line 22
On Fri, 9 May 2025 20:28:12 GMT, Vicente Romero wrote:
>> This PR is defining a new internal annotation,
>> `@jdk.internal.RequiresIdentity`, with target types PARAMETER and
>> TYPE_PARAMETER. The @RequiresIdentity annotation expresses the expectation
>> that an argument to a given method or c
> This PR is defining a new internal annotation,
> `@jdk.internal.RequiresIdentity`, with target types PARAMETER and
> TYPE_PARAMETER. The @RequiresIdentity annotation expresses the expectation
> that an argument to a given method or constructor parameter will be an object
> with a unique ident
10 matches
Mail list logo
