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.

Sign up for GitHub

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

Jump to bottom

fe: in `redefineModifierMissing` use redefining feature instead of outer #1693

Merged

maxteufel merged 1 commit into tokiwa-software:main from michaellilltokiwa:redefine_error_redefining_feature_wrong

Jul 10, 2023

Member

michaellilltokiwa commented Jul 10, 2023

f is the feature redefining existing so this should be used in error message not outer.


          fe: in redefineModifierMissing use redefining feature instead of ou…

e9b425c

…ter.

maxteufel approved these changes

View reviewed changes

maxteufel merged commit 723ec46 into tokiwa-software:main

4 checks passed

michaellilltokiwa deleted the redefine_error_redefining_feature_wrong branch

October 11, 2023 09:10

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment