Skip to content

use Hashable for signal identifier types - #669

Merged
penguinolog merged 1 commit into
urwid:masterfrom
ju1ius:ju1ius/typing
Nov 8, 2023
Merged

use Hashable for signal identifier types#669
penguinolog merged 1 commit into
urwid:masterfrom
ju1ius:ju1ius/typing

Conversation

@ju1ius

@ju1ius ju1ius commented Nov 8, 2023

Copy link
Copy Markdown
Contributor

Signal identifiers types were specified as str, however the code only requires that they be Hashable in order to be used as dict keys.

This pull request widens the type hints to collections.abc.Hashable in order to reflect this fact.

Closes #668

Signal identifiers types were specified as `str`, however
the code only requires that they be `Hashable` in order to be
used as dict keys.

Closes urwid#668
@coveralls

Copy link
Copy Markdown

Pull Request Test Coverage Report for Build 6795410726

  • 4 of 4 (100.0%) changed or added relevant lines in 2 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage remained the same at 74.375%

Totals Coverage Status
Change from base Build 6766808624: 0.0%
Covered Lines: 7519
Relevant Lines: 10291

💛 - Coveralls

@penguinolog
penguinolog merged commit 1b50759 into urwid:master Nov 8, 2023
@penguinolog penguinolog added the bug label Nov 8, 2023
@ju1ius
ju1ius deleted the ju1ius/typing branch November 8, 2023 15:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[BUG] type of signals identifiers is too narrow

4 participants