From 88b639be26f4d820dfe6f807d18e15f3c27a4d92 Mon Sep 17 00:00:00 2001 From: Sehyuk Ahn Date: Fri, 3 Jul 2026 16:13:10 +0900 Subject: [PATCH] Specify that the size of an array must be a local compile-time known value Signed-off-by: Sehyuk Ahn --- p4-16/spec/P4-16-spec.adoc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/p4-16/spec/P4-16-spec.adoc b/p4-16/spec/P4-16-spec.adoc index 43cc04991f..af3e4a9a59 100644 --- a/p4-16/spec/P4-16-spec.adoc +++ b/p4-16/spec/P4-16-spec.adoc @@ -2414,7 +2414,7 @@ An array is a fixed-size vector of elements of the same type. It is defined as: include::grammar.adoc[tag=arrayType] ---- -where `typeRef` refers to the element type and the expression is a compile-time +where `typeRef` refers to the element type and the expression is a local compile-time known value that is the size of the array. For an array type such as `arr[n]`, `n-1` is the maximum defined index.