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>
41 lines
2 KiB
Rust
41 lines
2 KiB
Rust
use std::relax::{Edit, Module};
|
|
|
|
#[inline(never)]
|
|
pub fn host_collision() -> i32 {
|
|
let color = 1;
|
|
color
|
|
}
|
|
|
|
#[test]
|
|
fn visibility() {
|
|
assert_eq!(host_collision(), 1);
|
|
let base = "pub fn own_collision() -> i32 { let color = 2; color }";
|
|
let direct = "pub fn direct_collision() -> i32 { let color = 3; color }";
|
|
let transitive = "pub fn transitive_collision() -> i32 { let color = 4; color }";
|
|
let sibling = "pub fn sibling_collision() -> i32 { let color = 5; color }";
|
|
let a = Module::load_source("visible_a", "memory/visible_a.rs", base, &["test_crate"]).unwrap();
|
|
let b = Module::load_source("visible_b", "memory/visible_b.rs", direct, &["visible_a"]).unwrap();
|
|
let c = Module::load_source("visible_c", "memory/visible_c.rs", transitive, &["visible_b"]).unwrap();
|
|
let s = Module::load_source("visible_s", "memory/visible_s.rs", sibling, &["test_crate"]).unwrap();
|
|
let af = a.get::<fn() -> i32>("own_collision").unwrap();
|
|
let bf = b.get::<fn() -> i32>("direct_collision").unwrap();
|
|
let cf = c.get::<fn() -> i32>("transitive_collision").unwrap();
|
|
let sf = s.get::<fn() -> i32>("sibling_collision").unwrap();
|
|
assert_eq!((af(), bf(), cf(), sf()), (2, 3, 4, 5));
|
|
|
|
// The host dependency and unrelated sibling mention the same added name;
|
|
// only this crate and its direct/transitive dependents may be checked.
|
|
eprintln!("visibility: base begin");
|
|
assert_eq!(a.finish_stream(&format!("{} fn color() -> i32 {{ 9 }}", base)).unwrap(), Edit::Patched);
|
|
eprintln!("visibility: base end");
|
|
assert_eq!((af(), bf(), cf(), sf()), (2, 3, 4, 5));
|
|
|
|
// A leaf edit must not check any body in its dependencies or sibling crates.
|
|
eprintln!("visibility: leaf begin");
|
|
assert_eq!(c.finish_stream(&format!("{} fn color() -> i32 {{ 9 }}", transitive)).unwrap(), Edit::Patched);
|
|
eprintln!("visibility: leaf end");
|
|
assert_eq!((af(), bf(), cf(), sf()), (2, 3, 4, 5));
|
|
assert_eq!(host_collision(), 1);
|
|
c.unload(); b.unload(); a.unload(); s.unload();
|
|
println!("out crate visibility: true");
|
|
}
|