--ide flag

Author: KotlinIsland

.mypy/baseline.json

@@ -4771,7 +4771,7 @@
         "code": "truthy-bool",
         "column": 11,
         "message": "Member \"options\" has type \"Options\" which does not implement __bool__ or __len__ so it could always be true in boolean context",
-        "offset": 735,
+        "offset": 738,
         "src": "if self.options:",
         "target": "mypy.errors.Errors.is_error_code_enabled"
       },
@@ -4787,15 +4787,15 @@
         "code": "truthy-bool",
         "column": 69,
         "message": "Member \"options\" has type \"Options\" which does not implement __bool__ or __len__ so it could always be true in boolean context",
-        "offset": 52,
+        "offset": 53,
         "src": "is_typeshed_file(self.options.abs_custom_typeshed_dir if self.options else None, file)",
         "target": "mypy.errors.Errors.generate_ignore_without_code_errors"
       },
       {
         "code": "unreachable",
         "column": 16,
         "message": "Statement is unreachable",
-        "offset": 374,
+        "offset": 379,
         "src": "result.append(",
         "target": "mypy.errors.Errors.render_messages"
       }
@@ -7305,7 +7305,7 @@
         "code": "no-any-expr",
         "column": 16,
         "message": "Expression type contains \"Any\" (has type \"list[Any]\")",
-        "offset": 254,
+        "offset": 257,
         "src": "default=[],",
         "target": "mypy.main.process_options"
       },
@@ -7337,7 +7337,7 @@
         "code": "no-any-expr",
         "column": 67,
         "message": "Expression type contains \"Any\" (has type \"list[Any]\")",
-        "offset": 283,
+        "offset": 285,
         "src": "\"--package-root\", metavar=\"ROOT\", action=\"append\", default=[], help=argparse.SUPPRESS",
         "target": "mypy.main.process_options"
       },
@@ -7417,7 +7417,7 @@
         "code": "no-any-expr",
         "column": 11,
         "message": "Expression type contains \"Any\" (has type \"dict[str, Any]\")",
-        "offset": 20,
+        "offset": 22,
         "src": "if not dummy.__dict__[\"special-opts:strict\"]:",
         "target": "mypy.main.process_options"
       },
@@ -7433,15 +7433,23 @@
         "code": "no-any-expr",
         "column": 49,
         "message": "Expression has type \"Any\"",
-        "offset": 8,
+        "offset": 17,
         "src": "parse_config_file(options, set_strict_flags, config_file, stdout, stderr)",
         "target": "mypy.main.process_options"
       },
+      {
+        "code": "no-any-expr",
+        "column": 7,
+        "message": "Expression has type \"Any\"",
+        "offset": 4,
+        "src": "if dummy.ide:",
+        "target": "mypy.main.process_options"
+      },
       {
         "code": "no-any-expr",
         "column": 29,
         "message": "Expression has type \"Any\"",
-        "offset": 14,
+        "offset": 15,
         "src": "options.python_version = special_opts.python_version or options.python_version",
         "target": "mypy.main.process_options"
       },
@@ -8707,6 +8715,14 @@
         "src": "return repr(self)",
         "target": "mypy.nodes.Node.__str__"
       },
+      {
+        "code": "unreachable",
+        "column": 12,
+        "message": "See https://kotlinisland.github.io/basedmypy/_refs.html#code-unreachable for more info",
+        "offset": 0,
+        "src": "return repr(self)",
+        "target": null
+      },
       {
         "code": "no-any-expr",
         "column": 15,
@@ -9249,7 +9265,7 @@
         "code": "no-any-expr",
         "column": 18,
         "message": "Expression has type \"Any\"",
-        "offset": 111,
+        "offset": 122,
         "src": "MACHDEP = sysconfig.get_config_var(\"MACHDEP\")",
         "target": "mypy.options.Options.__init__"
       },
@@ -9273,7 +9289,7 @@
         "code": "no-any-explicit",
         "column": 8,
         "message": "Explicit \"Any\" is not allowed",
-        "offset": 257,
+        "offset": 258,
         "src": "self.transform_source: Callable[[Any], Any] | None = None",
         "target": "mypy.options.Options.__init__"
       },
@@ -9395,6 +9411,14 @@
         "src": "def add_symbol_table_node(self, name: str, stnode: SymbolTableNode) -> Any:",
         "target": "mypy.plugin"
       },
