Nate Foster comments

Results 224 comments of


                                            Nate Foster

Should run-time variables that a sophisticated compiler can prove must be equal to a compile-time known value, be treated as a compile-time known value?

I think compile-time-known-value-ness should be a property of P4's type system. Although it's true that we could, in principle, determine the value of many expressions at compile time, using various...

Identifiers declared as `const`: local compile-time known or compile time known?

@vgurevich your recollection is correct. However, the type checker should still be able to use `const` declarations in the scope of the control in question. So I think this was...

CI: Create a CI job that builds the spec PDF and HTML for a PR

Um, we have this? See for example here: https://p4.org/p4-spec/docs/p4-16-working-draft.html and look at the HTML source.

CI: Create a CI job that builds the spec PDF and HTML for a PR

Oh, sorry. I see. We only have this for `main` not for every PR. Sure.