Hojun-Cho/ww
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Revert "wwstage: add tinfo.module field, P0 of (module,name) NAMED interning (#10)"

Browse Source 
This reverts commit f68a4c185b.
This commit is contained in:
Hojun-Cho
2026-05-31 15:39:13 +09:00
parent f68a4c185b
commit 2e760d070d
3 changed files with 3 additions and 39 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
lib/ww/typ.ww
View File

@@ -136,18 +136,6 @@ type tinfo = struct {
// still lives at slotsize()'s read site; // still lives at slotsize()'s read site;
// graduating it here would break `[N]i32` // graduating it here would break `[N]i32`
// stride (4*N stays natural). // stride (4*N stays natural).
module: str, // #10 P0: defining module of a TY_NAMED, the
// declaring `// MODULE: foo` (node.nmod) where
// `type foo = …` lives — NOT the importing
// referrer. With `name` it forms the (module,
// name) intern key that re-keys the canonical-
// NAMED cache off the per-module sym, so one
// nominal type yields one tinfo pointer across
// modules (typeeq's NAMED arm is pure ptr-id).
// Mirrors harec alias.ident (type_store.c:737).
// "" for primitives + builtins + every non-
// NAMED tinfo (consulted only by the NAMED
// intern path). P0 sets the field; P1 keys on it.
}; };
// #61 audit §1.8 / Rob+Drew convergence 2026-05-20: memoizes // #61 audit §1.8 / Rob+Drew convergence 2026-05-20: memoizes
@@ -197,7 +185,7 @@ type tctx = struct {
// ---- constructors ----------------------------------------------------- // ---- constructors -----------------------------------------------------
export fn newtype(k: tykind) *tinfo = { export fn newtype(k: tykind) *tinfo = {
let t: *tinfo = alloc(tinfo{kind=k, size=0u64, align=0u64, sub=nil, alen=0u64, fields=nil, params=nil, tupleelems=nil, ret=nil, variadic=0, nullable=0, name="", under=nil, slotsize=0u64, module=""})!; let t: *tinfo = alloc(tinfo{kind=k, size=0u64, align=0u64, sub=nil, alen=0u64, fields=nil, params=nil, tupleelems=nil, ret=nil, variadic=0, nullable=0, name="", under=nil, slotsize=0u64})!;
return t; return t;
}; };

14
selfhost/cmd/w6c/main.combined.ww
View File

@@ -9378,18 +9378,6 @@ type tinfo = struct {
// still lives at slotsize()'s read site; // still lives at slotsize()'s read site;
// graduating it here would break `[N]i32` // graduating it here would break `[N]i32`
// stride (4*N stays natural). // stride (4*N stays natural).
module: str, // #10 P0: defining module of a TY_NAMED, the
// declaring `// MODULE: foo` (node.nmod) where
// `type foo = …` lives — NOT the importing
// referrer. With `name` it forms the (module,
// name) intern key that re-keys the canonical-
// NAMED cache off the per-module sym, so one
// nominal type yields one tinfo pointer across
// modules (typeeq's NAMED arm is pure ptr-id).
// Mirrors harec alias.ident (type_store.c:737).
// "" for primitives + builtins + every non-
// NAMED tinfo (consulted only by the NAMED
// intern path). P0 sets the field; P1 keys on it.
}; };
// #61 audit §1.8 / Rob+Drew convergence 2026-05-20: memoizes // #61 audit §1.8 / Rob+Drew convergence 2026-05-20: memoizes
@@ -9439,7 +9427,7 @@ type tctx = struct {
// ---- constructors ----------------------------------------------------- // ---- constructors -----------------------------------------------------
export fn newtype(k: tykind) *tinfo = { export fn newtype(k: tykind) *tinfo = {
let t: *tinfo = alloc(tinfo{kind=k, size=0u64, align=0u64, sub=nil, alen=0u64, fields=nil, params=nil, tupleelems=nil, ret=nil, variadic=0, nullable=0, name="", under=nil, slotsize=0u64, module=""})!; let t: *tinfo = alloc(tinfo{kind=k, size=0u64, align=0u64, sub=nil, alen=0u64, fields=nil, params=nil, tupleelems=nil, ret=nil, variadic=0, nullable=0, name="", under=nil, slotsize=0u64})!;
return t; return t;
}; };

14
selfhost/cmd/wwdump/main.combined.ww
View File

@@ -9378,18 +9378,6 @@ type tinfo = struct {
// still lives at slotsize()'s read site; // still lives at slotsize()'s read site;
// graduating it here would break `[N]i32` // graduating it here would break `[N]i32`
// stride (4*N stays natural). // stride (4*N stays natural).
module: str, // #10 P0: defining module of a TY_NAMED, the
// declaring `// MODULE: foo` (node.nmod) where
// `type foo = …` lives — NOT the importing
// referrer. With `name` it forms the (module,
// name) intern key that re-keys the canonical-
// NAMED cache off the per-module sym, so one
// nominal type yields one tinfo pointer across
// modules (typeeq's NAMED arm is pure ptr-id).
// Mirrors harec alias.ident (type_store.c:737).
// "" for primitives + builtins + every non-
// NAMED tinfo (consulted only by the NAMED
// intern path). P0 sets the field; P1 keys on it.
}; };
// #61 audit §1.8 / Rob+Drew convergence 2026-05-20: memoizes // #61 audit §1.8 / Rob+Drew convergence 2026-05-20: memoizes
@@ -9439,7 +9427,7 @@ type tctx = struct {
// ---- constructors ----------------------------------------------------- // ---- constructors -----------------------------------------------------
export fn newtype(k: tykind) *tinfo = { export fn newtype(k: tykind) *tinfo = {
let t: *tinfo = alloc(tinfo{kind=k, size=0u64, align=0u64, sub=nil, alen=0u64, fields=nil, params=nil, tupleelems=nil, ret=nil, variadic=0, nullable=0, name="", under=nil, slotsize=0u64, module=""})!; let t: *tinfo = alloc(tinfo{kind=k, size=0u64, align=0u64, sub=nil, alen=0u64, fields=nil, params=nil, tupleelems=nil, ret=nil, variadic=0, nullable=0, name="", under=nil, slotsize=0u64})!;
return t; return t;
}; };