superacli 1.1.6 → 1.1.7

package/ref-monty/crates/monty-type-checking/tests/reveal_types_output.txt

@@ -1,41 +0,0 @@
-reveal_types.py:4:13: info[revealed-type] Revealed type: `None`
-reveal_types.py:5:13: info[revealed-type] Revealed type: `object`
-reveal_types.py:6:13: info[revealed-type] Revealed type: `<class 'int'>`
-reveal_types.py:9:13: info[revealed-type] Revealed type: `Literal[True]`
-reveal_types.py:10:13: info[revealed-type] Revealed type: `int`
-reveal_types.py:11:13: info[revealed-type] Revealed type: `float`
-reveal_types.py:14:13: info[revealed-type] Revealed type: `Literal["hello"]`
-reveal_types.py:15:13: info[revealed-type] Revealed type: `Literal[b"foobar"]`
-reveal_types.py:18:13: info[revealed-type] Revealed type: `list[Unknown | int]`
-reveal_types.py:19:13: info[revealed-type] Revealed type: `tuple[Literal[1], Literal[2]]`
-reveal_types.py:20:13: info[revealed-type] Revealed type: `dict[Unknown | int, Unknown | int]`
-reveal_types.py:21:13: info[revealed-type] Revealed type: `set[Unknown | int]`
-reveal_types.py:22:13: info[revealed-type] Revealed type: `frozenset[int]`
-reveal_types.py:23:13: info[revealed-type] Revealed type: `range`
-reveal_types.py:26:13: info[revealed-type] Revealed type: `enumerate[int]`
-reveal_types.py:27:13: info[revealed-type] Revealed type: `reversed[int]`
-reveal_types.py:28:13: info[revealed-type] Revealed type: `zip[Unknown]`
-reveal_types.py:31:13: info[revealed-type] Revealed type: `slice[Any, Any, Any]`
-reveal_types.py:34:13: info[revealed-type] Revealed type: `BaseException`
-reveal_types.py:35:13: info[revealed-type] Revealed type: `Exception`
-reveal_types.py:36:13: info[revealed-type] Revealed type: `SystemExit`
-reveal_types.py:37:13: info[revealed-type] Revealed type: `KeyboardInterrupt`
-reveal_types.py:38:13: info[revealed-type] Revealed type: `ArithmeticError`
-reveal_types.py:39:13: info[revealed-type] Revealed type: `OverflowError`
-reveal_types.py:40:13: info[revealed-type] Revealed type: `ZeroDivisionError`
-reveal_types.py:41:13: info[revealed-type] Revealed type: `LookupError`
-reveal_types.py:42:13: info[revealed-type] Revealed type: `IndexError`
-reveal_types.py:43:13: info[revealed-type] Revealed type: `KeyError`
-reveal_types.py:44:13: info[revealed-type] Revealed type: `RuntimeError`
-reveal_types.py:45:13: info[revealed-type] Revealed type: `NotImplementedError`
-reveal_types.py:46:13: info[revealed-type] Revealed type: `RecursionError`
-reveal_types.py:47:13: info[revealed-type] Revealed type: `AttributeError`
-reveal_types.py:48:13: info[revealed-type] Revealed type: `AssertionError`
-reveal_types.py:49:13: info[revealed-type] Revealed type: `MemoryError`
-reveal_types.py:50:13: info[revealed-type] Revealed type: `NameError`
-reveal_types.py:51:13: info[revealed-type] Revealed type: `SyntaxError`
-reveal_types.py:52:13: info[revealed-type] Revealed type: `OSError`
-reveal_types.py:53:13: info[revealed-type] Revealed type: `TimeoutError`
-reveal_types.py:54:13: info[revealed-type] Revealed type: `TypeError`
-reveal_types.py:55:13: info[revealed-type] Revealed type: `ValueError`
-reveal_types.py:56:13: info[revealed-type] Revealed type: `StopIteration`

package/ref-monty/crates/monty-typeshed/Cargo.toml

@@ -1,29 +0,0 @@
-[package]
-name = "monty_typeshed"
-readme = "README.md"
-version = { workspace = true }
-rust-version = { workspace = true }
-edition = { workspace = true }
-authors = { workspace = true }
-license = { workspace = true }
-description = { workspace = true }
-keywords = { workspace = true }
-categories = { workspace = true }
-homepage = { workspace = true }
-repository = { workspace = true }
-
-[dependencies]
-ruff_db = { workspace = true }
-zip = { version = "0.6.6", default-features = false }
-
-[build-dependencies]
-path-slash = "0.2.1"
-walkdir = "2.3.2"
-zip = { version = "0.6.6", features = ["zstd", "deflate"] }
-
-[features]
-zstd = ["zip/zstd"]
-deflate = ["zip/deflate"]
-
-[lints]
-workspace = true

package/ref-monty/crates/monty-typeshed/README.md

@@ -1,11 +0,0 @@
-# Vendored types for a very minimal subset of the CPython stdlib
-
-Copied originally from <https://github.com/astral-sh/ruff/tree/main/crates/ty_vendored> but only parts of
-<https://github.com/python/typeshed/blob/main/stdlib/builtins.pyi> are kept, since those are the
-only functions supported from the stdlib.
-
-The `vendor/typeshed` directory is updated by calling `make update-typeshed` which calls the `update.py` script in this directory.
-
-See <https://github.com/pydantic/monty> for more information on the project.
-
-THEREFORE FILES IN THE `vendor/typeshed` DIRECTORY SHOULD NOT BE EDITED MANUALLY.

package/ref-monty/crates/monty-typeshed/build.rs

@@ -1,101 +0,0 @@
-//! Build script to package our vendored typeshed files
-//! into a zip archive that can be included in the Ruff binary.
-//!
-//! This script should be automatically run at build time
-//! whenever the script itself changes, or whenever any files
-//! in `crates/ty_vendored/vendor/typeshed` change.
-#![expect(clippy::unnecessary_debug_formatting)]
-
-use std::{fs::File, io::Write, path::Path};
-
-use path_slash::PathExt;
-use zip::{
-    CompressionMethod,
-    result::ZipResult,
-    write::{FileOptions, ZipWriter},
-};
-
-const TYPESHED_SOURCE_DIR: &str = "vendor/typeshed";
-// const TY_EXTENSIONS_STUBS: &str = "ty_extensions/ty_extensions.pyi";
-const TYPESHED_ZIP_LOCATION: &str = "/zipped_typeshed.zip";
-
-/// Recursively zip the contents of the entire typeshed directory and patch typeshed
-/// on the fly to include the `ty_extensions` module.
-///
-/// This routine is adapted from a recipe at
-/// <https://github.com/zip-rs/zip-old/blob/5d0f198124946b7be4e5969719a7f29f363118cd/examples/write_dir.rs>
-fn write_zipped_typeshed_to(writer: File) -> ZipResult<File> {
-    let mut zip = ZipWriter::new(writer);
-
-    // Use deflated compression for WASM builds because compiling `zstd-sys` requires clang
-    // [source](https://github.com/gyscos/zstd-rs/wiki/Compile-for-WASM) which complicates the build
-    // by a lot. Deflated compression is slower but it shouldn't matter much for the WASM use case
-    // (WASM itself is already slower than a native build for a specific platform).
-    // We can't use `#[cfg(...)]` here because the target-arch in a build script is the
-    // architecture of the system running the build script and not the architecture of the build-target.
-    // That's why we use the `TARGET` environment variable here.
-    let method = if cfg!(feature = "zstd") {
-        CompressionMethod::Zstd
-    } else if cfg!(feature = "deflate") {
-        CompressionMethod::Deflated
-    } else {
-        CompressionMethod::Stored
-    };
-
-    let options = FileOptions::default()
-        .compression_method(method)
-        .unix_permissions(0o644);
-
-    for entry in walkdir::WalkDir::new(TYPESHED_SOURCE_DIR) {
-        let dir_entry = entry.unwrap();
-        let absolute_path = dir_entry.path();
-        let normalized_relative_path = absolute_path
-            .strip_prefix(Path::new(TYPESHED_SOURCE_DIR))
-            .unwrap()
-            .to_slash()
-            .expect("Unexpected non-utf8 typeshed path!");
-
-        // Write file or directory explicitly
-        // Some unzip tools unzip files with directory paths correctly, some do not!
-        if absolute_path.is_file() {
-            println!("adding file {absolute_path:?} as {normalized_relative_path:?} ...");
-            zip.start_file(&*normalized_relative_path, options)?;
-            let mut f = File::open(absolute_path)?;
-            std::io::copy(&mut f, &mut zip).unwrap();
-
-            // Patch the VERSIONS file to make `ty_extensions` available
-            if normalized_relative_path == "stdlib/VERSIONS" {
-                writeln!(&mut zip, "ty_extensions: 3.0-")?;
-            }
-        } else if !normalized_relative_path.is_empty() {
-            // Only if not root! Avoids path spec / warning
-            // and mapname conversion failed error on unzip
-            println!("adding dir {absolute_path:?} as {normalized_relative_path:?} ...");
-            zip.add_directory(normalized_relative_path, options)?;
-        }
-    }
-
-    // // Patch typeshed and add the stubs for the `ty_extensions` module
-    // println!("adding file {TY_EXTENSIONS_STUBS} as stdlib/ty_extensions.pyi ...");
-    // zip.start_file("stdlib/ty_extensions.pyi", options)?;
-    // let mut f = File::open(TY_EXTENSIONS_STUBS)?;
-    // std::io::copy(&mut f, &mut zip).unwrap();
-
-    zip.finish()
-}
-
-fn main() {
-    assert!(Path::new(TYPESHED_SOURCE_DIR).is_dir(), "Where is typeshed?");
-    let out_dir = std::env::var("OUT_DIR").unwrap();
-
-    // N.B. Deliberately using `format!()` instead of `Path::join()` here,
-    // so that we use `/` as a path separator on all platforms.
-    // That enables us to load the typeshed zip at compile time in `module.rs`
-    // (otherwise we'd have to dynamically determine the exact path to the typeshed zip
-    // based on the default path separator for the specific platform we're on,
-    // which can't be done at compile time.)
-    let zipped_typeshed_location = format!("{out_dir}{TYPESHED_ZIP_LOCATION}");
-
-    let zipped_typeshed_file = File::create(zipped_typeshed_location).unwrap();
-    write_zipped_typeshed_to(zipped_typeshed_file).unwrap();
-}

package/ref-monty/crates/monty-typeshed/custom/README.md

@@ -1 +0,0 @@
-This directory contains custom type stubs where types available in monty differ from those in the standard library.

package/ref-monty/crates/monty-typeshed/custom/asyncio.pyi

