pyrefly 0.27.2__tar.gz → 0.28.1__tar.gz

{pyrefly-0.27.2 → pyrefly-0.28.1}/Cargo.lock

@@ -2058,7 +2058,7 @@ dependencies = [
 
 [[package]]
 name = "pyrefly"
-version = "0.27.2"
+version = "0.28.1"
 dependencies = [
  "anstream",
  "anyhow",
@@ -2106,7 +2106,7 @@ dependencies = [
 
 [[package]]
 name = "pyrefly_bundled"
-version = "0.27.2"
+version = "0.28.1"
 dependencies = [
  "anyhow",
  "starlark_map",
@@ -2116,7 +2116,7 @@ dependencies = [
 
 [[package]]
 name = "pyrefly_config"
-version = "0.27.2"
+version = "0.28.1"
 dependencies = [
  "anyhow",
  "clap",
@@ -2149,7 +2149,7 @@ dependencies = [
 
 [[package]]
 name = "pyrefly_derive"
-version = "0.27.2"
+version = "0.28.1"
 dependencies = [
  "proc-macro2",
  "quote",
@@ -2158,7 +2158,7 @@ dependencies = [
 
 [[package]]
 name = "pyrefly_python"
-version = "0.27.2"
+version = "0.28.1"
 dependencies = [
  "anyhow",
  "dupe",
@@ -2180,7 +2180,7 @@ dependencies = [
 
 [[package]]
 name = "pyrefly_types"
-version = "0.27.2"
+version = "0.28.1"
 dependencies = [
  "compact_str 0.8.0",
  "dupe",
@@ -2200,7 +2200,7 @@ dependencies = [
 
 [[package]]
 name = "pyrefly_util"
-version = "0.27.2"
+version = "0.28.1"
 dependencies = [
  "anstream",
  "anyhow",

{pyrefly-0.27.2 → pyrefly-0.28.1}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: pyrefly
-Version: 0.27.2
+Version: 0.28.1
 Classifier: Development Status :: 3 - Alpha
 Classifier: Programming Language :: Python
 Classifier: Programming Language :: Python :: 3

{pyrefly-0.27.2 → pyrefly-0.28.1}/crates/pyrefly_bundled/Cargo.toml

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

{pyrefly-0.27.2 → pyrefly-0.28.1}/crates/pyrefly_config/Cargo.toml

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

{pyrefly-0.27.2 → pyrefly-0.28.1}/crates/pyrefly_config/src/config.rs

@@ -362,7 +362,12 @@ impl ConfigFile {
                 .filter_map(|pattern| Glob::new(pattern.to_string_lossy().to_string()).ok())
                 .collect::<Vec<_>>(),
         );
-        FilteredGlobs::new(self.project_includes.clone(), project_excludes)
+        let root = if self.use_ignore_files {
+            self.import_root.as_deref()
+        } else {
+            None
+        };
+        FilteredGlobs::new(self.project_includes.clone(), project_excludes, root)
     }
 }
 
@@ -1435,6 +1440,7 @@ mod tests {
                         .collect::<Vec<_>>()
                 )
                 .unwrap(),
+                None,
             )
         );
         assert_eq!(
@@ -1450,6 +1456,7 @@ mod tests {
                         .collect::<Vec<_>>()
                 )
                 .unwrap(),
+                None,
             )
         );
     }

{pyrefly-0.27.2 → pyrefly-0.28.1}/crates/pyrefly_config/src/error_kind.rs

@@ -146,6 +146,9 @@ pub enum ErrorKind {
     InvalidAnnotation,
     /// Passing an argument that is invalid for reasons besides type.
     InvalidArgument,
+    /// Error caused by incorrect usage of a decorator.
+    /// e.g. using @final on a top-level function
+    InvalidDecorator,
     /// An error caused by incorrect inheritance in a class or type definition.
     /// e.g. a metaclass that is not a subclass of `type`.
     InvalidInheritance,

{pyrefly-0.27.2 → pyrefly-0.28.1}/crates/pyrefly_config/src/migration/error_codes.rs

@@ -51,6 +51,8 @@ impl ConfigOptionMigrater for ErrorCodes {
 
 #[cfg(test)]
 mod tests {
+    use configparser::ini::IniDefault;
+
     use super::*;
     use crate::error_kind::ErrorKind;
     use crate::error_kind::Severity;
@@ -111,6 +113,35 @@ mod tests {
         );
     }
 
+    #[test]
+    fn test_migrate_from_mypy_with_disable_codes() {
+        let mut default = IniDefault::default();
+        default.multiline = true;
+        let mut mypy_cfg = Ini::new_from_defaults(default);
+
+        mypy_cfg.set(
+            "mypy",
+            "disable_error_code",
+            Some("arg-type, call-overload".to_owned()),
+        );
+
+        let mut pyrefly_cfg = ConfigFile::default();
+
+        let error_codes = ErrorCodes;
+        let _ = error_codes.migrate_from_mypy(&mypy_cfg, &mut pyrefly_cfg);
+
+        assert!(pyrefly_cfg.root.errors.is_some());
+        let errors = pyrefly_cfg.root.errors.as_ref().unwrap();
+        assert_eq!(
+            errors.severity(ErrorKind::BadArgumentType),
+            Severity::Ignore
+        );
+        assert_eq!(
+            errors.severity(ErrorKind::NoMatchingOverload),
+            Severity::Ignore
+        );
+    }
+
     #[test]
     fn test_migrate_from_mypy_with_empty_config() {
         let mypy_cfg = Ini::new();

{pyrefly-0.27.2 → pyrefly-0.28.1}/crates/pyrefly_config/src/migration/mypy/util.rs

@@ -119,6 +119,31 @@ fn code_to_kind(mut errors: HashMap<String, Severity>) -> Option<ErrorDisplayCon
     {
         map.insert(ErrorKind::MissingAttribute, value);
     }
+
+    if let Some(value) = [errors.remove("arg-type")].into_iter().flatten().max() {
+        map.insert(ErrorKind::BadArgumentType, value);
+    }
+
+    if let Some(value) = [errors.remove("assignment")].into_iter().flatten().max() {
+        map.insert(ErrorKind::BadAssignment, value);
+    }
+
+    if let Some(value) = [errors.remove("call-arg")].into_iter().flatten().max() {
+        map.insert(ErrorKind::BadArgumentCount, value);
+    }
+
+    if let Some(value) = [errors.remove("call-overload")].into_iter().flatten().max() {
+        map.insert(ErrorKind::NoMatchingOverload, value);
+    }
+
+    if let Some(value) = [errors.remove("index"), errors.remove("operator")]
+        .into_iter()
+        .flatten()
+        .max()
+    {
+        map.insert(ErrorKind::UnsupportedOperation, value);
+    }
+
     if map.is_empty() {
         None
     } else {

{pyrefly-0.27.2 → pyrefly-0.28.1}/crates/pyrefly_derive/Cargo.toml

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

{pyrefly-0.27.2 → pyrefly-0.28.1}/crates/pyrefly_python/Cargo.toml

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

{pyrefly-0.27.2 → pyrefly-0.28.1}/crates/pyrefly_python/src/ast.rs

@@ -24,6 +24,7 @@ use ruff_python_ast::Parameters;
 use ruff_python_ast::Pattern;
 use ruff_python_ast::PatternMatchSingleton;
 use ruff_python_ast::PySourceType;
+use ruff_python_ast::PythonVersion as RuffPythonVersion;
 use ruff_python_ast::Singleton;
 use ruff_python_ast::Stmt;
 use ruff_python_ast::StmtIf;
@@ -32,12 +33,16 @@ use ruff_python_ast::StringLiteral;
 use ruff_python_ast::visitor::source_order::SourceOrderVisitor;
 use ruff_python_ast::visitor::source_order::TraversalSignal;
 use ruff_python_parser::ParseError;
+use ruff_python_parser::ParseOptions;
+use ruff_python_parser::UnsupportedSyntaxError;
 use ruff_python_parser::parse_expression_range;
-use ruff_python_parser::parse_unchecked_source;
+use ruff_python_parser::parse_unchecked;
 use ruff_text_size::Ranged;
 use ruff_text_size::TextRange;
 use ruff_text_size::TextSize;
 
+use crate::sys_info::PythonVersion;
+
 /// Just used for convenient namespacing - not a real type
 pub struct Ast;
 
@@ -79,11 +84,26 @@ impl<'a> SourceOrderVisitor<'a> for CoveringNodeVisitor<'a> {
 }
 
 impl Ast {
-    pub fn parse(contents: &str) -> (ModModule, Vec<ParseError>) {
+    pub fn parse(contents: &str) -> (ModModule, Vec<ParseError>, Vec<UnsupportedSyntaxError>) {
+        Ast::parse_with_version(contents, PythonVersion::default())
+    }
+
+    pub fn parse_with_version(
+        contents: &str,
+        version: PythonVersion,
+    ) -> (ModModule, Vec<ParseError>, Vec<UnsupportedSyntaxError>) {
         // PySourceType of Python vs Stub doesn't actually change the parsing
-        let res = parse_unchecked_source(contents, PySourceType::Python);
-        let errors = res.errors().to_owned();
-        (res.into_syntax(), errors)
+        let options =
+            ParseOptions::from(PySourceType::Python).with_target_version(RuffPythonVersion {
+                major: version.major as u8,
+                minor: version.minor as u8,
+            });
+        let res = parse_unchecked(contents, options)
+            .try_into_module()
+            .unwrap();
+        let parse_errors = res.errors().to_owned();
+        let unsupported_syntax_errors = res.unsupported_syntax_errors().to_owned();
+        (res.into_syntax(), parse_errors, unsupported_syntax_errors)
     }
 
     pub fn parse_expr(contents: &str, pos: TextSize) -> anyhow::Result<Expr> {

{pyrefly-0.27.2 → pyrefly-0.28.1}/crates/pyrefly_python/src/lib.rs

@@ -34,3 +34,6 @@ pub mod sys_info;
 
 /// Suffixes of python files that we can be processed.
 pub const PYTHON_EXTENSIONS: &[&str] = &["py", "pyi"];
+
+/// Suffixes of compiled python modules
+pub const COMPILED_FILE_SUFFIXES: &[&str] = &["pyc", "pyx", "pyd"];

{pyrefly-0.27.2 → pyrefly-0.28.1}/crates/pyrefly_python/src/module_name.rs

@@ -142,6 +142,10 @@ impl ModuleName {
         Self::from_str("_typeshed._type_checker_internals")
     }
 
+    pub fn pydantic() -> Self {
+        Self::from_str("pydantic.main")
+    }
+
     /// The "unknown" module name, which corresponds to `__unknown__`.
     /// Used for files directly opened or passed on the command line which aren't on the search path.
     pub fn unknown() -> Self {

{pyrefly-0.27.2 → pyrefly-0.28.1}/crates/pyrefly_python/src/symbol_kind.rs

@@ -24,6 +24,7 @@ pub enum SymbolKind {
     TypeParameter,
     TypeAlias,
     Function,
+    Method,
     Class,
 }
 
@@ -38,6 +39,7 @@ impl SymbolKind {
             SymbolKind::TypeParameter => lsp_types::SymbolKind::TYPE_PARAMETER,
             SymbolKind::TypeAlias => lsp_types::SymbolKind::INTERFACE,
             SymbolKind::Function => lsp_types::SymbolKind::FUNCTION,
+            SymbolKind::Method => lsp_types::SymbolKind::METHOD,
             SymbolKind::Class => lsp_types::SymbolKind::CLASS,
         }
     }
@@ -52,6 +54,7 @@ impl SymbolKind {
             SymbolKind::TypeParameter => CompletionItemKind::TYPE_PARAMETER,
             SymbolKind::TypeAlias => CompletionItemKind::INTERFACE,
             SymbolKind::Function => CompletionItemKind::FUNCTION,
+            SymbolKind::Method => CompletionItemKind::METHOD,
             SymbolKind::Class => CompletionItemKind::CLASS,
         }
     }
@@ -66,6 +69,7 @@ impl SymbolKind {
             SymbolKind::TypeParameter => "(type parameter)".to_owned(),
             SymbolKind::TypeAlias => "(type alias)".to_owned(),
             SymbolKind::Function => "(function)".to_owned(),
+            SymbolKind::Method => "(method)".to_owned(),
             SymbolKind::Class => "(class)".to_owned(),
         }
     }
@@ -86,6 +90,7 @@ impl SymbolKind {
             SymbolKind::TypeAlias => (SemanticTokenType::INTERFACE, vec![]),
             // todo(samzhou19815): modifier for async
             SymbolKind::Function => (SemanticTokenType::FUNCTION, vec![]),
+            SymbolKind::Method => (SemanticTokenType::METHOD, vec![]),
             SymbolKind::Class => (SemanticTokenType::CLASS, vec![]),
         }
     }

{pyrefly-0.27.2 → pyrefly-0.28.1}/crates/pyrefly_types/Cargo.toml

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

{pyrefly-0.27.2 → pyrefly-0.28.1}/crates/pyrefly_types/src/class.rs

@@ -140,28 +140,31 @@ impl Debug for ClassInner {
 #[derive(Debug, Clone, PartialEq, Eq, PartialOrd, Ord, Hash)]
 #[derive(Visit, VisitMut, TypeEq)]
 pub enum ClassKind {
-    StaticMethod,
-    ClassMethod,
-    Property,
+    StaticMethod(String),
+    ClassMethod(String),
+    Property(String),
     Class,
     EnumMember,
+    EnumNonmember,
     DataclassField,
 }
 
 impl ClassKind {
     fn from_qname(qname: &QName) -> Self {
-        match (qname.module_name().as_str(), qname.id().as_str()) {
-            ("builtins", "staticmethod") => Self::StaticMethod,
-            ("abc", "abstractstaticmethod") => Self::StaticMethod,
-            ("builtins", "classmethod") => Self::ClassMethod,
-            ("abc", "abstractclassmethod") => Self::ClassMethod,
-            ("builtins", "property") => Self::Property,
-            ("abc", "abstractproperty") => Self::Property,
-            ("functools", "cached_property") => Self::Property,
-            ("cached_property", "cached_property") => Self::Property,
-            ("cinder", "cached_property") => Self::Property,
-            ("cinder", "async_cached_property") => Self::Property,
+        let name = qname.id().as_str();
+        match (qname.module_name().as_str(), name) {
+            ("builtins", "staticmethod") => Self::StaticMethod(name.to_owned()),
+            ("abc", "abstractstaticmethod") => Self::StaticMethod(name.to_owned()),
+            ("builtins", "classmethod") => Self::ClassMethod(name.to_owned()),
+            ("abc", "abstractclassmethod") => Self::ClassMethod(name.to_owned()),
+            ("builtins", "property") => Self::Property(name.to_owned()),
+            ("abc", "abstractproperty") => Self::Property(name.to_owned()),
+            ("functools", "cached_property") => Self::Property(name.to_owned()),
+            ("cached_property", "cached_property") => Self::Property(name.to_owned()),
+            ("cinder", "cached_property") => Self::Property(name.to_owned()),
+            ("cinder", "async_cached_property") => Self::Property(name.to_owned()),
             ("enum", "member") => Self::EnumMember,
+            ("enum", "nonmember") => Self::EnumNonmember,
             ("dataclasses", "Field") => Self::DataclassField,
             _ => Self::Class,
         }

{pyrefly-0.27.2 → pyrefly-0.28.1}/crates/pyrefly_util/Cargo.toml

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