ziglang/zig
259
6.0k
Fork
You've already forked zig
771

Use struct-of-arrays style for std.lang.Type #35234

Merged
mlugg merged 3 commits from Der_Teufel/zig:soa-builtin-type into master 2026年05月28日 09:46:01 +02:00
Contributor
Copy link

Implements #32046

Deprecates std.meta.fields and std.meta.declarationInfo, adds std.meta.fieldTypes helper

Implements #32046 Deprecates `std.meta.fields` and `std.meta.declarationInfo`, adds `std.meta.fieldTypes` helper
Der_Teufel changed title from (削除) Use struct-of-arrays style for std.builtin.Type (削除ここまで) to Use struct-of-arrays style for std.lang.Type 2026年05月07日 02:55:05 +02:00
Der_Teufel force-pushed soa-builtin-type from 642a9eeacd
Some checks failed
ci / aarch64-freebsd-debug (pull_request) Waiting to run
ci / aarch64-freebsd-release (pull_request) Waiting to run
ci / aarch64-netbsd-debug (pull_request) Waiting to run
ci / aarch64-netbsd-release (pull_request) Waiting to run
ci / loongarch64-linux-debug (pull_request) Waiting to run
ci / loongarch64-linux-release (pull_request) Waiting to run
ci / riscv64-linux-debug (pull_request) Waiting to run
ci / riscv64-linux-release (pull_request) Waiting to run
ci / x86_64-netbsd-release (pull_request) Successful in 45m25s
ci / x86_64-freebsd-release (pull_request) Successful in 50m0s
ci / x86_64-netbsd-debug (pull_request) Successful in 54m43s
ci / x86_64-freebsd-debug (pull_request) Successful in 57m35s
ci / aarch64-macos-release (pull_request) Successful in 57m41s
ci / x86_64-windows-release (pull_request) Successful in 1h0m34s
ci / x86_64-openbsd-release (pull_request) Successful in 1h1m29s
ci / aarch64-macos-debug (pull_request) Successful in 1h2m49s
ci / x86_64-openbsd-debug (pull_request) Successful in 1h12m47s
ci / x86_64-windows-debug (pull_request) Successful in 1h14m4s
ci / x86_64-linux-debug (pull_request) Successful in 1h23m53s
ci / aarch64-linux-release (pull_request) Successful in 1h31m41s
ci / powerpc64le-linux-release (pull_request) Successful in 2h6m20s
ci / x86_64-linux-release (pull_request) Failing after 2h6m19s
ci / aarch64-linux-debug (pull_request) Successful in 2h25m19s
ci / x86_64-linux-debug-llvm (pull_request) Successful in 2h48m42s
ci / powerpc64le-linux-debug (pull_request) Successful in 4h11m5s
ci / s390x-linux-release (pull_request) Successful in 1h44m57s
ci / s390x-linux-debug (pull_request) Successful in 2h30m20s
to f1c71a48a6
All checks were successful
ci / x86_64-netbsd-release (pull_request) Successful in 33m0s
ci / x86_64-freebsd-release (pull_request) Successful in 37m28s
ci / x86_64-windows-release (pull_request) Successful in 40m39s
ci / x86_64-netbsd-debug (pull_request) Successful in 41m59s
ci / x86_64-openbsd-release (pull_request) Successful in 43m55s
ci / x86_64-freebsd-debug (pull_request) Successful in 44m58s
ci / x86_64-openbsd-debug (pull_request) Successful in 52m55s
ci / aarch64-macos-release (pull_request) Successful in 53m31s
ci / x86_64-windows-debug (pull_request) Successful in 1h1m8s
ci / aarch64-macos-debug (pull_request) Successful in 1h4m51s
ci / x86_64-linux-debug (pull_request) Successful in 1h17m56s
ci / aarch64-linux-release (pull_request) Successful in 1h26m18s
ci / powerpc64le-linux-release (pull_request) Successful in 2h4m10s
ci / x86_64-linux-debug-llvm (pull_request) Successful in 2h45m49s
ci / aarch64-linux-debug (pull_request) Successful in 2h51m20s
ci / x86_64-linux-release (pull_request) Successful in 2h57m54s
ci / s390x-linux-release (pull_request) Successful in 1h27m21s
ci / powerpc64le-linux-debug (pull_request) Successful in 4h8m10s
ci / s390x-linux-debug (pull_request) Successful in 2h39m15s
ci / loongarch64-linux-release (pull_request) Successful in 2h0m27s
ci / loongarch64-linux-debug (pull_request) Successful in 3h26m23s
ci / riscv64-linux-debug (pull_request) Has been skipped
ci / riscv64-linux-release (pull_request) Has been skipped
ci / aarch64-freebsd-debug (pull_request) Successful in 3h43m55s
ci / aarch64-freebsd-release (pull_request) Successful in 2h34m27s
ci / aarch64-netbsd-debug (pull_request) Successful in 4h25m28s
ci / aarch64-netbsd-release (pull_request) Successful in 3h8m49s
2026年05月08日 04:54:48 +02:00 Compare
Der_Teufel changed title from (削除) Use struct-of-arrays style for std.lang.Type (削除ここまで) to Use struct-of-arrays style for std.lang.Type (BREAKING!) 2026年05月14日 23:46:04 +02:00
mlugg requested changes 2026年05月20日 09:32:14 +02:00
Dismissed
mlugg left a comment
Copy link

Thank you for doing this! On the whole, this looks like great work.

I have a couple of review comments suggesting using a function Value.uninterpret in the Sema logic. That suggestion is non-blocking; I mainly just left that comment to make sure you knew about that function, because it can be handy at times!

The other comments I'd appreciate if you could quickly address, and in particular just clarify whether you meant to leave that commented-out block in lib/std/multi_array_list.zig.

Also, would it be possible to rebase this branch? The merge commits made the diff a little tricky to follow. But if the rebase is too confusing (since it looks like it crossed the std.builtin->std.lang migration) that's totally understandable, I can sort it out myself.

Let me know once you've done everything you plan to do and I'll take it from there. I'll clean up the commit history a little, probably do some small simplifications in Sema things, regenerate the zig1.wasm update, and then it should be merge-ready.

Thanks again!

