diff options
| author | mlugg <mlugg@mlugg.co.uk> | 2025-01-05 05:27:48 +0000 |
|---|---|---|
| committer | mlugg <mlugg@mlugg.co.uk> | 2025-01-09 06:46:47 +0000 |
| commit | e9bd2d45d4bbaf7eff7e95bc3ef7a0123b66a103 (patch) | |
| tree | da18bc40935c7dd9698d792eae3d102fa0ad67ae /lib/std/zig.zig | |
| parent | 3f95003d4c57650f9b4779f55c8d7368b137337c (diff) | |
| download | zig-e9bd2d45d4bbaf7eff7e95bc3ef7a0123b66a103.tar.gz zig-e9bd2d45d4bbaf7eff7e95bc3ef7a0123b66a103.zip | |
Sema: rewrite semantic analysis of function calls
This rewrite improves some error messages, hugely simplifies the logic,
and fixes several bugs. One of these bugs is technically a new rule
which Andrew and I agreed on: if a parameter has a comptime-only type
but is not declared `comptime`, then the corresponding call argument
should not be *evaluated* at comptime; only resolved. Implementing this
required changing how function types work a little, which in turn
required allowing a new kind of function coercion for some generic use
cases: function coercions are now allowed to implicitly *remove*
`comptime` annotations from parameters with comptime-only types. This is
okay because removing the annotation affects only the call site.
Resolves: #22262
Diffstat (limited to 'lib/std/zig.zig')
| -rw-r--r-- | lib/std/zig.zig | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/lib/std/zig.zig b/lib/std/zig.zig index 7af8bacb34..6fec585326 100644 --- a/lib/std/zig.zig +++ b/lib/std/zig.zig @@ -749,6 +749,8 @@ pub const SimpleComptimeReason = enum(u32) { array_mul_factor, slice_cat_operand, comptime_call_target, + inline_call_target, + generic_call_target, wasm_memory_index, work_group_dim_index, @@ -791,7 +793,6 @@ pub const SimpleComptimeReason = enum(u32) { struct_field_default_value, enum_field_tag_value, slice_single_item_ptr_bounds, - comptime_param_arg, stored_to_comptime_field, stored_to_comptime_var, casted_to_comptime_enum, @@ -828,6 +829,8 @@ pub const SimpleComptimeReason = enum(u32) { .array_mul_factor => "array multiplication factor must be comptime-known", .slice_cat_operand => "slice being concatenated must be comptime-known", .comptime_call_target => "function being called at comptime must be comptime-known", + .inline_call_target => "function being called inline must be comptime-known", + .generic_call_target => "generic function being called must be comptime-known", .wasm_memory_index => "wasm memory index must be comptime-known", .work_group_dim_index => "work group dimension index must be comptime-known", @@ -865,7 +868,6 @@ pub const SimpleComptimeReason = enum(u32) { .struct_field_default_value => "struct field default value must be comptime-known", .enum_field_tag_value => "enum field tag value must be comptime-known", .slice_single_item_ptr_bounds => "slice of single-item pointer must have comptime-known bounds", - .comptime_param_arg => "argument to comptime parameter must be comptime-known", .stored_to_comptime_field => "value stored to a comptime field must be comptime-known", .stored_to_comptime_var => "value stored to a comptime variable must be comptime-known", .casted_to_comptime_enum => "value casted to enum with 'comptime_int' tag type must be comptime-known", |