On Wed Oct 4 22:49:13 2023 +0000, Zebediah Figura wrote:
I don't love these names, although I'm not sure I have better suggestions (CONTINUE_WITH_ITER maybe?) As long as the naming is unclear, which is probably unavoidable, I think we need some documentation here describing which is which.
Yes, some comments are useful here. Regarding the name, it's not only for iterator part, it depends on a loop kind, so calling it WITH_ITER will make it even less accurate. The name should make it clear that it's some jump that's not going to survive for long, and is not useful by itself. Maybe append INTERNAL, or something similar? I'm definitely open to suggestions.