Andrew Pinski

I asked if the first example should really be valid before https://github.com/p4lang/p4-spec/issues/1087 There is another place which talks about when names are defined I thought.

> @apinski-cavium, actually, I had inverted the definitions -- local compile-time known is more restrictive. See my latest commit which fixes this and adopts your streamlining suggestions. Yes I didn't...