Skip to content

feat(#566): add invalid-name-notation lint - #1228

Closed
VasilevNStas wants to merge 2 commits into
objectionary:masterfrom
VasilevNStas:fix/issue-566-invalid-name-notation
Closed

feat(#566): add invalid-name-notation lint#1228
VasilevNStas wants to merge 2 commits into
objectionary:masterfrom
VasilevNStas:fix/issue-566-invalid-name-notation

Conversation

@VasilevNStas

@VasilevNStas VasilevNStas commented Aug 9, 2026

Copy link
Copy Markdown
Contributor

fix #566

New lint invalid-name-notation checks that every @name in the XMIR matches [a-z]+(-[a-z]+)* — kebab-case, Latin letters only, no digits/underscores/uppercase, as requested in #566.

  • src/main/resources/org/eolang/lints/names/invalid-name-notation.xsl — the lint (warning severity, same defect shape as non-kebab-name).
  • src/main/resources/org/eolang/motives/names/invalid-name-notation.md — motive.
  • eo:special now also recognizes ξ (xi), an internal parser symbol alongside φ/λ; otherwise parser-generated <o name="ξ"/> inside atoms would be flagged.
  • 4 YAML packs: allows-good-names, allows-special-names (incl. φ, λ, a🌵N-N auto-names and test names), allows-throwing-test-name, catches-invalid-names.
  • canonical.eo: renamed the [i1] lambda parameter to [i] in canonical.eo — digits are now forbidden by design (confirmed by @yegor256 in invalid-name-notation Lint for @name Attribute Matching Not Created #566).

Verified: mvn clean install -Pqulice green (404 LtByXslTest + all suites), mvn jmh:benchmark passed.

@volodya-lombrozo

Copy link
Copy Markdown
Member

Thanks for the contribution! These commits aren't GPG/SSH-signed, and rultor requires signed commits to merge — see GitHub's guide on signing commits: https://docs.github.com/en/authentication/managing-commit-signature-verification/signing-commits. Closing for now; please feel free to reopen once your commits are signed.

@VasilevNStas

Copy link
Copy Markdown
Contributor Author

@volodya-lombrozo, fixed — commits are now SSH-signed (verified by GitHub). Since the closed PR can't be reopened after a force-push, I've recreated it as #1235 (same change, signed commits).

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.

invalid-name-notation Lint for @name Attribute Matching Not Created

2 participants