Skip to content

Name a changed parameter by its position - #104

Merged
Mpdreamz merged 1 commit into
mainfrom
parameter-labels
Nov 14, 2026
Merged

Mpdreamz merged 1 commit into
mainfrom
parameter-labels

Conversation

@Mpdreamz

Copy link
Copy Markdown
Contributor

The CsCheck mirror property failed on #103's CI with seed 7EiLdrYJA8Z9. That failure is a bug on main since #96, not a regression in #103.

A parameter's changes were labelled with its new name. So a parameter that was renamed and also made params read parameter rest in one direction and parameter p0 in the other. The rename itself was already reported by position (parameter 1 name), and now every other part of a parameter is too:

-A › M(int) › parameter a default  changed: 1 → 2
+A › M(int) › parameter 1 default  changed: 1 → 2

Checks: the seed passes with the fix. mise run ci passes: 81 library tests and 630 tool tests.

🤖 Generated with Claude Code

A parameter's changes were labelled with its new name, so a parameter renamed and made params read
"parameter rest" one way round and "parameter p0" the other. The rename itself was already reported by position
("parameter 1 name"); every other part of a parameter is now too. CsCheck's mirror property found it on CI.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@Mpdreamz Mpdreamz added bug A defect fixed (patch) and removed bug A defect fixed (patch) labels Nov 14, 2026
@Mpdreamz
Mpdreamz merged commit 9510877 into main Nov 14, 2026
7 of 10 checks passed
@Mpdreamz
Mpdreamz deleted the parameter-labels branch November 14, 2026 21:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug A defect fixed (patch)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant