[sv-bc] 8.13.1 Array assignment patterns

Question 1:

In 8.13.1, at the bottom of page 180, it says, 
"For more arrays of structures, it is useful to specify one or more matching type keys."

What is the meaning of the first "more" in this sentence?


Question 2: 

8.13.1 says,
"The default:value applies to elements or subarrays that are not matched by either index or type key. If the type of the element or subarray is a simple bit vector type, matches the self-determined type of the value, or is not an array or structure type, then the value is evaluated in the context of each assignment to an element or subarray by the default and must be castable to the type of the element or subarray; otherwise, an error is generated. For unmatched subarrays, the type and default specifiers are applied recursively according to the rules in this clause to each of its elements or subarrays. For unmatched structure elements, the type and default keys are applied to the element according to the rules for structures."

Although I think I understand the intent of this paragraph, I find the wording very difficult.

It seems to say the following (2nd sentence, my additions in uppercase):

"If the type of the element or subarray is a simple bit vector type OR IF THE TYPE matches the self-determined type of the value OR IF THE TYPE is not an array or structure type, then the value is evaluated in the context of each assignment to an element or subarray by the default and must be castable to the type of the element or subarray; otherwise, IF THE TYPE DOES NOT MEET ONE OF THESE 3 CONDITIONS, an error is generated."

It seems to say that either one of the 3 conditions is met or an error is generated.

Then it says,
"For unmatched subarrays, ... For unmatched structure elements, ..."

These seem to talk about cases where none of the 3 conditions is met. But we said that an error is generated in that case.

Even if I am misreading the text, it means that the text is at best unclear.

Please clarify.

8.13.2 has a similar problem.


Thanks,
Shalom


Shalom Bresticker
Intel Jerusalem LAD DA
+972 2 589-6852
+972 54 721-1033
I don't represent Intel