Skip to content

Conversation

@cristianoc
Copy link
Collaborator

No description provided.

@cristianoc cristianoc requested review from cknitt and zth June 25, 2024 16:49
@zth
Copy link
Member

zth commented Jun 26, 2024

Neat! 😍 I guess this is fully safe wrt the editor tooling etc, because these nodes will never exist?

@cristianoc
Copy link
Collaborator Author

Neat! 😍 I guess this is fully safe wrt the editor tooling etc, because these nodes will never exist?

That, and the fact that cases are not removed (but kept with a unit payload). Removing them would shift the numbers associated with the runtime representation of the cases following the removed one.

@cristianoc cristianoc enabled auto-merge (rebase) June 27, 2024 10:08
@cristianoc cristianoc merged commit f1ad9bd into master Jun 27, 2024
@cristianoc cristianoc deleted the sig_class_type branch June 27, 2024 11:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants