implement import & scopedImport (WIP, ResolvePath resolves to string)

fix: null dynamic attrs
implement __functor
2026-05-07 18:27:58 +08:00 · 2026-05-07 18:27:58 +08:00 · 2026-05-07 18:27:58 +08:00 · 2026-05-07 18:27:58 +08:00 · 2026-05-07 18:27:58 +08:00 · 2026-05-07 18:27:58 +08:00
1 changed files with 1 additions and 1 deletions
@@ -30,7 +30,7 @@ impl<'id, 'ir> Ir<'ir, GhostRoRef<'id, 'ir>> {
        // - `Ir<'ir, R>` is `#[repr(C)]`, and for every field that depends on
        //   `R`, instantiating `R = GhostRef<'id, 'ir>` vs `R = RawRef<'ir>`
        //   produces types of identical layout:
-        //     - `R::IrRef` becomes `&'ir GhostCell<'id, Ir<…>>` vs `&'ir Ir<…>`
+        //     - `R::IrRef` becomes `&'ir GhostCell<'id, Ir<...>>` vs `&'ir Ir<...>`
        //     - `R::MaybeThunkRef` becomes `&'ir GhostCell<'id, MaybeThunk>`
        //       vs `&'ir MaybeThunk`
        //     - `R::Ref<Ir<'ir, R>>` (used in `ConcatStrings::parts`) reduces
Author	SHA1	Message	Date
imxyy1soope1	ed86c928d1	implement import & scopedImport (WIP, ResolvePath resolves to string)	2026-05-07 18:27:58 +08:00
imxyy1soope1	9df43f6152	fix: null dynamic attrs	2026-05-07 18:27:58 +08:00
imxyy1soope1	151dd4835c	implement __functor	2026-05-07 18:27:58 +08:00
imxyy1soope1	7fa2f44a87	refactor primops	2026-05-07 18:27:58 +08:00
imxyy1soope1	2e06c3ced5	refactor with	2026-05-07 18:27:58 +08:00
imxyy1soope1	8c093a8d42	implement Assert	2026-05-07 18:27:58 +08:00
imxyy1soope1	6a8ec079ea	document trying mechanism	2026-05-07 18:27:58 +08:00
imxyy1soope1	430d1218de	chore: update flake.lock	2026-05-07 18:27:58 +08:00
imxyy1soope1	1fc716c7be	ConcatStrings	2026-05-07 18:27:58 +08:00
imxyy1soope1	ec2726ff8d	implement dynamic key; implement __curPos; other small changes	2026-05-07 18:27:58 +08:00
imxyy1soope1	2c4c325307	implement \|> and <\|	2026-05-07 18:27:58 +08:00
imxyy1soope1	4419d38eb9	avoid thunking trivial values	2026-05-07 18:27:58 +08:00
imxyy1soope1	7a7a9c3735	refactor: use GAT in `enum Ir`	2026-05-07 18:27:58 +08:00