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>
36 lines
1,021 B
Rust
36 lines
1,021 B
Rust
// 4.3: enum variant edits while a live value holds a variant.
|
|
// v1: a variant is inserted before the held one (discriminants move) and describe() gains its arm:
|
|
// the held value is still C.
|
|
// v2: the held variant C is removed and the enum has no #[default]: refused, the value's home is
|
|
// named, the running code is unchanged.
|
|
use std::cell::RefCell;
|
|
|
|
#[derive(Debug)]
|
|
enum Mode {
|
|
A,
|
|
X(u64, u64),
|
|
B(u32),
|
|
C { level: u8 },
|
|
}
|
|
|
|
thread_local! {
|
|
static HELD: RefCell<Option<Mode>> = RefCell::new(None);
|
|
}
|
|
|
|
fn describe(m: &Mode) -> String {
|
|
match m {
|
|
Mode::C { level } => format!("C{}", level),
|
|
Mode::X(a, b) => format!("X{}", a + b),
|
|
other => format!("{:?}", other),
|
|
}
|
|
}
|
|
|
|
#[test]
|
|
fn run() {
|
|
HELD.with(|h| {
|
|
if h.borrow().is_none() {
|
|
*h.borrow_mut() = Some(Mode::C { level: 4 });
|
|
}
|
|
println!("out held {} fresh {} {}", describe(h.borrow().as_ref().unwrap()), describe(&Mode::B(7)), describe(&Mode::X(1, 2)));
|
|
});
|
|
}
|