[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