b22a714840
The JIT that runs makepad apps from source: lexer, front end, type checker, lazy borrow checker (Gandalf; `--check-first` opts in), codegen, session and warm/cold caches keyed by compiler stamp, provided crates bound late, startup images, live patching. User-facing name is `makepad run` (binary `makepad`, MAKEPAD_RUN_* env, ~/.makepad-run); libs/relax stays the internal library name. `makepad check` reports rustc-style diagnostics with rustc error codes and checks a whole workspace (`--workspace`). Runs on macOS, Linux, Windows and Android. makepad-remote: one tool schema for apps and the WM (app/1): grabs, captures, traces, frame profiles and tweaks. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
32 lines
2.1 KiB
Markdown
32 lines
2.1 KiB
Markdown
# Source-matched native proc macros
|
|
|
|
This package depends on the enclosing Makepad checkout's expansion libraries by path.
|
|
The `relax-tokens` feature of `makepad-micro-proc-macro` selects the Relax Rust token model
|
|
for these normal dependencies. Cargo's resolver 2 keeps rustc's host proc-macro builds
|
|
on the standard `proc_macro` API.
|
|
|
|
`build.rs` embeds the actual packages' manifests and source files for runtime identity
|
|
checks and generates bindings from those same wrapper sources. It removes only
|
|
proc-macro entry annotations and redirects their token imports. There is no snapshot
|
|
or manual sync step; changing the checkout's sources rebuilds the identity and bindings.
|
|
|
|
The compiler validates every source and manifest in a macro's dependency closure, its
|
|
edition, feature policy, and dependency aliases before dispatching to this library.
|
|
Changing a wrapper, helper, implementation, or dependency makes that unit use the JIT.
|
|
New or unsupported proc macros also use the JIT. No disk cache or runtime build is added.
|
|
|
|
Review feature policy in `compiler/src/native_macros.rs` when updating: only the current
|
|
wrapper's unused `default`/`nightly` markers and live-id's empty `default` are accepted.
|
|
Expansion implementations have no features; the program's proc-macro helper must have
|
|
`relax-tokens` disabled. The live-id library is an unused dependency
|
|
of the widget wrapper, retained for complete graph validation; it is not linked here.
|
|
|
|
`MAKEPAD_RUN_NATIVE_MACROS=0` selects the hosted path for comparisons.
|
|
`MAKEPAD_RUN_NATIVE_VERIFY=1` runs both paths and compares the entire encoded token stream,
|
|
including every source span. `MAKEPAD_RUN_PARSE_VERIFY=1` compares worker results with fresh
|
|
collection-scope parses, including AST arrays, tokens, source/hygiene maps, macro
|
|
publications, and file preparation. Use those flags for verification, not timing.
|
|
|
|
Derives execute concurrently on the existing parse workers, for Rust files.
|
|
The serial-loader fallback retains the front end's derive pre-expansion pool for Rust
|
|
source. Extra nested derive pools are unnecessary for the normal worker path.
|