+      {
+        "code": "no-any-decorated",
+        "column": 4,
+        "message": "See https://kotlinisland.github.io/basedmypy/_refs.html#code-no-any-decorated for more info",
+        "offset": 0,
+        "src": "def add_symbol_table_node(self, name: str, stnode: SymbolTableNode) -> Any:",
+        "target": null
+      },
       {
         "code": "no-any-explicit",
         "column": 4,
@@ -11035,6 +11059,14 @@
         "src": "self.__dict__[\"_standard_namespace\"] = standard_namespace",
         "target": "mypy.split_namespace.SplitNamespace.__init__"
       },
+      {
+        "code": "no-any-expr",
+        "column": 8,
+        "message": "See https://kotlinisland.github.io/basedmypy/_refs.html#code-no-any-expr for more info",
+        "offset": 0,
+        "src": "self.__dict__[\"_standard_namespace\"] = standard_namespace",
+        "target": null
+      },
       {
         "code": "no-any-expr",
         "column": 8,
@@ -11059,6 +11091,14 @@
         "src": "def _get(self) -> tuple[Any, Any]:",
         "target": "mypy.split_namespace.SplitNamespace._get"
       },
+      {
+        "code": "no-any-explicit",
+        "column": 4,
+        "message": "See https://kotlinisland.github.io/basedmypy/_refs.html#code-no-any-explicit for more info",
+        "offset": 0,
+        "src": "def _get(self) -> tuple[Any, Any]:",
+        "target": null
+      },
       {
         "code": "no-any-expr",
         "column": 15,
@@ -12605,6 +12645,14 @@
         "src": "if module:",
         "target": "mypy.stubgenc.strip_or_import"
       },
+      {
+        "code": "truthy-bool",
+        "column": 7,
+        "message": "See https://kotlinisland.github.io/basedmypy/_refs.html#code-truthy-bool for more info",
+        "offset": 0,
+        "src": "if module:",
+        "target": null
+      },
       {
         "code": "no-any-expr",
         "column": 8,
@@ -12661,6 +12709,14 @@
         "src": "if arg_module not in local_modules:",
         "target": "mypy.stubgenc"
       },
+      {
+        "code": "possibly-undefined",
+        "column": 11,
+        "message": "See https://kotlinisland.github.io/basedmypy/_refs.html#code-possibly-undefined for more info",
+        "offset": 0,
+        "src": "if arg_module not in local_modules:",
+        "target": null
+      },
       {
         "code": "no-any-expr",
         "column": 31,
@@ -15133,6 +15189,14 @@
         "src": "suite = parent.obj()",
         "target": "mypy.test.data.DataDrivenTestCase.runtest"
       },
+      {
+        "code": "no-untyped-usage",
+        "column": 8,
+        "message": "See https://kotlinisland.github.io/basedmypy/_refs.html#code-no-untyped-usage for more info",
+        "offset": 0,
+        "src": "suite = parent.obj()",
+        "target": null
+      },
       {
         "code": "no-any-expr",
         "column": 16,
@@ -15587,7 +15651,7 @@
         "code": "no-any-expr",
         "column": 7,
         "message": "Expression has type \"Untyped\"",
-        "offset": 111,
+        "offset": 115,
         "src": "if testcase.config.getoption(\"--mypy-verbose\"):",
         "target": "mypy.test.helpers.parse_options"
       },
@@ -15729,7 +15793,7 @@
         "code": "no-any-expr",
         "column": 13,
         "message": "Expression type contains \"Any\" (has type \"int | Any\")",
-        "offset": 48,
+        "offset": 52,
         "src": "result = process.returncode",
         "target": "mypy.test.testcmdline.test_python_cmdline"
       },
@@ -16211,7 +16275,7 @@
         "code": "possibly-undefined",
         "column": 22,
         "message": "Name \"program\" may be undefined",
-        "offset": 162,
+        "offset": 170,
         "src": "os.remove(program)",
         "target": "mypy.test.testpep561"
       },
@@ -16385,7 +16449,7 @@
         "code": "no-any-explicit",
         "column": 0,
         "message": "Explicit \"Any\" is not allowed",
-        "offset": 142,
+        "offset": 144,
         "src": "def collect_cases(fn: Callable[..., Iterator[Case]]) -> Callable[..., None]:",
         "target": "mypy.test.teststubtest.collect_cases"
       },
@@ -18933,6 +18997,14 @@
         "src": "def visit_mypy_file(self, o: mypy.nodes.MypyFile) -> T:",
         "target": "mypy.visitor.NodeVisitor.visit_mypy_file"
       },
