pyre-check-nightly 0.0.101745838703__py3-none-macosx_10_11_x86_64.whl → 0.0.101747912284__py3-none-macosx_10_11_x86_64.whl

pyre_check/__init__.py

@@ -3,4 +3,4 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
-__version__ = "0.0.101745838703"
+__version__ = "0.0.101747912284"

pyre_check/client/command_arguments.py

@@ -29,6 +29,7 @@ from dataclasses import dataclass, field
 from pathlib import Path
 from typing import Any, Dict, List, Optional, Set
 
+from . import dataclasses_merge
 from .identifiers import PyreFlavor
 
 TEXT: str = "text"
@@ -37,20 +38,14 @@ SARIF: str = "sarif"
 
 
 class ProfileOutput(enum.Enum):
-    # pyre-fixme[35]: Target cannot be annotated.
-    TRACE_EVENT: str = "trace_event"
-    # pyre-fixme[35]: Target cannot be annotated.
-    COLD_START_PHASES: str = "cold_start_phases"
-    # pyre-fixme[35]: Target cannot be annotated.
-    INCREMENTAL_UPDATES: str = "incremental_updates"
-    # pyre-fixme[35]: Target cannot be annotated.
-    TAINT: str = "taint"
-    # pyre-fixme[35]: Target cannot be annotated.
-    INDIVIDUAL_TABLE_SIZES: str = "individual_table_sizes"
-    # pyre-fixme[35]: Target cannot be annotated.
-    TOTAL_SHARED_MEMORY_SIZE_OVER_TIME: str = "total_shared_memory_size_over_time"
-    # pyre-fixme[35]: Target cannot be annotated.
-    TOTAL_SHARED_MEMORY_SIZE_OVER_TIME_GRAPH: str = (
+    _value_: str
+    TRACE_EVENT = "trace_event"
+    COLD_START_PHASES = "cold_start_phases"
+    INCREMENTAL_UPDATES = "incremental_updates"
+    TAINT = "taint"
+    INDIVIDUAL_TABLE_SIZES = "individual_table_sizes"
+    TOTAL_SHARED_MEMORY_SIZE_OVER_TIME = "total_shared_memory_size_over_time"
+    TOTAL_SHARED_MEMORY_SIZE_OVER_TIME_GRAPH = (
         "total_shared_memory_size_over_time_graph"  # noqa B950
     )
 
@@ -59,26 +54,22 @@ class ProfileOutput(enum.Enum):
 
 
 class VersionKind(str, enum.Enum):
-    # pyre-fixme[35]: Target cannot be annotated.
-    NONE: str = "none"
-    # pyre-fixme[35]: Target cannot be annotated.
-    CLIENT: str = "client"
-    # pyre-fixme[35]: Target cannot be annotated.
-    CLIENT_AND_BINARY: str = "client_and_binary"
+    _value_: str
+    NONE = "none"
+    CLIENT = "client"
+    CLIENT_AND_BINARY = "client_and_binary"
 
 
 class MissingFlowsKind(str, enum.Enum):
-    # pyre-fixme[35]: Target cannot be annotated.
-    OBSCURE: str = "obscure"
-    # pyre-fixme[35]: Target cannot be annotated.
-    TYPE: str = "type"
+    _value_: str
+    OBSCURE = "obscure"
+    TYPE = "type"
 
 
 class TaintOutputFormat(str, enum.Enum):
-    # pyre-fixme[35]: Target cannot be annotated.
-    JSON: str = "json"
-    # pyre-fixme[35]: Target cannot be annotated.
-    SHARDED_JSON: str = "sharded-json"
+    _value_: str
+    JSON = "json"
+    SHARDED_JSON = "sharded-json"
 
 
 @dataclass(frozen=True)
@@ -299,6 +290,7 @@ class PysaSavedStateArguments:
         }
 
 
+@dataclasses_merge.dataclass_merge
 @dataclass(frozen=True)
 class AnalyzeArguments:
     debug: bool = False

pyre_check/client/commands/daemon_querier.py

@@ -15,23 +15,20 @@ the request handler implementation can be mocked.
 
 import abc
 import dataclasses
-import enum
 import json
 import logging
 import os
 from pathlib import Path
