I pushed an updated version of the PVM document to its new home in valhalla-docs:
https://github.com/openjdk/valhalla-docs/blob/main/site/design-notes/parametric-vm/parametric-vm.md Here is the produced HTML (we don’t have this automated yet): http://cr.openjdk.java.net/~jrose/values/parametric-vm.html It attempts to address recent EG comments. In order to track our progress I committed the first public version to github, and then immediately overwrote it with the current version. Here are the most recent changes: https://github.com/openjdk/valhalla-docs/commit/e6d16bfed0768ade802e58808b79c4c44b5ec1cb At you prompting, Remi, I have changed “parameter” to “selector” as the term which describes the cookie that a client uses to request a specialization. — John
