Membership operations don't have the same precedence
Bug #399770 reported by
Gustavo Narea
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| Booleano |
Fix Committed
|
High
|
Gustavo Narea | ||
Bug Description
"Belongs to" and "is subset of" operations must have the same precedence, not only because that's the way it is mathematically, but also because it'd make the parser run slightly faster.
Right now "belongs to" has a higher precedence.
Related branches
Revision history for this message
| Gustavo Narea (gnarea) wrote | #1 |
| Changed in booleano: | |
| importance: | Critical → Undecided |
| status: | Confirmed → Invalid |
Revision history for this message
| Gustavo Narea (gnarea) wrote | #2 |
| Changed in booleano: | |
| importance: | Undecided → High |
| status: | Invalid → Confirmed |
| Changed in booleano: | |
| status: | Confirmed → Fix Committed |
To post a comment you must log in.
Actually it's undesirable to have both operators in the same precedence for practical reasons: One may want to change the arrangement of *one* these operations (e.g., "<set> contains <element>" and "<super-set> expands <sub-set>", instead of the traditional "<element> in <set>" and "<sub-set> is subset of <super-set>), which wouldn't be possible (it'd be changed in both operations).