You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
capturer, a dependency of this project, cannot be used on Windows, as it clearly states in the first paragraph of the documentation.
Is capturer a hard requirement? As far as I can tell, it's only used in typecheck_in_same_process to capture mypy's output. However:
Both mypy.main.process_options and mypy.build.build accept an optional TextIO for stdout and stderr.
contextlib.redirect_stdout and contextlib.redirect_stderr could be used here, since nothing runs in a subprocess (as far as I can tell? otherwise I don't see how mypy could even reliably support the parameters above)
I'd be happy to submit a PR, unless I've missed something.
The text was updated successfully, but these errors were encountered:
capturer
, a dependency of this project, cannot be used on Windows, as it clearly states in the first paragraph of the documentation.Is
capturer
a hard requirement? As far as I can tell, it's only used in typecheck_in_same_process to capturemypy
's output. However:mypy.main.process_options
andmypy.build.build
accept an optionalTextIO
forstdout
andstderr
.contextlib.redirect_stdout
andcontextlib.redirect_stderr
could be used here, since nothing runs in a subprocess (as far as I can tell? otherwise I don't see howmypy
could even reliably support the parameters above)I'd be happy to submit a PR, unless I've missed something.
The text was updated successfully, but these errors were encountered: