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>
45 lines
1.4 KiB
Rust
45 lines
1.4 KiB
Rust
// F33: a glob re-export carries only the bindings visible to the importer (rustc_resolve
|
|
// imports.rs: glob binding vis = min(glob vis, binding vis)); a module's private `use` of a
|
|
// trait must not put that trait in scope for `use lib::*` users.
|
|
use std::cell::RefCell;
|
|
mod lib {
|
|
pub mod string {
|
|
#[allow(unused_imports)]
|
|
use std::borrow::Borrow;
|
|
pub fn n() -> u32 { 1 }
|
|
pub(crate) fn inner() -> u32 { 2 }
|
|
pub mod child {
|
|
use super::*;
|
|
// a child sees its parent's private imports through `use super::*`
|
|
pub fn b(s: &String) -> usize { let x: &str = s.borrow(); x.len() }
|
|
}
|
|
}
|
|
pub use string::*;
|
|
}
|
|
mod user {
|
|
use super::lib::*;
|
|
use std::cell::RefCell;
|
|
pub fn f(c: &RefCell<Vec<u32>>) -> usize {
|
|
// RefCell::borrow, not Borrow::borrow (Borrow is not in scope here)
|
|
let v = c.borrow();
|
|
v.len() + n() as usize + inner() as usize
|
|
}
|
|
}
|
|
mod shadow {
|
|
mod a { pub struct X(pub u32); }
|
|
mod b {
|
|
#[allow(dead_code)]
|
|
struct X(pub u64);
|
|
pub fn g() -> u32 { 7 }
|
|
}
|
|
pub use a::*;
|
|
pub use b::*;
|
|
pub fn h() -> u32 { X(5).0 + g() }
|
|
}
|
|
#[test]
|
|
fn glob_private_use_does_not_leak() {
|
|
let c = RefCell::new(vec![1u32, 2, 3]);
|
|
assert_eq!(user::f(&c), 6);
|
|
assert_eq!(lib::string::child::b(&String::from("abcd")), 4);
|
|
assert_eq!(shadow::h(), 12);
|
|
}
|