Skip to content

Conversation

@ehuss
Copy link
Contributor

@ehuss ehuss commented Jan 15, 2026

The "general" suffix seemed too generic to me, and also didn't quite fit with some of the style in the rest of the grammar.

Some of these are difficult to come up with good names for, and I'm not entirely happy with this. My thinking is:

  • .intro is for informative introductions to a section. My intention is that every normative rule is testable. However, many of these .intro rules define terms, and I think those should possibly be normative (like ISO/IEC Directives).

    I would like to rethink how .intro works. I appreciate having introductions that are more generalized, but it is often very difficult to introduce a section without defining some terms first.

    I would also like to come up with a better strategy of "this is a testable rule" versus "this rule defines a term, but that by isn't testable".

  • Switched some of these to be more specific words tailored to their context.

  • Used .def for some of these that define a thing. .def is used in a variety of other places. We have not standardized on it, and I'm not sure it is working in a way that is clear (is it defining a term? behavior? rule? general principle?).

    I think this is being used in ways that are inconsistent, and would like to figure out something better.

The "general" suffix seemed too generic to me, and also didn't quite fit
with some of the style in the rest of the grammar.

Some of these are difficult to come up with good names for, and I'm
not entirely happy with this. My thinking is:

- `.intro` is for informative introductions to a section. My intention
  is that every normative rule is testable. However, many of these
  `.intro` rules define terms, and I think those should possibly be
  normative (like [ISO/IEC
  Directives](https://www.iso.org/sites/directives/current/part2/index.xhtml#_idTextAnchor212)).

  I would like to rethink how `.intro` works. I appreciate having
  introductions that are more generalized, but it is often very
  difficult to introduce a section without defining some terms first.

  I would also like to come up with a better strategy of "this is a
  testable rule" versus "this rule defines a term, but that by isn't
  testable".

- Switched some of these to be more specific words tailored to their
  context.

- Used `.def` for some of these that *define* a thing. `.def` is used in
  a variety of other places. We have not standardized on it, and I'm not
  sure it is working in a way that is clear (is it defining a term?
  behavior? rule? general principle?).

  I think this is being used in ways that are inconsistent, and would
  like to figure out something better.
@rustbot rustbot added the S-waiting-on-review Status: The marked PR is awaiting review from a maintainer label Jan 15, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-review Status: The marked PR is awaiting review from a maintainer

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants