Skip to content

polish: drop the duplicated ± replacement, which was dead - #710

Merged
christopherthompson81 merged 1 commit into
mainfrom
polish-dead-pm
Aug 7, 2026
Merged

polish: drop the duplicated ± replacement, which was dead#710
christopherthompson81 merged 1 commit into
mainfrom
polish-dead-pm

Conversation

@christopherthompson81

Copy link
Copy Markdown
Owner

Follow-up to #709, which found this but left it so that PR could keep its byte-identity guarantee.

polish/normalize.ts ran

s = s.replace(/±/gu, " plus minus ");

twice, six lines apart, each under its own comment block describing the rule as if it were the only one. The second could never fire — the first is a global replace, so no ± survives it.

Pre-existing; it predates the comment sweep. It surfaced only because converging the ± blocks put the two copies side by side.

Verification

Typecheck clean, 3118 tests pass, and the behaviour checked rather than assumed:

±5 stopni         → plˈus mˈinus pjˈɛɲt͡ɕ stˈɔpɲi
temperatura ±0,5  → tɛmpɛratˈura plˈus mˈinus zˈɛrɔ pʂɛt͡ɕˈinɛk pjˈɛɲt͡ɕ
A ± B             → ˈa plˈus mˈinus p
+30 i -5          → plˈus tʂɨd͡ʑˈɛɕt͡ɕi ˈi mˈinus pjˈɛɲt͡ɕ

`s = s.replace(/±/gu, " plus minus ")` appeared TWICE, six lines apart, each
under its own comment block. The second could never fire: the first is a
global replace, so no ± survives it.

Pre-existing — it predates the comment sweep. It was found while converging
the ± comment blocks (#709), which is what put the two copies side by side;
each block described the rule as if it were the only one.

Behaviour unchanged, checked rather than assumed:
  ±5 stopni        → plˈus mˈinus pjˈɛɲt͡ɕ stˈɔpɲi
  temperatura ±0,5 → … plˈus mˈinus zˈɛrɔ pʂɛt͡ɕˈinɛk pjˈɛɲt͡ɕ
  +30 i -5         → plˈus tʂɨd͡ʑˈɛɕt͡ɕi ˈi mˈinus pjˈɛɲt͡ɕ

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_012Lc3WnUgogC7okV7n53vjr
@christopherthompson81
christopherthompson81 merged commit 1c18236 into main Aug 7, 2026
2 checks passed
@christopherthompson81
christopherthompson81 deleted the polish-dead-pm branch August 7, 2026 04:32
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.

1 participant