Kyle Cripps

We should also consider reverting #4727 after this has been fully fixed.

@jafingerhut My point is that it seems like an oversight in the spec (I don't see any mention of this in either direction) and/or in the compiler that e.g. `(default,...

> The compiler does treat (default, default) the same as default, as far as I can tell from simple experiments. If you have evidence of a bug in this area,...

@jafingerhut Skimming through the code, I see some examples where we are only checking whether the switch case label expression, rather than its components (if it is a list expression)...

> The way I teach P4 programming is to only use `_` (DONTCARE) inside tuples and to use `default` only "standalone". I think this makes things much easier to read...

@fruffy I was hoping for something that'd allow me to just pass `--top4 RemoveDontcareArgs` to the compiler and view the generated IR. Given that we'd need to add code to...

> I was hoping for something that'd allow me to just pass `--top4 RemoveDontcareArgs` to the compiler and view the generated IR We could probably modify `run-p4-sample.py` and related files...

> We could probably modify run-p4-sample.py and related files to support these kinds of tests. On second thought, this would be a bad idea as it would break as soon...

@fruffy I think https://github.com/p4lang/p4c/blob/main/test/gtest/frontend_test.cpp was closer to what I needed. Added the `gtest`.

For example: ``` const entries = { (0x1, 0x2) : a(0, 1, 2); (0x3, 0x4) : a(3, 4, 5); (0x5, 0x6) : a(6, 7, 8); (0x7, _) : a(9, 10,...