[code-reflection] RFR: Replace the use of Interpreter to create Quoted instance with specialized code [v4]

Paul Sandoz psandoz at openjdk.org
Wed May 28 16:00:06 UTC 2025


On Wed, 28 May 2025 15:45:06 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

> > The main goal is to replace the use of the interpreter, but we really need to specify what is going on
> 
> Right -- that was my feeling. Then I suppose @mabbay found that the model produced by javac for quoted lambdas does not respect the specification we set forth. Doesn't that defeat the point of having the spec in the first place?

I presume you are referring to how javac handles constants? I was expecting we would update the specification and implementation accordingly to allow for those i.e. additional captures can occur that are not function parameters and are the result of a constant operations. So the extract+quote produces a valid model but represents a subset of what is possible.

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

PR Review Comment: https://git.openjdk.org/babylon/pull/424#discussion_r2112250713


More information about the babylon-dev mailing list