[code-reflection] Integrated: Unary plus
Paul Sandoz
psandoz at openjdk.org
Wed Aug 14 18:35:17 UTC 2024
On Wed, 14 Aug 2024 00:08:15 GMT, Paul Sandoz <psandoz at openjdk.org> wrote:
> Support unary plus operator. No need to explicitly model as it has no direct operational semantics.
This pull request has now been integrated.
Changeset: a566edf2
Author: Paul Sandoz <psandoz at openjdk.org>
URL: https://git.openjdk.org/babylon/commit/a566edf2bceb3ffcabbc3232cc9b8a2248c5a4cc
Stats: 94 lines in 2 files changed: 92 ins; 0 del; 2 mod
Unary plus
Reviewed-by: mcimadamore
-------------
PR: https://git.openjdk.org/babylon/pull/213
More information about the babylon-dev
mailing list