> > It is valid syntax because of > > "An empty sequence forms a zero-sized rank-one array." > > It seems that J3 saw the error in their ways as (/ /) is clearly > an empty array constructor, and fixed the possibility of creating > a typeless zero-sized, rank-one array.
This is exactly the point of the patch! typeless zero-sized, rank-one array are not allowed, while typed zero-sized, rank-one array are. > >>> Adding any text referring >>> to type-spec is wrong. >>> >> >> Are you considering (/ ( i, i = 1, 0 ) /) as non empty? >> > > It is a zero-sized rank-one array with type INTEGER. That is not the answer to the question. Is (/ ( i, i = 1, 0 ) /) non empty, yes or no? IMO "empty array constructor" is ambiguous. One meaning is nothing but spaces between (/ and /) in the source code, another one is zero-sized rank-one array. Dominique PS I have wasted enough time on this patch. If you don’t accept it, close PR47040.
