Skip to content

issues Search Results · repo:python-trio/trio-typing language:Python

Filter by

33 results
 (62 ms)

33 results

inpython-trio/trio-typing (press backspace or delete to remove)

python-trio/trio-typing
trio_typing 0.10.0 mypy plugin incompatible with mypy 1.11.2

Mypy 1.11 changed some internal API and now TypeVars need a TypeVarId not just an int. See https://github.com/python/mypy/issues/17671 lib/python3.10/site-packages/trio-stubs/__init__.pyi:135: error: ...
bug
  • Hnasar
  • 1
  • Opened 
    on Aug 25, 2024
  • #95

python-trio/trio-typing
trio_typing.plugin incompatible with mypy 1.7's new type inference

When the trio_typing.plugin is enabled with mypy 1.7, it can cause false positive errors (even when trio is not even in use) related to Mypy s new type inference which was enabled by default in https://github.com/python/mypy/pull/16345 ...
  • Hnasar
  • 3
  • Opened 
    on Nov 13, 2023
  • #90

python-trio/trio-typing
release for mypy 1.4 fix

please keep this open until fix for mypy 1.4 (#84) is released, so that there is a visible and trackable issue for people hitting the issue
  • belm0
  • 3
  • Opened 
    on Aug 4, 2023
  • #88

python-trio/trio-typing
trio-stubs runtime error (mypy >= 1.4.0)

/.../lib/python3.8/site-packages/trio-stubs/__init__.pyi:129: error: INTERNAL ERROR -- Please try using mypy master on GitHub: https://mypy.readthedocs.io/en/stable/common_issues.html#using-a-development-mypy-build ...
  • belm0
  • 2
  • Opened 
    on Aug 3, 2023
  • #87

python-trio/trio-typing
Are tests intended to be distributed?

After installing trio-typing using the pypi wheel I see the below files being installed: ❯ tree -I __pycache__ /opt/mambaforge/envs/test/lib/python3.10/site-packages/trio_typing /opt/mambaforge/envs/test/lib/python3.10/site-packages/trio_typing ...
  • dhirschfeld
  • 2
  • Opened 
    on Jul 13, 2023
  • #86

python-trio/trio-typing
Incompatible with `trio >= 0.22.1` due to `async_generator`

see https://github.com/python-trio/trio/commit/a58a58c57f2c7015851c0510a7822c3b797ab71a async_generator is no longer a dependency of trio, hence https://github.com/python-trio/trio-typing/blob/8c3677873c7fb43781bb40820c44d0ba1f3ebe25/trio_typing/init.py#L5 ...
  • touilleMan
  • Opened 
    on Jul 4, 2023
  • #85

python-trio/trio-typing
Breaking change in `TypeVarType` causes an error during typecheck

Mypy 1.4 includes PR https://github.com/python/mypy/pull/14872 that added a positional deault parameter to the mypy.types.TypeVarType constructor. plugin.py::takes_callable_and_args_callback() invokes ...
  • fjarri
  • Opened 
    on Jun 22, 2023
  • #84

python-trio/trio-typing
`TaskStatus.started` annotations can be type-safe without requiring the mypy plugin be used

e.g. without the plugin, the following currently passes type checking but is not type-safe: async def foo(*, task_status: TaskStatus[int]) - None: # the following should be rejected task_status.started() ...
  • gschaffner
  • 1
  • Opened 
    on May 10, 2023
  • #80

python-trio/trio-typing
Type mismatch between open_signal_receiver and Process.send_signal

I m playing with 0.8.0, and I noticed that trio.open_signal_receiver gives me an AsyncIterator[int], but trio.Process.send_signal takes Signals. Ideally I d be able to pass one into the other without a ...
  • Redoubts
  • 1
  • Opened 
    on Mar 30, 2023
  • #78

python-trio/trio-typing
Merge `trio-typing` into `trio`?

It s been a while since https://github.com/python-trio/trio/issues/543 was opened, and the typing ecosystem has matured considerably. I think we should aim to distribute type annotations as part of Trio ...
  • Zac-HD
  • 10
  • Opened 
    on Mar 14, 2023
  • #75
Issue origami icon

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues
ProTip! 
Press the
/
key to activate the search input again and adjust your query.
Issue origami icon

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues
ProTip! 
Press the
/
key to activate the search input again and adjust your query.
Issue search results · GitHub