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
1.4 KiB
Rust
32 lines
1.4 KiB
Rust
#![allow(dead_code, non_upper_case_globals)]
|
|
struct Flag<const V: bool = true>;
|
|
struct Byte<const V: u8 = 7>;
|
|
struct Signed<const V: i32 = -7>;
|
|
struct Letter<const V: char = 'x'>;
|
|
fn flag(_: Flag<true>) {}
|
|
fn byte(_: Byte<7>) {}
|
|
fn signed(_: Signed<{-7}>) {}
|
|
fn letter(_: Letter<'x'>) {}
|
|
fn unwrap<const N: usize>(x: [u8; N]) -> [u8; { N }] { x }
|
|
trait Value<const N: u8> { const V: u8; }
|
|
struct X;
|
|
impl Value<1> for X { const V: u8 = 13; }
|
|
impl Value<2> for X { const V: u8 = 29; }
|
|
const FIRST: u8 = <X as Value<1>>::V;
|
|
const SECOND: u8 = <X as Value<2>>::V;
|
|
trait Val { const N: usize; }
|
|
struct Three;
|
|
struct Twice<T>(T);
|
|
impl Val for Three { const N: usize = 3; }
|
|
impl<T: Val> Val for Twice<T> { const N: usize = T::N * 2; }
|
|
const fn add(a: usize, b: usize) -> usize { a + b }
|
|
const A: usize = <Twice<Three> as Val>::N;
|
|
const B: usize = <Twice<Twice<Three>> as Val>::N;
|
|
const C: usize = add(add(1, 2), add(3, 4));
|
|
#[test] fn bool_default() { let f: Flag = Flag; flag(f); }
|
|
#[test] fn byte_default() { let b: Byte = Byte; byte(b); }
|
|
#[test] fn signed_default() { let s: Signed = Signed; signed(s); }
|
|
#[test] fn char_default() { let c: Letter = Letter; letter(c); }
|
|
#[test] fn one_block_const_param() { assert_eq!(unwrap([1, 2]), [1, 2]); }
|
|
#[test] fn assoc_const_selection() { assert_eq!(FIRST, 13); assert_eq!(SECOND, 29); }
|
|
#[test] fn nested_const_frames() { assert_eq!(A, 6); assert_eq!(B, 12); assert_eq!(C, 10); }
|