-
-
Notifications
You must be signed in to change notification settings - Fork 754
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Cover httptools_impl on mypy #1102
Conversation
WSGIApp = Callable[[Environ, StartResponse], Union[Iterable[bytes], BaseException]] | ||
|
||
|
||
class WebProtocol(Protocol): |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Here, I'm not sure if we should actually call it WebProtocolProtocol
, because the Protocol
is from typing. 🤔
@@ -0,0 +1,16 @@ | |||
import asyncio |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I had to move this due to circular import on the WebProtocol
. 😢
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
11 hours after doing this, I wonder if this is a good idea. It's a breaking change as we were exposing ServerState
on server.py
. I can't find a better solution, so suggestions are welcome.
Continuation of #1014 by @jkklapp .