jaclang 0.6.1__py3-none-any.whl → 0.7.0__py3-none-any.whl

jaclang/vendor/mypy/erasetype.py

@@ -83,9 +83,7 @@ class EraseTypeVisitor(TypeVisitor[ProperType]):
             if isinstance(tv, TypeVarTupleType):
                 args.append(
                     UnpackType(
-                        tv.tuple_fallback.copy_modified(
-                            args=[AnyType(TypeOfAny.special_form)]
-                        )
+                        tv.tuple_fallback.copy_modified(args=[AnyType(TypeOfAny.special_form)])
                     )
                 )
             else:
@@ -147,9 +145,7 @@ class EraseTypeVisitor(TypeVisitor[ProperType]):
         return TypeType.make_normalized(t.item.accept(self), line=t.line)
 
     def visit_type_alias_type(self, t: TypeAliasType) -> ProperType:
-        raise RuntimeError(
-            "Type aliases should be expanded before accepting this visitor"
-        )
+        raise RuntimeError("Type aliases should be expanded before accepting this visitor")
 
 
 def erase_typevars(t: Type, ids_to_erase: Container[TypeVarId] | None = None) -> Type:
@@ -173,9 +169,7 @@ def replace_meta_vars(t: Type, target_type: Type) -> Type:
 class TypeVarEraser(TypeTranslator):
     """Implementation of type erasure"""
 
-    def __init__(
-        self, erase_id: Callable[[TypeVarId], bool], replacement: Type
-    ) -> None:
+    def __init__(self, erase_id: Callable[[TypeVarId], bool], replacement: Type) -> None:
         self.erase_id = erase_id
         self.replacement = replacement
 
@@ -243,9 +237,7 @@ class LastKnownValueEraser(TypeTranslator):
     def visit_instance(self, t: Instance) -> Type:
         if not t.last_known_value and not t.args:
             return t
-        return t.copy_modified(
-            args=[a.accept(self) for a in t.args], last_known_value=None
-        )
+        return t.copy_modified(args=[a.accept(self) for a in t.args], last_known_value=None)
 
     def visit_type_alias_type(self, t: TypeAliasType) -> Type:
         # Type aliases can't contain literal values, because they are
@@ -258,18 +250,14 @@ class LastKnownValueEraser(TypeTranslator):
         # Call make_simplified_union only on lists of instance types
         # that all have the same fullname, to avoid simplifying too
         # much.
-        instances = [
-            item for item in new.items if isinstance(get_proper_type(item), Instance)
-        ]
+        instances = [item for item in new.items if isinstance(get_proper_type(item), Instance)]
         # Avoid merge in simple cases such as optional types.
         if len(instances) > 1:
             instances_by_name: dict[str, list[Instance]] = {}
             p_new_items = get_proper_types(new.items)
             for p_item in p_new_items:
                 if isinstance(p_item, Instance) and not p_item.args:
-                    instances_by_name.setdefault(p_item.type.fullname, []).append(
-                        p_item
-                    )
+                    instances_by_name.setdefault(p_item.type.fullname, []).append(p_item)
             merged: list[Type] = []
             for item in new.items:
                 orig_item = item

jaclang/vendor/mypy/errorcodes.py

@@ -30,9 +30,7 @@ class ErrorCode:
         self.default_enabled = default_enabled
         self.sub_code_of = sub_code_of
         if sub_code_of is not None:
-            assert (
-                sub_code_of.sub_code_of is None
-            ), "Nested subcategories are not supported"
+            assert sub_code_of.sub_code_of is None, "Nested subcategories are not supported"
             sub_code_map[sub_code_of.code].add(code)
         error_codes[code] = self
 
@@ -48,9 +46,7 @@ class ErrorCode:
         return hash((self.code,))
 
 
