A "RecursiveConstants" attribute

John Rose john.r.rose at oracle.com
Fri Jan 19 21:24:10 UTC 2018

On Jan 19, 2018, at 12:11 PM, Dan Smith <daniel.smith at oracle.com> wrote:
> To flesh the attribute idea out, here's a possible spec. Mentions CONSTANT_Dynamic for now, and would be modified in the future to name other constant types that allow cycles.
> Is this a happy solution to the problems raised in previous discussions about constant cycles? Any new problems introduced?

Yes, this is about what I had in mind when I made the suggestion of an
acyclicity proof.  It reads well and looks like it would do the job.  I like
the touch of assigning zero to a missing condy; that gracefully covers
the many non-recursive cases.

Like Karen, I assume this is not an addendum to the final "minimal condy"
spec you sent out.

— John

More information about the valhalla-spec-observers mailing list