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

[eudsl] factor out `eudsl-nbgen` #45

Merged

makslevental merged 6 commits into main from makslevental/factor-eudsl-nbgen

Jan 3, 2025

Merged

root CMakeLists.txt

Annotations

10 warnings

cast from 'const _object *' to '_object *' drops const qualifier [-Wcast-qual]

cast from 'const _typeobject *' to '_object *' drops const qualifier [-Wcast-qual]

cast from 'const _object *' to '_object *' drops const qualifier [-Wcast-qual]

cast from 'const _typeobject *' to '_object *' drops const qualifier [-Wcast-qual]

cast from 'const char *' to 'char *' drops const qualifier [-Wcast-qual]

cast from 'const char *' to 'char *' drops const qualifier [-Wcast-qual]

cast from 'const char *' to 'char *' drops const qualifier [-Wcast-qual]

cast from 'const char *' to 'char *' drops const qualifier [-Wcast-qual]

default label in switch which covers all enumeration values [-Wcovered-switch-default]

cast from 'const void *' to 'nanobind::detail::func_data_prelim<0> *' drops const qualifier [-Wcast-qual]