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

Use div instead of divide for kotlin compatibility #7387

Merged
merged 2 commits into from
Nov 15, 2024

Conversation

ArchdukeTim
Copy link
Contributor

Other operators follow the kotlin operator names (whether on purpose of not), and it would be nice if division followed suite

@calcmogul
Copy link
Member

The geometry classes did in fact use that naming for compatibility with Kotlin operator overloading.

@ArchdukeTim
Copy link
Contributor Author

@SamCarlberg for your consideration

Copy link
Member

@SamCarlberg SamCarlberg left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@PeterJohnson PeterJohnson merged commit bade0a8 into wpilibsuite:main Nov 15, 2024
39 checks passed
sciencewhiz added a commit to Beachbot330/allwpilib that referenced this pull request Nov 27, 2024
It was changed to div in wpilibsuite#7387, but 2024 used divide.
sciencewhiz added a commit to Beachbot330/allwpilib that referenced this pull request Nov 27, 2024
It was changed to div in wpilibsuite#7387, but 2024 used divide.
sciencewhiz added a commit to Beachbot330/allwpilib that referenced this pull request Nov 27, 2024
It was changed to div in wpilibsuite#7387, but 2024 used divide.
sciencewhiz added a commit to Beachbot330/allwpilib that referenced this pull request Nov 28, 2024
It was changed to div in wpilibsuite#7387, but 2024 used divide.
sciencewhiz added a commit to Beachbot330/allwpilib that referenced this pull request Nov 28, 2024
It was changed to div in wpilibsuite#7387, but 2024 used divide.
PeterJohnson pushed a commit that referenced this pull request Nov 28, 2024
It was changed to div in #7387, but 2024 used divide.
katzuv pushed a commit to katzuv/allwpilib that referenced this pull request Feb 16, 2025
katzuv pushed a commit to katzuv/allwpilib that referenced this pull request Feb 16, 2025
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