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>
16 lines
441 B
Rust
16 lines
441 B
Rust
// 7.1 / 7.3: item edits that do not type-check are refused whole, and leave nothing behind.
|
|
// v1: an added fn has a type error: refused (the running program is unchanged).
|
|
// v2: `a` is removed while `b` still calls it: refused, the error at the call.
|
|
// v3: `c` is added, `b` calls it, `a` is removed: applies.
|
|
fn a(x: u64) -> u64 {
|
|
x + 1
|
|
}
|
|
|
|
fn b(x: u64) -> u64 {
|
|
a(x) * 2
|
|
}
|
|
|
|
#[test]
|
|
fn run() {
|
|
println!("out {}", b(5));
|
|
}
|