+      {
+        "code": "empty-body",
+        "column": 4,
+        "message": "See https://kotlinisland.github.io/basedmypy/_refs.html#code-empty-body for more info",
+        "offset": 0,
+        "src": "def visit_mypy_file(self, o: mypy.nodes.MypyFile) -> T:",
+        "target": null
+      },
       {
         "code": "empty-body",
         "column": 4,
@@ -22129,7 +22201,7 @@
         "code": "no-any-expr",
         "column": 7,
         "message": "Expression type contains \"Any\" (has type \"False | Untyped\")",
-        "offset": 95,
+        "offset": 96,
         "src": "if expected_output != actual and testcase.config.getoption(\"--update-data\", False):",
         "target": "mypyc.test.testutil.assert_test_output"
       },

CHANGELOG.md

@@ -4,7 +4,10 @@
 ### Added
 - `TypeGuard` is retained in inferred types (#504)
 - Type narrowing is applied from lambda execution (#504)
+- `--ide` flag (#501)
 ### Enhancements
+- `show-error-context`/`pretty` are now on by default (#501)
+- Show fake column number when `--show-error-end` (#501)
 ### Fixes
 - Don't show "X defined here" when error context is hidden (#498)
 - Fix issue with reveal code in ignore message (#490)

docs/source/command_line.rst

@@ -156,6 +156,10 @@ You can read more :ref:`here <baseline>`.
 Based features
 **************
 
+.. option:: --ide
+
+    Preset options for best compatibility with an integrated developer environment.
+
 .. option:: --default-return
 
     See :confval:`default_return`.

mypy/dmypy/client.py

@@ -46,7 +46,7 @@ def __init__(self, prog: str) -> None:
     "-V",
     "--version",
     action="version",
-    version=f"Basedmypy Daemon {__based_version__}\nBased on %(prog)s {__version__}",
+    version=f"Basedmypy-Daemon {__based_version__}\nBased on %(prog)s {__version__}",
     help="Show program's version number and exit",
 )
 subparsers = parser.add_subparsers()

mypy/errors.py

@@ -49,11 +49,12 @@
     codes.NAME_DEFINED,
     # Overrides have a custom link to docs
     codes.OVERRIDE,
+    codes.REVEAL,
 }
 
 allowed_duplicates: Final = ["@overload", "Got:", "Expected:"]
 
-BASE_RTD_URL: Final = "https://mypy.rtfd.io/en/stable/_refs.html#code"
+BASE_RTD_URL: Final = "https://kotlinisland.github.io/basedmypy/_refs.html#code"
 
 # Keep track of the original error code when the error code of a message is changed.
 # This is used to give notes about out-of-date "type: ignore" comments.
@@ -648,8 +649,9 @@ def add_error_info(self, info: ErrorInfo) -> None:
             and info.code not in HIDE_LINK_CODES
         ):
             message = f"See {BASE_RTD_URL}-{info.code.code} for more info"
-            if message in self.only_once_messages:
+            if not self.options.ide and message in self.only_once_messages:
                 return
+            info_ = info
             self.only_once_messages.add(message)
             info = ErrorInfo(
                 import_ctx=info.import_ctx,
@@ -669,6 +671,7 @@ def add_error_info(self, info: ErrorInfo) -> None:
                 allow_dups=False,
                 priority=20,
             )
+            info_.notes.append(info)
             self._add_error_info(file, info)
 
     def has_many_errors(self) -> bool:
@@ -793,6 +796,7 @@ def generate_unused_ignore_errors(self, file: str) -> None:
                 narrower = set(used_ignored_codes) & codes.sub_code_map[unused]
                 if narrower:
                     message += f", use narrower [{', '.join(narrower)}] instead of [{unused}] code"
+
             # Don't use report since add_error_info will ignore the error!
             info = ErrorInfo(
                 import_ctx=self.import_context(),
@@ -1185,11 +1189,16 @@ def render_messages(
                         )
                     )
             src = (
-                file == current_file
-                and source_lines
-                and e.line > 0
-                and source_lines[e.line - 1].strip()
+                file == current_file and source_lines and e.line > 0 and source_lines[e.line - 1]
             ) or ""
+            # when there is no column, but we still want an ide to show an error
+            if e.column == -1 and self.options.show_error_end:
+                if src:
+                    e.column = src.find(src.strip())
+                    e.end_column = len(src)
+                else:
+                    e.column = 1
+            src = src.strip()
             if isinstance(e.message, ErrorMessage):
                 result.append(
                     (