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

fix: null dynamic attrs
implement __functor
2026-05-07 18:23:14 +08:00 · 2026-05-05 00:28:38 +08:00 · 2026-05-04 21:50:27 +08:00 · 2026-05-04 21:50:27 +08:00 · 2026-05-04 21:50:27 +08:00 · 2026-05-04 21:50:27 +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	c1c5681d13	implement import & scopedImport (WIP, ResolvePath resolves to string)	2026-05-07 18:23:14 +08:00
imxyy1soope1	eb59f4fb67	fix: null dynamic attrs	2026-05-05 00:28:38 +08:00
imxyy1soope1	2fd034965b	implement __functor	2026-05-04 21:50:27 +08:00
imxyy1soope1	b5246c04ae	refactor primops	2026-05-04 21:50:27 +08:00
imxyy1soope1	b8e14c62a4	refactor with	2026-05-04 21:50:27 +08:00
imxyy1soope1	2656b0bc11	implement Assert	2026-05-04 21:50:27 +08:00
imxyy1soope1	8192e60063	document trying mechanism	2026-05-04 21:50:27 +08:00
imxyy1soope1	0ecf01204e	chore: update flake.lock	2026-05-04 21:50:27 +08:00
imxyy1soope1	f666bb498f	ConcatStrings	2026-05-04 21:50:27 +08:00
imxyy1soope1	4f7d94f41b	implement dynamic key; implement __curPos; other small changes	2026-05-04 21:50:27 +08:00
imxyy1soope1	a66748e42d	implement \|> and <\|	2026-05-04 21:50:27 +08:00
imxyy1soope1	f39fc5fc49	avoid thunking trivial values	2026-05-04 21:50:27 +08:00
imxyy1soope1	5dd160cc43	refactor: use GAT in `enum Ir`	2026-05-04 21:50:27 +08:00