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. Marked as reviewed by mcimadamore (Reviewer). ------------- PR Review: https://git.openjdk.org/babylon/pull/213#pullrequestreview-2237757691