Experimental: literal for invalid header

[mihaibudiu]

Signed-off-by: Mihai Budiu [email protected]
This is a prerequisite for finalizing the implementation of the ... default initialization operator.

[mihaibudiu]

I have chosen the syntax (H){#} to denote an invalid header with type H.
We should debate this during the next LDWG meeting.

[vgurevich]

Overall the syntax looks reasonable.

So, it is true that these two will be equivalent:

header.setInvalid();

and

header = (header_t){#};

Given that we are only assigning the validity bit, I wonder if {#} should be automatically cast-able to any header type

[mihaibudiu]

They are equivalent

[jafingerhut]

The syntax looks reasonable to me. I say go for it!

[mihaibudiu]

In the spirit of past experiments I will actually merge this PR.