Thank you for doing this! On the whole, this looks like great work. I have a couple of review comments suggesting using a function `Value.uninterpret` in the `Sema` logic. That suggestion is non-blocking; I mainly just left that comment to make sure you knew about that function, because it can be handy at times! The other comments I'd appreciate if you could quickly address, and in particular just clarify whether you meant to leave that commented-out block in `lib/std/multi_array_list.zig`. Also, would it be possible to rebase this branch? The merge commits made the diff a little tricky to follow. But if the rebase is too confusing (since it looks like it crossed the `std.builtin`->`std.lang` migration) that's totally understandable, I can sort it out myself. Let me know once you've done everything you plan to do and I'll take it from there. I'll clean up the commit history a little, probably do some small simplifications in Sema things, regenerate the `zig1.wasm` update, and then it should be merge-ready. Thanks again!
lib/std/meta.zig Outdated
@ -359,3 +270,1 @@
trytesting.expect(comptimesf[0].type==u8);
trytesting.expect(comptimeuf[0].type==u8);
}
pubconstdeclarationInfo=@compileError("Deprecated. Use @hasDecl instead");
Owner
Copy link
/// To be removed after Zig 0.17.0 is tagged.pubconstdeclarationInfo=@compileError("Deprecated; use '@hasDecl' instead");/// To be removed after Zig 0.17.0 is tagged.pubconstfields=@compileError("Deprecated; use 'fieldNames' and 'fieldTypes' instead");
```zig /// To be removed after Zig 0.17.0 is tagged. pub const declarationInfo = @compileError("Deprecated; use '@hasDecl' instead"); /// To be removed after Zig 0.17.0 is tagged. pub const fields = @compileError("Deprecated; use 'fieldNames' and 'fieldTypes' instead"); ```
mlugg marked this conversation as resolved
@ -186,3 +176,3 @@
constSelf=@This();
constfields=meta.fields(Elem);
// const fields: struct {
Owner
Copy link

What's the deal with this commented-out logic? Did you mean to delete this?

