pyrefly 0.32.0__tar.gz → 0.33.0__tar.gz

{pyrefly-0.32.0 → pyrefly-0.33.0}/Cargo.lock

@@ -2057,7 +2057,7 @@ dependencies = [
 
 [[package]]
 name = "pyrefly"
-version = "0.32.0"
+version = "0.33.0"
 dependencies = [
  "anstream",
  "anyhow",
@@ -2100,13 +2100,14 @@ dependencies = [
  "tokio",
  "toml",
  "tracing",
+ "tsp_types",
  "vec1",
  "yansi 1.0.1",
 ]
 
 [[package]]
 name = "pyrefly_build"
-version = "0.32.0"
+version = "0.33.0"
 dependencies = [
  "anyhow",
  "dupe",
@@ -2122,7 +2123,7 @@ dependencies = [
 
 [[package]]
 name = "pyrefly_bundled"
-version = "0.32.0"
+version = "0.33.0"
 dependencies = [
  "anyhow",
  "starlark_map",
@@ -2132,7 +2133,7 @@ dependencies = [
 
 [[package]]
 name = "pyrefly_config"
-version = "0.32.0"
+version = "0.33.0"
 dependencies = [
  "anyhow",
  "clap",
@@ -2166,7 +2167,7 @@ dependencies = [
 
 [[package]]
 name = "pyrefly_derive"
-version = "0.32.0"
+version = "0.33.0"
 dependencies = [
  "proc-macro2",
  "quote",
@@ -2175,7 +2176,7 @@ dependencies = [
 
 [[package]]
 name = "pyrefly_python"
-version = "0.32.0"
+version = "0.33.0"
 dependencies = [
  "anyhow",
  "dupe",
@@ -2198,7 +2199,7 @@ dependencies = [
 
 [[package]]
 name = "pyrefly_types"
-version = "0.32.0"
+version = "0.33.0"
 dependencies = [
  "compact_str 0.8.0",
  "dupe",
@@ -2218,7 +2219,7 @@ dependencies = [
 
 [[package]]
 name = "pyrefly_util"
-version = "0.32.0"
+version = "0.33.0"
 dependencies = [
  "anstream",
  "anyhow",
@@ -2901,15 +2902,15 @@ dependencies = [
 
 [[package]]
 name = "tempfile"
-version = "3.20.0"
+version = "3.22.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "e8a64e3985349f2441a1a9ef0b853f869006c3855f2cda6862a94d26ebb9d6a1"
+checksum = "84fa4d11fadde498443cca10fd3ac23c951f0dc59e080e9f4b93d4df4e4eea53"
 dependencies = [
  "fastrand",
  "getrandom 0.3.3",
  "once_cell",
  "rustix 1.0.8",
- "windows-sys 0.59.0",
+ "windows-sys 0.60.2",
 ]
 
 [[package]]
@@ -3246,6 +3247,16 @@ dependencies = [
  "stable_deref_trait",
 ]
 
+[[package]]
+name = "tsp_types"
+version = "0.33.0"
+dependencies = [
+ "lsp-server",
+ "lsp-types",
+ "serde",
+ "serde_json",
+]
+
 [[package]]
 name = "typenum"
 version = "1.17.0"

{pyrefly-0.32.0 → pyrefly-0.33.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: pyrefly
-Version: 0.32.0
+Version: 0.33.0
 Classifier: Development Status :: 3 - Alpha
 Classifier: Programming Language :: Python
 Classifier: Programming Language :: Python :: 3
@@ -19,13 +19,16 @@ Project-URL: documentation, https://pyrefly.org/en/docs/
 
 # Pyrefly
 
-Currently incomplete and under active development. Please
-[open an issue](https://github.com/facebook/pyrefly/issues/new/choose) if you
-find any bugs.
+Pyrefly is a type checker and language server for Python, which provides
+lightning-fast type checking along with IDE features such as code navigation,
+semantic highlighting, and code completion. It is available as a
+[command-line tool](https://pyrefly.org/en/docs/installation/) and a
+[VSCode extension](https://marketplace.visualstudio.com/items?itemName=meta.pyrefly).
+
+See the [Pyrefly website](https://pyrefly.org) for full documentation and how to
+add Pyrefly to your editor of choice.
 
-Pyrefly is a static type checker for Python that helps you catch type-related
-errors before your code runs. It analyzes your Python code to ensure type
-consistency throughout your codebase, making your applications more reliable and
-easier to maintain. Pyrefly supports both IDE integration and CLI usage, giving
-you flexibility in how you incorporate type checking into your workflow.
+Currently under active development with known issues. Please
+[open an issue](https://github.com/facebook/pyrefly/issues/new/choose) if you
+find bugs.
 

pyrefly-0.33.0/README.md

@@ -0,0 +1,14 @@
+# Pyrefly
+
+Pyrefly is a type checker and language server for Python, which provides
+lightning-fast type checking along with IDE features such as code navigation,
+semantic highlighting, and code completion. It is available as a
+[command-line tool](https://pyrefly.org/en/docs/installation/) and a
+[VSCode extension](https://marketplace.visualstudio.com/items?itemName=meta.pyrefly).
+
+See the [Pyrefly website](https://pyrefly.org) for full documentation and how to
+add Pyrefly to your editor of choice.
+
+Currently under active development with known issues. Please
+[open an issue](https://github.com/facebook/pyrefly/issues/new/choose) if you
+find bugs.

{pyrefly-0.32.0 → pyrefly-0.33.0}/crates/pyrefly_build/Cargo.toml

@@ -2,7 +2,7 @@
 
 [package]
 name = "pyrefly_build"
-version = "0.32.0"
+version = "0.33.0"
 authors = ["Meta"]
 edition = "2024"
 repository = "https://github.com/facebook/pyrefly"

{pyrefly-0.32.0 → pyrefly-0.33.0}/crates/pyrefly_build/src/buck/buck_check.rs

@@ -30,11 +30,26 @@ struct ManifestItem {
     absolute_path: PathBuf,
 }
 
+fn strip_stubs_suffix(path: &Path) -> PathBuf {
+    path.components()
+        .map(|component| {
+            if let Some(component_str) = component.as_os_str().to_str()
+                && let Some(stripped) = component_str.strip_suffix("-stubs")
+            {
+                Path::new(stripped)
+            } else {
+                Path::new(component.as_os_str())
+            }
+        })
+        .collect()
+}
+
 fn read_manifest_file_data(data: &[u8]) -> anyhow::Result<Vec<ManifestItem>> {
     let raw_items: Vec<Vec<String>> = serde_json::from_slice(data)?;
     let mut results = Vec::new();
     for raw_item in raw_items {
-        match ModuleName::from_relative_path(Path::new(raw_item[0].as_str())) {
+        let module_relative_path = Path::new(raw_item[0].as_str());
+        match ModuleName::from_relative_path(&strip_stubs_suffix(module_relative_path)) {
             Ok(module_name) => {
                 // absolutize should be fine here to get absolute path, since Pyrefly
                 // will be run from Buck root.
@@ -123,7 +138,7 @@ impl SourceDatabase for BuckCheckSourceDatabase {
             .collect()
     }
 
-    fn lookup(&self, module: &ModuleName, _: Option<&Handle>) -> Option<ModulePath> {
+    fn lookup(&self, module: &ModuleName, _: Option<&Path>) -> Option<ModulePath> {
         self.sources
             .get(module)
             .or_else(|| self.dependencies.get(module))
@@ -206,6 +221,19 @@ mod tests {
                 absolute_path: PathBuf::from_str("root/foo/bar.py").unwrap().absolutize()
             }]
         );
+        assert_eq!(
+            read_manifest_file_data(
+                r#"[["foo-stubs/bar/__init__.pyi", "root/foo-stubs/bar/__init__.pyi", "derp"]]"#
+                    .as_bytes()
+            )
+            .unwrap(),
+            vec![ManifestItem {
+                module_name: ModuleName::from_str("foo.bar"),
+                absolute_path: PathBuf::from_str("root/foo-stubs/bar/__init__.pyi")
+                    .unwrap()
+                    .absolutize()
+            }]
+        );
         assert_eq!(
             read_manifest_file_data(
                 r#"[["foo/bar.derp", "root/foo/bar.derp", "derp"]]"#.as_bytes()

{pyrefly-0.32.0 → pyrefly-0.33.0}/crates/pyrefly_build/src/handle.rs

@@ -10,17 +10,11 @@ use pyrefly_python::module_name::ModuleName;
 use pyrefly_python::module_path::ModulePath;
 use pyrefly_python::sys_info::SysInfo;
 
-use crate::source_db::Target;
-
 #[derive(Debug, Clone, Dupe, PartialEq, Eq, Hash)]
 pub struct Handle {
     module: ModuleName,
     path: ModulePath,
     sys_info: SysInfo,
-    /// If this `Handle` came from a build system, which target is the module being
-    /// referenced a part of?
-    /// Note: a [`ModuleName`] and [`ModulePath`] pair can be part of multiple targets.
-    target: Option<Target>,
 }
 
 impl Handle {
@@ -29,22 +23,6 @@ impl Handle {
             module,
             path,
             sys_info,
-            target: None,
-        }
-    }
-
-    #[expect(unused)]
-    pub(crate) fn new_with_target(
-        module: ModuleName,
-        path: ModulePath,
-        sys_info: SysInfo,
-        target: Target,
-    ) -> Self {
-        Self {
-            module,
-            path,
-            sys_info,
-            target: Some(target),
         }
     }
 
@@ -59,9 +37,4 @@ impl Handle {
     pub fn sys_info(&self) -> &SysInfo {
         &self.sys_info
     }
-
-    #[expect(unused)]
-    pub(crate) fn target(&self) -> Option<&Target> {
-        self.target.as_ref()
-    }
 }

{pyrefly-0.32.0 → pyrefly-0.33.0}/crates/pyrefly_build/src/map_db.rs

@@ -7,6 +7,7 @@
 
 use std::ops::Deref;
 use std::ops::DerefMut;
+use std::path::Path;
 
 use dupe::Dupe as _;
 use pyrefly_python::module_name::ModuleName;
@@ -60,7 +61,7 @@ impl SourceDatabase for MapDatabase {
             .collect()
     }
 
-    fn lookup(&self, module: &ModuleName, _: Option<&Handle>) -> Option<ModulePath> {
+    fn lookup(&self, module: &ModuleName, _: Option<&Path>) -> Option<ModulePath> {
         self.0.get(module).map(|paths| paths.last().dupe())
     }
 }

{pyrefly-0.32.0 → pyrefly-0.33.0}/crates/pyrefly_build/src/source_db.rs

@@ -6,6 +6,7 @@
  */
 
 use std::fmt;
+use std::path::Path;
 
 use dupe::Dupe;
 use pyrefly_python::module_name::ModuleName;
@@ -58,5 +59,5 @@ impl Target {
 /// paths to the files contained in the build system.
 pub trait SourceDatabase: Send + Sync + fmt::Debug {
     fn modules_to_check(&self) -> Vec<Handle>;
-    fn lookup(&self, module: &ModuleName, origin: Option<&Handle>) -> Option<ModulePath>;
+    fn lookup(&self, module: &ModuleName, origin: Option<&Path>) -> Option<ModulePath>;
 }

{pyrefly-0.32.0 → pyrefly-0.33.0}/crates/pyrefly_bundled/Cargo.toml

@@ -2,7 +2,7 @@
 
 [package]
 name = "pyrefly_bundled"
-version = "0.32.0"
+version = "0.33.0"
 authors = ["Meta"]
 edition = "2024"
 repository = "https://github.com/facebook/pyrefly"

{pyrefly-0.32.0 → pyrefly-0.33.0}/crates/pyrefly_config/Cargo.toml

@@ -2,7 +2,7 @@
 
 [package]
 name = "pyrefly_config"
-version = "0.32.0"
+version = "0.33.0"
 authors = ["Meta"]
 edition = "2024"
 repository = "https://github.com/facebook/pyrefly"
@@ -37,7 +37,7 @@ yansi = { version = "1.0.0-rc.1", features = ["hyperlink"] }
 [dev-dependencies]
 pretty_assertions = { version = "1.2", features = ["alloc"], default-features = false }
 pulldown-cmark = "0.9.1"
-tempfile = "3.15"
+tempfile = "3.22"
 
 [target.'cfg(not(target_arch = "wasm32"))'.dependencies]
 which = "4.2.4"

{pyrefly-0.32.0 → pyrefly-0.33.0}/crates/pyrefly_config/src/config.rs

@@ -276,11 +276,6 @@ pub struct ConfigFile {
              )]
     pub sub_configs: Vec<SubConfig>,
 
-    // TODO(connernilsen): fully deprecate this
-    /// Skips any `py.typed` checks we do when resolving `site_package_path` imports.
-    #[serde(default, skip_serializing, alias = "use_untyped_imports")]
-    pub use_untyped_imports: Option<bool>,
-
     /// Whether to respect ignore files (.gitignore, .ignore, .git/exclude).
     #[serde(
         default = "ConfigFile::default_true",
@@ -327,7 +322,6 @@ impl Default for ConfigFile {
             root: Default::default(),
             sub_configs: Default::default(),
             source_db: Default::default(),
-            use_untyped_imports: None,
             use_ignore_files: true,
             ignore_missing_source: true,
             typeshed_path: None,
@@ -383,7 +377,6 @@ impl ConfigFile {
     pub const ADDITIONAL_ROOT_FILE_NAMES: &[&str] = &["mypy.ini", "pyrightconfig.json"];
 
     /// Writes the configuration to a file in the specified directory.
-    /// TODO(connernilsen) relative these paths to the config file's directory
     pub fn write_to_toml_in_directory(&self, directory: &Path) -> Result<()> {
         let config_str =
             toml::to_string_pretty(&self).context("Failed to serialize config to TOML")?;
@@ -641,12 +634,6 @@ impl ConfigFile {
              ));
         }
 
-        if self.use_untyped_imports.is_some() {
-            configure_errors.push(anyhow::anyhow!(
-                    "Configuration option `use-untyped-imports` is deprecated and will be removed in a future update."
-            ));
-        }
-
         if let ConfigSource::File(path) = &self.source {
             configure_errors
                 .into_map(|e| ConfigError::warn(e.context(format!("{}", path.display()))))
@@ -925,7 +912,6 @@ mod tests {
                         permissive_ignores: None,
                     }
                 }],
-                use_untyped_imports: None,
                 ignore_missing_source: true,
                 typeshed_path: None,
             }
@@ -1148,7 +1134,6 @@ mod tests {
                 matches: Glob::new("sub/project/**".to_owned()).unwrap(),
                 settings: Default::default(),
             }],
-            use_untyped_imports: None,
             ignore_missing_source: false,
             typeshed_path: None,
         };
@@ -1203,7 +1188,6 @@ mod tests {
                 matches: sub_config_matches,
                 settings: Default::default(),
             }],
-            use_untyped_imports: None,
             ignore_missing_source: false,
             typeshed_path: None,
         };

{pyrefly-0.32.0 → pyrefly-0.33.0}/crates/pyrefly_config/src/environment/active_environment.rs

@@ -16,7 +16,6 @@ pub struct ActiveEnvironment {}
 
 impl ActiveEnvironment {
     pub fn find() -> Option<PathBuf> {
-        // TODO(connernilsen): don't perform upward search for `VIRTUAL_ENV` finding
         if let Ok(venv_path) = std::env::var(venv::ENV_VAR)
             && let Some(env) = venv::find(Path::new(&venv_path))
         {

{pyrefly-0.32.0 → pyrefly-0.33.0}/crates/pyrefly_config/src/error_kind.rs

@@ -112,6 +112,9 @@ pub enum ErrorKind {
     BadKeywordArgument,
     /// A subclass field or method incorrectly overrides a field/method of a parent class.
     BadOverride,
+    /// A subclass method incorrectly changes the name of a positional parameter while overriding
+    /// a method of a parent class.
+    BadParamNameOverride,
     /// Attempting to return a value that does not match the function's return type.
     /// Can also arise when returning values from generators.
     BadReturn,

{pyrefly-0.32.0 → pyrefly-0.33.0}/crates/pyrefly_derive/Cargo.toml

@@ -2,7 +2,7 @@
 
 [package]
 name = "pyrefly_derive"
-version = "0.32.0"
+version = "0.33.0"
 authors = ["Meta"]
 edition = "2024"
 repository = "https://github.com/facebook/pyrefly"

{pyrefly-0.32.0 → pyrefly-0.33.0}/crates/pyrefly_python/Cargo.toml

@@ -2,7 +2,7 @@
 
 [package]
 name = "pyrefly_python"
-version = "0.32.0"
+version = "0.33.0"
 authors = ["Meta"]
 edition = "2024"
 repository = "https://github.com/facebook/pyrefly"

{pyrefly-0.32.0 → pyrefly-0.33.0}/crates/pyrefly_python/src/ignore.rs

@@ -283,18 +283,20 @@ impl Ignore {
         false
     }
 
-    /// Get all pyrefly ignores.
-    pub fn get_pyrefly_ignores(&self) -> SmallSet<LineNumber> {
-        self.ignores
-            .iter()
-            .filter(|ignore| {
+    // gets either just pyrefly ignores or pyrefly and type: ignore comments
+    pub fn get_pyrefly_ignores(&self, all: bool) -> SmallSet<LineNumber> {
+        let ignore_iter = self.ignores.iter();
+        let filtered_ignores: Box<dyn Iterator<Item = (&LineNumber, &Vec<Suppression>)>> = if all {
+            Box::new(ignore_iter.filter(|ignore| {
                 ignore
                     .1
                     .iter()
-                    .any(|s| s.tool == Tool::Pyrefly && s.kind.is_empty())
-            })
-            .map(|(line, _)| *line)
-            .collect()
+                    .any(|s| (s.tool == Tool::Pyrefly || s.tool == Tool::Any))
+            }))
+        } else {
+            Box::new(ignore_iter.filter(|ignore| ignore.1.iter().any(|s| s.tool == Tool::Pyrefly)))
+        };
+        filtered_ignores.map(|(line, _)| *line).collect()
     }
 }
 

{pyrefly-0.32.0 → pyrefly-0.33.0}/crates/pyrefly_types/Cargo.toml

@@ -2,7 +2,7 @@
 
 [package]
 name = "pyrefly_types"
-version = "0.32.0"
+version = "0.33.0"
 authors = ["Meta"]
 edition = "2024"
 repository = "https://github.com/facebook/pyrefly"

{pyrefly-0.32.0 → pyrefly-0.33.0}/crates/pyrefly_types/src/keywords.rs

@@ -129,6 +129,7 @@ pub struct DataclassFieldKeywords {
     /// gt and lt specify the range of values that the field can take. None means no constraint
     pub lt: Option<Type>,
     pub gt: Option<Type>,
+    pub ge: Option<Type>,
     /// Whether we should strictly evaluate the type of the field
     pub strict: Option<bool>,
     /// If a converter callable is passed in, its first positional parameter
@@ -155,6 +156,7 @@ impl DataclassFieldKeywords {
             alias: None,
             lt: None,
             gt: None,
+            ge: None,
             converter_param: None,
             strict: None,
         }

{pyrefly-0.32.0 → pyrefly-0.33.0}/crates/pyrefly_util/Cargo.toml

@@ -2,7 +2,7 @@
 
 [package]
 name = "pyrefly_util"
-version = "0.32.0"
+version = "0.33.0"
 authors = ["Meta"]
 edition = "2024"
 repository = "https://github.com/facebook/pyrefly"
@@ -43,7 +43,7 @@ yansi = { version = "1.0.0-rc.1", features = ["hyperlink"] }
 [dev-dependencies]
 pyrefly_derive = { path = "../pyrefly_derive" }
 static_assertions = "1.1.0"
-tempfile = "3.15"
+tempfile = "3.22"
 
 [target.'cfg(not(target_arch = "wasm32"))'.dependencies]
 watchman_client = "0.9.0"

{pyrefly-0.32.0 → pyrefly-0.33.0}/crates/pyrefly_util/src/globs.rs

@@ -348,7 +348,6 @@ impl Globs {
     /// Rewrite the existing `Globs` to be relative to `root`.
     /// `root` should be an absolute path.
     pub fn from_root(self, root: &Path) -> Self {
-        // TODO(connernilsen): store root as part of globs to make it easier to rewrite later on
         Self::rewrite_with_root(root, self.0)
     }
 

pyrefly-0.33.0/crates/tsp_types/Cargo.toml

@@ -0,0 +1,15 @@
+# @generated by autocargo from //pyrefly/crates/tsp_types:tsp_types
+
+[package]
+name = "tsp_types"
+version = "0.33.0"
+authors = ["Meta"]
+edition = "2024"
+repository = "https://github.com/facebook/pyrefly"
+license = "MIT"
+
+[dependencies]
+lsp-server = "0.7.2"
+lsp-types = "0.94.1"
+serde = { version = "1.0.219", features = ["derive", "rc"] }
+serde_json = { version = "1.0.140", features = ["alloc", "float_roundtrip", "raw_value", "unbounded_depth"] }

pyrefly-0.33.0/crates/tsp_types/protocol_generator/.gitignore

@@ -0,0 +1 @@
+.venv