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

Error in ISO 2020, section 3.13 (pattern) #18

Closed
dmj opened this issue Jul 28, 2021 · 3 comments
Closed

Error in ISO 2020, section 3.13 (pattern) #18

dmj opened this issue Jul 28, 2021 · 3 comments
Assignees
Labels
2025 A change made in preparing the 2025 edition element pattern Issues relating to element pattern erratum Corrects an error in printing or writing

Comments

@dmj
Copy link
Member

dmj commented Jul 28, 2021

Section 3.13 should read:

ordered collection of rules (3.18) with an optional identifier and ancillary information

The order of rules matters.

@dmj dmj added the erratum Corrects an error in printing or writing label Jul 28, 2021
@rjelliffe
Copy link
Member

This ambiguity needs to be clarified, but I suggest that replacing "unordered" with "ordered" perpetuates the ambiguity, not resolves it.

So better text might be:

collection of rules (3.18) with an optional identifier and ancillary information. Patterns of a schema do not have a defined order.

and similarly add the equivalent for assert, report, diagnostic, property. For rule, check it is clear: Rules in a pattern are lexically ordered.


DISCUSSION

The issue is whether "unordered" refers to the pattern (i.e. it has no order with its siblings), or to the rules, or so the collection. An example of this usage might be

Trump: orange former president

The orange does not refer to his presidency but to Trump. E.g. Trump is orange, Trump is former president, therefore Trump orange former president.

In markup, we might say both that "items in numeric lists are ordered" and "a numeric list is ordered". In fact, "ordered lists" are a thing

    , of course. So the appropriate correction is no "unordered" -> "ordered" is wrong because the constraint here is supposed to be the one between patterns not the one between rules.

@AndrewSales AndrewSales self-assigned this Apr 22, 2023
@AndrewSales
Copy link
Collaborator

For pattern, "unordered" is removed from latest draft, and a note added that they do not have a defined order.
I will leave this issue open on the grounds it may relate to other elements, as @rjelliffe mentions above, and which may be attended to similarly as drafting work proceeds.

@AndrewSales AndrewSales added the element pattern Issues relating to element pattern label Jun 19, 2023
@AndrewSales AndrewSales added the 2025 A change made in preparing the 2025 edition label Feb 11, 2024
@AndrewSales
Copy link
Collaborator

#68 has the gist of other potential changes to the text, so closing.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
2025 A change made in preparing the 2025 edition element pattern Issues relating to element pattern erratum Corrects an error in printing or writing
Projects
None yet
Development

No branches or pull requests

3 participants