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

Rename BinaryOperator to InfixOperator.. #1175

Merged
merged 1 commit into from
Nov 19, 2024

Conversation

rocky
Copy link
Member

@rocky rocky commented Nov 19, 2024

Rename BinaryOperator to InfixOperator, since that is more precisely what it is.

Also, order functions inside builtin more alphabetically within each category of classes. Attach ABC to some abstract classes.

@rocky rocky requested a review from mmatera November 19, 2024 15:46
@rocky
Copy link
Member Author

rocky commented Nov 19, 2024

Often when I want to start something new, like handling the kinds of "no-meaning" operators, I find there is some code that is imprecise or weak in some way that impacts doing the new thing well.

One cool thing that we are in a position to do now (but isn't done in this PR) is to automatically fill in (or adjust) all of the operator symbols in the operator classes based on JSON data from MathicsScanner. The no-meaning-operators-from-JSON branch does this just. However, here I think it best to complete this, then the "no-meaning" branch, and then come back and do the rest of the operators.

since that is more precisely what it is.

Also, order functions inside builtin more alphabetically within
each category of classes. Attach "ABC" to some abstract classes.
@rocky rocky force-pushed the BinaryOperator-to-InfixOperator branch from 43ea355 to 9628da6 Compare November 19, 2024 15:54
@mmatera
Copy link
Contributor

mmatera commented Nov 19, 2024

LGTM

@rocky
Copy link
Member Author

rocky commented Nov 19, 2024

Thanks - onward and upward.

@rocky rocky merged commit 3ba2611 into master Nov 19, 2024
13 checks passed
@rocky rocky deleted the BinaryOperator-to-InfixOperator branch November 19, 2024 17:49
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.

2 participants