mypy: Added Dict, List and Set imports.

Fixed mypy errors associated with the upgrade.

bots/irc-mirror.py

@@ -14,7 +14,7 @@ import zulip
 import optparse
 
 if False:
-    from typing import Any
+    from typing import Any, Dict
 
 IRC_DOMAIN = "irc.example.com"
 

bots/jabber_mirror_backend.py

@@ -37,7 +37,7 @@
 #               | other sender|  x  |    |        |
 # public mode   +-------------+-----+----+--------+----
 #               | self sender |     |    |        |
-from typing import Set
+from typing import Dict, List, Set
 
 import logging
 import threading

bots/log2zulip

@@ -22,6 +22,7 @@ import ujson
 
 sys.path.insert(0, os.path.join(os.path.dirname(__file__), "../api"))
 import zulip
+from typing import List
 
 lock_path = "/var/tmp/log2zulip.lock"
 control_path = "/etc/log2zulip.conf"

bots/zephyr_mirror_backend.py

@@ -21,7 +21,7 @@
 # CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
 # SOFTWARE.
 from __future__ import absolute_import
-from typing import IO, Any, Text, Union, Set, Tuple
+from typing import IO, Any, Dict, List, Text, Union, Set, Tuple
 from types import FrameType
 
 import sys