-ATTR_DEFINED: Final = ErrorCode(
-    "attr-defined", "Check that attribute exists", "General"
-)
+ATTR_DEFINED: Final = ErrorCode("attr-defined", "Check that attribute exists", "General")
 NAME_DEFINED: Final = ErrorCode("name-defined", "Check that name is defined", "General")
 CALL_ARG: Final[ErrorCode] = ErrorCode(
     "call-arg", "Check number, names and kinds of arguments in calls", "General"
@@ -83,19 +79,13 @@ METHOD_ASSIGN: Final[ErrorCode] = ErrorCode(
     "General",
     sub_code_of=ASSIGNMENT,
 )
-TYPE_ARG: Final = ErrorCode(
-    "type-arg", "Check that generic type arguments are present", "General"
-)
-TYPE_VAR: Final = ErrorCode(
-    "type-var", "Check that type variable values are valid", "General"
-)
+TYPE_ARG: Final = ErrorCode("type-arg", "Check that generic type arguments are present", "General")
+TYPE_VAR: Final = ErrorCode("type-var", "Check that type variable values are valid", "General")
 UNION_ATTR: Final = ErrorCode(
     "union-attr", "Check that attribute exists in each item of a union", "General"
 )
 INDEX: Final = ErrorCode("index", "Check indexing operations", "General")
-OPERATOR: Final = ErrorCode(
-    "operator", "Check that operator is valid for operands", "General"
-)
+OPERATOR: Final = ErrorCode("operator", "Check that operator is valid for operands", "General")
 LIST_ITEM: Final = ErrorCode(
     "list-item", "Check list items in a list expression [item, ...]", "General"
 )
@@ -118,32 +108,20 @@ IMPORT: Final = ErrorCode(
     "import", "Require that imported module can be found or has stubs", "General"
 )
 IMPORT_NOT_FOUND: Final = ErrorCode(
-    "import-not-found",
-    "Require that imported module can be found",
-    "General",
-    sub_code_of=IMPORT,
+    "import-not-found", "Require that imported module can be found", "General", sub_code_of=IMPORT
 )
 IMPORT_UNTYPED: Final = ErrorCode(
-    "import-untyped",
-    "Require that imported module has stubs",
-    "General",
-    sub_code_of=IMPORT,
-)
-NO_REDEF: Final = ErrorCode(
-    "no-redef", "Check that each name is defined once", "General"
+    "import-untyped", "Require that imported module has stubs", "General", sub_code_of=IMPORT
 )
+NO_REDEF: Final = ErrorCode("no-redef", "Check that each name is defined once", "General")
 FUNC_RETURNS_VALUE: Final = ErrorCode(
-    "func-returns-value",
-    "Check that called function returns a value in value context",
-    "General",
+    "func-returns-value", "Check that called function returns a value in value context", "General"
 )
 ABSTRACT: Final = ErrorCode(
     "abstract", "Prevent instantiation of classes with abstract attributes", "General"
 )
 TYPE_ABSTRACT: Final = ErrorCode(
-    "type-abstract",
-    "Require only concrete classes where Type[...] is expected",
-    "General",
+    "type-abstract", "Require only concrete classes where Type[...] is expected", "General"
 )
 VALID_NEWTYPE: Final = ErrorCode(
     "valid-newtype", "Check that argument 2 to NewType is valid", "General"
@@ -152,16 +130,12 @@ STRING_FORMATTING: Final = ErrorCode(
     "str-format", "Check that string formatting/interpolation is type-safe", "General"
 )
 STR_BYTES_PY3: Final = ErrorCode(
-    "str-bytes-safe",
-    "Warn about implicit coercions related to bytes and string types",
-    "General",
+    "str-bytes-safe", "Warn about implicit coercions related to bytes and string types", "General"
 )
 EXIT_RETURN: Final = ErrorCode(
     "exit-return", "Warn about too general return type for '__exit__'", "General"
 )
-LITERAL_REQ: Final = ErrorCode(
-    "literal-required", "Check that value is a literal", "General"
-)
+LITERAL_REQ: Final = ErrorCode("literal-required", "Check that value is a literal", "General")
 UNUSED_COROUTINE: Final = ErrorCode(
     "unused-coroutine", "Ensure that all coroutines are used", "General"
 )
@@ -173,9 +147,7 @@ EMPTY_BODY: Final[ErrorCode] = ErrorCode(
     "General",
 )
 SAFE_SUPER: Final = ErrorCode(
-    "safe-super",
-    "Warn about calls to abstract methods with empty/trivial bodies",
-    "General",
+    "safe-super", "Warn about calls to abstract methods with empty/trivial bodies", "General"
 )
 TOP_LEVEL_AWAIT: Final = ErrorCode(
     "top-level-await", "Warn about top level await expressions", "General"
@@ -195,13 +167,9 @@ NO_UNTYPED_CALL: Final = ErrorCode(
 REDUNDANT_CAST: Final = ErrorCode(
     "redundant-cast", "Check that cast changes type of expression", "General"
 )
-ASSERT_TYPE: Final = ErrorCode(
-    "assert-type", "Check that assert_type() call succeeds", "General"
-)
+ASSERT_TYPE: Final = ErrorCode("assert-type", "Check that assert_type() call succeeds", "General")
 COMPARISON_OVERLAP: Final = ErrorCode(
-    "comparison-overlap",
-    "Check that types in comparisons and 'in' expressions overlap",
-    "General",
+    "comparison-overlap", "Check that types in comparisons and 'in' expressions overlap", "General"
 )
 NO_ANY_UNIMPORTED: Final = ErrorCode(
     "no-any-unimported", 'Reject "Any" types from unfollowed imports', "General"
@@ -215,9 +183,7 @@ UNREACHABLE: Final = ErrorCode(
     "unreachable", "Warn about unreachable statements or expressions", "General"
 )
 ANNOTATION_UNCHECKED = ErrorCode(
-    "annotation-unchecked",
-    "Notify about type annotations in unchecked functions",
-    "General",
+    "annotation-unchecked", "Notify about type annotations in unchecked functions", "General"
 )
 POSSIBLY_UNDEFINED: Final[ErrorCode] = ErrorCode(
     "possibly-undefined",
@@ -226,10 +192,7 @@ POSSIBLY_UNDEFINED: Final[ErrorCode] = ErrorCode(
     default_enabled=False,
 )
 REDUNDANT_EXPR: Final = ErrorCode(
-    "redundant-expr",
-    "Warn about redundant expressions",
-    "General",
-    default_enabled=False,
+    "redundant-expr", "Warn about redundant expressions", "General", default_enabled=False
 )
 TRUTHY_BOOL: Final[ErrorCode] = ErrorCode(
     "truthy-bool",
@@ -275,15 +238,10 @@ REDUNDANT_SELF_TYPE = ErrorCode(
     default_enabled=False,
 )
 USED_BEFORE_DEF: Final[ErrorCode] = ErrorCode(
-    "used-before-def",
-    "Warn about variables that are used before they are defined",
-    "General",
+    "used-before-def", "Warn about variables that are used before they are defined", "General"
 )
 UNUSED_IGNORE: Final = ErrorCode(
-    "unused-ignore",
-    "Ensure that all type ignores are used",
-    "General",
-    default_enabled=False,
+    "unused-ignore", "Ensure that all type ignores are used", "General", default_enabled=False
 )
 EXPLICIT_OVERRIDE_REQUIRED: Final = ErrorCode(
     "explicit-override",
@@ -310,9 +268,7 @@ SYNTAX: Final[ErrorCode] = ErrorCode("syntax", "Report syntax errors", "General"
 
 # This is an internal marker code for a whole-file ignore. It is not intended to
 # be user-visible.
-FILE: Final = ErrorCode(
-    "file", "Internal marker for a whole file being ignored", "General"
-)
+FILE: Final = ErrorCode("file", "Internal marker for a whole file being ignored", "General")
 del error_codes[FILE.code]
 
 # This is a catch-all for remaining uncategorized errors.
@@ -325,5 +281,11 @@ OVERLOAD_OVERLAP: Final[ErrorCode] = ErrorCode(
     sub_code_of=MISC,
 )
 
+NARROWED_TYPE_NOT_SUBTYPE: Final[ErrorCode] = ErrorCode(
+    "narrowed-type-not-subtype",
+    "Warn if a TypeIs function's narrowed type is not a subtype of the original type",
+    "General",
+)
+
 # This copy will not include any error codes defined later in the plugins.
 mypy_error_codes = error_codes.copy()

jaclang/vendor/mypy/errors.py

@@ -8,13 +8,7 @@ from typing import Callable, Final, Iterable, NoReturn, Optional, TextIO, Tuple,
 from typing_extensions import Literal, TypeAlias as _TypeAlias
 
 from mypy import errorcodes as codes
-from mypy.errorcodes import (
-    IMPORT,
-    IMPORT_NOT_FOUND,
-    IMPORT_UNTYPED,
-    ErrorCode,
-    mypy_error_codes,
-)
+from mypy.errorcodes import IMPORT, IMPORT_NOT_FOUND, IMPORT_UNTYPED, ErrorCode, mypy_error_codes
 from mypy.message_registry import ErrorMessage
 from mypy.options import Options
 from mypy.scope import Scope
@@ -49,10 +43,7 @@ BASE_RTD_URL: Final = "https://mypy.rtfd.io/en/stable/_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.
-original_error_codes: Final = {
-    codes.LITERAL_REQ: codes.MISC,
-    codes.TYPE_ABSTRACT: codes.MISC,
-}
+original_error_codes: Final = {codes.LITERAL_REQ: codes.MISC, codes.TYPE_ABSTRACT: codes.MISC}
 
 
 class ErrorInfo:
@@ -189,9 +180,7 @@ class ErrorWatcher:
         self.errors._watchers.append(self)
         return self
 
-    def __exit__(
-        self, exc_type: object, exc_val: object, exc_tb: object
-    ) -> Literal[False]:
+    def __exit__(self, exc_type: object, exc_val: object, exc_tb: object) -> Literal[False]:
         last = self.errors._watchers.pop()
         assert last == self
         return False
@@ -302,9 +291,7 @@ class Errors:
     ) -> None:
         self.options = options
         self.hide_error_codes = (
-            hide_error_codes
-            if hide_error_codes is not None
-            else options.hide_error_codes
+            hide_error_codes if hide_error_codes is not None else options.hide_error_codes
         )
         # We use fscache to read source code when showing snippets.
         self.read_source = read_source
@@ -344,11 +331,7 @@ class Errors:
             return remove_path_prefix(file, self.ignore_prefix)
 
     def set_file(
-        self,
-        file: str,
-        module: str | None,
-        options: Options,
-        scope: Scope | None = None,
+        self, file: str, module: str | None, options: Options, scope: Scope | None = None
     ) -> None:
         """Set the path and module id of the current file."""
         # The path will be simplified later, in render_messages. That way
@@ -515,9 +498,7 @@ class Errors:
                 # Check each line in this context for "type: ignore" comments.
                 # line == end_line for most nodes, so we only loop once.
                 for scope_line in lines:
-                    if self.is_ignored_error(
-                        scope_line, info, self.ignored_lines[file]
-                    ):
+                    if self.is_ignored_error(scope_line, info, self.ignored_lines[file]):
                         # Annotation requests us to ignore all errors on this line.
                         self.used_ignored_lines[file][scope_line].append(
                             (info.code or codes.MISC).code
@@ -646,9 +627,7 @@ class Errors:
         )
         self._add_error_info(info.origin[0], new_info)
 
-    def is_ignored_error(
-        self, line: int, info: ErrorInfo, ignores: dict[int, list[str]]
-    ) -> bool:
+    def is_ignored_error(self, line: int, info: ErrorInfo, ignores: dict[int, list[str]]) -> bool:
         if info.blocker:
             # Blocking errors can never be ignored
             return False
@@ -679,10 +658,7 @@ class Errors:
             return False
         elif error_code in current_mod_enabled:
             return True
-        elif (
-            error_code.sub_code_of is not None
-            and error_code.sub_code_of in current_mod_disabled
-        ):
+        elif error_code.sub_code_of is not None and error_code.sub_code_of in current_mod_disabled:
             return False
         else:
             return error_code.default_enabled
@@ -704,9 +680,7 @@ class Errors:
 
     def generate_unused_ignore_errors(self, file: str) -> None:
         if (
-            is_typeshed_file(
-                self.options.abs_custom_typeshed_dir if self.options else None, file
-            )
+            is_typeshed_file(self.options.abs_custom_typeshed_dir if self.options else None, file)
             or file in self.ignored_files
         ):
             return
@@ -758,9 +732,7 @@ class Errors:
         self, file: str, is_warning_unused_ignores: bool
     ) -> None:
         if (
-            is_typeshed_file(
-                self.options.abs_custom_typeshed_dir if self.options else None, file
-            )
+            is_typeshed_file(self.options.abs_custom_typeshed_dir if self.options else None, file)
             or file in self.ignored_files
         ):
             return
@@ -785,9 +757,7 @@ class Errors:
             codes_hint = ""
             ignored_codes = sorted(set(used_ignored_lines[line]))
             if ignored_codes:
-                codes_hint = (
-                    f' (consider "type: ignore[{", ".join(ignored_codes)}]" instead)'
-                )
+                codes_hint = f' (consider "type: ignore[{", ".join(ignored_codes)}]" instead)'
 
             message = f'"type: ignore" comment without error code{codes_hint}'
             # Don't use report since add_error_info will ignore the error!
@@ -860,9 +830,7 @@ class Errors:
         # self.new_messages() will format all messages that haven't already
         # been returned from a file_messages() call.
         raise CompileError(
-            self.new_messages(),
-            use_stdout=use_stdout,
-            module_with_blocker=self.blocker_module(),
+            self.new_messages(), use_stdout=use_stdout, module_with_blocker=self.blocker_module()
         )
 
     def format_messages(
@@ -893,11 +861,7 @@ class Errors:
             if file is not None:
                 if self.options.show_column_numbers and line >= 0 and column >= 0:
                     srcloc = f"{file}:{line}:{1 + column}"
-                    if (
-                        self.options.show_error_end
-                        and end_line >= 0
-                        and end_column >= 0
-                    ):
+                    if self.options.show_error_end and end_line >= 0 and end_column >= 0:
                         srcloc += f":{end_line}:{end_column}"
                 elif line >= 0:
                     srcloc = f"{file}:{line}"
@@ -968,10 +932,7 @@ class Errors:
         # TODO: Make sure that either target is always defined or that not being defined
         #       is okay for fine-grained incremental checking.
         return {
-            info.target
-            for errs in self.error_info_map.values()
-            for info in errs
-            if info.target
+            info.target for errs in self.error_info_map.values() for info in errs if info.target
         }
 
     def render_messages(self, errors: list[ErrorInfo]) -> list[ErrorTuple]:
@@ -1007,17 +968,7 @@ class Errors:
                     # simplify path.
                     path = remove_path_prefix(path, self.ignore_prefix)
                     result.append(
-                        (
-                            None,
-                            -1,
-                            -1,
-                            -1,
-                            -1,
-                            "note",
-                            fmt.format(path, line),
-                            e.allow_dups,
-                            None,
-                        )
+                        (None, -1, -1, -1, -1, "note", fmt.format(path, line), e.allow_dups, None)
                     )
                     i -= 1
 
@@ -1030,17 +981,7 @@ class Errors:
                 if e.function_or_member is None:
                     if e.type is None:
                         result.append(
-                            (
-                                file,
-                                -1,
-                                -1,
-                                -1,
-                                -1,
-                                "note",
-                                "At top level:",
-                                e.allow_dups,
-                                None,
-                            )
+                            (file, -1, -1, -1, -1, "note", "At top level:", e.allow_dups, None)
                         )
                     else:
                         result.append(
@@ -1090,31 +1031,11 @@ class Errors:
             elif e.type != prev_type:
                 if e.type is None:
                     result.append(
-                        (
-                            file,
-                            -1,
-                            -1,
-                            -1,
-                            -1,
-                            "note",
-                            "At top level:",
-                            e.allow_dups,
-                            None,
-                        )
+                        (file, -1, -1, -1, -1, "note", "At top level:", e.allow_dups, None)
                     )
                 else:
                     result.append(
-                        (
-                            file,
-                            -1,
-                            -1,
-                            -1,
-                            -1,
-                            "note",
-                            f'In class "{e.type}":',
-                            e.allow_dups,
-                            None,
-                        )
+                        (file, -1, -1, -1, -1, "note", f'In class "{e.type}":', e.allow_dups, None)
                     )
 
             if isinstance(e.message, ErrorMessage):
@@ -1221,24 +1142,14 @@ class Errors:
                         conflicts_notes = True
                     j -= 1
                 j = i - 1
-                while (
-                    j >= 0
-                    and errors[j][0] == errors[i][0]
-                    and errors[j][1] == errors[i][1]
-                ):
+                while j >= 0 and errors[j][0] == errors[i][0] and errors[j][1] == errors[i][1]:
                     if (
                         errors[j][5] == errors[i][5]
                         and
                         # Allow duplicate notes in overload conflicts reporting.
                         not (
-                            (
-                                errors[i][5] == "note"
-                                and errors[i][6].strip() in allowed_duplicates
-                            )
-                            or (
-                                errors[i][6].strip().startswith("def ")
-                                and conflicts_notes
-                            )
+                            (errors[i][5] == "note" and errors[i][6].strip() in allowed_duplicates)
+                            or (errors[i][6].strip().startswith("def ") and conflicts_notes)
                         )
                         and errors[j][6] == errors[i][6]
                     ):  # ignore column
@@ -1270,10 +1181,7 @@ class CompileError(Exception):
     module_with_blocker: str | None = None
 
     def __init__(
-        self,
-        messages: list[str],
-        use_stdout: bool = False,
-        module_with_blocker: str | None = None,
+        self, messages: list[str], use_stdout: bool = False, module_with_blocker: str | None = None
     ) -> None:
         super().__init__("\n".join(messages))
         self.messages = messages
@@ -1332,9 +1240,7 @@ def report_internal_error(
         file=stderr,
     )
     if options.show_traceback:
-        print(
-            "Please report a bug at https://github.com/python/mypy/issues", file=stderr
-        )
+        print("Please report a bug at https://github.com/python/mypy/issues", file=stderr)
     else:
         print(
             "If this issue continues with mypy master, "

jaclang/vendor/mypy/evalexpr.py

@@ -147,9 +147,7 @@ class _NodeEvaluator(ExpressionVisitor[object]):
     def visit_set_comprehension(self, o: mypy.nodes.SetComprehension) -> object:
         return UNKNOWN
 
-    def visit_dictionary_comprehension(
-        self, o: mypy.nodes.DictionaryComprehension
-    ) -> object:
+    def visit_dictionary_comprehension(self, o: mypy.nodes.DictionaryComprehension) -> object:
         return UNKNOWN
 
     def visit_generator_expr(self, o: mypy.nodes.GeneratorExpr) -> object: