Skip to content

[spectec] Specify IL subsets#2140

Open
rossberg wants to merge 1 commit intomainfrom
spectec.subsets
Open

[spectec] Specify IL subsets#2140
rossberg wants to merge 1 commit intomainfrom
spectec.subsets

Conversation

@rossberg
Copy link
Copy Markdown
Member

This defines a number of flags identifying subsets of the IL that can selectively be produced/consumed by IL passes or backends.

For example, the type-family removal pass goes from $with_family_types = true to $with_family_types = false. Similarly, animation transforms from $with_noncomputational = true to the subset $with_noncomputational = false.

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.

1 participant