Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Support disabling APIs per-backend #233

Closed
Manishearth opened this issue Aug 25, 2022 · 1 comment · Fixed by #332
Closed

Support disabling APIs per-backend #233

Manishearth opened this issue Aug 25, 2022 · 1 comment · Fixed by #332
Labels
enhancement New feature or request
Milestone

Comments

@Manishearth
Copy link
Contributor

Eventually, we will have backends that support more functionality than others, as we start adding more complex things like callbacks. It would be nice to be able to write APIs (and our own tests!) that work on backends that support the feature whilst being disabled on backends that don't.

Something like #[diplomat::disable(cpp)]

@Manishearth
Copy link
Contributor Author

See also: #307

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant