pyscriptc 0.1.0__tar.gz → 0.2.0__tar.gz

{pyscriptc-0.1.0 → pyscriptc-0.2.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: pyscriptc
-Version: 0.1.0
+Version: 0.2.0
 Summary: Lower a typed subset of Python to LLVM, with CPython as the island.
 Author: Joaquin Terrasa
 License-Expression: Apache-2.0
@@ -22,6 +22,7 @@ Requires-Python: >=3.10
 Description-Content-Type: text/markdown
 License-File: LICENSE
 Requires-Dist: mypy>=2.4
+Requires-Dist: pyrefly<1.5,>=1.4.0
 Dynamic: license-file
 
 <h1 align="center">pyscriptc</h1>
@@ -34,7 +35,7 @@ Dynamic: license-file
 <a href="LICENSE"><img alt="License" src="https://img.shields.io/badge/license-Apache--2.0-blue"></a>
 </p>
 
-A compiler that lowers a small, annotated subset of Python to a typed IR and then to LLVM. Parsing is CPython’s own `ast` module. [mypy](https://mypy-lang.org/) is a preflight: its tree is not an input. Anything the subset does not prove is a fence, not a guess.
+A compiler that lowers a small, annotated subset of Python to a typed IR and then to LLVM. Parsing is CPython’s own `ast` module. [pyrefly](https://pyrefly.org/) is a preflight: its tree is not an input. Anything the subset does not prove is a fence, not a guess.
 
 ## Try it now
 
@@ -51,11 +52,22 @@ pyscriptc compile examples/sum_squares.py --run --call sum_squares --args '[10]'
 uv tool install pyscriptc
 ```
 
-Requirements: CPython 3.10 or later (the IR is stamped with the interpreter that lowered it) and a clang that can assemble textual LLVM IR. `pipx install pyscriptc` and `pip install pyscriptc` work the same way.
+`pipx install pyscriptc` and `pip install pyscriptc` work the same way. The installed command finds the pyrefly checker that ships with it, so no extra PATH setup is needed. Prebuilt standalone binaries (macOS arm64, Linux x86_64 and aarch64) are attached to each [GitHub Release](https://github.com/sigilco/pyscriptc/releases); the binary does not bundle a checker yet, so use the PyPI install if you want type checking out of the box. PyPI installs require CPython 3.10 or later (the IR is stamped with the interpreter that lowered it).
+
+Either way, compiling a program needs a clang that can assemble textual LLVM IR (`zig cc` also works, and enables `--driver zig` cross-compilation):
+
+| Platform | Command |
+| --- | --- |
+| macOS | `xcode-select --install` (or `brew install llvm` / `brew install zig`) |
+| Debian / Ubuntu | `sudo apt install clang` (or `zig` on newer releases) |
+| Fedora | `sudo dnf install clang` (or `zig`) |
+| Arch | `sudo pacman -S clang` (or `zig`) |
+| Any Linux or macOS | `mise use -g zig` or `brew install zig` |
+| Windows | `winget install zig.zig` (or `scoop install zig`) |
 
 ## What it does
 
-- Lowers an annotated Python subset (strict `x: T` typing, checked by mypy) to typed IR, then LLVM IR, then a native binary via clang or `zig cc`.
+- Lowers an annotated Python subset (strict `x: T` typing, checked by pyrefly) to typed IR, then LLVM IR, then a native binary via clang or `zig cc`.
 - Anything the subset does not prove stops at a named `PSxxxx` fence with a hint — it never guesses at semantics.
 - `int` is a Python int: `i64` only when the value fits, traps on overflow, refuses literals that would truncate. `//` is floor division.
 - Island calls (`subprocess.check_output`, `socket.gethostname`, `threading`, `logging`) embed CPython on first use — and only binaries that call them link libpython.
@@ -66,7 +78,7 @@ Requirements: CPython 3.10 or later (the IR is stamped with the interpreter that
 | Layer | What it is |
 | --- | --- |
 | Parser | CPython's own `ast` module |
-| Checker | mypy preflight + the `PS1xxx`/`PS2xxx` fence tables |
+| Checker | pyrefly preflight + the `PS1xxx`/`PS2xxx` fence tables |
 | IR | typed JSON, stamped per-interpreter (`gates-v1`) |
 | Backend | hand-emitted LLVM IR text → `clang` / `zig cc` |
 | Island | optional embedded-CPython calls, CPython-linked only when used |
@@ -98,7 +110,7 @@ The IR stamp is `gates-v1`. Lowered:
 
 Fenced (no LLVM for that file):
 
-- `and` / `or` across two types, f-string format specs, a slice step other than 1, `break`, `continue`, `finally`, `except as`, user decorators, `super()`, multiple inheritance, `**kwargs`, keyword-only and positional-only parameters, and starred calls
+- `finally`, `except ... as`, f-string format specs, user decorators, `super()`, multiple inheritance, `**kwargs`, keyword-only and positional-only parameters, and starred calls
 - String literals outside Latin-1
 - `bool` arithmetic, `list[bool]`, and `dict` values of `bool`. `bool` is not promoted to `float`
 - Calls such as `str.encode("ascii")`, `math.gcd`, `functools.partial`, `itertools.count`, `operator.itemgetter`, `importlib.import_module`, and `asyncio.run` that are outside the lowered surface
@@ -115,17 +127,17 @@ A `for` target that is new in the function is stored as `0`, `0.0`, or `""` befo
 
 `in` on a list uses `==`. `math.nan in [math.nan]` is false here. CPython's list finds that same object by identity before it compares.
 
-`typing` stays in mypy. It is not a runtime lowering. Island constants (`sys.platform`, `sys.version`, `sys.executable`, `sys.maxsize`, `socket.AF_INET`, `ssl.OPENSSL_VERSION`, `ssl.HAS_SNI`, `stat.S_IFREG`, `ctypes.sizeof`) are baked from the interpreter that lowers the file. `sys.exit` is libc `exit`. `subprocess.check_output` takes a `list[str]` and returns `bytes`. `os.getenv` raises `KeyError` when the variable is unset. `date` plus `timedelta` uses the normalized day count; `datetime` plus `timedelta` uses the whole delta.
+`typing` stays in the checker. It is not a runtime lowering. Island constants (`sys.platform`, `sys.version`, `sys.executable`, `sys.maxsize`, `socket.AF_INET`, `ssl.OPENSSL_VERSION`, `ssl.HAS_SNI`, `stat.S_IFREG`, `ctypes.sizeof`) are baked from the interpreter that lowers the file. `sys.exit` is libc `exit`. `subprocess.check_output` takes a `list[str]` and returns `bytes`. `os.getenv` raises `KeyError` when the variable is unset. `date` plus `timedelta` uses the normalized day count; `datetime` plus `timedelta` uses the whole delta.
 
 ## Requirements
 
-- CPython 3.10 or later (the IR is stamped with the interpreter that lowered it)
-- [uv](https://docs.astral.sh/uv/)
+- [mise](https://mise.jdx.dev/), then `mise trust && mise install` (provides python, uv, node, pnpm; already-installed tools that satisfy the pins are reused)
 - Clang that can assemble textual LLVM IR
 
 ## Run
 
 ```bash
+mise trust && mise install
 uv sync
 uv run pyscriptc compile examples/sum_squares.py --run --call sum_squares --args '[10]' -o /tmp/sum_squares
 ```
@@ -142,7 +154,7 @@ uv run pyscriptc compile examples/gates_probe.py --run --call probe -o /tmp/prob
 uv run pyscriptc compile examples/fence_method.py --emit llvm -o /tmp/fence.ll
 ```
 
-`floors()` prints `3`. `probe()` prints `0`. The fence exits nonzero, names `encode`, and does not write LLVM. `examples/wave_probe.py` prints `0` when the codec wave matches CPython. `examples/rest_probe.py` prints `0` when the rest of the queue matches CPython. `examples/fence_pickle.py` exits nonzero with `PS2002` because `pickle` is outside the import table. `examples/invoice.py`, `examples/access_log.py`, `examples/request_id.py`, `examples/release_note.py`, `examples/blob_digest.py`, `examples/url_gate.py`, and `examples/hostname.py` are the scripts in [docs/examples.md](docs/examples.md). `examples/bad_annotation.py` fails in mypy before lowering. `examples/big_literal.py` lowers to IR, then LLVM emission refuses the integer because it does not fit in `i64`.
+`floors()` prints `3`. `probe()` prints `0`. The fence exits nonzero, names `encode`, and does not write LLVM. `examples/wave_probe.py` prints `0` when the codec wave matches CPython. `examples/rest_probe.py` prints `0` when the rest of the queue matches CPython. `examples/fence_pickle.py` exits nonzero with `PS2002` because `pickle` is outside the import table. `examples/invoice.py`, `examples/access_log.py`, `examples/request_id.py`, `examples/release_note.py`, `examples/blob_digest.py`, `examples/url_gate.py`, and `examples/hostname.py` are the scripts in [docs/examples.md](docs/examples.md). `examples/bad_annotation.py` fails in the checker before lowering. `examples/big_literal.py` lowers to IR, then LLVM emission refuses the integer because it does not fit in `i64`.
 
 `re.compile` returns a `Pattern` with a `pattern` field. `findall`, `sub`, and `split` on that object use the field. `hashlib` returns an opaque `Hash`; `hexdigest` and `digest` are the methods that lower. `urlsplit` returns a `SplitResult` of five strings (`scheme`, `netloc`, `path`, `query`, `fragment`). `struct.unpack` is a list, so `[0]` is the first value. `json.loads` takes its type from the annotation it is assigned to, or from the return annotation. `parse_qs` splits on `&` only, which is what CPython 3.14 does. A pattern that can match empty forever, such as `()*`, stops with `RuntimeError` once the matcher spends its fuel. `re.error`, `struct.error`, and `binascii.Error` surface here as `ValueError`.
 

{pyscriptc-0.1.0 → pyscriptc-0.2.0}/README.md

@@ -8,7 +8,7 @@
 <a href="LICENSE"><img alt="License" src="https://img.shields.io/badge/license-Apache--2.0-blue"></a>
 </p>
 
-A compiler that lowers a small, annotated subset of Python to a typed IR and then to LLVM. Parsing is CPython’s own `ast` module. [mypy](https://mypy-lang.org/) is a preflight: its tree is not an input. Anything the subset does not prove is a fence, not a guess.
+A compiler that lowers a small, annotated subset of Python to a typed IR and then to LLVM. Parsing is CPython’s own `ast` module. [pyrefly](https://pyrefly.org/) is a preflight: its tree is not an input. Anything the subset does not prove is a fence, not a guess.
 
 ## Try it now
 
@@ -25,11 +25,22 @@ pyscriptc compile examples/sum_squares.py --run --call sum_squares --args '[10]'
 uv tool install pyscriptc
 ```
 
-Requirements: CPython 3.10 or later (the IR is stamped with the interpreter that lowered it) and a clang that can assemble textual LLVM IR. `pipx install pyscriptc` and `pip install pyscriptc` work the same way.
+`pipx install pyscriptc` and `pip install pyscriptc` work the same way. The installed command finds the pyrefly checker that ships with it, so no extra PATH setup is needed. Prebuilt standalone binaries (macOS arm64, Linux x86_64 and aarch64) are attached to each [GitHub Release](https://github.com/sigilco/pyscriptc/releases); the binary does not bundle a checker yet, so use the PyPI install if you want type checking out of the box. PyPI installs require CPython 3.10 or later (the IR is stamped with the interpreter that lowered it).
+
+Either way, compiling a program needs a clang that can assemble textual LLVM IR (`zig cc` also works, and enables `--driver zig` cross-compilation):
+
+| Platform | Command |
+| --- | --- |
+| macOS | `xcode-select --install` (or `brew install llvm` / `brew install zig`) |
+| Debian / Ubuntu | `sudo apt install clang` (or `zig` on newer releases) |
+| Fedora | `sudo dnf install clang` (or `zig`) |
+| Arch | `sudo pacman -S clang` (or `zig`) |
+| Any Linux or macOS | `mise use -g zig` or `brew install zig` |
+| Windows | `winget install zig.zig` (or `scoop install zig`) |
 
 ## What it does
 
-- Lowers an annotated Python subset (strict `x: T` typing, checked by mypy) to typed IR, then LLVM IR, then a native binary via clang or `zig cc`.
+- Lowers an annotated Python subset (strict `x: T` typing, checked by pyrefly) to typed IR, then LLVM IR, then a native binary via clang or `zig cc`.
 - Anything the subset does not prove stops at a named `PSxxxx` fence with a hint — it never guesses at semantics.
 - `int` is a Python int: `i64` only when the value fits, traps on overflow, refuses literals that would truncate. `//` is floor division.
 - Island calls (`subprocess.check_output`, `socket.gethostname`, `threading`, `logging`) embed CPython on first use — and only binaries that call them link libpython.
@@ -40,7 +51,7 @@ Requirements: CPython 3.10 or later (the IR is stamped with the interpreter that
 | Layer | What it is |
 | --- | --- |
 | Parser | CPython's own `ast` module |
-| Checker | mypy preflight + the `PS1xxx`/`PS2xxx` fence tables |
+| Checker | pyrefly preflight + the `PS1xxx`/`PS2xxx` fence tables |
 | IR | typed JSON, stamped per-interpreter (`gates-v1`) |
 | Backend | hand-emitted LLVM IR text → `clang` / `zig cc` |
 | Island | optional embedded-CPython calls, CPython-linked only when used |
@@ -72,7 +83,7 @@ The IR stamp is `gates-v1`. Lowered:
 
 Fenced (no LLVM for that file):
 
-- `and` / `or` across two types, f-string format specs, a slice step other than 1, `break`, `continue`, `finally`, `except as`, user decorators, `super()`, multiple inheritance, `**kwargs`, keyword-only and positional-only parameters, and starred calls
+- `finally`, `except ... as`, f-string format specs, user decorators, `super()`, multiple inheritance, `**kwargs`, keyword-only and positional-only parameters, and starred calls
 - String literals outside Latin-1
 - `bool` arithmetic, `list[bool]`, and `dict` values of `bool`. `bool` is not promoted to `float`
 - Calls such as `str.encode("ascii")`, `math.gcd`, `functools.partial`, `itertools.count`, `operator.itemgetter`, `importlib.import_module`, and `asyncio.run` that are outside the lowered surface
@@ -89,17 +100,17 @@ A `for` target that is new in the function is stored as `0`, `0.0`, or `""` befo
 
 `in` on a list uses `==`. `math.nan in [math.nan]` is false here. CPython's list finds that same object by identity before it compares.
 
-`typing` stays in mypy. It is not a runtime lowering. Island constants (`sys.platform`, `sys.version`, `sys.executable`, `sys.maxsize`, `socket.AF_INET`, `ssl.OPENSSL_VERSION`, `ssl.HAS_SNI`, `stat.S_IFREG`, `ctypes.sizeof`) are baked from the interpreter that lowers the file. `sys.exit` is libc `exit`. `subprocess.check_output` takes a `list[str]` and returns `bytes`. `os.getenv` raises `KeyError` when the variable is unset. `date` plus `timedelta` uses the normalized day count; `datetime` plus `timedelta` uses the whole delta.
+`typing` stays in the checker. It is not a runtime lowering. Island constants (`sys.platform`, `sys.version`, `sys.executable`, `sys.maxsize`, `socket.AF_INET`, `ssl.OPENSSL_VERSION`, `ssl.HAS_SNI`, `stat.S_IFREG`, `ctypes.sizeof`) are baked from the interpreter that lowers the file. `sys.exit` is libc `exit`. `subprocess.check_output` takes a `list[str]` and returns `bytes`. `os.getenv` raises `KeyError` when the variable is unset. `date` plus `timedelta` uses the normalized day count; `datetime` plus `timedelta` uses the whole delta.
 
 ## Requirements
 
-- CPython 3.10 or later (the IR is stamped with the interpreter that lowered it)
-- [uv](https://docs.astral.sh/uv/)
+- [mise](https://mise.jdx.dev/), then `mise trust && mise install` (provides python, uv, node, pnpm; already-installed tools that satisfy the pins are reused)
 - Clang that can assemble textual LLVM IR
 
 ## Run
 
 ```bash
+mise trust && mise install
 uv sync
 uv run pyscriptc compile examples/sum_squares.py --run --call sum_squares --args '[10]' -o /tmp/sum_squares
 ```
@@ -116,7 +127,7 @@ uv run pyscriptc compile examples/gates_probe.py --run --call probe -o /tmp/prob
 uv run pyscriptc compile examples/fence_method.py --emit llvm -o /tmp/fence.ll
 ```
 
-`floors()` prints `3`. `probe()` prints `0`. The fence exits nonzero, names `encode`, and does not write LLVM. `examples/wave_probe.py` prints `0` when the codec wave matches CPython. `examples/rest_probe.py` prints `0` when the rest of the queue matches CPython. `examples/fence_pickle.py` exits nonzero with `PS2002` because `pickle` is outside the import table. `examples/invoice.py`, `examples/access_log.py`, `examples/request_id.py`, `examples/release_note.py`, `examples/blob_digest.py`, `examples/url_gate.py`, and `examples/hostname.py` are the scripts in [docs/examples.md](docs/examples.md). `examples/bad_annotation.py` fails in mypy before lowering. `examples/big_literal.py` lowers to IR, then LLVM emission refuses the integer because it does not fit in `i64`.
+`floors()` prints `3`. `probe()` prints `0`. The fence exits nonzero, names `encode`, and does not write LLVM. `examples/wave_probe.py` prints `0` when the codec wave matches CPython. `examples/rest_probe.py` prints `0` when the rest of the queue matches CPython. `examples/fence_pickle.py` exits nonzero with `PS2002` because `pickle` is outside the import table. `examples/invoice.py`, `examples/access_log.py`, `examples/request_id.py`, `examples/release_note.py`, `examples/blob_digest.py`, `examples/url_gate.py`, and `examples/hostname.py` are the scripts in [docs/examples.md](docs/examples.md). `examples/bad_annotation.py` fails in the checker before lowering. `examples/big_literal.py` lowers to IR, then LLVM emission refuses the integer because it does not fit in `i64`.
 
 `re.compile` returns a `Pattern` with a `pattern` field. `findall`, `sub`, and `split` on that object use the field. `hashlib` returns an opaque `Hash`; `hexdigest` and `digest` are the methods that lower. `urlsplit` returns a `SplitResult` of five strings (`scheme`, `netloc`, `path`, `query`, `fragment`). `struct.unpack` is a list, so `[0]` is the first value. `json.loads` takes its type from the annotation it is assigned to, or from the return annotation. `parse_qs` splits on `&` only, which is what CPython 3.14 does. A pattern that can match empty forever, such as `()*`, stops with `RuntimeError` once the matcher spends its fuel. `re.error`, `struct.error`, and `binascii.Error` surface here as `ValueError`.
 

{pyscriptc-0.1.0 → pyscriptc-0.2.0}/pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = "pyscriptc"
-version = "0.1.0"
+version = "0.2.0"
 description = "Lower a typed subset of Python to LLVM, with CPython as the island."
 readme = "README.md"
 requires-python = ">=3.10"
@@ -19,7 +19,10 @@ classifiers = [
     "Programming Language :: Python :: 3.14",
     "Topic :: Software Development :: Compilers",
 ]
-dependencies = ["mypy>=2.4"]
+dependencies = [
+    "mypy>=2.4",
+    "pyrefly>=1.4.0,<1.5",
+]
 
 [project.urls]
 Homepage = "https://github.com/sigilco/pyscriptc"
@@ -43,7 +46,7 @@ build-backend = "setuptools.build_meta"
 where = ["src"]
 
 [tool.setuptools.package-data]
-pyscriptc = ["runtime/*.c", "runtime/*.h"]
+pyscriptc = ["runtime/*.c", "runtime/*.h", "_pyright_stubs/*/__init__.pyi"]
 
 [tool.pytest.ini_options]
 testpaths = ["tests"]
@@ -65,6 +68,7 @@ extend-exclude = [
     "benchmarks/compat2/corpus/holdout/tests",
     "benchmarks/compat2/corpus/scripts",
     "benchmarks/compat2/corpus/holdout/scripts",
+    "src/pyscriptc/_pyright_stubs",
 ]
 
 [tool.ruff.lint]

pyscriptc-0.2.0/src/pyscriptc/_pyright_stubs/functools/__init__.pyi

@@ -0,0 +1,274 @@
+# Vendored from typeshed (Apache-2.0), patched for the lowered contract:
+# functools.partial yields `Any` like the mypy plugin (the subset does not
+# model the shifted parameter list).
+import sys
+import types
+from _typeshed import SupportsAllComparisons, SupportsItems
+from collections.abc import Callable, Hashable, Iterable, Sized
+from types import GenericAlias
+from typing import (
+    Any,
+    Final,
+    Generic,
+    Literal,
+    NamedTuple,
+    ParamSpec,
+    TypeAlias,
+    TypedDict,
+    TypeVar,
+    final,
+    overload,
+    type_check_only,
+)
+from typing_extensions import Self, disjoint_base
+
+__all__ = [
+    "update_wrapper",
+    "wraps",
+    "WRAPPER_ASSIGNMENTS",
+    "WRAPPER_UPDATES",
+    "total_ordering",
+    "cmp_to_key",
+    "lru_cache",
+    "reduce",
+    "partial",
+    "partialmethod",
+    "singledispatch",
+    "cached_property",
+    "singledispatchmethod",
+    "cache",
+]
+
+_T = TypeVar("_T")
+_T_co = TypeVar("_T_co", covariant=True)
+_S = TypeVar("_S")
+_PWrapped = ParamSpec("_PWrapped")
+_RWrapped = TypeVar("_RWrapped")
+_PWrapper = ParamSpec("_PWrapper")
+_RWrapper = TypeVar("_RWrapper")
+
+if sys.version_info >= (3, 14):
+    @overload
+    def reduce(function: Callable[[_T, _S], _T], iterable: Iterable[_S], /, initial: _T) -> _T: ...
+else:
+    @overload
+    def reduce(function: Callable[[_T, _S], _T], iterable: Iterable[_S], initial: _T, /) -> _T: ...
+
+@overload
+def reduce(function: Callable[[_T, _T], _T], iterable: Iterable[_T], /) -> _T: ...
+
+class _CacheInfo(NamedTuple):
+    hits: int
+    misses: int
+    maxsize: int | None
+    currsize: int
+
+@type_check_only
+class _CacheParameters(TypedDict):
+    maxsize: int
+    typed: bool
+
+@final
+class _lru_cache_wrapper(Generic[_T_co]):
+    __wrapped__: Callable[..., _T_co]
+    def __call__(self, *args: Hashable, **kwargs: Hashable) -> _T_co: ...
+    def cache_info(self) -> _CacheInfo: ...
+    def cache_clear(self) -> None: ...
+    def cache_parameters(self) -> _CacheParameters: ...
+    def __copy__(self) -> _lru_cache_wrapper[_T_co]: ...
+    def __deepcopy__(self, memo: Any, /) -> _lru_cache_wrapper[_T_co]: ...
+
+    # as with ``Callable``, we'll assume that these attributes exist
+    __name__: str
+    __qualname__: str
+
+@overload
+def lru_cache(maxsize: int | None = 128, typed: bool = False) -> Callable[[Callable[..., _T]], _lru_cache_wrapper[_T]]: ...
+@overload
+def lru_cache(maxsize: Callable[..., _T], typed: bool = False) -> _lru_cache_wrapper[_T]: ...
+
+if sys.version_info >= (3, 14):
+    WRAPPER_ASSIGNMENTS: Final[
+        tuple[
+            Literal["__module__"],
+            Literal["__name__"],
+            Literal["__qualname__"],
+            Literal["__doc__"],
+            Literal["__annotate__"],
+            Literal["__type_params__"],
+        ]
+    ]
+elif sys.version_info >= (3, 12):
+    WRAPPER_ASSIGNMENTS: Final[
+        tuple[
+            Literal["__module__"],
+            Literal["__name__"],
+            Literal["__qualname__"],
+            Literal["__doc__"],
+            Literal["__annotations__"],
+            Literal["__type_params__"],
+        ]
+    ]
+else:
+    WRAPPER_ASSIGNMENTS: Final[
+        tuple[Literal["__module__"], Literal["__name__"], Literal["__qualname__"], Literal["__doc__"], Literal["__annotations__"]]
+    ]
+
+WRAPPER_UPDATES: Final[tuple[Literal["__dict__"]]]
+
+@type_check_only
+class _Wrapped(Generic[_PWrapped, _RWrapped, _PWrapper, _RWrapper]):
+    __wrapped__: Callable[_PWrapped, _RWrapped]
+    def __call__(self, *args: _PWrapper.args, **kwargs: _PWrapper.kwargs) -> _RWrapper: ...
+    # as with ``Callable``, we'll assume that these attributes exist
+    __name__: str
+    __qualname__: str
+
+@type_check_only
+class _Wrapper(Generic[_PWrapped, _RWrapped]):
+    def __call__(self, f: Callable[_PWrapper, _RWrapper]) -> _Wrapped[_PWrapped, _RWrapped, _PWrapper, _RWrapper]: ...
+
+if sys.version_info >= (3, 14):
+    def update_wrapper(
+        wrapper: Callable[_PWrapper, _RWrapper],
+        wrapped: Callable[_PWrapped, _RWrapped],
+        assigned: Iterable[str] = ("__module__", "__name__", "__qualname__", "__doc__", "__annotate__", "__type_params__"),
+        updated: Iterable[str] = ("__dict__",),
+    ) -> _Wrapped[_PWrapped, _RWrapped, _PWrapper, _RWrapper]: ...
+    def wraps(
+        wrapped: Callable[_PWrapped, _RWrapped],
+        assigned: Iterable[str] = ("__module__", "__name__", "__qualname__", "__doc__", "__annotate__", "__type_params__"),
+        updated: Iterable[str] = ("__dict__",),
+    ) -> _Wrapper[_PWrapped, _RWrapped]: ...
+
+elif sys.version_info >= (3, 12):
+    def update_wrapper(
+        wrapper: Callable[_PWrapper, _RWrapper],
+        wrapped: Callable[_PWrapped, _RWrapped],
+        assigned: Iterable[str] = ("__module__", "__name__", "__qualname__", "__doc__", "__annotations__", "__type_params__"),
+        updated: Iterable[str] = ("__dict__",),
+    ) -> _Wrapped[_PWrapped, _RWrapped, _PWrapper, _RWrapper]: ...
+    def wraps(
+        wrapped: Callable[_PWrapped, _RWrapped],
+        assigned: Iterable[str] = ("__module__", "__name__", "__qualname__", "__doc__", "__annotations__", "__type_params__"),
+        updated: Iterable[str] = ("__dict__",),
+    ) -> _Wrapper[_PWrapped, _RWrapped]: ...
+
+else:
+    def update_wrapper(
+        wrapper: Callable[_PWrapper, _RWrapper],
+        wrapped: Callable[_PWrapped, _RWrapped],
+        assigned: Iterable[str] = ("__module__", "__name__", "__qualname__", "__doc__", "__annotations__"),
+        updated: Iterable[str] = ("__dict__",),
+    ) -> _Wrapped[_PWrapped, _RWrapped, _PWrapper, _RWrapper]: ...
+    def wraps(
+        wrapped: Callable[_PWrapped, _RWrapped],
+        assigned: Iterable[str] = ("__module__", "__name__", "__qualname__", "__doc__", "__annotations__"),
+        updated: Iterable[str] = ("__dict__",),
+    ) -> _Wrapper[_PWrapped, _RWrapped]: ...
+
+def total_ordering(cls: type[_T]) -> type[_T]: ...
+def cmp_to_key(mycmp: Callable[[_T, _T], int]) -> Callable[[_T], SupportsAllComparisons]: ...
+
+def partial(func: Callable[..., Any], /, *args: Any, **kwargs: Any) -> Any: ...
+
+# With protocols, this could change into a generic protocol that defines __get__ and returns _T
+_Descriptor: TypeAlias = Any
+
+class partialmethod(Generic[_T]):
+    func: Callable[..., _T] | _Descriptor
+    args: tuple[Any, ...]
+    keywords: dict[str, Any]
+    if sys.version_info >= (3, 14):
+        @overload
+        def __new__(self, func: Callable[..., _T], /, *args: Any, **keywords: Any) -> Self: ...
+        @overload
+        def __new__(self, func: _Descriptor, /, *args: Any, **keywords: Any) -> Self: ...
+    else:
+        @overload
+        def __init__(self, func: Callable[..., _T], /, *args: Any, **keywords: Any) -> None: ...
+        @overload
+        def __init__(self, func: _Descriptor, /, *args: Any, **keywords: Any) -> None: ...
+
+    def __get__(self, obj: Any, cls: type[Any] | None = None) -> Callable[..., _T]: ...
+    @property
+    def __isabstractmethod__(self) -> bool: ...
+    def __class_getitem__(cls, item: Any, /) -> GenericAlias: ...
+
+if sys.version_info >= (3, 11):
+    _RegType: TypeAlias = type[Any] | types.UnionType
+else:
+    _RegType: TypeAlias = type[Any]
+
+@type_check_only
+class _SingleDispatchCallable(Generic[_T]):
+    registry: types.MappingProxyType[Any, Callable[..., _T]]
+    def dispatch(self, cls: Any) -> Callable[..., _T]: ...
+
+    # @fun.register(complex)
+    # def _(arg, verbose=False): ...
+    @overload
+    def register(self, cls: _RegType, func: None = None) -> Callable[[Callable[..., _T]], Callable[..., _T]]: ...
+    # @fun.register
+    # def _(arg: int, verbose=False):
+    @overload
+    def register(self, cls: Callable[..., _T], func: None = None) -> Callable[..., _T]: ...
+    # fun.register(int, lambda x: x)
+    @overload
+    def register(self, cls: _RegType, func: Callable[..., _T]) -> Callable[..., _T]: ...
+
+    def _clear_cache(self) -> None: ...
+    def __call__(self, /, *args: Any, **kwargs: Any) -> _T: ...
+
+def singledispatch(func: Callable[..., _T]) -> _SingleDispatchCallable[_T]: ...
+
+class singledispatchmethod(Generic[_T]):
+    dispatcher: _SingleDispatchCallable[_T]
+    func: Callable[..., _T]
+    def __init__(self, func: Callable[..., _T]) -> None: ...
+    @property
+    def __isabstractmethod__(self) -> bool: ...
+
+    @overload
+    def register(self, cls: _RegType, method: None = None) -> Callable[[Callable[..., _T]], Callable[..., _T]]: ...
+    @overload
+    def register(self, cls: Callable[..., _T], method: None = None) -> Callable[..., _T]: ...
+    @overload
+    def register(self, cls: _RegType, method: Callable[..., _T]) -> Callable[..., _T]: ...
+
+    def __get__(self, obj: _S, cls: type[_S] | None = None) -> Callable[..., _T]: ...
+
+class cached_property(Generic[_T_co]):
+    func: Callable[[Any], _T_co]
+    attrname: str | None
+    def __init__(self, func: Callable[[Any], _T_co]) -> None: ...
+
+    @overload
+    def __get__(self, instance: None, owner: type[Any] | None = None) -> Self: ...
+    @overload
+    def __get__(self, instance: object, owner: type[Any] | None = None) -> _T_co: ...
+
+    def __set_name__(self, owner: type[Any], name: str) -> None: ...
+    # __set__ is not defined at runtime, but @cached_property is designed to be settable
+    def __set__(self, instance: object, value: _T_co) -> None: ...  # type: ignore[misc]  # pyright: ignore[reportGeneralTypeIssues]
+    def __class_getitem__(cls, item: Any, /) -> GenericAlias: ...
+
+def cache(user_function: Callable[..., _T], /) -> _lru_cache_wrapper[_T]: ...
+def _make_key(
+    args: tuple[Hashable, ...],
+    kwds: SupportsItems[Any, Any],
+    typed: bool,
+    kwd_mark: tuple[object, ...] = ...,
+    fasttypes: set[type] = ...,
+    tuple: type = ...,
+    type: Any = ...,
+    len: Callable[[Sized], int] = ...,
+) -> Hashable: ...
+
+if sys.version_info >= (3, 14):
+    @final
+    class _PlaceholderType: ...
+
+    Placeholder: Final[_PlaceholderType]
+
+    __all__ += ["Placeholder"]

pyscriptc-0.2.0/src/pyscriptc/_pyright_stubs/struct/__init__.pyi

@@ -0,0 +1,29 @@
+# Vendored from typeshed (Apache-2.0), patched for the lowered contract:
+# struct.unpack* yields `Any` like the mypy plugin (homogeneous list at runtime).
+from _typeshed import ReadableBuffer, WriteableBuffer
+from typing import Any
+from typing_extensions import disjoint_base
+
+__all__ = ["calcsize", "pack", "pack_into", "unpack", "unpack_from", "iter_unpack", "Struct", "error"]
+
+class error(Exception): ...
+
+def pack(fmt: str | bytes, /, *v: Any) -> bytes: ...
+def pack_into(fmt: str | bytes, buffer: WriteableBuffer, offset: int, /, *v: Any) -> None: ...
+def unpack(format: str | bytes, buffer: ReadableBuffer, /) -> Any: ...
+def unpack_from(format: str | bytes, /, buffer: ReadableBuffer, offset: int = 0) -> Any: ...
+def iter_unpack(format: str | bytes, buffer: ReadableBuffer, /) -> Any: ...
+def calcsize(format: str | bytes, /) -> int: ...
+
+@disjoint_base
+class Struct:
+    @property
+    def format(self) -> str: ...
+    @property
+    def size(self) -> int: ...
+    def __init__(self, format: str | bytes) -> None: ...
+    def pack(self, *v: Any) -> bytes: ...
+    def pack_into(self, buffer: WriteableBuffer, offset: int, *v: Any) -> None: ...
+    def unpack(self, buffer: ReadableBuffer, /) -> Any: ...
+    def unpack_from(self, buffer: ReadableBuffer, offset: int = 0) -> Any: ...
+    def iter_unpack(self, buffer: ReadableBuffer, /) -> Any: ...

{pyscriptc-0.1.0 → pyscriptc-0.2.0}/src/pyscriptc/builtins.py

@@ -17,12 +17,16 @@ EXCEPTIONS: dict[str, int] = {
     "ZeroDivisionError": 5,
     "RuntimeError": 6,
     "Exception": 7,
+    "StopIteration": 8,
+    "FileNotFoundError": 9,
+    "TypeError": 10,
+    "AttributeError": 11,
 }
 
 # User exception classes take codes from here up; matches PS_USER_BASE in
 # ps_rt.h. Exception handlers treat every code at or above it as an
 # Exception descendant, since all user exceptions inherit a lowered builtin.
-USER_EXC_BASE = 8
+USER_EXC_BASE = 12
 
 # params are type kinds. return is a type kind, or "self" for the receiver's type.
 STR_METHODS: dict[str, dict[str, Any]] = {
@@ -84,11 +88,18 @@ def builtin_spec(name: str, arg_types: list[dict[str, Any]]) -> dict[str, Any] |
             "bool",
             "bytes",
             "none",
+            "exc",
         }
     ):
         return {"kind": "str"}
     if name == "str" and len(arg_types) == 1 and arg_types[0]["kind"] == "class" and arg_types[0].get("name") == "Path":
         return {"kind": "str"}
+    if (
+        name == "id"
+        and len(arg_types) == 1
+        and arg_types[0]["kind"] in {"list", "dict", "class", "exc", "str", "bytes"}
+    ):
+        return {"kind": "int"}
     return None