Skip to content

Some random type added.#1909

Merged
mscuthbert merged 2 commits into
masterfrom
random-typing
Jun 11, 2026
Merged

Some random type added.#1909
mscuthbert merged 2 commits into
masterfrom
random-typing

Conversation

@mscuthbert

Copy link
Copy Markdown
Member

When trying to understand instruments in MusicXML I figured I'd add some typing.

When trying to understand instruments in MusicXML I figured I'd add some typing.
@coveralls

coveralls commented Jun 11, 2026

Copy link
Copy Markdown

Coverage Status

coverage: 93.049%. remained the same — random-typing into master

The bestName() return-type annotation added in this PR (str | None) made
mypy reject the separate else-branch call, since narrowing from the elif
check doesn't carry across calls. Call once via walrus and reuse.

AI-assisted (Claude)
@mscuthbert mscuthbert merged commit 58df3f2 into master Jun 11, 2026
8 checks passed
@mscuthbert mscuthbert deleted the random-typing branch June 11, 2026 17:24
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.

2 participants