What's the deal with this commented-out logic? Did you mean to delete this?
mlugg marked this conversation as resolved
@ -1079,0 +1080,4 @@
&new_names,
&new_types,
)|elem_field_name,elem_field_type,*new_name,*NewType|{
new_name.*=elem_field_name;
Owner
Copy link

Looks like new_names doesn't need to exist at all, right? Just pass elem_info.field_names into the @Struct call below. So:

constelem_info=@typeInfo(Elem).@"struct";varnew_types:[elem_info.field_types.len]type=undefined;for(&new_types,elem_info.field_types)|*NewType,ElemFieldType|{NewType.*=*[len]ElemFieldType;}if(elem_info.is_tuple){return@Tuple(&new_types);}else{return@Struct(.auto,null,elem_info.field_names,&new_types,&@splat(.{}));}
Looks like `new_names` doesn't need to exist at all, right? Just pass `elem_info.field_names` into the `@Struct` call below. So: ```zig const elem_info = @typeInfo(Elem).@"struct"; var new_types: [elem_info.field_types.len]type = undefined; for (&new_types, elem_info.field_types) |*NewType, ElemFieldType| { NewType.* = *[len]ElemFieldType; } if (elem_info.is_tuple) { return @Tuple(&new_types); } else { return @Struct(.auto, null, elem_info.field_names, &new_types, &@splat(.{})); } ```
mlugg marked this conversation as resolved
@ -1097,0 +1104,4 @@
&new_names,
&new_types,
)|elem_field_name,elem_field_type,*new_name,*NewType|{
new_name.*=elem_field_name;
Owner
Copy link

Likewise here.

Likewise here.
mlugg marked this conversation as resolved
src/Sema.zig Outdated
@ -16141,0 +16182,4 @@
.ty=(trypt.optionalType(addrspace_ty.toIntern())).toIntern(),
.val=switch(info.flags.address_space){
.generic=>.none,
else=>(trypt.enumValueFieldIndex(addrspace_ty,@intFromEnum(info.flags.address_space))).toIntern(),
Owner
Copy link

@typeInfo should never set this field to null! There is always an address space.

Also, consider using Value.uninterpret---something like this:

.val=(Value.uninterpret(info.flags.address_space,addrspace_ty,pt)catch|err|switch(err){error.TypeMismatch=>@panic("std.lang is corrupt"),error.OutOfMemory=>|e|returne,}).toIntern(),

uninterpret is a general function for converting between a value known to the compiler implementation, and a comptime-known value in the program being compiled. Using it has a couple of benefits:

  • It can detect certain changes to std.lang and panic instead of just triggering IB
  • The compiler can be built in such a way that it maps enum values, struct fields, etc, by name instead of by index or tag value; zig1 is built with this setting, which makes it easier for us to make certain changes to std.lang (e.g. rearranging AddressSpace fields)
`@typeInfo` should never set this field to `null`! There is always an address space. Also, consider using `Value.uninterpret`---something like this: ```zig .val = (Value.uninterpret(info.flags.address_space, addrspace_ty, pt) catch |err| switch (err) { error.TypeMismatch => @panic("std.lang is corrupt"), error.OutOfMemory => |e| return e, }).toIntern(), ``` `uninterpret` is a general function for converting between a value known to the compiler implementation, and a comptime-known value in the program being compiled. Using it has a couple of benefits: * It can detect certain changes to `std.lang` and panic instead of just triggering IB * The compiler can be built in such a way that it maps enum values, struct fields, etc, by name instead of by index or tag value; zig1 is built with this setting, which makes it easier for us to make certain changes to `std.lang` (e.g. rearranging `AddressSpace` fields)
mlugg marked this conversation as resolved
src/Sema.zig Outdated
@ -16330,0 +16379,4 @@
constenum_mode:Value=trypt.enumValueFieldIndex(enum_mode_ty,@intFromEnum(enum_mode_tag));
constenum_field_name_vals=trysema.arena.alloc(InternPool.Index,enum_obj.field_names.len);
Owner
Copy link

Same deal with Value.uninterpret (by the way, it would be reasonable to make a small wrapper function in Sema which does the catch ... @panic for you, much like the existing Sema.interpretStdLangType for the opposite operation)

Same deal with `Value.uninterpret` (by the way, it would be reasonable to make a small wrapper function in `Sema` which does the `catch ... @panic` for you, much like the existing `Sema.interpretStdLangType` for the opposite operation)
src/Sema.zig Outdated
@ -16435,0 +16520,4 @@
defergpa.free(union_field_names);
constunion_field_types=trygpa.alloc(InternPool.Index,enum_obj.field_names.len);
defergpa.free(union_field_types);
constunion_field_attrs=trygpa.alloc(InternPool.Index,enum_obj.field_names.len);
Owner
Copy link

This doesn't need to exist, because it's identical to union_obj.field_types.get(ip)! You can just use that slice directly when building field_types_val later. (Same in the .@"struct" case below.)

This doesn't need to exist, because it's identical to `union_obj.field_types.get(ip)`! You can just use that slice directly when building `field_types_val` later. (Same in the `.@"struct"` case below.)
mlugg marked this conversation as resolved
mlugg left a comment
Copy link

Thank you for doing this! On the whole, this looks like great work.

I have a couple of review comments suggesting using a function Value.uninterpret in the Sema logic. That suggestion is non-blocking; I mainly just left that comment to make sure you knew about that function, because it can be handy at times!

The other comments I'd appreciate if you could quickly address, and in particular just clarify whether you meant to leave that commented-out block in lib/std/multi_array_list.zig.

Also, would it be possible to rebase this branch? The merge commits made the diff a little tricky to follow. But if the rebase is too confusing (since it looks like it crossed the std.builtin->std.lang migration) that's totally understandable, I can sort it out myself.

Let me know once you've done everything you plan to do and I'll take it from there. I'll clean up the commit history a little, probably do some small simplifications in Sema things, regenerate the zig1.wasm update, and then it should be merge-ready.

Thanks again!

Thank you for doing this! On the whole, this looks like great work. I have a couple of review comments suggesting using a function `Value.uninterpret` in the `Sema` logic. That suggestion is non-blocking; I mainly just left that comment to make sure you knew about that function, because it can be handy at times! The other comments I'd appreciate if you could quickly address, and in particular just clarify whether you meant to leave that commented-out block in `lib/std/multi_array_list.zig`. Also, would it be possible to rebase this branch? The merge commits made the diff a little tricky to follow. But if the rebase is too confusing (since it looks like it crossed the `std.builtin`->`std.lang` migration) that's totally understandable, I can sort it out myself. Let me know once you've done everything you plan to do and I'll take it from there. I'll clean up the commit history a little, probably do some small simplifications in Sema things, regenerate the `zig1.wasm` update, and then it should be merge-ready. Thanks again!
mlugg changed title from (削除) Use struct-of-arrays style for std.lang.Type (BREAKING!) (削除ここまで) to Use struct-of-arrays style for std.lang.Type 2026年05月20日 09:41:38 +02:00
Der_Teufel force-pushed soa-builtin-type from ba1fb36bd8
All checks were successful
ci / x86_64-netbsd-release (pull_request) Successful in 50m30s
ci / riscv64-linux-debug (pull_request) Has been skipped
ci / riscv64-linux-release (pull_request) Has been skipped
ci / x86_64-freebsd-release (pull_request) Successful in 53m6s
ci / x86_64-openbsd-release (pull_request) Successful in 53m39s
ci / aarch64-macos-release (pull_request) Successful in 54m19s
ci / x86_64-netbsd-debug (pull_request) Successful in 54m49s
ci / x86_64-freebsd-debug (pull_request) Successful in 54m49s
ci / x86_64-windows-debug (pull_request) Successful in 1h1m36s
ci / x86_64-windows-release (pull_request) Successful in 1h4m36s
ci / aarch64-macos-debug (pull_request) Successful in 1h12m38s
ci / x86_64-openbsd-debug (pull_request) Successful in 1h12m53s
ci / x86_64-linux-debug (pull_request) Successful in 1h14m59s
ci / s390x-linux-release (pull_request) Successful in 1h29m23s
ci / aarch64-linux-release (pull_request) Successful in 1h29m43s
ci / powerpc64le-linux-release (pull_request) Successful in 1h56m3s
ci / s390x-linux-debug (pull_request) Successful in 2h24m16s
ci / aarch64-linux-debug (pull_request) Successful in 2h31m36s
ci / loongarch64-linux-release (pull_request) Successful in 2h3m24s
ci / x86_64-linux-release (pull_request) Successful in 3h5m52s
ci / loongarch64-linux-debug (pull_request) Successful in 3h24m51s
ci / x86_64-linux-debug-llvm (pull_request) Successful in 3h39m36s
ci / powerpc64le-linux-debug (pull_request) Successful in 4h57m8s
ci / aarch64-netbsd-debug (pull_request) Successful in 4h21m56s
ci / aarch64-freebsd-debug (pull_request) Successful in 4h54m31s
ci / aarch64-freebsd-release (pull_request) Successful in 3h37m43s
ci / aarch64-netbsd-release (pull_request) Successful in 3h44m22s
to 854cdf8dbf
Some checks failed
ci / riscv64-linux-debug (pull_request) Has been skipped
ci / riscv64-linux-release (pull_request) Has been skipped
ci / x86_64-linux-release (pull_request) Failing after 2m30s
ci / x86_64-freebsd-release (pull_request) Failing after 2m23s
ci / x86_64-netbsd-release (pull_request) Failing after 3m25s
ci / x86_64-freebsd-debug (pull_request) Failing after 3m14s
ci / x86_64-openbsd-release (pull_request) Failing after 3m23s
ci / x86_64-netbsd-debug (pull_request) Failing after 3m54s
ci / x86_64-openbsd-debug (pull_request) Failing after 4m25s
ci / x86_64-windows-release (pull_request) Failing after 5m27s
ci / x86_64-linux-debug-llvm (pull_request) Failing after 5m8s
ci / s390x-linux-release (pull_request) Failing after 6m11s
ci / x86_64-windows-debug (pull_request) Failing after 6m35s
ci / s390x-linux-debug (pull_request) Failing after 7m26s
ci / aarch64-linux-release (pull_request) Failing after 6m50s
ci / aarch64-macos-release (pull_request) Failing after 8m21s
ci / aarch64-linux-debug (pull_request) Failing after 8m38s
ci / aarch64-macos-debug (pull_request) Failing after 9m53s
ci / powerpc64le-linux-release (pull_request) Failing after 11m56s
ci / x86_64-linux-debug (pull_request) Failing after 12m12s
ci / powerpc64le-linux-debug (pull_request) Failing after 12m55s
ci / aarch64-freebsd-debug (pull_request) Has been cancelled
ci / aarch64-freebsd-release (pull_request) Has been cancelled
ci / aarch64-netbsd-debug (pull_request) Has been cancelled
ci / aarch64-netbsd-release (pull_request) Has been cancelled
ci / loongarch64-linux-debug (pull_request) Has been cancelled
ci / loongarch64-linux-release (pull_request) Has been cancelled
2026年05月20日 12:28:42 +02:00 Compare
Der_Teufel force-pushed soa-builtin-type from 854cdf8dbf
Some checks failed
ci / riscv64-linux-debug (pull_request) Has been skipped
ci / riscv64-linux-release (pull_request) Has been skipped
ci / x86_64-linux-release (pull_request) Failing after 2m30s
ci / x86_64-freebsd-release (pull_request) Failing after 2m23s
ci / x86_64-netbsd-release (pull_request) Failing after 3m25s
ci / x86_64-freebsd-debug (pull_request) Failing after 3m14s
ci / x86_64-openbsd-release (pull_request) Failing after 3m23s
ci / x86_64-netbsd-debug (pull_request) Failing after 3m54s
ci / x86_64-openbsd-debug (pull_request) Failing after 4m25s
ci / x86_64-windows-release (pull_request) Failing after 5m27s
ci / x86_64-linux-debug-llvm (pull_request) Failing after 5m8s
ci / s390x-linux-release (pull_request) Failing after 6m11s
ci / x86_64-windows-debug (pull_request) Failing after 6m35s
ci / s390x-linux-debug (pull_request) Failing after 7m26s
ci / aarch64-linux-release (pull_request) Failing after 6m50s
ci / aarch64-macos-release (pull_request) Failing after 8m21s
ci / aarch64-linux-debug (pull_request) Failing after 8m38s
ci / aarch64-macos-debug (pull_request) Failing after 9m53s
ci / powerpc64le-linux-release (pull_request) Failing after 11m56s
ci / x86_64-linux-debug (pull_request) Failing after 12m12s
ci / powerpc64le-linux-debug (pull_request) Failing after 12m55s
ci / aarch64-freebsd-debug (pull_request) Has been cancelled
ci / aarch64-freebsd-release (pull_request) Has been cancelled
ci / aarch64-netbsd-debug (pull_request) Has been cancelled
ci / aarch64-netbsd-release (pull_request) Has been cancelled
ci / loongarch64-linux-debug (pull_request) Has been cancelled
ci / loongarch64-linux-release (pull_request) Has been cancelled
to 9973677295
Some checks failed
ci / riscv64-linux-debug (pull_request) Has been skipped
ci / riscv64-linux-release (pull_request) Has been skipped
ci / x86_64-linux-release (pull_request) Failing after 7m33s
ci / aarch64-macos-release (pull_request) Failing after 8m5s
ci / x86_64-freebsd-release (pull_request) Failing after 7m48s
ci / x86_64-openbsd-debug (pull_request) Failing after 10m51s
ci / aarch64-macos-debug (pull_request) Failing after 11m21s
ci / x86_64-windows-release (pull_request) Failing after 10m49s
ci / x86_64-openbsd-release (pull_request) Failing after 12m24s
ci / aarch64-linux-release (pull_request) Failing after 12m10s
ci / x86_64-netbsd-release (pull_request) Failing after 12m35s
ci / x86_64-freebsd-debug (pull_request) Failing after 13m41s
ci / s390x-linux-release (pull_request) Failing after 15m51s
ci / x86_64-netbsd-debug (pull_request) Failing after 18m54s
ci / x86_64-linux-debug (pull_request) Failing after 19m0s
ci / x86_64-linux-debug-llvm (pull_request) Failing after 19m7s
ci / aarch64-linux-debug (pull_request) Failing after 19m7s
ci / x86_64-windows-debug (pull_request) Failing after 19m55s
ci / powerpc64le-linux-release (pull_request) Failing after 21m56s
ci / powerpc64le-linux-debug (pull_request) Failing after 24m56s
ci / s390x-linux-debug (pull_request) Failing after 25m50s
ci / loongarch64-linux-debug (pull_request) Failing after 6m24s
ci / loongarch64-linux-release (pull_request) Failing after 30m59s
ci / aarch64-freebsd-debug (pull_request) Has been cancelled
ci / aarch64-freebsd-release (pull_request) Has been cancelled
ci / aarch64-netbsd-debug (pull_request) Has been cancelled
ci / aarch64-netbsd-release (pull_request) Has been cancelled
2026年05月20日 13:01:37 +02:00 Compare
Der_Teufel force-pushed soa-builtin-type from 9973677295
Some checks failed
ci / riscv64-linux-debug (pull_request) Has been skipped
ci / riscv64-linux-release (pull_request) Has been skipped
ci / x86_64-linux-release (pull_request) Failing after 7m33s
ci / aarch64-macos-release (pull_request) Failing after 8m5s
ci / x86_64-freebsd-release (pull_request) Failing after 7m48s
ci / x86_64-openbsd-debug (pull_request) Failing after 10m51s
ci / aarch64-macos-debug (pull_request) Failing after 11m21s
ci / x86_64-windows-release (pull_request) Failing after 10m49s
ci / x86_64-openbsd-release (pull_request) Failing after 12m24s
ci / aarch64-linux-release (pull_request) Failing after 12m10s
ci / x86_64-netbsd-release (pull_request) Failing after 12m35s
ci / x86_64-freebsd-debug (pull_request) Failing after 13m41s
ci / s390x-linux-release (pull_request) Failing after 15m51s
ci / x86_64-netbsd-debug (pull_request) Failing after 18m54s
ci / x86_64-linux-debug (pull_request) Failing after 19m0s
ci / x86_64-linux-debug-llvm (pull_request) Failing after 19m7s
ci / aarch64-linux-debug (pull_request) Failing after 19m7s
ci / x86_64-windows-debug (pull_request) Failing after 19m55s
ci / powerpc64le-linux-release (pull_request) Failing after 21m56s
ci / powerpc64le-linux-debug (pull_request) Failing after 24m56s
ci / s390x-linux-debug (pull_request) Failing after 25m50s
ci / loongarch64-linux-debug (pull_request) Failing after 6m24s
ci / loongarch64-linux-release (pull_request) Failing after 30m59s
ci / aarch64-freebsd-debug (pull_request) Has been cancelled
ci / aarch64-freebsd-release (pull_request) Has been cancelled
ci / aarch64-netbsd-debug (pull_request) Has been cancelled
ci / aarch64-netbsd-release (pull_request) Has been cancelled
to 1263a46241
Some checks failed
ci / x86_64-linux-release (pull_request) Failing after 21m8s
ci / x86_64-netbsd-release (pull_request) Failing after 25m31s
ci / x86_64-freebsd-release (pull_request) Failing after 34m20s
ci / x86_64-netbsd-debug (pull_request) Failing after 35m24s
ci / x86_64-freebsd-debug (pull_request) Failing after 38m21s
ci / x86_64-windows-release (pull_request) Failing after 43m5s
ci / x86_64-openbsd-release (pull_request) Failing after 50m56s
ci / x86_64-windows-debug (pull_request) Failing after 54m38s
ci / x86_64-openbsd-debug (pull_request) Failing after 59m45s
ci / aarch64-macos-release (pull_request) Failing after 1h4m50s
ci / aarch64-freebsd-debug (pull_request) Has been cancelled
ci / aarch64-freebsd-release (pull_request) Has been cancelled
ci / aarch64-netbsd-debug (pull_request) Has been cancelled
ci / aarch64-netbsd-release (pull_request) Has been cancelled
ci / loongarch64-linux-debug (pull_request) Has been cancelled
ci / loongarch64-linux-release (pull_request) Has been cancelled
ci / riscv64-linux-debug (pull_request) Has been cancelled
ci / riscv64-linux-release (pull_request) Has been cancelled
ci / aarch64-linux-release (pull_request) Has been cancelled
ci / aarch64-macos-debug (pull_request) Has been cancelled
ci / aarch64-linux-debug (pull_request) Has been cancelled
ci / x86_64-linux-debug-llvm (pull_request) Has been cancelled
ci / x86_64-linux-debug (pull_request) Has been cancelled
ci / s390x-linux-release (pull_request) Has been cancelled
ci / s390x-linux-debug (pull_request) Has been cancelled
ci / powerpc64le-linux-debug (pull_request) Has been cancelled
ci / powerpc64le-linux-release (pull_request) Has been cancelled
2026年05月20日 19:43:35 +02:00 Compare
Der_Teufel force-pushed soa-builtin-type from 1263a46241
Some checks failed
ci / x86_64-linux-release (pull_request) Failing after 21m8s
ci / x86_64-netbsd-release (pull_request) Failing after 25m31s
ci / x86_64-freebsd-release (pull_request) Failing after 34m20s
ci / x86_64-netbsd-debug (pull_request) Failing after 35m24s
ci / x86_64-freebsd-debug (pull_request) Failing after 38m21s
ci / x86_64-windows-release (pull_request) Failing after 43m5s
ci / x86_64-openbsd-release (pull_request) Failing after 50m56s
ci / x86_64-windows-debug (pull_request) Failing after 54m38s
ci / x86_64-openbsd-debug (pull_request) Failing after 59m45s
ci / aarch64-macos-release (pull_request) Failing after 1h4m50s
ci / aarch64-freebsd-debug (pull_request) Has been cancelled
ci / aarch64-freebsd-release (pull_request) Has been cancelled
ci / aarch64-netbsd-debug (pull_request) Has been cancelled
ci / aarch64-netbsd-release (pull_request) Has been cancelled
ci / loongarch64-linux-debug (pull_request) Has been cancelled
ci / loongarch64-linux-release (pull_request) Has been cancelled
ci / riscv64-linux-debug (pull_request) Has been cancelled
ci / riscv64-linux-release (pull_request) Has been cancelled
ci / aarch64-linux-release (pull_request) Has been cancelled
ci / aarch64-macos-debug (pull_request) Has been cancelled
ci / aarch64-linux-debug (pull_request) Has been cancelled
ci / x86_64-linux-debug-llvm (pull_request) Has been cancelled
ci / x86_64-linux-debug (pull_request) Has been cancelled
ci / s390x-linux-release (pull_request) Has been cancelled
ci / s390x-linux-debug (pull_request) Has been cancelled
ci / powerpc64le-linux-debug (pull_request) Has been cancelled
ci / powerpc64le-linux-release (pull_request) Has been cancelled
to a80562b5cf
All checks were successful
ci / x86_64-netbsd-release (pull_request) Successful in 41m13s
ci / x86_64-netbsd-debug (pull_request) Successful in 43m38s
ci / x86_64-freebsd-release (pull_request) Successful in 43m24s
ci / x86_64-openbsd-release (pull_request) Successful in 45m23s
ci / x86_64-freebsd-debug (pull_request) Successful in 47m7s
ci / x86_64-windows-release (pull_request) Successful in 48m33s
ci / x86_64-windows-debug (pull_request) Successful in 53m17s
ci / x86_64-linux-debug (pull_request) Successful in 55m43s
ci / x86_64-openbsd-debug (pull_request) Successful in 56m54s
ci / aarch64-macos-release (pull_request) Successful in 1h10m18s
ci / aarch64-macos-debug (pull_request) Successful in 1h19m17s
ci / aarch64-linux-release (pull_request) Successful in 1h27m27s
ci / s390x-linux-release (pull_request) Successful in 1h40m46s
ci / riscv64-linux-debug (pull_request) Has been skipped
ci / riscv64-linux-release (pull_request) Has been skipped
ci / x86_64-linux-debug-llvm (pull_request) Successful in 2h16m19s
ci / x86_64-linux-release (pull_request) Successful in 2h26m44s
ci / powerpc64le-linux-release (pull_request) Successful in 2h27m16s
ci / s390x-linux-debug (pull_request) Successful in 2h34m28s
ci / aarch64-linux-debug (pull_request) Successful in 2h41m38s
ci / powerpc64le-linux-debug (pull_request) Successful in 3h41m42s
ci / loongarch64-linux-release (pull_request) Successful in 2h0m37s
ci / loongarch64-linux-debug (pull_request) Successful in 3h30m56s
ci / aarch64-freebsd-debug (pull_request) Successful in 3h38m17s
ci / aarch64-netbsd-debug (pull_request) Successful in 4h23m7s
ci / aarch64-netbsd-release (pull_request) Successful in 3h31m55s
ci / aarch64-freebsd-release (pull_request) Successful in 3h45m54s
2026年05月20日 21:00:31 +02:00 Compare
Author
Contributor
Copy link

I've rebased and simplified things in Sema as suggested (Value.uninterpret is wonderful), the commented block in multi_array_list was just a leftover piece of transition code that I forgot to delete. It's ready for second review @mlugg

I've rebased and simplified things in Sema as suggested (`Value.uninterpret` is wonderful), the commented block in multi_array_list was just a leftover piece of transition code that I forgot to delete. It's ready for second review @mlugg
Der_Teufel force-pushed soa-builtin-type from a80562b5cf
All checks were successful
ci / x86_64-netbsd-release (pull_request) Successful in 41m13s
ci / x86_64-netbsd-debug (pull_request) Successful in 43m38s
ci / x86_64-freebsd-release (pull_request) Successful in 43m24s
ci / x86_64-openbsd-release (pull_request) Successful in 45m23s
ci / x86_64-freebsd-debug (pull_request) Successful in 47m7s
ci / x86_64-windows-release (pull_request) Successful in 48m33s
ci / x86_64-windows-debug (pull_request) Successful in 53m17s
ci / x86_64-linux-debug (pull_request) Successful in 55m43s
ci / x86_64-openbsd-debug (pull_request) Successful in 56m54s
ci / aarch64-macos-release (pull_request) Successful in 1h10m18s
ci / aarch64-macos-debug (pull_request) Successful in 1h19m17s
ci / aarch64-linux-release (pull_request) Successful in 1h27m27s
ci / s390x-linux-release (pull_request) Successful in 1h40m46s
ci / riscv64-linux-debug (pull_request) Has been skipped
ci / riscv64-linux-release (pull_request) Has been skipped
ci / x86_64-linux-debug-llvm (pull_request) Successful in 2h16m19s
ci / x86_64-linux-release (pull_request) Successful in 2h26m44s
ci / powerpc64le-linux-release (pull_request) Successful in 2h27m16s
ci / s390x-linux-debug (pull_request) Successful in 2h34m28s
ci / aarch64-linux-debug (pull_request) Successful in 2h41m38s
ci / powerpc64le-linux-debug (pull_request) Successful in 3h41m42s
ci / loongarch64-linux-release (pull_request) Successful in 2h0m37s
ci / loongarch64-linux-debug (pull_request) Successful in 3h30m56s
ci / aarch64-freebsd-debug (pull_request) Successful in 3h38m17s
ci / aarch64-netbsd-debug (pull_request) Successful in 4h23m7s
ci / aarch64-netbsd-release (pull_request) Successful in 3h31m55s
ci / aarch64-freebsd-release (pull_request) Successful in 3h45m54s
to 47678a4b29
Some checks failed
ci / aarch64-macos-release (pull_request) Successful in 1h50m52s
ci / x86_64-netbsd-debug (pull_request) Successful in 1h3m24s
ci / aarch64-macos-debug (pull_request) Successful in 2h2m4s
ci / x86_64-netbsd-release (pull_request) Successful in 52m48s
ci / aarch64-freebsd-debug (pull_request) Has been cancelled
ci / aarch64-freebsd-release (pull_request) Has been cancelled
ci / aarch64-netbsd-debug (pull_request) Has been cancelled
ci / aarch64-netbsd-release (pull_request) Has been cancelled
ci / loongarch64-linux-debug (pull_request) Has been cancelled
ci / loongarch64-linux-release (pull_request) Has been cancelled
ci / riscv64-linux-debug (pull_request) Has been cancelled
ci / riscv64-linux-release (pull_request) Has been cancelled
ci / s390x-linux-debug (pull_request) Has been cancelled
ci / s390x-linux-release (pull_request) Has been cancelled
ci / x86_64-linux-debug (pull_request) Has been cancelled
ci / x86_64-linux-debug-llvm (pull_request) Has been cancelled
ci / x86_64-linux-release (pull_request) Has been cancelled
ci / x86_64-openbsd-debug (pull_request) Has been cancelled
ci / x86_64-openbsd-release (pull_request) Has been cancelled
ci / x86_64-windows-debug (pull_request) Has been cancelled
ci / x86_64-windows-release (pull_request) Has been cancelled
ci / aarch64-linux-debug (pull_request) Has been cancelled
ci / aarch64-linux-release (pull_request) Has been cancelled
ci / x86_64-freebsd-release (pull_request) Has been cancelled
ci / x86_64-freebsd-debug (pull_request) Has been cancelled
ci / powerpc64le-linux-debug (pull_request) Has been cancelled
ci / powerpc64le-linux-release (pull_request) Has been cancelled
2026年05月27日 09:10:52 +02:00 Compare
mlugg force-pushed soa-builtin-type from 47678a4b29
Some checks failed
ci / aarch64-macos-release (pull_request) Successful in 1h50m52s
ci / x86_64-netbsd-debug (pull_request) Successful in 1h3m24s
ci / aarch64-macos-debug (pull_request) Successful in 2h2m4s
ci / x86_64-netbsd-release (pull_request) Successful in 52m48s
ci / aarch64-freebsd-debug (pull_request) Has been cancelled
ci / aarch64-freebsd-release (pull_request) Has been cancelled
ci / aarch64-netbsd-debug (pull_request) Has been cancelled
ci / aarch64-netbsd-release (pull_request) Has been cancelled
ci / loongarch64-linux-debug (pull_request) Has been cancelled
ci / loongarch64-linux-release (pull_request) Has been cancelled
ci / riscv64-linux-debug (pull_request) Has been cancelled
ci / riscv64-linux-release (pull_request) Has been cancelled
ci / s390x-linux-debug (pull_request) Has been cancelled
ci / s390x-linux-release (pull_request) Has been cancelled
ci / x86_64-linux-debug (pull_request) Has been cancelled
ci / x86_64-linux-debug-llvm (pull_request) Has been cancelled
ci / x86_64-linux-release (pull_request) Has been cancelled
ci / x86_64-openbsd-debug (pull_request) Has been cancelled
ci / x86_64-openbsd-release (pull_request) Has been cancelled
ci / x86_64-windows-debug (pull_request) Has been cancelled
ci / x86_64-windows-release (pull_request) Has been cancelled
ci / aarch64-linux-debug (pull_request) Has been cancelled
ci / aarch64-linux-release (pull_request) Has been cancelled
ci / x86_64-freebsd-release (pull_request) Has been cancelled
ci / x86_64-freebsd-debug (pull_request) Has been cancelled
ci / powerpc64le-linux-debug (pull_request) Has been cancelled
ci / powerpc64le-linux-release (pull_request) Has been cancelled
to 9e80795623
Some checks failed
ci / aarch64-macos-release (pull_request) Successful in 1h22m36s
ci / x86_64-netbsd-debug (pull_request) Successful in 54m22s
ci / x86_64-netbsd-release (pull_request) Successful in 53m18s
ci / aarch64-macos-debug (pull_request) Successful in 1h55m6s
ci / x86_64-freebsd-release (pull_request) Successful in 53m58s
ci / x86_64-freebsd-debug (pull_request) Successful in 1h5m54s
ci / aarch64-linux-release (pull_request) Successful in 1h34m48s
ci / aarch64-linux-debug (pull_request) Successful in 2h30m30s
ci / powerpc64le-linux-release (pull_request) Successful in 2h8m9s
ci / x86_64-openbsd-release (pull_request) Successful in 1h8m25s
ci / x86_64-openbsd-debug (pull_request) Successful in 1h13m45s
ci / x86_64-windows-debug (pull_request) Successful in 1h8m41s
ci / x86_64-windows-release (pull_request) Successful in 1h18m1s
ci / powerpc64le-linux-debug (pull_request) Successful in 4h6m48s
ci / s390x-linux-release (pull_request) Successful in 1h32m51s
ci / s390x-linux-debug (pull_request) Successful in 2h41m26s
ci / x86_64-linux-debug (pull_request) Successful in 1h17m54s
ci / x86_64-linux-release (pull_request) Successful in 4h14m52s
ci / x86_64-linux-debug-llvm (pull_request) Successful in 4h26m8s
ci / aarch64-freebsd-debug (pull_request) Has been cancelled
ci / aarch64-freebsd-release (pull_request) Has been cancelled
ci / aarch64-netbsd-debug (pull_request) Has been cancelled
ci / aarch64-netbsd-release (pull_request) Has been cancelled
ci / riscv64-linux-debug (pull_request) Has been cancelled
ci / riscv64-linux-release (pull_request) Has been cancelled
ci / loongarch64-linux-debug (pull_request) Has been cancelled
ci / loongarch64-linux-release (pull_request) Has been cancelled
2026年05月27日 11:28:58 +02:00 Compare
Owner
Copy link

Final push done, thanks @Der_Teufel! Once this passes CI it'll be good to merge.

Final push done, thanks @Der_Teufel! Once this passes CI it'll be good to merge.

Release notes please!

Release notes please!
Author
Contributor
Copy link

@mlugg do you want to handle the release notes, since you've written the proposal thoroughly ?

@mlugg do you want to handle the release notes, since you've written the proposal thoroughly ?
Owner
Copy link

Yep, sure thing! I'll write some up at some point (probably when we make the tag since that is likely soon-ish).

Yep, sure thing! I'll write some up at some point (probably when we make the tag since that is likely soon-ish).
Some checks failed
ci / aarch64-macos-release (pull_request) Successful in 1h22m36s
ci / x86_64-netbsd-debug (pull_request) Successful in 54m22s
ci / x86_64-netbsd-release (pull_request) Successful in 53m18s
ci / aarch64-macos-debug (pull_request) Successful in 1h55m6s
ci / x86_64-freebsd-release (pull_request) Successful in 53m58s
ci / x86_64-freebsd-debug (pull_request) Successful in 1h5m54s
ci / aarch64-linux-release (pull_request) Successful in 1h34m48s
ci / aarch64-linux-debug (pull_request) Successful in 2h30m30s
ci / powerpc64le-linux-release (pull_request) Successful in 2h8m9s
ci / x86_64-openbsd-release (pull_request) Successful in 1h8m25s
ci / x86_64-openbsd-debug (pull_request) Successful in 1h13m45s
ci / x86_64-windows-debug (pull_request) Successful in 1h8m41s
ci / x86_64-windows-release (pull_request) Successful in 1h18m1s
ci / powerpc64le-linux-debug (pull_request) Successful in 4h6m48s
ci / s390x-linux-release (pull_request) Successful in 1h32m51s
ci / s390x-linux-debug (pull_request) Successful in 2h41m26s
ci / x86_64-linux-debug (pull_request) Successful in 1h17m54s
ci / x86_64-linux-release (pull_request) Successful in 4h14m52s
ci / x86_64-linux-debug-llvm (pull_request) Successful in 4h26m8s
ci / aarch64-freebsd-debug (pull_request) Has been cancelled
ci / aarch64-freebsd-release (pull_request) Has been cancelled
ci / aarch64-netbsd-debug (pull_request) Has been cancelled
ci / aarch64-netbsd-release (pull_request) Has been cancelled
ci / riscv64-linux-debug (pull_request) Has been cancelled
ci / riscv64-linux-release (pull_request) Has been cancelled
ci / loongarch64-linux-debug (pull_request) Has been cancelled
ci / loongarch64-linux-release (pull_request) Has been cancelled
Some workflows are waiting to be reviewed.
Sign in to join this conversation.
No reviewers
Labels
Clear labels
abi/f32
abi/ilp32
abi/sf
accepted
This proposal is planned.
arch/21k
arch/6502
arch/aarch64
arch/alpha
arch/amdgcn
arch/arc
arch/arc32
arch/arc64
arch/arm
arch/avr
arch/bfin
arch/bpf
arch/colossus
arch/cris
arch/csky
arch/dlx
arch/epiphany
arch/fr30
arch/frv
arch/hexagon
arch/hppa
arch/hppa64
arch/ia64
arch/kalimba
arch/kvx
arch/lanai
arch/lm32
arch/loongarch32
arch/loongarch64
arch/m32r
arch/m68k
arch/m88k
arch/mcore
arch/microblaze
arch/mips
arch/mips64
arch/mmix
arch/moxie
arch/mrisc32
arch/msp430
arch/nds32
arch/ns32k
arch/nvptx
arch/or1k
arch/powerpc
arch/powerpc64
arch/propeller
arch/riscv32
arch/riscv64
arch/rl78
arch/rx
arch/s390x
arch/sh
arch/sparc
arch/sparc64
arch/spirv
arch/spu
arch/tricore
arch/v850
arch/vax
arch/vc4
arch/ve
arch/wasm
arch/x86
arch/x86_64
arch/xcore
arch/xtensa
autodoc
The web application for interactive documentation and generation of its assets.
backend/c
The C backend outputs C source code.
backend/llvm
The LLVM backend outputs an LLVM bitcode module.
backend/self-hosted
The self-hosted backends produce machine code directly.
binutils
Zig's included binary utilities: zig ar, zig dlltool, zig lib, zig ranlib, zig objcopy, and zig rc.
breaking
Implementing this issue could cause existing code to no longer compile or have different behavior.
build system
The Zig build system - zig build, std.Build, the build runner, and package management.
debug info
An issue related to debug information (e.g. DWARF) produced by the Zig compiler.
docs
An issue with documentation, e.g. the language reference or standard library doc comments.
error message
This issue points out an error message that is unhelpful and should be improved.
frontend
Tokenization, parsing, AstGen, ZonGen, Sema, Legalize, and Liveness.
fuzzing
An issue related to Zig's integrated fuzz testing.
incremental
Reuse of internal compiler state for faster compilation.
lib/c
This issue relates to Zig's libc implementation and/or vendored libcs.
lib/compiler-rt
This issue relates to Zig's compiler-rt library.
lib/cxx
This issue relates to Zig's vendored libc++ and/or libc++abi.
lib/std
This issue relates to Zig's standard library.
lib/tsan
This issue relates to Zig's vendored libtsan.
lib/ubsan-rt
This issue relates to Zig's ubsan-rt library.
lib/unwind
This issue relates to Zig's vendored libunwind.
linking
Zig's integrated object file and incremental linker.
miscompilation
The compiler reports success but produces semantically incorrect code.
os/android
os/contiki
os/dragonfly
os/driverkit
os/emscripten
os/freebsd
os/fuchsia
os/haiku
os/hermit
os/hurd
os/illumos
os/ios
os/linux
os/maccatalyst
os/macos
os/managarm
os/netbsd
os/ohos
os/openbsd
os/plan9
os/redox
os/rtems
os/serenity
os/tvos
os/uefi
os/visionos
os/wasi
os/watchos
os/windows
proposal
This issue suggests language modifications. If it also has the "accepted" label then it is planned.
release notes
This issue or pull request should be mentioned in the release notes.
testing
This issue is related to testing the compiler, standard library, or other parts of Zig.
zig cc
Zig as a drop-in C-family compiler.
zig fmt
The Zig source code formatter.
zig reduce
The Zig source code reduction tool.
bounty
https://ziglang.org/news/announcing-donor-bounties
bug
Observed behavior contradicts documented or intended behavior.
contributor-friendly
This issue is limited in scope and/or knowledge of project internals.
downstream
An issue with a third-party project that uses this project.
enhancement
Solving this issue will likely involve adding new logic or components to the codebase.
infra
An issue related to project infrastructure, e.g. continuous integration.
optimization
A task to improve performance and/or resource usage.
question
No questions on the issue tracker; use a community space instead.
regression
Something that used to work in a previous version stopped working
upstream
An issue with a third-party project that this project uses.
use case
Describes a real use case that is difficult or impossible, but does not propose a solution.
No labels
abi/f32
abi/ilp32
abi/sf
accepted
arch/21k
arch/6502
arch/aarch64
arch/alpha
arch/amdgcn
arch/arc
arch/arc32
arch/arc64
arch/arm
arch/avr
arch/bfin
arch/bpf
arch/colossus
arch/cris
arch/csky
arch/dlx
arch/epiphany
arch/fr30
arch/frv
arch/hexagon
arch/hppa
arch/hppa64
arch/ia64
arch/kalimba
arch/kvx
arch/lanai
arch/lm32
arch/loongarch32
arch/loongarch64
arch/m32r
arch/m68k
arch/m88k
arch/mcore
arch/microblaze
arch/mips
arch/mips64
arch/mmix
arch/moxie
arch/mrisc32
arch/msp430
arch/nds32
arch/ns32k
arch/nvptx
arch/or1k
arch/powerpc
arch/powerpc64
arch/propeller
arch/riscv32
arch/riscv64
arch/rl78
arch/rx
arch/s390x
arch/sh
arch/sparc
arch/sparc64
arch/spirv
arch/spu
arch/tricore
arch/v850
arch/vax
arch/vc4
arch/ve
arch/wasm
arch/x86
arch/x86_64
arch/xcore
arch/xtensa
autodoc
backend/c
backend/llvm
backend/self-hosted
binutils
breaking
build system
debug info
docs
error message
frontend
fuzzing
incremental
lib/c
lib/compiler-rt
lib/cxx
lib/std
lib/tsan
lib/ubsan-rt
lib/unwind
linking
miscompilation
os/android
os/contiki
os/dragonfly
os/driverkit
os/emscripten
os/freebsd
os/fuchsia
os/haiku
os/hermit
os/hurd
os/illumos
os/ios
os/linux
os/maccatalyst
os/macos
os/managarm
os/netbsd
os/ohos
os/openbsd
os/plan9
os/redox
os/rtems
os/serenity
os/tvos
os/uefi
os/visionos
os/wasi
os/watchos
os/windows
proposal
release notes
testing
zig cc
zig fmt
zig reduce
bounty
bug
contributor-friendly
downstream
enhancement
infra
optimization
question
regression
upstream
use case
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
3 participants
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
ziglang/zig!35234
Reference in a new issue
ziglang/zig
No description provided.
Delete branch "Der_Teufel/zig:soa-builtin-type"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?