queue_processors, python_examples: Fix mypy errors.

zerver/openapi/python_examples.py:105: error: Argument 1 to "get_user_presence" of "Client" has incompatible type "str"; expected "Dict[str, Any]"
    zerver/openapi/python_examples.py:563: error: Argument 1 to "add_reaction" of "Client" has incompatible type "Dict[str, object]"; expected "Dict[str, str]"
    zerver/openapi/python_examples.py:576: error: Argument 1 to "remove_reaction" of "Client" has incompatible type "Dict[str, object]"; expected "Dict[str, str]"
    zerver/worker/queue_processors.py:587: error: Argument "client" to "extract_query_without_mention" has incompatible type "EmbeddedBotHandler"; expected "ExternalBotHandler"

These were only missed because mypy daemon mode requires us to set
`follow_imports = skip` for the `zulip` package.

Signed-off-by: Anders Kaseorg <anders@zulipchat.com>
This commit is contained in:
Anders Kaseorg
2019-08-06 18:44:04 -07:00
committed by Tim Abbott
parent bfc5617f04
commit a5596011a0
7 changed files with 17 additions and 13 deletions

View File

@@ -605,7 +605,7 @@ def send_message(client):
def add_reaction(client, message_id):
# type: (Client, int) -> None
request = {
'message_id': message_id,
'message_id': str(message_id),
'emoji_name': 'joy',
'emoji_code': '1f602',
'emoji_type': 'unicode_emoji'
@@ -618,7 +618,7 @@ def add_reaction(client, message_id):
def remove_reaction(client, message_id):
# type: (Client, int) -> None
request = {
'message_id': message_id,
'message_id': str(message_id),
'emoji_name': 'joy',
'emoji_code': '1f602',
'reaction_type': 'unicode_emoji'