"Pavel Stehule" <pavel.stehule@gmail.com> writes:
> idealized code:
> a = array_set(array[10,10]); // untyped null array
> a[10,10] = 'text'; -- now array is typed
And how did you declare 'a'? This seems like a solution in search of a
problem.
regards, tom lane