@@ -1,138 +0,0 @@
-from collections.abc import Awaitable, Generator
-from typing import Any, Literal, TypeAlias, TypeVar, overload
-
-_T = TypeVar('_T')
-_T1 = TypeVar('_T1')
-_T2 = TypeVar('_T2')
-_T3 = TypeVar('_T3')
-_T4 = TypeVar('_T4')
-_T5 = TypeVar('_T5')
-_T6 = TypeVar('_T6')
-
-class _Future(Awaitable[_T]):
-    """
-    Minimal copy of Future from _typeshed/stdlib/_asyncio.pyi
-    """
-    def __iter__(self) -> Generator[Any, None, _T]: ...
-    def __await__(self) -> Generator[Any, None, _T]: ...
-
-_FutureLike: TypeAlias = _Future[_T] | Awaitable[_T]
-
-def run(main: Awaitable[_T], *, debug: bool | None = None, loop_factory: Any = None) -> _T: ...
-@overload
-def gather(
-    coro_or_future1: _FutureLike[_T1], /, *, return_exceptions: Literal[False] = False
-) -> _Future[tuple[_T1]]: ...
-@overload
-def gather(
-    coro_or_future1: _FutureLike[_T1],
-    coro_or_future2: _FutureLike[_T2],
-    /,
-    *,
-    return_exceptions: Literal[False] = False,
-) -> _Future[tuple[_T1, _T2]]: ...
-@overload
-def gather(
-    coro_or_future1: _FutureLike[_T1],
-    coro_or_future2: _FutureLike[_T2],
-    coro_or_future3: _FutureLike[_T3],
-    /,
-    *,
-    return_exceptions: Literal[False] = False,
-) -> _Future[tuple[_T1, _T2, _T3]]: ...
-@overload
-def gather(
-    coro_or_future1: _FutureLike[_T1],
-    coro_or_future2: _FutureLike[_T2],
-    coro_or_future3: _FutureLike[_T3],
-    coro_or_future4: _FutureLike[_T4],
-    /,
-    *,
-    return_exceptions: Literal[False] = False,
-) -> _Future[tuple[_T1, _T2, _T3, _T4]]: ...
-@overload
-def gather(
-    coro_or_future1: _FutureLike[_T1],
-    coro_or_future2: _FutureLike[_T2],
-    coro_or_future3: _FutureLike[_T3],
-    coro_or_future4: _FutureLike[_T4],
-    coro_or_future5: _FutureLike[_T5],
-    /,
-    *,
-    return_exceptions: Literal[False] = False,
-) -> _Future[tuple[_T1, _T2, _T3, _T4, _T5]]: ...
-@overload
-def gather(
-    coro_or_future1: _FutureLike[_T1],
-    coro_or_future2: _FutureLike[_T2],
-    coro_or_future3: _FutureLike[_T3],
-    coro_or_future4: _FutureLike[_T4],
-    coro_or_future5: _FutureLike[_T5],
-    coro_or_future6: _FutureLike[_T6],
-    /,
-    *,
-    return_exceptions: Literal[False] = False,
-) -> _Future[tuple[_T1, _T2, _T3, _T4, _T5, _T6]]: ...
-@overload
-def gather(*coros_or_futures: _FutureLike[_T], return_exceptions: Literal[False] = False) -> _Future[list[_T]]: ...
-@overload
-def gather(coro_or_future1: _FutureLike[_T1], /, *, return_exceptions: bool) -> _Future[tuple[_T1 | BaseException]]: ...
-@overload
-def gather(
-    coro_or_future1: _FutureLike[_T1], coro_or_future2: _FutureLike[_T2], /, *, return_exceptions: bool
-) -> _Future[tuple[_T1 | BaseException, _T2 | BaseException]]: ...
-@overload
-def gather(
-    coro_or_future1: _FutureLike[_T1],
-    coro_or_future2: _FutureLike[_T2],
-    coro_or_future3: _FutureLike[_T3],
-    /,
-    *,
-    return_exceptions: bool,
-) -> _Future[tuple[_T1 | BaseException, _T2 | BaseException, _T3 | BaseException]]: ...
-@overload
-def gather(
-    coro_or_future1: _FutureLike[_T1],
-    coro_or_future2: _FutureLike[_T2],
-    coro_or_future3: _FutureLike[_T3],
-    coro_or_future4: _FutureLike[_T4],
-    /,
-    *,
-    return_exceptions: bool,
-) -> _Future[tuple[_T1 | BaseException, _T2 | BaseException, _T3 | BaseException, _T4 | BaseException]]: ...
-@overload
-def gather(
-    coro_or_future1: _FutureLike[_T1],
-    coro_or_future2: _FutureLike[_T2],
-    coro_or_future3: _FutureLike[_T3],
-    coro_or_future4: _FutureLike[_T4],
-    coro_or_future5: _FutureLike[_T5],
-    /,
-    *,
-    return_exceptions: bool,
-) -> _Future[
-    tuple[_T1 | BaseException, _T2 | BaseException, _T3 | BaseException, _T4 | BaseException, _T5 | BaseException]
-]: ...
-@overload
-def gather(
-    coro_or_future1: _FutureLike[_T1],
-    coro_or_future2: _FutureLike[_T2],
-    coro_or_future3: _FutureLike[_T3],
-    coro_or_future4: _FutureLike[_T4],
-    coro_or_future5: _FutureLike[_T5],
-    coro_or_future6: _FutureLike[_T6],
-    /,
-    *,
-    return_exceptions: bool,
-) -> _Future[
-    tuple[
-        _T1 | BaseException,
-        _T2 | BaseException,
-        _T3 | BaseException,
-        _T4 | BaseException,
-        _T5 | BaseException,
-        _T6 | BaseException,
-    ]
-]: ...
-@overload
-def gather(*coros_or_futures: _FutureLike[_T], return_exceptions: bool) -> _Future[list[_T | BaseException]]: ...

package/ref-monty/crates/monty-typeshed/custom/os.pyi

@@ -1,87 +0,0 @@
-from abc import ABC, abstractmethod
-from typing import Callable, Protocol, TypeAlias, TypeVar, final, overload, runtime_checkable
-
-from _typeshed import AnyStr_co, structseq
-
-_T = TypeVar('_T')
-environ: dict[str, str]
-
-@overload
-def getenv(key: str) -> str | None: ...
-@overload
-def getenv(key: str, default: _T) -> str | _T: ...
-@final
-class stat_result(structseq[float], tuple[int, int, int, int, int, int, int, float, float, float]):
-    # The constructor of this class takes an iterable of variable length (though it must be at least 10).
-    #
-    # However, this class behaves like a tuple of 10 elements,
-    # no matter how long the iterable supplied to the constructor is.
-    # https://github.com/python/typeshed/pull/6560#discussion_r767162532
-    #
-    # The 10 elements always present are st_mode, st_ino, st_dev, st_nlink,
-    # st_uid, st_gid, st_size, st_atime, st_mtime, st_ctime.
-    #
-    # More items may be added at the end by some implementations.
-
-    @property
-    def st_mode(self) -> int:
-        """protection bits"""
-        ...
-
-    @property
-    def st_ino(self) -> int:
-        """inode"""
-        ...
-
-    @property
-    def st_dev(self) -> int:
-        """device"""
-        ...
-
-    @property
-    def st_nlink(self) -> int:
-        """number of hard links"""
-        ...
-
-    @property
-    def st_uid(self) -> int:
-        """user ID of owner"""
-        ...
-
-    @property
-    def st_gid(self) -> int:
-        """group ID of owner"""
-        ...
-
-    @property
-    def st_size(self) -> int:
-        """total size, in bytes"""
-        ...
-
-    @property
-    def st_atime(self) -> float:
-        """time of last access"""
-        ...
-
-    @property
-    def st_mtime(self) -> float:
-        """time of last modification"""
-        ...
-
-    @property
-    def st_ctime(self) -> float:
-        """time of last change"""
-        ...
-
-# (Samuel) PathLike is included here because it's used by pathlib
-
-# mypy and pyright object to this being both ABC and Protocol.
-# At runtime it inherits from ABC and is not a Protocol, but it will be
-# on the allowlist for use as a Protocol starting in 3.14.
-@runtime_checkable
-class PathLike(ABC, Protocol[AnyStr_co]):  # type: ignore[misc]  # pyright: ignore[reportGeneralTypeIssues]
-    __slots__ = ()
-    @abstractmethod
-    def __fspath__(self) -> AnyStr_co: ...
-
-_Opener: TypeAlias = Callable[[str, int], int]

