type-python 0.3.0__py3-none-win_amd64.whl → 0.4.0__py3-none-win_amd64.whl

type_python-0.4.0.dist-info/METADATA

@@ -0,0 +1,175 @@
+Metadata-Version: 2.4
+Name: type-python
+Version: 0.4.0
+Summary: A statically-typed authoring language that compiles to standard Python
+Author: unadlib
+License-Expression: MIT
+Project-URL: Homepage, https://github.com/type-python/type-python
+Project-URL: Repository, https://github.com/type-python/type-python
+Project-URL: Documentation, https://github.com/type-python/type-python/tree/main/docs
+Project-URL: Issues, https://github.com/type-python/type-python/issues
+Keywords: typepython,type-checking,compiler,python,static-typing
+Classifier: Development Status :: 4 - Beta
+Classifier: Intended Audience :: Developers
+Classifier: Programming Language :: Python :: 3
+Classifier: Programming Language :: Python :: 3.9
+Classifier: Programming Language :: Python :: 3.10
+Classifier: Programming Language :: Python :: 3.11
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Programming Language :: Python :: 3.13
+Classifier: Programming Language :: Python :: 3.14
+Classifier: Programming Language :: Rust
+Classifier: Topic :: Software Development :: Compilers
+Classifier: Topic :: Software Development :: Quality Assurance
+Classifier: Typing :: Typed
+Requires-Python: >=3.9
+Description-Content-Type: text/markdown
+License-File: LICENSE
+Dynamic: license-file
+
+<p align="center">
+  <img src="https://raw.githubusercontent.com/type-python/type-python/main/logo.png" alt="TypePython" width="160" />
+</p>
+
+<h1 align="center">TypePython</h1>
+
+<p align="center">
+  <strong>Write richer types in <code>.tpy</code>. Ship plain <code>.py</code> + <code>.pyi</code>.</strong>
+</p>
+
+---
+
+TypePython is a typed dialect of Python that compiles to standard `.py` + `.pyi`.
+It brings TypeScript-class ergonomics — `sealed` classes, exhaustive `match`,
+strict null checks, `unknown`, `interface`, `data class` — to a language whose
+output runs anywhere CPython runs.
+
+**No custom runtime. No per-checker plugin. No vendor lock-in.**
+
+> Status: **Core v1 Beta** (v0.4.0). Core syntax, config, `init`/`check`/`build`/
+> `clean`/`verify`, diagnostic code identity, and emitted `.py`/`.pyi` compatibility
+> are the stable Beta surfaces. LSP UX, adapter manifests, runtime validators, and
+> migration heuristics remain prototype/experimental.
+> Bug reports and contributions are very welcome.
+
+## Install
+
+```bash
+pip install type-python
+typepython init --dir hello && cd hello
+typepython check --project .
+typepython build --project .
+```
+
+You now have `.typepython/build/` with `.py` + `.pyi` + `py.typed` ready for
+any Python interpreter, IDE, or downstream type checker.
+
+- **Wheels** are prebuilt for Windows AMD64, macOS x86_64, macOS arm64, and Linux x86_64.
+  Other platforms fall back to source and need Rust + `cargo`.
+- **Python**: the package bridge supports 3.9+; generated projects target Python 3.10 through 3.14.
+
+## See it in 15 lines
+
+```python
+# src/app/expr.tpy
+
+sealed class Expr:
+    pass
+
+class Num(Expr):  value: int
+class Add(Expr):  left: Expr; right: Expr
+class Neg(Expr):  operand: Expr
+
+def evaluate(expr: Expr) -> int:
+    match expr:
+        case Num(value=v):           return v
+        case Add(left=l, right=r):   return evaluate(l) + evaluate(r)
+        case Neg(operand=o):         return -evaluate(o)
+    # No default branch needed — the compiler proves the match is exhaustive.
+    # Add a fourth subclass and TypePython tells you exactly where to update.
+```
+
+`typepython build` lowers that to ordinary Python and writes a matching `.pyi`
+that any modern type checker can consume — no TypePython runtime required.
+
+## What you write vs. what ships
+
+| You write (`.tpy`)                    | TypePython emits (`.py` / `.pyi`)                         |
+| ------------------------------------- | --------------------------------------------------------- |
+| `interface Drawable:`                 | `class Drawable(Protocol):`                               |
+| `data class User:`                    | `@dataclass class User:`                                  |
+| `sealed class Expr:`                  | ordinary class + `tpy:sealed` marker                      |
+| `overload def parse(...)`             | `@overload def parse(...)`                                |
+| `typealias Pair[T] = tuple[T, T]`     | `T = TypeVar("T")` + `Pair: TypeAlias = tuple[T, T]`      |
+| `def first[T](xs: list[T]) -> T:`     | inline generic on 3.13+, `TypeVar`-based on 3.10 – 3.12   |
+| `unsafe: eval(expr)`                  | valid Python, marker erased — runtime behavior preserved  |
+| `unknown` (must narrow before use)    | `object` in `.pyi`                                        |
+| `Partial[Config]` / `Pick[Config, …]` | expanded `TypedDict` shapes (PEP 655 / 705)               |
+
+## Why not just mypy / pyright / PEP 695?
+
+| Capability                                              | mypy strict | pyright strict | PEP 695 `.py` | **TypePython `.tpy`** |
+| ------------------------------------------------------- | :---------: | :------------: | :-----------: | :-------------------: |
+| `sealed class` + compiler-proved exhaustiveness         |      —      |       —        |       —       |          ✅           |
+| `unknown` — safe dynamic boundary, must narrow          |      —      |       —        |       —       |          ✅           |
+| `unsafe:` audit fence for `eval` / `exec` / `setattr`   |      —      |       —        |       —       |          ✅           |
+| First-class `interface` / `data class` / `typealias`    |    via      |     via        |    via        |     keyword           |
+| Inline generics `def f[T]` on **any** target ≥ 3.10     |     3.12+   |     3.12+      |     3.12+     |          ✅           |
+| `TypedDict` transforms (`Partial`, `Pick`, `Readonly`…) |      —      |       —        |       —       |          ✅           |
+| Output consumed by mypy / pyright / ty unmodified       |     N/A     |     N/A        |       ✅       |          ✅           |
+
+TypePython doesn't replace those checkers. It sits **one step earlier**: you
+author in `.tpy`, the compiler emits standard typed Python that those tools
+then consume normally.
+
+## What you also get
+
+- **Rust-native, incremental compiler** — public-API fingerprints skip
+  downstream rechecks when only a body changes.
+- **Full toolchain** — `init`, `check`, `build`, `watch`, `clean`, `verify`,
+  `compat`, `api-diff`, `type-health`, `migrate`, `lsp`.
+- **LSP server** — hover, go to definition, references, rename, completions,
+  signature help, real-time diagnostics, and code-action quick fixes.
+  Bring your own LSP-capable editor (VS Code, Neovim, Helix, Sublime, Emacs).
+- **Standard, portable output** — emitted `.py` + `.pyi` work with mypy,
+  pyright, and ty out of the box. PEP 561 `py.typed` is written automatically.
+- **Mixed projects** — `.tpy`, `.py`, and `.pyi` live in the same source tree.
+  `.py` is pass-through; `.pyi` is stub-authoritative.
+
+## For library authors
+
+Five commands aimed at people who *publish* typed Python:
+
+```bash
+typepython build       --project .
+typepython verify      --project . --checker-preset all
+typepython compat      --project . --profile library-portable
+typepython api-diff    dist/previous.whl .typepython/build
+typepython type-health --project . --fail-under 85
+```
+
+These catch missing/stale `py.typed`, wheel ↔ build-tree drift, multi-checker
+portability gaps, public-API drift between releases, and runtime-annotation
+hazards for frameworks that introspect annotations.
+
+## Documentation
+
+- [Getting Started](https://github.com/type-python/type-python/blob/main/docs/getting-started.md)
+- [Syntax Guide](https://github.com/type-python/type-python/blob/main/docs/syntax-guide.md)
+- [Type System](https://github.com/type-python/type-python/blob/main/docs/type-system.md)
+- [Configuration](https://github.com/type-python/type-python/blob/main/docs/configuration.md)
+- [CLI Reference](https://github.com/type-python/type-python/blob/main/docs/cli-reference.md)
+- [Diagnostics (TPYxxxx codes)](https://github.com/type-python/type-python/blob/main/docs/diagnostics.md)
+- [LSP Integration](https://github.com/type-python/type-python/blob/main/docs/lsp.md)
+- [Interoperability](https://github.com/type-python/type-python/blob/main/docs/interop.md)
+- [Migration Guide](https://github.com/type-python/type-python/blob/main/docs/migration-guide.md)
+- [Framework Adapters](https://github.com/type-python/type-python/blob/main/docs/framework-adapters.md)
+- [Beta Readiness](https://github.com/type-python/type-python/blob/main/docs/beta-readiness.md)
+- [Language Spec v1](https://github.com/type-python/type-python/blob/main/docs/spec/language-spec-v1.md)
+
+## Links
+
+- [Repository](https://github.com/type-python/type-python)
+- [Issues / bug reports](https://github.com/type-python/type-python/issues)
+- [Contributing](https://github.com/type-python/type-python/blob/main/docs/contributing.md)
+- [License (MIT)](https://github.com/type-python/type-python/blob/main/LICENSE)

type_python-0.4.0.dist-info/RECORD

@@ -0,0 +1,11 @@
+type_python-0.4.0.dist-info/licenses/LICENSE,sha256=BMHUZ3id_LOrEdv_GmAbL1ttlKsqjZz14f1_M1tn73k,1089
+typepython/__init__.py,sha256=ysHyCeLjWKlxEnJRLBsdi0p3jq5OJrH7AqhO6N4FbQE,532
+typepython/__main__.py,sha256=m8cggQyLAOSPtb8r-uUv_g53whMoPXtF2NX9yLuPyLg,89
+typepython/_runner.py,sha256=DySWPTud0FIAv2-0xhmwAyt_kk3w3kFJWK8FcYSe858,1777
+typepython/annotation_compat.py,sha256=F_dLOYhFHtOyGn-vTn22VayGMZKfGF4OoM-YvD_352I,13916
+typepython/bin/typepython.exe,sha256=sLjMbU6ZeWGa2QSFpJ_5Bs6dzF6Jtw3-FHBH5lr038I,13957120
+type_python-0.4.0.dist-info/METADATA,sha256=3jpBkrYGONaxOzsiM6dS-O95iR8yrPQPDhG06tGUjPE,9178
+type_python-0.4.0.dist-info/WHEEL,sha256=GjDPPQwEcripVP6P2r3RxLa-h5Lb9ifGB7FYYtbLDT0,98
+type_python-0.4.0.dist-info/entry_points.txt,sha256=B5Yjdi-RWaeRy7YUcni1lU_ya2lVZXM8llSFNSKEq0U,56
+type_python-0.4.0.dist-info/top_level.txt,sha256=JFRFjt3AXvRQ99SKMxUVu9e3TOp2QpspvE-jk85uMjU,11
+type_python-0.4.0.dist-info/RECORD,,

typepython/__init__.py

@@ -1,13 +1,26 @@
 from ._runner import main
-from .annotation_compat import AnnotationFormat, AnnotationSupport, get_annotations, supported_formats
+from .annotation_compat import (
+    AnnotationAudit,
+    AnnotationAuditFinding,
+    AnnotationConsumer,
+    AnnotationFormat,
+    AnnotationSupport,
+    audit_source,
+    get_annotations,
+    supported_formats,
+)
 
 __all__ = [
     "__version__",
     "AnnotationFormat",
+    "AnnotationAudit",
+    "AnnotationAuditFinding",
+    "AnnotationConsumer",
     "AnnotationSupport",
+    "audit_source",
     "get_annotations",
     "main",
     "supported_formats",
 ]
 
-__version__ = "0.3.0"
+__version__ = "0.4.0"

typepython/annotation_compat.py

@@ -2,6 +2,7 @@ from __future__ import annotations
 
 import inspect
 import sys
+import ast
 from dataclasses import dataclass
 from enum import Enum
 from types import ModuleType
@@ -28,12 +29,51 @@ class AnnotationSupport:
     string: bool
 
 
+class AnnotationConsumer(str, Enum):
+    TYPING_GET_TYPE_HINTS = "typing.get_type_hints"
+    INSPECT_GET_ANNOTATIONS = "inspect.get_annotations"
+    ANNOTATIONLIB_GET_ANNOTATIONS = "annotationlib.get_annotations"
+    DATACLASS_DECORATOR = "dataclasses.dataclass"
+    FASTAPI_ROUTE_DECORATOR = "fastapi.route_decorator"
+    FASTAPI_DEPENDS = "fastapi.Depends"
+    PYDANTIC_BASEMODEL = "pydantic.BaseModel"
+    PYDANTIC_FIELD = "pydantic.Field"
+
+
+@dataclass(frozen=True)
+class AnnotationAuditFinding:
+    code: str
+    message: str
+    line: int
+    column: int
+
+
+@dataclass(frozen=True)
+class AnnotationAudit:
+    consumers: tuple[AnnotationConsumer, ...]
+    findings: tuple[AnnotationAuditFinding, ...]
+
+    @property
+    def safe_for_runtime_introspection(self) -> bool:
+        return not self.findings
+
+
 def supported_formats() -> AnnotationSupport:
     if HAS_ANNOTATIONLIB:
         return AnnotationSupport(value=True, forwardref=True, string=True)
     return AnnotationSupport(value=True, forwardref=False, string=False)
 
 
+def audit_source(source: str, *, filename: str = "<source>") -> AnnotationAudit:
+    tree = ast.parse(source, filename=filename)
+    visitor = _AnnotationAuditVisitor()
+    visitor.visit(tree)
+    return AnnotationAudit(
+        consumers=tuple(sorted(visitor.consumers, key=lambda consumer: consumer.value)),
+        findings=tuple(visitor.findings),
+    )
+
+
 def get_annotations(
     obj: Any,
     *,
@@ -140,3 +180,214 @@ def _legacy_eval_namespaces(
     module = sys.modules.get(getattr(obj, "__module__", ""))
     namespace = vars(module) if module is not None else {}
     return namespace, namespace
+
+
+class _AnnotationAuditVisitor(ast.NodeVisitor):
+    def __init__(self) -> None:
+        self.consumers: set[AnnotationConsumer] = set()
+        self.findings: list[AnnotationAuditFinding] = []
+        self._type_checking_only_names: set[str] = set()
+        self._scope_depth = 0
+
+    def visit_If(self, node: ast.If) -> None:
+        if _is_type_checking_guard(node.test):
+            self._record_type_checking_only_imports(node.body)
+            for statement in node.orelse:
+                self.visit(statement)
+            return
+        self.generic_visit(node)
+
+    def visit_FunctionDef(self, node: ast.FunctionDef) -> None:
+        for decorator in node.decorator_list:
+            consumer = _decorator_consumer(decorator)
+            if consumer is not None:
+                self.consumers.add(consumer)
+        self._visit_callable_or_class(node)
+
+    def visit_AsyncFunctionDef(self, node: ast.AsyncFunctionDef) -> None:
+        for decorator in node.decorator_list:
+            consumer = _decorator_consumer(decorator)
+            if consumer is not None:
+                self.consumers.add(consumer)
+        self._visit_callable_or_class(node)
+
+    def visit_ClassDef(self, node: ast.ClassDef) -> None:
+        if any(_is_pydantic_base(base) for base in node.bases):
+            self.consumers.add(AnnotationConsumer.PYDANTIC_BASEMODEL)
+        for decorator in node.decorator_list:
+            consumer = _decorator_consumer(decorator)
+            if consumer is not None:
+                self.consumers.add(consumer)
+        self._visit_callable_or_class(node)
+
+    def visit_Call(self, node: ast.Call) -> None:
+        consumer = _call_consumer(node.func)
+        if consumer is not None:
+            self.consumers.add(consumer)
+        self.generic_visit(node)
+
+    def _visit_callable_or_class(
+        self,
+        node: ast.FunctionDef | ast.AsyncFunctionDef | ast.ClassDef,
+    ) -> None:
+        if self._scope_depth > 0:
+            self._record_nested_annotation_findings(node)
+        self._record_type_checking_annotation_findings(node)
+        self._scope_depth += 1
+        self.generic_visit(node)
+        self._scope_depth -= 1
+
+    def _record_type_checking_only_imports(self, statements: list[ast.stmt]) -> None:
+        for statement in statements:
+            if isinstance(statement, ast.Import):
+                for alias in statement.names:
+                    self._type_checking_only_names.add(alias.asname or alias.name.split(".", 1)[0])
+            elif isinstance(statement, ast.ImportFrom):
+                for alias in statement.names:
+                    if alias.name == "*":
+                        continue
+                    self._type_checking_only_names.add(alias.asname or alias.name)
+            elif isinstance(statement, ast.If) and _is_type_checking_guard(statement.test):
+                self._record_type_checking_only_imports(statement.body)
+
+    def _record_type_checking_annotation_findings(
+        self,
+        node: ast.FunctionDef | ast.AsyncFunctionDef | ast.ClassDef,
+    ) -> None:
+        if not self._type_checking_only_names:
+            return
+        for annotation in _node_annotations(node):
+            names = _annotation_names(annotation)
+            blocked = sorted(names & self._type_checking_only_names)
+            if not blocked:
+                continue
+            self.findings.append(
+                AnnotationAuditFinding(
+                    code="TPY-A002",
+                    message=(
+                        "annotation references TYPE_CHECKING-only import(s) "
+                        f"{', '.join(blocked)}; runtime annotation evaluation can fail or "
+                        "reintroduce import cycles"
+                    ),
+                    line=annotation.lineno,
+                    column=annotation.col_offset + 1,
+                )
+            )
+
+    def _record_nested_annotation_findings(
+        self,
+        node: ast.FunctionDef | ast.AsyncFunctionDef | ast.ClassDef,
+    ) -> None:
+        annotations = _node_annotations(node)
+        for annotation in annotations:
+            if _annotation_mentions_local_name(annotation):
+                self.findings.append(
+                    AnnotationAuditFinding(
+                        code="TPY-A001",
+                        message=(
+                            "annotation inside a local scope may be unavailable to runtime "
+                            "consumers such as typing.get_type_hints or annotationlib.get_annotations"
+                        ),
+                        line=annotation.lineno,
+                        column=annotation.col_offset + 1,
+                    )
+                )
+
+
+def _node_annotations(
+    node: ast.FunctionDef | ast.AsyncFunctionDef | ast.ClassDef,
+) -> list[ast.expr]:
+    annotations: list[ast.expr] = []
+    if isinstance(node, (ast.FunctionDef, ast.AsyncFunctionDef)):
+        for arg in [*node.args.posonlyargs, *node.args.args, *node.args.kwonlyargs]:
+            if arg.annotation is not None:
+                annotations.append(arg.annotation)
+        if node.args.vararg is not None and node.args.vararg.annotation is not None:
+            annotations.append(node.args.vararg.annotation)
+        if node.args.kwarg is not None and node.args.kwarg.annotation is not None:
+            annotations.append(node.args.kwarg.annotation)
+        if node.returns is not None:
+            annotations.append(node.returns)
+        return annotations
+
+    for statement in node.body:
+        if isinstance(statement, ast.AnnAssign) and statement.annotation is not None:
+            annotations.append(statement.annotation)
+    return annotations
+
+
+def _annotation_mentions_local_name(annotation: ast.expr) -> bool:
+    if isinstance(annotation, ast.Constant) and isinstance(annotation.value, str):
+        return True
+    return any(isinstance(child, ast.Name) for child in ast.walk(annotation))
+
+
+def _annotation_names(annotation: ast.expr) -> set[str]:
+    if isinstance(annotation, ast.Constant) and isinstance(annotation.value, str):
+        try:
+            annotation = ast.parse(annotation.value, mode="eval").body
+        except SyntaxError:
+            return set()
+    return {child.id for child in ast.walk(annotation) if isinstance(child, ast.Name)}
+
+
+def _is_type_checking_guard(test: ast.expr) -> bool:
+    return _dotted_name(test) in {"TYPE_CHECKING", "typing.TYPE_CHECKING"}
+
+
+def _call_consumer(func: ast.expr) -> AnnotationConsumer | None:
+    dotted = _dotted_name(func)
+    if dotted in {"typing.get_type_hints", "get_type_hints"}:
+        return AnnotationConsumer.TYPING_GET_TYPE_HINTS
+    if dotted == "inspect.get_annotations":
+        return AnnotationConsumer.INSPECT_GET_ANNOTATIONS
+    if dotted == "annotationlib.get_annotations":
+        return AnnotationConsumer.ANNOTATIONLIB_GET_ANNOTATIONS
+    if dotted in {"Depends", "fastapi.Depends"}:
+        return AnnotationConsumer.FASTAPI_DEPENDS
+    if dotted in {"Field", "pydantic.Field"}:
+        return AnnotationConsumer.PYDANTIC_FIELD
+    return None
+
+
+def _decorator_consumer(decorator: ast.expr) -> AnnotationConsumer | None:
+    dotted = _dotted_name(decorator.func if isinstance(decorator, ast.Call) else decorator)
+    if dotted in {"dataclass", "dataclasses.dataclass"}:
+        return AnnotationConsumer.DATACLASS_DECORATOR
+    if _is_fastapi_route_decorator_name(dotted):
+        return AnnotationConsumer.FASTAPI_ROUTE_DECORATOR
+    return None
+
+
+def _is_pydantic_base(expr: ast.expr) -> bool:
+    dotted = _dotted_name(expr)
+    return dotted in {"BaseModel", "pydantic.BaseModel"}
+
+
+def _is_fastapi_route_decorator_name(dotted: str | None) -> bool:
+    if dotted is None:
+        return False
+    route_suffixes = {
+        "get",
+        "post",
+        "put",
+        "delete",
+        "patch",
+        "options",
+        "head",
+        "websocket",
+        "api_route",
+    }
+    suffix = dotted.rsplit(".", 1)[-1]
+    return suffix in route_suffixes
+
+
+def _dotted_name(expr: ast.expr) -> str | None:
+    if isinstance(expr, ast.Name):
+        return expr.id
+    if isinstance(expr, ast.Attribute):
+        parent = _dotted_name(expr.value)
+        if parent is None:
+            return None
+        return f"{parent}.{expr.attr}"
+    return None

type_python-0.3.0.dist-info/METADATA

@@ -1,118 +0,0 @@
-Metadata-Version: 2.4
-Name: type-python
-Version: 0.3.0
-Summary: A statically-typed authoring language that compiles to standard Python
-Author: unadlib
-License-Expression: MIT
-Project-URL: Homepage, https://github.com/type-python/type-python
-Project-URL: Repository, https://github.com/type-python/type-python
-Project-URL: Documentation, https://github.com/type-python/type-python/tree/main/docs
-Project-URL: Issues, https://github.com/type-python/type-python/issues
-Keywords: typepython,type-checking,compiler,python,static-typing
-Classifier: Development Status :: 3 - Alpha
-Classifier: Intended Audience :: Developers
-Classifier: Programming Language :: Python :: 3
-Classifier: Programming Language :: Python :: 3.9
-Classifier: Programming Language :: Python :: 3.10
-Classifier: Programming Language :: Python :: 3.11
-Classifier: Programming Language :: Python :: 3.12
-Classifier: Programming Language :: Rust
-Classifier: Topic :: Software Development :: Compilers
-Classifier: Topic :: Software Development :: Quality Assurance
-Classifier: Typing :: Typed
-Requires-Python: >=3.9
-Description-Content-Type: text/markdown
-License-File: LICENSE
-Dynamic: license-file
-
-<p align="center">
-  <img src="https://raw.githubusercontent.com/type-python/type-python/main/logo.png" alt="TypePython" width="128" />
-</p>
-
-<h1 align="center">TypePython</h1>
-
-<p align="center">
-  <strong>Write richer types. Emit standard Python.</strong>
-</p>
-
----
-
-A statically-typed authoring language that compiles to standard Python.
-
-Write `.tpy` source files with `interface`, `data class`, `sealed class`, inline generics, and strict null safety. The compiler emits standard `.py` + `.pyi` files for Python 3.10-3.14. No custom runtime, no vendor lock-in.
-
-## Install
-
-```bash
-pip install type-python
-typepython --help
-```
-
-The Python package bridge supports **Python 3.9+**. Generated projects can target **Python 3.10 through 3.14**.
-
-Published wheels bundle the Rust CLI binary. Prebuilt wheels are available for Windows AMD64, macOS x86_64, macOS arm64, and Linux x86_64. Other platforms fall back to the source distribution and require Rust + `cargo`.
-
-## Quick Start
-
-```bash
-typepython init --dir my-project
-cd my-project
-typepython check --project .
-typepython build --project .
-```
-
-Example source:
-
-```python
-# src/app/__init__.tpy
-
-sealed class Expr:
-    pass
-
-data class Num(Expr):
-    value: int
-
-data class Add(Expr):
-    left: Expr
-    right: Expr
-
-def evaluate(expr: Expr) -> int:
-    match expr:
-        case Num(value=v):
-            return v
-        case Add(left=l, right=r):
-            return evaluate(l) + evaluate(r)
-    # Compiler proves all cases are covered -- no default needed.
-```
-
-## What You Get
-
-| Your code (`.tpy`)                | Emitted output (`.py` / `.pyi`)                    |
-| --------------------------------- | -------------------------------------------------- |
-| `sealed class Expr:`              | `class Expr:  # tpy:sealed`                        |
-| `data class Num(Expr):`           | `@dataclass` plus ordinary `class Num(Expr):`      |
-| `interface Drawable:`             | `class Drawable(Protocol):`                        |
-| `overload def f(x: int) -> int:`  | `@overload` plus ordinary `def f(x: int) -> int:`  |
-| `typealias Pair[T] = tuple[T, T]` | `T = TypeVar("T"); Pair: TypeAlias = tuple[T, T]`  |
-
-- **Rich type system** -- `unknown`, `dynamic`, `Never`, strict nulls, sealed exhaustiveness, generic defaults, TypeVarTuple
-- **TypedDict utilities** -- `Partial`, `Required_`, `Readonly`, `Mutable`, `Pick`, `Omit`
-- **Full toolchain** -- `init`, `check`, `build`, `watch`, `clean`, `verify`, `lsp`, `migrate`
-- **LSP server** -- hover, go-to-definition, references, rename, completions, signature help, diagnostics
-- **Standard output** -- emitted `.py` + `.pyi` work with mypy, pyright, and ty out of the box
-
-## Documentation
-
-- [Getting Started](https://github.com/type-python/type-python/blob/main/docs/getting-started.md)
-- [Syntax Guide](https://github.com/type-python/type-python/blob/main/docs/syntax-guide.md)
-- [Type System](https://github.com/type-python/type-python/blob/main/docs/type-system.md)
-- [Configuration](https://github.com/type-python/type-python/blob/main/docs/configuration.md)
-- [CLI Reference](https://github.com/type-python/type-python/blob/main/docs/cli-reference.md)
-- [Interoperability](https://github.com/type-python/type-python/blob/main/docs/interop.md)
-- [Language Spec](https://github.com/type-python/type-python/blob/main/docs/spec/language-spec-v1.md)
-
-## Links
-
-- [Repository](https://github.com/type-python/type-python)
-- [Issues](https://github.com/type-python/type-python/issues)
-- [License (MIT)](https://github.com/type-python/type-python/blob/main/LICENSE)

type_python-0.3.0.dist-info/RECORD

@@ -1,11 +0,0 @@
-type_python-0.3.0.dist-info/licenses/LICENSE,sha256=BMHUZ3id_LOrEdv_GmAbL1ttlKsqjZz14f1_M1tn73k,1089
-typepython/__init__.py,sha256=j68Z_JZemkGBrmytvTfDu3VOUxN8C5Ajo7ZEpVt1gxY,308
-typepython/__main__.py,sha256=m8cggQyLAOSPtb8r-uUv_g53whMoPXtF2NX9yLuPyLg,89
-typepython/_runner.py,sha256=DySWPTud0FIAv2-0xhmwAyt_kk3w3kFJWK8FcYSe858,1777
-typepython/annotation_compat.py,sha256=VKUJEAj9NdDWr1j5cB2OIWlupmDyWVYvQkpJ2Jer2m8,4223
-typepython/bin/typepython.exe,sha256=TaX26_INBP-1J0PyIAIBlY3tAtKHiPppnUdH0HpJh0o,11883008
-type_python-0.3.0.dist-info/METADATA,sha256=YuEUMYng1t8GVUNRkFlbaIznUDQm44k4-CdksuxHLEc,4864
-type_python-0.3.0.dist-info/WHEEL,sha256=GjDPPQwEcripVP6P2r3RxLa-h5Lb9ifGB7FYYtbLDT0,98
-type_python-0.3.0.dist-info/entry_points.txt,sha256=B5Yjdi-RWaeRy7YUcni1lU_ya2lVZXM8llSFNSKEq0U,56
-type_python-0.3.0.dist-info/top_level.txt,sha256=JFRFjt3AXvRQ99SKMxUVu9e3TOp2QpspvE-jk85uMjU,11
-type_python-0.3.0.dist-info/RECORD,,