search

p4lang / p4-spec

Apache License 2.0
178 stars 80 forks source link

Identifiers declared as constants are local compile-time known #1307

Closed jaehyun1ee closed 2 months ago

jaehyun1ee commented 2 months ago

Following the discussion #1305, this PR clarifies that identifiers declared as constants with the const keyword is local compile-time known instead of compile-time known.

Also, I made a corresponding change in the constant declaration section (11.1) that the initializer for a constant should be local compile-time known.

jonathan-dilorenzo commented 2 months ago

LGTM. @rcgoodfellow wanna TAL? Otherwise, if I hear no complaints, I'll merge in 3 days.