-from typing import Dict, Iterable, List, Optional, Set, Union
+from typing import Dict, Iterable, List, Optional, Union
 
-from .. import dataclasses_json_extensions as json_mixins, error, timer
+from .. import dataclasses_json_extensions as json_mixins, error
 from ..language_server import (
-    code_navigation_request,
     daemon_connection,
     protocol as lsp,
 )
 from . import (
     daemon_query,
     expression_level_coverage,
-    libcst_util,
     server_state as state,
 )
 

pyre_check/client/commands/incremental.py

@@ -48,10 +48,9 @@ class InvalidServerResponse(Exception):
 
 
 class ServerStatus(str, enum.Enum):
-    # pyre-fixme[35]: Target cannot be annotated.
-    NEWLY_STARTED: str = "newly_started_server"
-    # pyre-fixme[35]: Target cannot be annotated.
-    ALREADY_RUNNING: str = "already_running_server"
+    _value_: str
+    NEWLY_STARTED = "newly_started_server"
+    ALREADY_RUNNING = "already_running_server"
 
     def __str__(self) -> str:
         return self.value

pyre_check/client/commands/pyre_language_server.py

@@ -17,42 +17,22 @@ from __future__ import annotations
 import abc
 import asyncio
 import dataclasses
-import enum
-import functools
-import json
 import logging
-import os
-import random
-import subprocess
-import tempfile
-import traceback
-from collections import defaultdict
 from pathlib import Path
 from typing import (
-    Callable,
     Collection,
-    Coroutine,
-    DefaultDict,
     Dict,
-    Generic,
     List,
     Mapping,
     Optional,
-    Protocol,
     Set,
     Tuple,
-    TypeVar,
     Union,
 )
 
-from pyre_extensions import ParameterSpecification
-from pyre_extensions.type_variable_operators import Concatenate
-
 from .. import (
     background_tasks,
-    dataclasses_json_extensions as json_mixins,
     error,
-    identifiers,
     json_rpc,
     log,
     timer,
@@ -61,13 +41,11 @@ from ..language_server import connections, daemon_connection, features, protocol
 from . import (
     commands,
     daemon_querier,
-    libcst_util,
     server_state as state,
     type_error_handler,
 )
 from .daemon_querier import DaemonQueryFailure
 from .server_state import OpenedDocumentState
-from .source_code_context import SourceCodeContext
 
 LOG: logging.Logger = logging.getLogger(__name__)
 CONSECUTIVE_START_ATTEMPT_THRESHOLD: int = 5

pyre_check/client/configuration/__init__.py

@@ -16,6 +16,8 @@ from .configuration import (  # noqa: F401
     Configuration,
     create_configuration,
     create_overridden_configuration,
+    merge_partial_configurations,
+    PartialConfiguration,
 )
 from .exceptions import InvalidConfiguration, InvalidPythonVersion  # noqa: F401
 from .platform_aware import PlatformAware  # noqa: F401

pyre_check/client/configuration/site_packages.py

@@ -29,12 +29,10 @@ STUBS_SUFFIX: str = "-stubs"
 
 
 class SearchStrategy(str, enum.Enum):
-    # pyre-fixme[35]: Target cannot be annotated.
-    NONE: str = "none"
-    # pyre-fixme[35]: Target cannot be annotated.
-    ALL: str = "all"
-    # pyre-fixme[35]: Target cannot be annotated.
-    PEP561: str = "pep561"
+    _value_: str
+    NONE = "none"
+    ALL = "all"
+    PEP561 = "pep561"
 
     def __str__(self) -> str:
         return self.value
@@ -48,12 +46,10 @@ class SearchStrategy(str, enum.Enum):
 
 
 class PackageStatus(enum.IntEnum):
-    # pyre-fixme[35]: Target cannot be annotated.
-    UNTYPED: int = 0
-    # pyre-fixme[35]: Target cannot be annotated.
-    PARTIALLY_TYPED: int = 1
-    # pyre-fixme[35]: Target cannot be annotated.
-    TYPED: int = 2
+    _value_: int
+    UNTYPED = 0
+    PARTIALLY_TYPED = 1
+    TYPED = 2
 
 
 @dataclasses.dataclass(frozen=True)

pyre_check/client/dataclasses_merge.py

@@ -103,12 +103,10 @@ T = TypeVar("T")
 
 
 class Policy(str, enum.Enum):
-    # pyre-fixme[35]: Target cannot be annotated.
-    OVERWRITE: str = "overwrite"
-    # pyre-fixme[35]: Target cannot be annotated.
-    PREPEND: str = "prepend"
-    # pyre-fixme[35]: Target cannot be annotated.
-    RAISE_WHEN_OVERWRITTEN: str = "raise_when_overwritten"
+    _value_: str
+    OVERWRITE = "overwrite"
+    PREPEND = "prepend"
+    RAISE_WHEN_OVERWRITTEN = "raise_when_overwritten"
 
 
 class DataclassMergeError(Exception):

pyre_check/client/language_server/code_navigation_request.py

@@ -12,13 +12,12 @@ server and gets a response.
 """
 
 import dataclasses
-import enum
 import json
 from pathlib import Path
 from typing import Any, Dict, List, Optional, Type, TypeVar, Union
 
 from .. import dataclasses_json_extensions as json_mixins, error
-from . import daemon_connection, protocol as lsp
+from . import daemon_connection
 
 
 @dataclasses.dataclass(frozen=True)

pyre_check/client/language_server/features.py

@@ -16,7 +16,6 @@ from __future__ import annotations
 
 import dataclasses
 import enum
-from typing import Callable, Dict
 
 
 class _Availability(enum.Enum):

pyre_check/client/language_server/protocol.py

@@ -20,9 +20,8 @@ import dataclasses
 import enum
 import logging
 import urllib
-from dataclasses import field
 from pathlib import Path
-from typing import Dict, Iterable, List, Optional, Type, TypeVar, Union
+from typing import Iterable, List, Optional, Type, TypeVar, Union
 
 import dataclasses_json
 from pyre_extensions import override

pyre_check/client/version.py

@@ -1 +1 @@
-__version__ = "0.0.101745838703"
+__version__ = "0.0.101747912284"

pyre_check/tools/upgrade/commands/codemods.py

@@ -55,15 +55,16 @@ class MissingOverrideReturnAnnotations(Command):
     @override
     def run(self) -> None:
         errors = Errors.from_stdin(self._only_fix_error_code)
-        # pyre-fixme[16]: `List` has no attribute `paths_to_errors`.
-        for path, errors in errors.paths_to_errors.items():
+        for path, errors_for_path in errors.paths_to_errors.items():
             LOG.info("Patching errors in `%s`.", path)
-            errors = sorted(errors, key=lambda error: error["line"], reverse=True)
+            errors_for_path = sorted(
+                errors_for_path, key=lambda error: error["line"], reverse=True
+            )
 
             path = pathlib.Path(path)
             lines = path.read_text().split("\n")
 
-            for error in errors:
+            for error in errors_for_path:
                 if error["code"] != 15:
                     continue
                 line = error["line"] - 1
@@ -114,15 +115,16 @@ class MissingGlobalAnnotations(Command):
     @override
     def run(self) -> None:
         errors = Errors.from_stdin(self._only_fix_error_code)
-        # pyre-fixme[16]: `List` has no attribute `paths_to_errors`.
-        for path, errors in errors.paths_to_errors.items():
+        for path, errors_for_path in errors.paths_to_errors.items():
             LOG.info("Patching errors in `%s`", path)
-            errors = sorted(errors, key=lambda error: error["line"], reverse=True)
+            errors_for_path = sorted(
+                errors_for_path, key=lambda error: error["line"], reverse=True
+            )
 
             path = pathlib.Path(path)
             lines = path.read_text().split("\n")
 
-            for error in errors:
+            for error in errors_for_path:
                 if error["code"] != 5:
                     continue
 

pyre_check/tools/upgrade/commands/pysa_version_update.py

@@ -10,6 +10,7 @@ TODO(T132414938) Add a module-level docstring
 """
 
 import argparse
+import json
 import logging
 
 from pyre_extensions import override
@@ -56,7 +57,7 @@ class PysaVersionUpdate(Command):
     def run(self) -> None:
         global_configuration = Configuration.find_project_configuration()
 
-        # Update to new pysa version.
+        # Update to new pysa version in `.pyre_configuration`
         configuration = Configuration(global_configuration)
         old_version = configuration.pysa_version
         if not old_version:
@@ -67,3 +68,11 @@ class PysaVersionUpdate(Command):
             return
         configuration.set_pysa_version(self._hash)
         configuration.write()
+
+        # Update to new pysa version in `.pysa_configuration`
+        path = Configuration.find_parent_file(".pysa_configuration")
+        if path:
+            # TODO(T224086333): move `.pysa_configuration`'s `pysa_version` to less nested `version` field
+            contents = json.loads(path.read_text(encoding="utf-8"))
+            contents["pyre_configuration"]["pysa_version"] = self._hash
+            path.write_text(json.dumps(contents, indent=2), encoding="utf-8")

pyre_check/tools/upgrade/commands/targets_to_configuration.py

@@ -186,14 +186,10 @@ class TargetsToConfiguration(ErrorSuppressingCommand):
 
     def collect_full_targets(self, targets: Dict[str, List[Target]]) -> List[str]:
         new_targets = []
-        # pyre-fixme[9]: targets has type `Dict[str, List[Target]]`; used as
-        #  `List[Target]`.
-        for path, targets in targets.items():
+        for path, targets_for_path in targets.items():
             new_targets += [
-                # pyre-fixme[16]: `str` has no attribute `name`.
                 "//" + path.replace("/TARGETS", "") + ":" + target.name
-                for target in targets
-                # pyre-fixme[16]: `str` has no attribute `check_types`.
+                for target in targets_for_path
                 if target.check_types
             ]
         return new_targets

pyre_check/tools/upgrade/errors.py

@@ -611,9 +611,7 @@ def _relocate_errors(
     errors: LineToErrors, target_line_map: Dict[int, int]
 ) -> LineToErrors:
     relocated = defaultdict(list)
-    # pyre-fixme[9]: errors has type `Dict[int, List[Dict[str, str]]]`; used as
-    #  `List[Dict[str, str]]`.
-    for line, errors in errors.items():
+    for line, errors_for_line in errors.items():
         target_line = target_line_map.get(line)
         if target_line is None or target_line == line:
             target_line = line
@@ -621,10 +619,9 @@ def _relocate_errors(
             LOG.info(
                 f"Relocating the following fixmes from line {line}"
                 f" to line {target_line} because line {line} is within"
-                f" a multi-line format string:\n{errors}"
+                f" a multi-line format string:\n{errors_for_line}"
             )
-
-        relocated[target_line].extend(errors)
+        relocated[target_line].extend(errors_for_line)
     return relocated
 
 

pyre_check/tools/upgrade/filesystem.py

@@ -3,7 +3,7 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
-# pyre-unsafe
+# pyre-strict
 
 """
 TODO(T132414938) Add a module-level docstring

{pyre_check_nightly-0.0.101745838703.dist-info → pyre_check_nightly-0.0.101747912284.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: pyre-check-nightly
-Version: 0.0.101745838703
+Version: 0.0.101747912284
 Summary: A performant type checker for Python
 Home-page: https://pyre-check.org/
 Download-URL: https://github.com/facebook/pyre-check
@@ -28,7 +28,7 @@ Classifier: Typing :: Typed
 Requires-Python: >=3.8
 Description-Content-Type: text/markdown
 License-File: LICENSE
-Requires-Dist: click>=8.0
+Requires-Dist: click<8.2.0,>=8.0
 Requires-Dist: dataclasses-json==0.5.7
 Requires-Dist: libcst
 Requires-Dist: psutil
@@ -44,6 +44,12 @@ Requires-Dist: tomli-w
 [![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](https://opensource.org/licenses/MIT)
 [![Gitter](https://badges.gitter.im/pyre-check/community.svg)](https://gitter.im/pyre-check/community?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge)
 
+> [!IMPORTANT]
+>
+> ## New Version is Available
+>
+> Check out <a href="https://github.com/facebook/pyrefly">Pyrefly</a>, our next-generation Python typechecker and language server.
+
 <p align="center">
   <img src="https://raw.githubusercontent.com/facebook/pyre-check/main/logo.png">
 </p>