Skip to content

TypedPython: @compiled is the only mark; drop the module pragma - #357

Merged
b-re-w merged 2 commits into
developfrom
feat/typedpython-drop-module-pragma
Oct 29, 2026
Merged

b-re-w merged 2 commits into
developfrom
feat/typedpython-drop-module-pragma

Conversation

@b-re-w

@b-re-w b-re-w commented Oct 29, 2026

Copy link
Copy Markdown
Member

Closes #353

Maintainer decision 2026-10-30: keep only @compiled. The first-line # typedpython: compiled pragma is now an ordinary comment (detection and MARKER removed). Tests, the Kotlin-bridge fixture, benchmarks (run.py with_compiled decorates every top-level def and class, the set the pragma covered), the release example, SPEC N-8 and the design doc use @compiled. Child processes in tests install the builtin themselves (plain CPython has no typedpython_builtins.pth).

Local macOS, CI-style env: 1691 passed, 3 skipped (before the child-shim fix: 68 failed).

…piled' module pragma

The maintainer decided (2026-10-30) to keep only the builtin @compiled. The pragma is now an ordinary comment; tests, the Kotlin-bridge fixture, benchmarks and the release example decorate the functions the pragma used to cover.
…elves

Plain CPython without typedpython_builtins.pth has no builtins.compiled; the child scripts now prepend conftest's COMPILED_SHIM. Also fixes test_regions' split that left a dangling @compiled.
@b-re-w
b-re-w merged commit cc14724 into develop Oct 29, 2026
@b-re-w
b-re-w deleted the feat/typedpython-drop-module-pragma branch October 29, 2026 20:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant