Skip to content

Semantics of writing and setting invalid of a header member of a header union - #299

Open
QinshiWang wants to merge 1 commit into
mainfrom
poulet4-header-union
Open

Semantics of writing and setting invalid of a header member of a header union#299
QinshiWang wants to merge 1 commit into
mainfrom
poulet4-header-union

Conversation

@QinshiWang

Copy link
Copy Markdown
Contributor

We postpone merging this PR, because the specification of this behavior is under discussion by the P4 language team.

…riting to a field of a header member and writing a header member as a whole
@QinshiWang

Copy link
Copy Markdown
Contributor Author

p4lang/p4-spec#995

@hackedy

hackedy commented Feb 16, 2023

Copy link
Copy Markdown
Collaborator

Is this mergeable now? I don't know if there's a related p4-spec issue or anything like that?

@QinshiWang

Copy link
Copy Markdown
Contributor Author

The discussion in p4-spec is linked above. It shows the discussion is put aside, so I don't know how to handle this PR. Maybe we should juts follow what the current Spec says?

@hackedy
hackedy changed the base branch from poulet4 to main April 11, 2023 15:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants