Skip to content

Allow default initializer when all fields are initialized #1374

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

Allow default initializer when all fields are initialized #1374

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 5 additions & 3 deletions p4-16/spec/P4-16-spec.adoc
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5173,9 +5173,11 @@ suitable type using the syntax `+...+` (see <<sec-default-values>>). A value
of type `struct`, `header`, or `tuple` can also be initialized using a mix of
explicit values and default values by using the notation `+...+` in a tuple
expression initializer; in this case all fields not explicitly
initialized are initialized with default values. When initializing a `struct`,
`header`, and `tuple` with a value containing partially default values
using the `+...+` notation the three dots must appear last in the initializer.
initialized are initialized with default values. It is permissible to use
`+...+` when all fields have been explicitly initialized, in which case it
has no effect. When initializing a `struct`, `header`, and `tuple` with a
value containing partially default values using the `+...+` notation the
three dots must appear last in the initializer.

[source,p4]
----
Expand Down