package/ref-monty/crates/monty-typeshed/custom/sys.pyi

@@ -1,33 +0,0 @@
-from typing import Any, Final, Literal, TextIO, final, type_check_only
-
-from _typeshed import MaybeNone, structseq
-from typing_extensions import TypeAlias
-
-# stdin: TextIO | MaybeNone
-stdout: TextIO | MaybeNone
-stderr: TextIO | MaybeNone
-
-version: str
-
-# Type alias used as a mixin for structseq classes that cannot be instantiated at runtime
-# This can't be represented in the type system, so we just use `structseq[Any]`
-_UninstantiableStructseq: TypeAlias = structseq[Any]
-_ReleaseLevel: TypeAlias = Literal['alpha', 'beta', 'candidate', 'final']
-
-@final
-@type_check_only
-class _version_info(_UninstantiableStructseq, tuple[int, int, int, _ReleaseLevel, int]):
-    __match_args__: Final = ('major', 'minor', 'micro', 'releaselevel', 'serial')
-
-    @property
-    def major(self) -> int: ...
-    @property
-    def minor(self) -> int: ...
-    @property
-    def micro(self) -> int: ...
-    @property
-    def releaselevel(self) -> _ReleaseLevel: ...
-    @property
-    def serial(self) -> int: ...
-
-version_info: _version_info

package/ref-monty/crates/monty-typeshed/src/lib.rs

@@ -1,56 +0,0 @@
-use std::sync::LazyLock;
-
-use ruff_db::vendored::VendoredFileSystem;
-
-/// The source commit of the vendored typeshed.
-pub const SOURCE_COMMIT: &str = include_str!("../vendor/typeshed/source_commit.txt").trim_ascii_end();
-
-// The file path here is hardcoded in this crate's `build.rs` script.
-// Luckily this crate will fail to build if this file isn't available at build time.
-static TYPESHED_ZIP_BYTES: &[u8] = include_bytes!(concat!(env!("OUT_DIR"), "/zipped_typeshed.zip"));
-
-#[must_use]
-pub fn file_system() -> &'static VendoredFileSystem {
-    static VENDORED_TYPESHED_STUBS: LazyLock<VendoredFileSystem> =
-        LazyLock::new(|| VendoredFileSystem::new_static(TYPESHED_ZIP_BYTES).unwrap());
-    &VENDORED_TYPESHED_STUBS
-}
-
-#[cfg(test)]
-mod tests {
-    use std::io::{self, Read};
-
-    use super::*;
-
-    #[test]
-    fn test_commit() {
-        assert_eq!(SOURCE_COMMIT.len(), 40);
-    }
-
-    #[test]
-    fn typeshed_zip_created_at_build_time() {
-        let mut typeshed_zip_archive = zip::ZipArchive::new(io::Cursor::new(TYPESHED_ZIP_BYTES)).unwrap();
-
-        let mut builtins_stub = typeshed_zip_archive.by_name("stdlib/builtins.pyi").unwrap();
-        assert!(builtins_stub.is_file());
-
-        let mut builtins_source = String::new();
-        builtins_stub.read_to_string(&mut builtins_source).unwrap();
-
-        assert!(builtins_source.contains("class int:"));
-    }
-
-    #[test]
-    fn typeshed_versions_file_exists() {
-        let mut typeshed_zip_archive = zip::ZipArchive::new(io::Cursor::new(TYPESHED_ZIP_BYTES)).unwrap();
-
-        let mut versions_file = typeshed_zip_archive.by_name("stdlib/VERSIONS").unwrap();
-        assert!(versions_file.is_file());
-
-        let mut versions_content = String::new();
-        versions_file.read_to_string(&mut versions_content).unwrap();
-
-        // VERSIONS file should contain module version info like "builtins: 3.0-"
-        assert!(versions_content.contains("builtins:"));
-    }
-}