Print mypy version on error

Author: pkch

mypy/errors.py

@@ -7,6 +7,7 @@
 from typing import Tuple, List, TypeVar, Set, Dict, Iterator, Optional
 
 from mypy.options import Options
+from mypy.version import __version__ as mypy_version
 
 
 T = TypeVar('T')
@@ -514,40 +515,45 @@ def remove_path_prefix(path: str, prefix: str) -> str:
 
 
 def report_internal_error(err: Exception, file: str, line: int,
-                          errors: Errors, options: Options) -> None:
+                          errors: Errors = None, options: Options = None) -> None:
     """Report internal error and exit.
 
     This optionally starts pdb or shows a traceback.
     """
     # Dump out errors so far, they often provide a clue.
     # But catch unexpected errors rendering them.
-    try:
-        for msg in errors.messages():
-            print(msg)
-    except Exception as e:
-        print("Failed to dump errors:", repr(e), file=sys.stderr)
+    if errors:
+        try:
+            for msg in errors.messages():
+                print(msg)
+        except Exception as e:
+            print("Failed to dump errors:", repr(e), file=sys.stderr)
 
     # Compute file:line prefix for official-looking error messages.
     if line:
-        prefix = '{}:{}'.format(file, line)
+        prefix = '{}:{}: '.format(file, line)
+    elif file:
+        prefix = '{}: '.format(file)
     else:
-        prefix = file
+        prefix = ''
+
 
     # Print "INTERNAL ERROR" message.
-    print('{}: error: INTERNAL ERROR --'.format(prefix),
+    print('{}error: INTERNAL ERROR --'.format(prefix),
+          'mypy version: {}'.format(mypy_version),
           'please report a bug at https://github.com/python/mypy/issues',
           file=sys.stderr)
 
     # If requested, drop into pdb. This overrides show_tb.
-    if options.pdb:
+    if options and options.pdb:
         print('Dropping into pdb', file=sys.stderr)
         import pdb
         pdb.post_mortem(sys.exc_info()[2])
 
     # If requested, print traceback, else print note explaining how to get one.
-    if not options.show_traceback:
+    if options and not options.show_traceback:
         if not options.pdb:
-            print('{}: note: please use --show-traceback to print a traceback '
+            print('{}note: please use --show-traceback to print a traceback '
                   'when reporting a bug'.format(prefix),
                   file=sys.stderr)
     else:
@@ -557,7 +563,7 @@ def report_internal_error(err: Exception, file: str, line: int,
         for s in traceback.format_list(tb + tb2):
             print(s.rstrip('\n'))
         print('{}: {}'.format(type(err).__name__, err))
-        print('{}: note: use --pdb to drop into pdb'.format(prefix), file=sys.stderr)
+        print('{}note: use --pdb to drop into pdb'.format(prefix), file=sys.stderr)
 
     # Exit.  The caller has nothing more to say.
     raise SystemExit(1)

scripts/mypy

@@ -1,6 +1,10 @@
 #!/usr/bin/env python3
 """Mypy type checker command line tool."""
 
-from mypy.main import main
+from mypy.errors import report_internal_error
 
-main(__file__)
+try:
+    from mypy.main import main
+    main(__file__)
+except Exception as err:
+    report_internal_error(err, None, 0)