Nate Foster
At the risk of sounding like a politician, I was for this in 2016 and I'm for it now :-)
@smolkaj, it's super janky but this code passes `p4test`: ``` #include control C(); package P(C c); extern E { E(); void m(); } control ActionMaker()(E e) { action a() {...
Actually, this is a relatively recent restriction. I think my `p4test` I was running on this VM is just old! https://github.com/p4lang/p4c/pull/2598
Let me just point out that there now exist a formalization of P4's type system, at least for a large core fragment. Rather than following our noses and winging it,...
In the interest of tidying up the set of active issues on the P4 specification repository, I'm marking this as "stalled" and closing it. Of course, we can always re-open...
Huh. I don't recall this, but May 2017 was a long time ago :-) I like your proposed solution. @QinshiWang and @MollyDream what do you think? And I'm not so...
I had assumed `u.h1 = h` would: * Be equivalent to `u.h1.setInvalid()` if `h` is invalid. * And otherwise it would make `u.h1` valid (thereby making any other elements of...
In the interest of tidying up the set of active issues on the P4 specification repository, I'm marking this as "stalled" and closing it. Of course, we can always re-open...
In the interest of tidying up the set of active issues on the P4 specification repository, I'm marking this as "stalled" and closing it. Of course, we can always re-open...